Claim

EVERY DECISION CARRIES A REPLAYABLE RECEIPT

Status

PROVEN_IN_CODE_AND_TESTS

Law

A decision can be checked against its own receipt — the decision trace carries a sha256 receipt and the append-only record links the lineage, so a replay reproduces the same chain.

Implementation

emit_trace with sha256 receipt; 16-field append-only record; DECISION_REPLAYED on hash replay under a new policy

Test

packages/decisions replay/lineage suites (decisions 481/481 at DI-hardening; current suite green)

Limitation

replay depends on immutable sources for input hashes (documented per question)

Last verified

2026-10-17 · build edd6a6f (edd6a6f35dcab81b178a2e1ef1a31c2901aa67b8)

Reproduction

pnpm --filter @tollbridge/decisions test

This proof has no exact entry in the index. It is derived from the nearest claim: PREDICTIONS COMMITTED BEFORE OUTCOME.