Development record
RecordGrounds accepts text carrying an unclosed HTML comment opener, writes the bullet, and the comment mask then hides that entry and every line after it from the grounds reader and the claims readers, while the result reports success and the CLI says nothing; refuse before the write when the appended bullet does not raise the parsed entry count or leaves a comment open. Notes: the grounds grammar error echoes the raw operand before redaction (terminal only); RecordGrounds writes without the mint lock, like the existing in-place stampers.
issueresolvedminoriss-2608300927577980
RecordGrounds accepts text carrying an unclosed HTML comment opener, writes the bullet, and the comment mask then hides that entry and every line after it from the grounds reader and the claims readers, while the result reports success and the CLI says nothing; refuse before the write when the appended bullet does not raise the parsed entry count or leaves a comment open. Notes: the grounds grammar error echoes the raw operand before redaction (terminal only); RecordGrounds writes without the mint lock, like the existing in-place stampers.
Grounds
- pursued: we expect a write that verifies its own result to be the only durable guard here, because banning the pattern that happens to break the mask today would miss every future one while a read-back check catches them all
Frontmatter
| id | iss-2608300927577980 |
|---|---|
| type | issue |
| lifecycle | resolved |
| severity | minor |
.abcd/work/issues/resolved/iss-2608300927577980-grounds-bullet-can-mask-the-record.md
open on GitHub ↗ · commit history ↗