core-labs/core
1
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions

docs(ADR-0172): fix evidence-module path in Tier 1 brief pack (#381)

Browse source 
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.
This commit is contained in:
Shay 2026-05-27 12:18:19 -07:00 committed by GitHub
parent 2d5b119c6a
commit 3aea5a1fa8
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
docs/handoff/ADR-0172-TIER1-BRIEF-PACK.md
View file

@ -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