os-adr judge accepts a runtime gem list as a one-way door #1649

New issue

Open

opened 2026-11-09 17:37:16 +00:00 by jared · 0 comments

jared commented

2026-11-09 17:37:16 +00:00

Owner

Problem

adr-new challenge accepted two finance ADRs that only list allowed runtime gems:

0009 "Runtime dependencies: a short gem list, no ActiveSupport, ORM, database or sorbet, no Ruby pin". Verdict: accept, door library-dependency.
0007 (an older version of the same list). Verdict: accept.

Jared ruled on 2026-11-09 that a gem list is not an ADR. Adding a gem is reversible in the commit that adds it. The ADR blocked an ordinary change (adding llm-stack) and he had to override the judge. The judge treats "code uses library X" as a one-way door, so any allow-list or ban-list passes.

Expected

challenge rejects an ADR whose decision is an allow-list or ban-list of libraries, a version pin policy, or a "needs a new ADR to change" clause, unless the text names a reader outside the repo that breaks.

Evidence

Finance commit ee36cb4 retired 0007 and 0009 by Adr::Repository#retire after the judge accepted both.

Discoverer: /home/jared/projects/finance, session 39593748-0e8a-4358-b2de-32566949edfd, 2026-11-09. Jared asked why brittle ADRs got past the challenge.

## Problem `adr-new challenge` accepted two finance ADRs that only list allowed runtime gems: - `0009` "Runtime dependencies: a short gem list, no ActiveSupport, ORM, database or sorbet, no Ruby pin". Verdict: accept, door `library-dependency`. - `0007` (an older version of the same list). Verdict: accept. Jared ruled on 2026-11-09 that a gem list is not an ADR. Adding a gem is reversible in the commit that adds it. The ADR blocked an ordinary change (adding llm-stack) and he had to override the judge. The judge treats "code uses library X" as a one-way door, so any allow-list or ban-list passes. ## Expected `challenge` rejects an ADR whose decision is an allow-list or ban-list of libraries, a version pin policy, or a "needs a new ADR to change" clause, unless the text names a reader outside the repo that breaks. ## Evidence Finance commit ee36cb4 retired 0007 and 0009 by `Adr::Repository#retire` after the judge accepted both. -------- **Discoverer:** /home/jared/projects/finance, session 39593748-0e8a-4358-b2de-32566949edfd, 2026-11-09. Jared asked why brittle ADRs got past the challenge.

jared referenced this issue

2026-11-12 17:57:33 +00:00

Give adr-new one route that removes an ADR whose one-way-door reason is gone #1715