Manuscript Hawk04-D@1 · Hawk04-D-v1.tex · section · 39b16f67
Source boundary
Debugging and provenance ledger › Source boundary · lines 2431–2494
The complete Hawk04-A version 1, Hawk04-B version 2, and Hawk04-C version 1 sources were supplied for this development. The Hawk01-B, Hawk02-A/B, and En07-A/B/C comparisons additionally use the version-qualified excerpts supplied with the request. Their full unseen proof packages are not asserted to have been inspected.
The Philosophy essay was consulted at its stated companion address. Cheung's journal article has an independently identifiable publisher record. That article's status does not assign publication dates or journal acceptance to the companion manuscripts.
The retrieval labels, duplicated catalogue extracts, and automated “further development” paragraphs in the supplied material are not mathematical premises. OpenAI catalogue material is excluded.
| Source | Comparison retained |
|---|---|
| Source | Comparison retained |
| Hawk04-A@1 | Complete restoration, Schmidt decoder, finite-band regulator, dimension-explicit certificate, negative control, and access-preserving endpoint. |
| Hawk04-B@2 | Typed destructive readout, quantum return, apparatus accounting, finite proxies, and recurrence. |
| Hawk04-C@1 | Six-row operational analogy, SWAP schedule, complete-complement criterion, three ledgers, and standing non-identifications. |
| Hawk02-A@1 | Supplied stability, pair-entropy, mass-forcing, and conditional physical acceptance interfaces. Corresponding statements used here are proved locally. |
| Hawk02-B@2 | Supplied single-cell pulse survival and optimal flagged recovery benchmark. The model and formulas are reconstructed locally. |
| Hawk01-B@1 | Supplied entropy/recovery separation and explicit information-free endpoint transfer. No endpoint is inferred without that added rule. |
| En07-A/B/C@1 | Supplied three-ledger separation, endpoint obligations, KSW direction, and selected spectral/entropy counterexamples. |
| En02-C@1 | Sequential reference accounting and the distinction between available information and executable recovery under a resource budget. |