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

a11oy and killinchu are one connected governed organism, not two products. This 3D anatomy scene overlays the proven formulas living in each organ with honest maturity labels — reasoning, policy, field node, orchestrator, each carrying a theorem_ref. That is the 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) — opens zoomed OUT to the whole estateszlholdings-anatomy.hf.space

Open scene ↗

Opens on the estate zoom-out so the whole estate & its wirings are visible at a glance. Inside the scene: drag to orbit · scroll to zoom · ⟲ resets · ▦ estate lens toggles the honesty panel.

Estate & Ayllu viewsv10 · camera presets

⤢ Estatezoom-out

Zoom OUT to the whole estate — hardware & stack (declared, no live probe). Gold labels mark each estate node.

◎ Ayllu councillive roster

Zoom to the Ayllu council — the live persona roster, read from /v1/ayllu/roster. An empty live roster is shown as a declared snapshot, never faked.

◉ Organismhome

The home view of the single governed organism (a11oy + killinchu) — the default when no view is requested.

▦ Estate lenshonesty panel

Toggles the estate/council honesty panel: council source (live vs declared), the PhysicsNeMo PINN lab (measured), and the declared hardware & stack.

The same organism — the other two surfacesone anatomy, cross-linked

Standalone anatomy scene ↗

szlholdings-anatomy.hf.space · full-screen 3D (opens zoomed-out)

killinchu — the field-node body ↗

szlholdings-killinchu.hf.space · counter-UAS twin (same organism)

/formulas — the named-formula registry

23 addressable FormulaAgents · live proof-state reveal · honest Lean status

/wires — the written constitution

W-CONST v1.0 · numbered rules wired to live enforcement evidence

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)

The quorum is read 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. Anatomical vocabulary (brain, heart, skeleton…) is an engineering metaphor for system organs — no medical-atlas or neuroscience claim is made or implied.