Two live products on one governed-AI substrate: a11oy command platform + killinchu drones & vessels.
AI & ML interests
None defined yet.
Recent Activity
Deep-dive companion surfaces in the a11oy command platform and killinchu field tool. Doctrine v11 LOCKED.
Lean 4 proofs, canonical formulas, theorem tree. Locked proven set = 8 {F1,F4,F7,F11,F12,F18,F19,F22}. Λ=Conjecture 1.
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.
OTLP span emission for the Λ-axis governance signal. Policy decisions, drift scores, and approval-gate outcomes in structured OpenTelemetry spans.
Lean 4 + Mathlib proofs for the SZL governance substrate. 749 decl / 14 axioms / 163 sorries @ c7c0ba17. DOI 10.5281/zenodo.20434276.
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.
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.
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
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.
Lean 4 proofs, canonical formulas, theorem tree. Locked proven set = 8 {F1,F4,F7,F11,F12,F18,F19,F22}. Λ=Conjecture 1.
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.
OTLP span emission for the Λ-axis governance signal. Policy decisions, drift scores, and approval-gate outcomes in structured OpenTelemetry spans.
DSSE receipts for governed AI actions: SHA-256 hash chains, W3C Trace Context, offline-verifiable signatures. SLSA L2.
Lean 4 + Mathlib proofs for the SZL governance substrate. 749 decl / 14 axioms / 163 sorries @ c7c0ba17. DOI 10.5281/zenodo.20434276.
Lean 4 theorems, DSSE receipts, OTel dataset, MCP server, and thesis. Agentic AI governance with machine-checked proofs. DOI 10.5281/zenodo.20434276