This is the record of an abcd-managed repository

abcdBetav0.16.2 · 2026-11-06

Development record

The read-block eval never asserts the positive half of the assembler's field projection. All three WARM-FIELD plants sit in headings that redactExcluded strips BEFORE projection runs, so each of them tests the redaction and none tests the projection. Deleting the projection from the shipped-intent include row leaves the whole lane green, and deleting it from all three intent rows is also green. The consequence is real and was demonstrated: with one extra unprojected section added to the fixture's shipped intent, the clean binary keeps that section out of the bundle and the mutant passes it in. The corpus cannot distinguish 'the projection is positive at field granularity' from 'the projection is gone and the redaction cleaned up after it', because it holds no section that is unprojected and unexcluded at the same time. The remedy is a plant, not another floor: a sentinel in a shipped-intent and draft section that is neither projected nor on the exclusion floor.

issueresolvedmajoriss-2608311207469829

The read-block eval never asserts the positive half of the assembler's field projection. All three WARM-FIELD plants sit in headings that redactExcluded strips BEFORE projection runs, so each of them tests the redaction and none tests the projection. Deleting the projection from the shipped-intent include row leaves the whole lane green, and deleting it from all three intent rows is also green. The consequence is real and was demonstrated: with one extra unprojected section added to the fixture's shipped intent, the clean binary keeps that section out of the bundle and the mutant passes it in. The corpus cannot distinguish 'the projection is positive at field granularity' from 'the projection is gone and the redaction cleaned up after it', because it holds no section that is unprojected and unexcluded at the same time. The remedy is a plant, not another floor: a sentinel in a shipped-intent and draft section that is neither projected nor on the exclusion floor.

Grounds

  • pursued: a rule is covered only when a plant dies as it is removed; a floor over the assertion is not a substitute. Watched red: deleting Fields from the shipped row, and from all three rows, now fails naming UNPROJECTED-SECTION. This is wrong if a later corpus edit makes the Residue sections projected or excluded, which would silently restore the green.

Frontmatter

idiss-2608311207469829
typeissue
lifecycleresolved
severitymajor