Shay b6d422834b reconcile: restore eval proxy and remove unauthorized teaching proposal from #846 (#847) ... - Restore evals/gsm8k_math/train_sample/v1/report.json to pre-#846 pin (6/44/0) The 30/20/0 committed in #846 was generated eval output, not a ratified rebaseline. Historical pin is required until a dedicated rebaseline PR is explicitly authorized. - Delete teaching/proposals/comprehension_failures/34ce9254...json Newly added in #846 without authorization. File did not exist in first parent. HANDOFF claimed teaching paths were untouched — contradicted by the actual diff. Proposal must go through the reviewed teaching lifecycle, not committed PRs. - Add docs/sessions/pr846-reconciliation-audit-2026-06-20.md Full audit note: what #846 was expected vs. what merged, authorization analysis, restoration rationale, what was preserved, remaining risk, next correct step. Tests kept from #846: - tests/test_problem_frame_builder.py (lint fix: _frame_names -> direct accessor) - tests/test_problem_frame_skeleton.py (unused ProblemFrame import removed) Both are valid narrow fixes unrelated to the unauthorized artifacts. Forbidden paths not touched: algebra, field, vault, recall, identity, policy, packs, generate/derivation, generate/math_candidate_graph.py, runtime/serving.		2026-06-20 19:40:12 -07:00
..
admissibility_exemplars	feat(derivation): Gate A2a unit partition injection (#809)	2026-06-17 18:14:24 -07:00
cognition_chains	feat(gsm8k): Gate A1 multiplicative comparative recognizer injection (#805)	2026-06-17 14:05:06 -07:00
cross_pack_chains	feat(adr-0067): cross-pack teaching chains — Plan Phase 4 closed	2026-05-18 17:22:43 -07:00
domain_chains	Add chain-first capability ledger and domain seeds (#97)	2026-05-20 21:33:24 -07:00
math_corpora	feat(ADR-0131.2.B): B2 teaching-corpus enrichment — load-bearing gate (#177)	2026-05-23 11:29:48 -07:00
math_proposals	feat(ADR-0172/W3): core eval math-contemplation CLI lane (#384)	2026-05-27 12:58:31 -07:00
proposals	reconcile: restore eval proxy and remove unauthorized teaching proposal from #846 (#847)	2026-06-20 19:40:12 -07:00
relations_chains	content(en_core_relations_v1): +14 kinship/social lemmas + +14 chains, cognition eval byte-identical, ratify-idempotent (#211)	2026-05-23 22:47:53 -07:00
relations_chains_v2	feat(packs): en_core_relations_v2 — pronouns + role-fillers (Phase 2.4)	2026-05-18 16:42:02 -07:00
__init__.py	chore(teaching): MetricSet dataclass (ADR-0142 debt #3) (#231)	2026-05-24 15:15:02 -07:00
audit.py	feat(adr-0057): operator supersession history view — closes the supersede loop	2026-05-18 10:40:38 -07:00
contemplation.py	fix(ADR-0167): route contemplation and proposal replay by candidate domain (#363)	2026-05-27 09:43:16 -07:00
correction.py
coverage.py	feat(adr-0174-phase5a): retire inert GSM8K scoring-path reader	2026-05-28 13:38:44 -07:00
cross_pack_supersede.py	feat(phase5+bench): cross-pack supersede + articulation benchmark suite	2026-05-18 17:44:59 -07:00
discovery.py	feat(ADR-0167/W2-C): domain discriminator + cross-domain audit (#351)	2026-05-27 06:44:29 -07:00
discovery_sink.py	feat(adr-0055): Phase B — DiscoveryCandidate emission from turn loop	2026-05-18 08:26:04 -07:00
epistemic.py	feat(teaching): ADR-0218 P3 — proof-carrying coherence promotion	2026-06-11 17:02:45 -07:00
exemplar_ingest.py	feat(derivation): Gate A2a unit partition injection (#809)	2026-06-17 18:14:24 -07:00
from_curriculum.py	feat(teaching): ADR-0104 — curriculum-sourced teaching proposals (#107)	2026-05-22 10:05:14 -07:00
from_miner.py	feat(teaching): implement ADR-0095 — Miner-Sourced Teaching Proposals	2026-05-21 18:18:51 -07:00
gaps.py	feat(teaching): discovery gaps aggregator + auto-promotion queue (Phase 1.1+1.2)	2026-05-18 16:04:39 -07:00
math_claim_signature.py	feat(ADR-0167/W2-B): lexical claim signature + dedup (#353)	2026-05-27 06:56:36 -07:00
math_composition_proposal.py	feat(ADR-0169/CC-2+CC-3): CompositionClaim ratification handler + decomposer heuristic tightening (#393)	2026-05-27 15:15:11 -07:00
math_composition_ratification.py	feat: implement CORE Workbench W3 Ratification Corridor	2026-06-03 20:13:36 -07:00
math_contemplation.py	feat(brief-B): enrich composition_reclassification payload to be directly ratifiable	2026-05-27 20:46:10 -07:00
math_contemplation_proposal.py	feat(ADR-0169/CC-2+CC-3): CompositionClaim ratification handler + decomposer heuristic tightening (#393)	2026-05-27 15:15:11 -07:00
math_evidence.py	feat(ADR-0167/W1-A): MathReaderRefusalEvidence schema + canonical-bytes (#350)	2026-05-27 06:30:21 -07:00
math_frame_proposal.py	feat(ADR-0168/F1): FrameClaim ratification handler (Tier 1.5) (#389)	2026-05-27 14:10:43 -07:00
math_frame_ratification.py	feat: implement CORE Workbench W3 Ratification Corridor	2026-06-03 20:13:36 -07:00
math_inference_proposal.py	feat(ADR-0172/W5): MathReaderInferenceProposal schema (Tier 2) (#388)	2026-05-27 14:01:50 -07:00
math_lexical_ratification.py	feat: implement CORE Workbench W3 Ratification Corridor	2026-06-03 20:13:36 -07:00
math_reasoning_trace.py	feat(teaching/W0): ReasoningTrace substrate for ADR-0172 Tier 1 (#379)	2026-05-27 12:21:59 -07:00
metric_set.py	chore(teaching): MetricSet dataclass (ADR-0142 debt #3) (#231)	2026-05-24 15:15:02 -07:00
migrate_proposals_source_field.py	feat(teaching): implement ADR-0094 — Proposal Source Provenance	2026-05-21 18:11:09 -07:00
oov_gaps.py	feat(teaching): OOV signal flywheel — sink, aggregator, auto-promotion (Phase 2.3)	2026-05-18 16:42:26 -07:00
oov_promotion.py	feat(teaching): OOV signal flywheel — sink, aggregator, auto-promotion (Phase 2.3)	2026-05-18 16:42:26 -07:00
oov_sink.py	feat(teaching): OOV signal flywheel — sink, aggregator, auto-promotion (Phase 2.3)	2026-05-18 16:42:26 -07:00
promotion.py	feat(teaching): discovery gaps aggregator + auto-promotion queue (Phase 1.1+1.2)	2026-05-18 16:04:39 -07:00
proof_promotion.py	feat(teaching): ADR-0218 P3 — proof-carrying coherence promotion	2026-06-11 17:02:45 -07:00
proposals.py	fix(ADR-0167): route contemplation and proposal replay by candidate domain (#363)	2026-05-27 09:43:16 -07:00
provenance.py
queue.py	feat(ADR-0161.2): HITL queue backpressure — pending-count cap + queue_full reports (#311)	2026-05-26 16:16:08 -07:00
recognizer_synthesis.py	feat(derivation): Gate A2a unit partition injection (#809)	2026-06-17 18:14:24 -07:00
relation_parse.py
replay.py	feat(ADR-0163.C): contemplation ingests admissibility exemplars and emits DerivedRecognizer proposals through the HITL corridor (#301)	2026-05-26 12:26:56 -07:00
review.py
source.py	feat(ADR-0163.C): contemplation ingests admissibility exemplars and emits DerivedRecognizer proposals through the HITL corridor (#301)	2026-05-26 12:26:56 -07:00
store.py	feat(teaching): implement ADR-0094 — Proposal Source Provenance	2026-05-21 18:11:09 -07:00
supersede.py	feat(adr-0057): operator supersede CLI — retire active chain by appended replacement	2026-05-18 10:35:49 -07:00