Receipts
Receipt scope
A closure receipt binds a checked closure certificate to its admitted program, data and regime. It does not seal every sentence or projection displayed beside it. Ordinary successful questions carry this scope.
An answer trail binds the supported answer to its reading and data through a source-to-answer chain. Lists, counts, totals and keyed values are not sealed in answer trails. A displayed list may therefore have a closure receipt without being a sealed answer.
A comparison receipt has comparison scope. Its claim is limited to the programs, records and comparison conditions it names; it does not establish equivalence on other inputs or grant permission to adopt a change.
| Part | Scope |
|---|---|
| Accepted closure certificate | Checked by the kernel over the admitted basis |
| Displayed list, count, total or keyed value | Computed from accepted results; not sealed in a trail |
| Supported answer trail | Source-to-answer chain for the supported answer kind |
| Input facts and completeness declarations | Received premises; their truth outside the record is not authenticated |
A receipt's named scope must be read with the answer. Kernel acceptance of a closure is not universal certification of its displayed projections or of the host's reports.