Development record
Invariant 18 says surface-chapter prose states no flag the tree registers; the launch chapter's prose names its `dry-run` flag outright
Invariant 18 says surface-chapter prose states no flag the tree registers; the launch chapter's prose names its dry-run flag outright
A premise contradiction (severity nitpick) found by the cross-document consistency pass.
- End A:
.abcd/development/brief/02-constraints/03-invariants.md:173— "The prose above the appendix states no flag the tree registers and no sub-verb written as an invocation" - End B:
.abcd/development/brief/04-surfaces/04-launch.md:257— "The preview is spelleddry-run, and it is a flag, not a sub-verb."
Invariant 18 says the prose above a surface chapter's generated appendix states no flag the command tree registers. The launch chapter's prose names the preview's flag directly as dry-run and goes on to describe it. The appendix registers that flag, so the chapter's prose states a shape claim the invariant reserves for the appendix.
Evidence: .abcd/work/reviews/2026-10-26-consistency/00-summary.md, finding 28.
Grounds
- declined: Closed in the 2026-10-27 triage (dcn-2610271112330536): the two ends do not conflict when read in full. The check's own definition of a shape claim is the dashed spelling, which the launch prose avoids, and the sentence exists to refuse a sub-verb reading. A one-line clarification of the invariant is optional, not owed.
Frontmatter
| id | iss-2610262030398252 |
|---|---|
| type | issue |
| lifecycle | wontfix |
| severity | nitpick |
.abcd/work/issues/wontfix/iss-2610262030398252-invariant-18-says-surface-chapter-prose.md
open on GitHub ↗ · commit history ↗
mentions1
- dcn-26102711123305362026-10-27 — The product thinker accepted on 2026-10-27 the triage of the 1301 records the 2026-10-26 consistency pass filed. The duplicates, the records a later record already settles, the ones that are no contradiction and the one already fixed are closed with each reader's reason. Every other record gets its fix as its remedy, the rulings' accepted answers included, so a drain can take it. The 45 major records left open are deferred past v0.15.1, because the brief's single-home rewrite rewrites or removes most of the passages they quote. The person ruled the major rulings one at a time; the minor rulings take their recommended answers.