The Immune organ (Quechua role Hukulla) is a fail-closed, deny-by-default egress gate.
Submitted actions are sent to the live threat-signature, size, and
Λ-gate inspection path (MIN of supplied trust axes < 0.5 → deny). When the backend
returns a Khipu receipt, its digest, sequence, signature, chain result, and trace context are shown below.
No receipt or signature state is inferred by this page. Proven Lean backing:
ImmuneNeymanPearsonOpt.lean (Neyman–Pearson-optimal egress) and
FrontierWelfordVariance.lean (Welford online variance). These back the gate but are
not folded into the locked-8 proven set. Λ = Conjecture 1 (not a theorem);
Khipu = Conjecture 2; trust is never 100%; effectors simulated; no fabricated data.
Submit an action payload to the live inspection endpoint. Returned receipt and signing evidence is shown without inference.
Optionally include axes (a JSON array of trust scores) to exercise the Λ-gate floor.
| id | name | label | category | sample → expected |
|---|---|---|---|---|
| loading… | ||||
| time | decision | signals | Λ | receipt |
|---|---|---|---|---|
| loading… | ||||