This is the record of an abcd-managed repository

abcdBetav0.16.2 · 2026-11-06

Development record

the pre-decided promotion of examples-use-reserved-identifiers to a discipline-kind intent never happened — the iss-154 lint shipped, the principles README contract says a mechanical gate promotes the principle, and no discipline intent exists

issueopenminoriss-390

the pre-decided promotion of examples-use-reserved-identifiers to a discipline-kind intent never happened — the iss-154 lint shipped, the principles README contract says a mechanical gate promotes the principle, and no discipline intent exists

Evidence

  • .abcd/development/principles/README.md:24-25 — "The moment a principle gains a mechanical gate (a lint code, a hook, a CI check), it is promoted to a discipline-kind intent … this directory is the not-yet-enforced layer."
  • dcn-2607290000000001 — the iss-154 allowlist-inversion lint's shipping "promotes the principle to a discipline".
  • The trigger fired (the lint is armed in repolint), yet .abcd/development/intents/disciplines/ holds only itd-1, itd-5, itd-37, itd-79, itd-81, itd-84 — no intent for examples-use-reserved-identifiers.
  • Refuter verdict: CONFIRMED (minor, process) — the promotion is pre-decided by two records, not an open design question. Minting a discipline-kind intent is a maintainer ceremony (an intent record, not an issue fix), so this record stays open as the tracker rather than being resolved by the autonomous round; iss-389 fixed the principle file's false prose in the same round.

Remedy grounds (2026-09-29)

  • Why: the promotion contract in principles/README.md (an enforced principle is promoted to a discipline-kind intent) and the itd-79 precedent give the fix; the ruling on who performs the ceremony is unanswered, so no answer is picked.
  • Rejected: an agent lane retiring the principle unasked, which the record itself routes away from as a governance act.

Frontmatter

idiss-390
typeissue
lifecycleopen
severityminor

mentions13