From 3aea5a1fa8137e9afa190b03a1c5a128f53af8d6 Mon Sep 17 00:00:00 2001 From: Shay Date: Wed, 27 May 2026 12:18:19 -0700 Subject: [PATCH] docs(ADR-0172): fix evidence-module path in Tier 1 brief pack (#381) The brief pack referenced `teaching/audit_evidence.py` in 3 spots (A2 schema field, A2 read-required list, B2 algorithm step 3a). The actual module on main is `teaching/math_evidence.py` (carries `MathReaderRefusalEvidence` per ADR-0167). Sonnet (A2 / PR #380) discovered the discrepancy and correctly used the real module. This patch corrects the brief so Wave B operators (B1 / B2) do not hit the same gap on dispatch. No runtime change. Pure docs. --- docs/handoff/ADR-0172-TIER1-BRIEF-PACK.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/handoff/ADR-0172-TIER1-BRIEF-PACK.md b/docs/handoff/ADR-0172-TIER1-BRIEF-PACK.md index d9343164..ff49eacf 100644 --- a/docs/handoff/ADR-0172-TIER1-BRIEF-PACK.md +++ b/docs/handoff/ADR-0172-TIER1-BRIEF-PACK.md @@ -150,7 +150,7 @@ class MathReaderRefusalShapeProposal: domain: Literal["math"] shape_category: ShapeCategory # from evals.refusal_taxonomy.shape_categories structural_commonality: str - evidence_pointers: tuple[MathReaderRefusalEvidence, ...] # ≥2; from teaching/audit_evidence.py + evidence_pointers: tuple[MathReaderRefusalEvidence, ...] # ≥2; from teaching/math_evidence.py proposed_change_kind: Literal[ "matcher_extension", "injector_sub_shape", @@ -193,7 +193,7 @@ def build_proposal(...) -> MathReaderRefusalShapeProposal: ### Cross-references the operator must read first - `teaching/proposals.py` — the cognition `TeachingChainProposal` (template) -- `teaching/audit_evidence.py` — `MathReaderRefusalEvidence` shape (ADR-0167) +- `teaching/math_evidence.py` — `MathReaderRefusalEvidence` shape (ADR-0167) - `evals/refusal_taxonomy/shape_categories.py` — `ShapeCategory` enum ### Forbidden @@ -266,7 +266,7 @@ def decompose_audit(audit_path: Path) -> tuple[MathReaderRefusalShapeProposal, . 1. Parse `audit_path` (expect `evals/gsm8k_math/train_sample/v1/audit_brief_11.json`). 2. Group rows by `(refusal_reason, missing_operator)` tuple. 3. For each group with `≥2` rows: - a. Build evidence list: `MathReaderRefusalEvidence` for each row (use `teaching/audit_evidence.py` helpers). + a. Build evidence list: `MathReaderRefusalEvidence` for each row (use `teaching/math_evidence.py` helpers). b. Build `ReasoningTrace` with 4 steps: - step 0: `observation` — "N refusal rows share (refusal_reason, missing_operator)" - step 1: `grouping` — encode group key as payload