Sovereign proof-carrying agent family of SZL Holdings (Alloy). PUBLISHED = repo-existence only; the Second Brain ships as data, not a model.
AI & ML interests
a11oy.net
Recent Activity
Governed navigation. Labels retained; inclusion does not assert provenance, weights, proof, training, or production readiness.
-
SZL SDA
🛰Sovereign domain superiority; signed receipt per verdict.
-
David Leads — Sovereign Insurance Intelligence
🛡Audit-defensible, public-data lead intelligence for NYL pros
-
SZL Cosmos
🌌Holographic map of the SZL sovereign substrate
-
Holographic Estate
🛰Live Atlas integrity and brain-trust evidence observatory
Governed navigation. Labels retained; inclusion does not assert provenance, weights, proof, training, or production readiness.
Governed navigation. Labels retained; inclusion does not assert provenance, weights, proof, training, or production readiness.
-
Governed Receipt Verifier
🧾Verify a governed receipt offline, in-browser
-
Guardrail Decision-Receipt
🧾Wrap any guardrail verdict into a signed, verifiable receipt
-
Governed Norms — WILLAY classifiers
🛡Inspectable holographic view of a11oy WILLAY classifiers
-
Λ Gate — Conjecture 1, never green
⚖The Λ trust gate — Conjecture 1, never a theorem
The front door: flagship Spaces, the verify-it-yourself corpus, the governed-kernel hub. MEASURED/REPORTED only — Λ stays Conjecture-1.
-
SZL Estate Hub
🏛74-asset governed registry and live alignment evidence
-
a11oy — Command Center
🛡a11oy — governed-AI Command Center, signed receipts
-
killinchu — Andean Drone Intelligence
🦅2counter-UAS edge organ · 13-axis Λ-gate · DSSE receipts
-
Holographic Estate
🛰Live Atlas integrity and brain-trust evidence observatory
szl-kernels: governed norm, Λ-gate, energy meter, DSSE signing, honest-BLOCKED, prov-DAG. SHA3-256 receipts, offline-verifiable. Live: a-11-oy.com.
Doctrine v11 LOCKED · c7c0ba17 · Λ=Conjecture 1 · SLSA L1/L2 honest. a11oy platform + killinchu counter-UAS & maritime demonstration.
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: SHA-256 hash chains, W3C Trace Context, offline-verifiable via the open governed-receipt-spec + verifier. SLSA L2.
Governed navigation. Labels retained; inclusion does not assert provenance, weights, proof, training, or production readiness.
Governed navigation. Labels retained; inclusion does not assert provenance, weights, proof, training, or production readiness.
Governed navigation. Labels retained; inclusion does not assert provenance, weights, proof, training, or production readiness.
Governed navigation. Labels retained; inclusion does not assert provenance, weights, proof, training, or production readiness.
-
a11oy — Command Center
🛡a11oy — governed-AI Command Center, signed receipts
-
killinchu — Andean Drone Intelligence
🦅2counter-UAS edge organ · 13-axis Λ-gate · DSSE receipts
-
SZL Living Anatomy
🫀3D navigable map of the governed-AI organ substrate
-
yarqa — Plug-Flow Compartments (live or sample, always honest)
🌊Clean-room CFD compartments — live or sample, always honest
Lean 4 proofs (749 decl/14 axioms/163 sorries @ c7c0ba17), canonical formulas, doctrine v11 LOCKED, theorem tree.
Live surfaces on one governed-AI substrate: a11oy command platform + killinchu counter-UAS & maritime demonstration. Signed receipt per action.
-
killinchu — Andean Drone Intelligence
🦅2counter-UAS edge organ · 13-axis Λ-gate · DSSE receipts
-
a11oy — Command Center
🛡a11oy — governed-AI Command Center, signed receipts
-
hatun — MCP Server
👁Live MCP server for the SZL governance substrate
-
SZL Estate Hub
🏛74-asset governed registry and live alignment evidence
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
Sovereign proof-carrying agent family of SZL Holdings (Alloy). PUBLISHED = repo-existence only; the Second Brain ships as data, not a model.
Governed navigation. Labels retained; inclusion does not assert provenance, weights, proof, training, or production readiness.
Governed navigation. Labels retained; inclusion does not assert provenance, weights, proof, training, or production readiness.
-
SZL SDA
🛰Sovereign domain superiority; signed receipt per verdict.
-
David Leads — Sovereign Insurance Intelligence
🛡Audit-defensible, public-data lead intelligence for NYL pros
-
SZL Cosmos
🌌Holographic map of the SZL sovereign substrate
-
Holographic Estate
🛰Live Atlas integrity and brain-trust evidence observatory
Governed navigation. Labels retained; inclusion does not assert provenance, weights, proof, training, or production readiness.
Governed navigation. Labels retained; inclusion does not assert provenance, weights, proof, training, or production readiness.
Governed navigation. Labels retained; inclusion does not assert provenance, weights, proof, training, or production readiness.
Governed navigation. Labels retained; inclusion does not assert provenance, weights, proof, training, or production readiness.
-
Governed Receipt Verifier
🧾Verify a governed receipt offline, in-browser
-
Guardrail Decision-Receipt
🧾Wrap any guardrail verdict into a signed, verifiable receipt
-
Governed Norms — WILLAY classifiers
🛡Inspectable holographic view of a11oy WILLAY classifiers
-
Λ Gate — Conjecture 1, never green
⚖The Λ trust gate — Conjecture 1, never a theorem
Governed navigation. Labels retained; inclusion does not assert provenance, weights, proof, training, or production readiness.
-
a11oy — Command Center
🛡a11oy — governed-AI Command Center, signed receipts
-
killinchu — Andean Drone Intelligence
🦅2counter-UAS edge organ · 13-axis Λ-gate · DSSE receipts
-
SZL Living Anatomy
🫀3D navigable map of the governed-AI organ substrate
-
yarqa — Plug-Flow Compartments (live or sample, always honest)
🌊Clean-room CFD compartments — live or sample, always honest
The front door: flagship Spaces, the verify-it-yourself corpus, the governed-kernel hub. MEASURED/REPORTED only — Λ stays Conjecture-1.
-
SZL Estate Hub
🏛74-asset governed registry and live alignment evidence
-
a11oy — Command Center
🛡a11oy — governed-AI Command Center, signed receipts
-
killinchu — Andean Drone Intelligence
🦅2counter-UAS edge organ · 13-axis Λ-gate · DSSE receipts
-
Holographic Estate
🛰Live Atlas integrity and brain-trust evidence observatory
Lean 4 proofs (749 decl/14 axioms/163 sorries @ c7c0ba17), canonical formulas, doctrine v11 LOCKED, theorem tree.
szl-kernels: governed norm, Λ-gate, energy meter, DSSE signing, honest-BLOCKED, prov-DAG. SHA3-256 receipts, offline-verifiable. Live: a-11-oy.com.
Live surfaces on one governed-AI substrate: a11oy command platform + killinchu counter-UAS & maritime demonstration. Signed receipt per action.
-
killinchu — Andean Drone Intelligence
🦅2counter-UAS edge organ · 13-axis Λ-gate · DSSE receipts
-
a11oy — Command Center
🛡a11oy — governed-AI Command Center, signed receipts
-
hatun — MCP Server
👁Live MCP server for the SZL governance substrate
-
SZL Estate Hub
🏛74-asset governed registry and live alignment evidence
Doctrine v11 LOCKED · c7c0ba17 · Λ=Conjecture 1 · SLSA L1/L2 honest. a11oy platform + killinchu counter-UAS & maritime demonstration.
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: SHA-256 hash chains, W3C Trace Context, offline-verifiable via the open governed-receipt-spec + verifier. 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