Appendix D
Appendix D — The AVPT Execution and Promotion Record
A per-cycle record (Chapters 11–15). Append-only; one record per cycle; never edited after the gate.
| Field | Value |
|---|---|
| Cycle ID | (stable, never reused) |
| Parent cycle ID / hash | (links to predecessor) |
| Timestamp (UTC) | |
| Frame reference | (the RFPA canvas this cycle runs inside) |
| Attempt — inputs | (which preserved prior states) |
| Attempt — operation & method | (rule applied; which method) |
| Attempt — output (candidate) | (labeled CANDIDATE) |
| Attempt — cost | (time / memory / money / latency) |
| Validate — principal check | ☐ pass ☐ fail |
| Validate — invariant check | ☐ pass ☐ fail (which invariant) |
| Validate — independent recomputation | ☐ pass ☐ fail (which method) |
| Validate — sanity bound | ☐ pass ☐ fail |
| Validate — criteria pre-committed? | ☐ yes ☐ no |
| Validate — residual risk statement | (errors this suite would NOT catch) |
| Preserve — evidence packet stored? | ☐ yes (derivation + validation + predecessors + hash) |
| Track — ledger entry (index/version/status) | |
| GATE decision | ☐ Promote ☐ Hold ☐ Roll back ☐ Supersede |
| Gate rationale & authorizing scope | |
| If Supersede: predecessor preserved & marked? | ☐ yes |
| Artifact hash |