From 1e8cfede5d0a2be2eb599da6ea781f7e7f9fe5ee Mon Sep 17 00:00:00 2001 From: Shay Date: Sun, 24 May 2026 18:09:00 -0700 Subject: [PATCH] fix(test): extend ADR-0097 ledger-status test to accept 'expert' tier (#240) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The test asserts ledger status is in {reasoning-capable, audit-passed}, but ADR-0120 (PR #195, dec98ea) promoted mathematics_logic to expert without updating this test. Test was failing on main as part of the full suite (surfaced during PR #239 verification: Codex's versor- threshold fix ran full suite, found this unrelated failure). Test's docstring explicitly states the invariant is reasoning_capable holding while "the status string moves with later promotions" — so the fix is to extend the expected tuple, not to revert the promotion. Cleanup per feedback-cleanup-as-you-find: the orphan was a follow-on of ADR-0120 that should have shipped with the promotion PR. Verified: 14/14 passing locally. --- tests/test_adr_0097_mathematics_logic_ratification.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/tests/test_adr_0097_mathematics_logic_ratification.py b/tests/test_adr_0097_mathematics_logic_ratification.py index 2aa19036..4a4c7f4a 100644 --- a/tests/test_adr_0097_mathematics_logic_ratification.py +++ b/tests/test_adr_0097_mathematics_logic_ratification.py @@ -58,11 +58,11 @@ class TestLedgerStatus: def test_status_meets_reasoning_capable_at_minimum(self) -> None: """ADR-0097 ratified math at reasoning-capable. ADR-0110 later promoted it to audit-passed (renamed from expert-demo by - ADR-0113). The load-bearing invariant for ADR-0097 is that - reasoning_capable holds; the status string moves with later - promotions.""" + ADR-0113). ADR-0120 promoted it again to expert. The load-bearing + invariant for ADR-0097 is that reasoning_capable holds; the + status string moves with later promotions.""" row = _ledger_row(DOMAIN_ID) - assert row["status"] in ("reasoning-capable", "audit-passed") + assert row["status"] in ("reasoning-capable", "audit-passed", "expert") assert row["predicates"]["reasoning_capable"] is True def test_reasoning_capable_predicate_holds(self) -> None: