Skip to main content
ctrlrun.Receipt — class, defined at src/ctrlrun/receipt.py:389
Portable evidence of one action that reached a terminal state (SPEC-v0.1 §6.1). ctrlrun.receipt/v4 (SPEC-v0.7 §6.11) adds precondition_at_request and precondition_at_recheck: the fingerprint the approval was requested with, and the one computed on the presenting pass, each None where there was none. Hashes only, never the state they were computed from. On a refusal they say which side moved or was missing; on a committed action they are equal, and the receipt records that the world was compared before the reservation. That comparison narrows the window between a human’s decision and the effect and does not close it (§6.7). schema is the schema the receipt is written under. A receipt read from a store keeps the one it was written with, renders under that schema’s label and keys, and is hashed as the document it was read from, so a v3 receipt a released 0.6 wrote still rehashes to its stored hash under a v4 binary.

Next