Development record
2026-09-02 — The sentence "no committed cold preset names either" in the source-and-tests entry of this day is superseded by the object-set entry of the same day: the default entries at the widening and detection positions name source and test within the object set, every such item marked unscanned; the entailment entry names neither, because its object (companion section 6.2) holds no tree.
decisiondcn-2609020000000014
2026-09-02 — The sentence "no committed cold preset names either" in the source-and-tests entry of this day is superseded by the object-set entry of the same day: the default entries at the widening and detection positions name source and test within the object set, every such item marked unscanned; the entailment entry names neither, because its object (companion section 6.2) holds no tree.
Frontmatter
| id | dcn-2609020000000014 |
|---|---|
| type | decision |
| date | 2026-09-02 |
.abcd/work/decisions/dcn-2609020000000014-the-sentence-no-committed-cold-preset.md
open on GitHub ↗ · commit history ↗