Development record
The assembler version pin is advisory, not mechanical: TestAssemblerVersionCoversTheIncludeTable compares sha256 of the rendered include table to a standalone literal digest and never reads AssemblerVersion, so changing the table and updating only the literal is green with the version unmoved
issueresolvedminoriss-2608311949385350
The assembler version pin is advisory, not mechanical: TestAssemblerVersionCoversTheIncludeTable compares sha256 of the rendered include table to a standalone literal digest and never reads AssemblerVersion, so changing the table and updating only the literal is green with the version unmoved
Grounds
- pursued: an attestation that can name a version not describing its own table is the shape brief invariant 16 forbids, and a gate asking a human to move a constant is not a gate. What would show this wrong is a table change that moves the digest without changing what any reading receives, making the version noisy rather than informative.
Frontmatter
| id | iss-2608311949385350 |
|---|---|
| type | issue |
| lifecycle | resolved |
| severity | minor |
.abcd/work/issues/resolved/iss-2608311949385350-the-assembler-version-pin-is-advisory.md
open on GitHub ↗ · commit history ↗