Living Anatomy (one governed organism)a11oy + killinchu as ONE organism · proven formulas in the organs

a11oy and killinchu are not two products — they are one connected governed organism. This embeds the live 3D anatomy scene and overlays the proven formulas living in each organ with honest maturity labels. The reasoning organ, the policy organ, the field node, the orchestrator — each carries a theorem_ref. This is what makes the architecture agentic with a proof backbone: every organ's function is tied to a formally-stated property.

Organism

a11oy + killinchu

one governed body

Locked-proven

F1 F4 F7 F11 F12 F18 F19 F22 @ c7c0ba17

Λ (trust)

Conjecture 1

advisory · NOT a theorem

Consensus mesh

—

Byzantine = Conjecture 2 OPEN

Living anatomy (live 3D)szlholdings-anatomy.static.hf.space

Proven formulas living in the organstheorem_ref + honest maturity

Brain — reasoning cortex (a11oy)

F12 · Pinsker / KL-control · Lutar kernel c7c0ba17

locked-proven

The reasoning organ's confidence bounds are backed by a locked-proven information-theoretic inequality (one of the 5).

Heart — Λ trust gate (both)

Λ uniqueness · Conjecture 1 (machine-checked FALSE as unconditional)

conjecture (advisory)

The Λ-gate beats per decision. Λ is Conjecture 1 — advisory only; uniqueness holds conditionally (CUT-2), never unconditionally.

Skeleton — locked-8 spine (both)

F1 F4 F7 F11 F12 F18 F19 F22 @ kernel c7c0ba17

locked-proven

Exactly 8 formulas form the load-bearing spine — kernel-verified, never inflated. Experimental tier (CI-green @ 044eb098) is NOT folded in.

Nervous system — consensus mesh (both)

Khipu Conjecture 2 · Byzantine quorum safety

conjecture (OPEN)

4/4 quorum holds live, but Byzantine safety is Conjecture 2 — OPEN. We surface the live quorum, not a proof.

Field node — counter-UAS body (killinchu)

CUT-2 conditional · threshold-policy · @ 044eb098

conditional (CI-green)

The field organ runs governed interdiction; its threshold policy is conditional/experimental, CI-green on main — labeled, not locked.

Circulatory — signed receipt bus (both)

DSSE / ECDSA-P256 · hash-chain + Merkle audit (A5 measured)

measured

Every decision flows as a genuinely signed receipt. Deterministic replay is axiom A5 — measured, not a theorem.

Honest by design. Live embed of the shared anatomy scene. Labels: Λ = Conjecture 1 (machine-checked FALSE as unconditional); exactly 8 locked-proven formulas {F1,F4,F7,F11,F12,F18,F19,F22} @ c7c0ba17 (never inflated); CUT-2 conditional/experimental @ 044eb098; Byzantine quorum = Conjecture 2 (OPEN); A5 deterministic replay = measured. Mesh quorum is read live. 0 runtime CDN — anatomy scene is a same-org HF static Space.