Public artifacts for the Warhacker 2026 governed-execution proof-of-concept. Materials released incrementally toward public launch.
AI & ML interests
None defined yet.
Recent Activity
Live prompt-injection and jailbreak detection (Sentra) and PAC-Bayes AGI trajectory forecasts. All scan results emit DSSE-signed receipts.
OTLP span emission for the Λ-axis governance signal. Policy decisions, drift scores, and approval-gate outcomes in structured OpenTelemetry spans.
Lean 4 + Mathlib machine-checked proofs for the SZL governance substrate. 30 GREEN modules, 11 PAC-Bayes axioms, DOI 10.5281/zenodo.20434276.
-
lutar-lean-browser — Lean 4 Theorem Browser
🔬Browse 217 Lean 4 declarations, 12 axioms, 5 sorries
-
Lean Proof Playground — Interactive Lean 4
🔬Run Lean 4 snippets against Mathlib 4.13.0
-
SZLHOLDINGS/thesis-v18-formal-verification
Viewer • Updated • 9 • 38 -
SZLHOLDINGS/ouroboros-arxiv-preprint
Preview • Updated • 10
System anatomy diagram, visual identity design tokens, brand SVGs, and public artifact bundle. For investors, partners, and design reviewers.
Primary Series-A diligence artifacts: a11oy substrate model card, anatomy visual brief, platform dashboard, and why-we-lead investment case.
SLSA-3 Dead-Simple Signing Envelope receipts for governed AI actions. SHA-256 hash chains, Cardano-anchored attestations, W3C Trace Context.
Lean 4 theorems, DSSE receipts, OTel dataset, MCP server, and thesis. Agentic AI governance with machine-checked proofs. DOI 10.5281/zenodo.20434276
-
lutar-lean-browser — Lean 4 Theorem Browser
🔬Browse 217 Lean 4 declarations, 12 axioms, 5 sorries
-
MCP Receipts Server — Governance Tool API
♾10 governance tools: DSSE receipts, Lean theorems
-
SZLHOLDINGS/thesis-v18-formal-verification
Viewer • Updated • 9 • 38 -
SZLHOLDINGS/uds-spans-receipts
Updated • 42
Public artifacts for the Warhacker 2026 governed-execution proof-of-concept. Materials released incrementally toward public launch.
System anatomy diagram, visual identity design tokens, brand SVGs, and public artifact bundle. For investors, partners, and design reviewers.
Live prompt-injection and jailbreak detection (Sentra) and PAC-Bayes AGI trajectory forecasts. All scan results emit DSSE-signed receipts.
Primary Series-A diligence artifacts: a11oy substrate model card, anatomy visual brief, platform dashboard, and why-we-lead investment case.
OTLP span emission for the Λ-axis governance signal. Policy decisions, drift scores, and approval-gate outcomes in structured OpenTelemetry spans.
SLSA-3 Dead-Simple Signing Envelope receipts for governed AI actions. SHA-256 hash chains, Cardano-anchored attestations, W3C Trace Context.
Lean 4 + Mathlib machine-checked proofs for the SZL governance substrate. 30 GREEN modules, 11 PAC-Bayes axioms, DOI 10.5281/zenodo.20434276.
-
lutar-lean-browser — Lean 4 Theorem Browser
🔬Browse 217 Lean 4 declarations, 12 axioms, 5 sorries
-
Lean Proof Playground — Interactive Lean 4
🔬Run Lean 4 snippets against Mathlib 4.13.0
-
SZLHOLDINGS/thesis-v18-formal-verification
Viewer • Updated • 9 • 38 -
SZLHOLDINGS/ouroboros-arxiv-preprint
Preview • Updated • 10
Lean 4 theorems, DSSE receipts, OTel dataset, MCP server, and thesis. Agentic AI governance with machine-checked proofs. DOI 10.5281/zenodo.20434276
-
lutar-lean-browser — Lean 4 Theorem Browser
🔬Browse 217 Lean 4 declarations, 12 axioms, 5 sorries
-
MCP Receipts Server — Governance Tool API
♾10 governance tools: DSSE receipts, Lean theorems
-
SZLHOLDINGS/thesis-v18-formal-verification
Viewer • Updated • 9 • 38 -
SZLHOLDINGS/uds-spans-receipts
Updated • 42