This is the record of an abcd-managed repository

abcdBetav0.16.2 · 2026-11-06

Development record

itd-95 says the richest present tier wins a section; the meta page says tiers are cumulative, so a richer tier can never ground a section worse than a poorer one

issuewontfixminoriss-2610262032182670

itd-95 says the richest present tier wins a section; the meta page says tiers are cumulative, so a richer tier can never ground a section worse than a poorer one

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

  • End A: .abcd/development/intents/shipped/itd-95-disembark-grounds-a-lifeboat-s-open.md:42 — "it does not change the rule that the richest present tier wins a section"
  • End B: .abcd/development/brief/00-meta.md:52 — "A richer tier can therefore never ground a section worse than a poorer one."

itd-95 describes the reduction rule it leaves unchanged as 'the richest present tier wins a section'. Under that rule, an abcd-native tier that finds nothing can override open questions that the conventions tier grounds from TODO markers. 00-meta says a richer tier can never ground a section worse than a poorer one. The first rule lets a section come back worse at a richer tier; the second forbids it.

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

Grounds

  • declined: Closed in the 2026-10-27 triage (dcn-2610271112330536): the two ends do not conflict when read in full. internal/core/lifeboat/probe.go skips a blank and picks the best status, breaking ties toward the richer tier, so a native tier that finds nothing never overrides a conventions result; mapping.go pairs the same 'richest tier present' phrase with 'tiers are cumulative'. Read in full the two ends describe one rule.

Frontmatter

idiss-2610262032182670
typeissue
lifecyclewontfix
severityminor

References1

mentions1