Lean 4 proofs (749 decl/14 axioms/163 sorries @ c7c0ba17), canonical formulas, doctrine v11 LOCKED, theorem tree.
AI & ML interests
None defined yet.
Recent Activity
Two live products on one governed-AI substrate: a11oy command platform + killinchu drones & vessels.
Deep-dive companion surfaces in the a11oy command platform and killinchu field tool. Doctrine v11 LOCKED.
UDS deployment artifacts: signed payload bundles, span/receipt corpora, and governance receipts. Doctrine v11 LOCKED · SLSA L1+L2 honest.
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.
Lean 4 theorems, DSSE receipts, OTel dataset, MCP server, and thesis. Agentic AI governance with machine-checked proofs. DOI 10.5281/zenodo.20434276
szl-kernels suite: governed norm, Λ-gate, energy meter, signing, provenance-DAG. SHA3-256 hash-chained receipts per op.
Doctrine v11 LOCKED · kernel c7c0ba17 · Λ=Conjecture 1 · SLSA L1+L2 honest. a11oy command platform + killinchu drones & vessels.
Lean proofs, formulas, thesis corpus, doctrine — the data substrate behind the mesh. Includes the top datasets by download count.
Public artifacts for the Warhacker 2026 governed-execution proof-of-concept. Materials released incrementally toward public launch.
Deny-by-default safety gates, prompt-injection/jailbreak screening, and live threat library in a11oy. Decisions emit DSSE receipts.
DSSE receipts for governed AI actions: SHA-256 hash chains, W3C Trace Context, offline-verifiable signatures. SLSA L2.
Lean 4 proofs (749 decl/14 axioms/163 sorries @ c7c0ba17), canonical formulas, doctrine v11 LOCKED, theorem tree.
szl-kernels suite: governed norm, Λ-gate, energy meter, signing, provenance-DAG. SHA3-256 hash-chained receipts per op.
Two live products on one governed-AI substrate: a11oy command platform + killinchu drones & vessels.
Doctrine v11 LOCKED · kernel c7c0ba17 · Λ=Conjecture 1 · SLSA L1+L2 honest. a11oy command platform + killinchu drones & vessels.
Deep-dive companion surfaces in the a11oy command platform and killinchu field tool. Doctrine v11 LOCKED.
Lean proofs, formulas, thesis corpus, doctrine — the data substrate behind the mesh. Includes the top datasets by download count.
UDS deployment artifacts: signed payload bundles, span/receipt corpora, and governance receipts. Doctrine v11 LOCKED · SLSA L1+L2 honest.
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.
Deny-by-default safety gates, prompt-injection/jailbreak screening, and live threat library in a11oy. Decisions emit DSSE receipts.
Primary Series-A diligence artifacts: a11oy substrate model card, anatomy visual brief, platform dashboard, and why-we-lead investment case.
DSSE receipts for governed AI actions: SHA-256 hash chains, W3C Trace Context, offline-verifiable signatures. SLSA L2.
Lean 4 theorems, DSSE receipts, OTel dataset, MCP server, and thesis. Agentic AI governance with machine-checked proofs. DOI 10.5281/zenodo.20434276