Source and execution provenance

References attributed to Cheung, N., identify the manuscript versions and documentary excerpts supplied with the research programme. They are cited as comparison records, not as independently verified substitutes for the proofs below. The supplied corpus locator is d2c1e6b3, retrieval-3; it is not a public archive manifest or evidence of a complete corpus search.

The execution evidence is the supplied Hawk02-B Optional Diagnostic Script Execution Summary, filename summary (20).txt, including its transcription of manifest.json ExecutionRecord. It reports execution on October 10, 2026, at 16:28:41.703102+00:00 UTC.

This revision incorporates that report. It does not claim an independent rerun, direct inspection of the binary matrices.npz, or verification of the reported source hash. All mathematical conclusions remain established by the proofs. The computational report has a narrower, explicitly described role.