Audit — Khipu DAG across all flagships
The Greene demo trick: every claim across the SZL stack is a node in a SHA-256-linked Khipu Merkle DAG. Walk the graph; find nodes that shouldn't be there. This is the in-toto-style provenance graph that makes the whole stack auditable.
This page's own receipt (proof it is itself receipted)
| Field | Value |
|---|---|
| Khipu receipt id | … |
| content hash (SHA-256) | … |
| signature | … honest: DSSE-PLACEHOLDER until Sigstore |
Cross-flagship evidence walk
probing…
Walk the graph: a11oy /evidence (per-claim PROVEN/SORRY/AXIOM, Lean file:line) → amaru receipts → sentra immune firings → rosie receipt stream → killinchu cue provenance chain. Every hop is a Khipu receipt. The LOCKED numbers — 749 declarations / 14 axioms / 163 sorries — are the audit baseline; any drift is a node that shouldn't be there.
Source: Khipu Merkle DAG (TH11 Lean-proved) · in-toto provenance model