Skip to content

Commit 1ef401a

Browse files
committed
docs: clarify path-local state snapshot claim
1 parent ea1b4ce commit 1ef401a

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

docs/receipts/RECEIPT_CHAIN_v0.2.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -63,6 +63,8 @@ The minimum acceptable test is:
6363

6464
`mutation_committed: false` is only accepted when paired with a `state_snapshot_hash` taken after refusal and verified against the expected unchanged state for the tested path.
6565

66+
The `state_snapshot_hash` proves only that the tested path's expected post-refusal state remained unchanged on this synthetic run.
67+
6668
The snapshot is path-local. It does not prove that every downstream or external mutation route was blocked.
6769

6870
## Verification procedure

0 commit comments

Comments
 (0)