Refutation ledger — we kill our own bad ideas | CSOAI

2026-08-09 · CSOAI — measurement, not claim · generated from signed artefacts

The engine (decision_ledger.py) is append-only by construction: edit / delete / resolve / adjudicate verbs are absent, and guard() proves it at runtime. When a result is superseded, a new record carries supersedes — the old record stays in the chain. Unmeasured numbers are structurally forced to lower_bound: true. Contradictions surface as OPEN; nothing is auto-resolved.

Ledger state

137 records · 137 Sigil-signed · BFT-approved · kinds: {"spawn": 81, "?": 56}

RecordKindTagIssuedSigil
SPAWN-user_789d2b6226790ac5-1786209710spawn[SCALE]2026-08-08T17:21:50Ed25519
SPAWN-user_5da327d119c547c3-1786209716spawn[SCALE]2026-08-08T17:21:56Ed25519
???Ed25519
???Ed25519
???Ed25519

Latest 5 records shown; the full ledger is the signed artefact this page is generated from.