This is the record of an abcd-managed repository

abcdBetav0.16.2 · 2026-11-06

Development record

The mental model defines a standalone intent as shipping as one spec; invariant 17 makes an intent own one or more specs as the normal state

issueopenminoriss-2610262030338994

The mental model defines a standalone intent as shipping as one spec; invariant 17 makes an intent own one or more specs as the normal state

A premise contradiction (severity minor) found by the cross-document consistency pass.

  • End A: .abcd/development/brief/01-product/03-mental-model.md:64 — "one press-release-shaped user moment, ships as one spec."
  • End B: .abcd/development/brief/02-constraints/03-invariants.md:171 — "More than one spec naming one intent is the normal state and not an ambiguity"

The mental model defines the standalone kind as one user moment that ships as one spec. Invariant 17 says the intent-to-spec relation is 1:n, that more than one spec naming one intent is normal, and that the intent ships when its last spec closes. A standalone intent planned as one spec and finished by a remainder spec breaks the mental model's definition but follows the invariant.

Evidence: .abcd/work/reviews/2026-10-26-consistency/00-summary.md, finding 15.

Frontmatter

idiss-2610262030338994
typeissue
lifecycleopen
severityminor