Development record
The reviews-charter gate passes three summaries the board reads as unpinned: scripts/check-reviews.sh RD001 tests the summary with [ -f ], which follows a symlink, while reviews.Read maps a symlinked 00-summary.md (fsutil.ErrNotRegular) to no pin; RD004 reads a summary of any size while reviews.Read caps it at maxSummaryBytes (1 MiB) and shows a larger one unpinned; and bash read drops a NUL byte from the frontmatter line, so a pin line carrying one passes RD004 while reviews.Pin refuses it. Each is gate-green and board-unpinned, the looser polarity; the gate should refuse all three so the board and the gate agree about every folder.
The reviews-charter gate passes three summaries the board reads as unpinned: scripts/check-reviews.sh RD001 tests the summary with [ -f ], which follows a symlink, while reviews.Read maps a symlinked 00-summary.md (fsutil.ErrNotRegular) to no pin; RD004 reads a summary of any size while reviews.Read caps it at maxSummaryBytes (1 MiB) and shows a larger one unpinned; and bash read drops a NUL byte from the frontmatter line, so a pin line carrying one passes RD004 while reviews.Pin refuses it. Each is gate-green and board-unpinned, the looser polarity; the gate should refuse all three so the board and the gate agree about every folder.
Grounds
- pursued: the gate now refuses every summary the board reads as unpinned; a summary the board shows unpinned that check-reviews.sh passes, under either bash, would show it wrong
Frontmatter
| id | iss-2609261121375292 |
|---|---|
| type | issue |
| lifecycle | resolved |
| severity | minor |
.abcd/work/issues/resolved/iss-2609261121375292-the-reviews-charter-gate-passes-three.md
open on GitHub ↗ · commit history ↗