Shay ad9cf57069 feat(r4): flip cv-0005 to serving — train_sample 6/44/0 -> 7/43/0 (ADR-0207 §5 step 2) ... Wires the R4 goal-residual production to serving via resolve_promotable_goal_residual (math_candidate_graph.py, mirroring product_bridge). cv-0005 / train_sample 0037 now solves on serving as goal - Σprogress = 10 - 3 - 4 = 3. First Phase-5b composition lift on serving. wrong=0 preserved on every runnable surface: - train_sample 6/44/0 -> 7/43/0 (0037 added; 6 prior correct intact; wrong=0). - Fires on 2/455 visible GSM8K cases, both correct, ZERO wrong. - Gain-goal divergence firewall proves it reads the GOAL, not a possession. - smoke 73, math+invariants 53, derivation/pool/practice 341, corpus, all green. Lockstep updates (the ratified metric move, 6/44/0 -> 7/43/0): - report.json; 7 ADR test lanes that pinned 6/44/0; corpus cv-0005 baseline fields + snapshot (4/18 -> 5/17) + contract; plan-doc cv-0018 control fix. ⚠ SEALED MEASUREMENT REQUIRED — NOT DONE. The sealed 1,319 (encrypted, not CI-reproducible) is the real bar (ADR-0207 §6) and was NOT re-measured. The operator/CI must decrypt+run it and confirm sealed wrong==0; if wrong>0, revert the resolve_promotable_goal_residual block (isolated). See docs/handoff/sealed-measurement-obligation-2026-06-04.md.		2026-06-03 22:20:12 -07:00
..
binding_graph	feat: binding-graph acyclicity invariant — circular_dependency guard (ADR-0203)	2026-06-02 18:42:40 -07:00
comprehension	feat(adr-0174-phase5a): retire inert GSM8K scoring-path reader	2026-05-28 13:38:44 -07:00
cue_precision	feat(adr-0177-cp2a): cue-precision ledger training + measurement (+ unit hygiene) (#461)	2026-05-29 10:21:58 -07:00
derivation	feat(r4): flip cv-0005 to serving — train_sample 6/44/0 -> 7/43/0 (ADR-0207 §5 step 2)	2026-06-03 22:20:12 -07:00
proof_chain	feat: modus_ponens + disagreement rule — proof_chain wrong=0 mechanism (ADR-0205)	2026-06-02 20:56:57 -07:00
__init__.py	chore(generate): delete unreachable agenerate (#90)	2026-05-20 19:59:28 -07:00
admissibility.py	feat(adr-0026): Phase 3 — ranked admissibility with margin	2026-05-17 15:03:03 -07:00
articulation.py	Graceful fallback in realize() when slot versors are missing	2026-05-13 21:41:52 -07:00
articulation_legality.py	feat(realizer): C1.5 — articulation legality at the realizer boundary	2026-05-20 11:11:28 -07:00
attention.py	Add ADR-0008 salience attention	2026-05-13 22:40:36 -07:00
bridge_trace.py	Phase 1 — bridge trace instrumentation (observation-only)	2026-05-18 18:04:57 -07:00
dialogue.py	Fix test suite errors across core physics and generation	2026-05-14 13:02:32 -07:00
discourse_planner.py	feat(discourse): Phase 2 — reflective rendering pronominalizes focus subject	2026-05-21 10:16:12 -07:00
exhaustion.py	fix(W-011/W-012): propagate recognition refusal + catch InnerLoopExhaustion (#258)	2026-05-24 20:46:46 -07:00
graph_constraint.py	fix(adr-0046): make forward-graph-constraint branch mergeable	2026-05-18 05:57:46 -07:00
graph_planner.py	perf(graph): PropositionGraph.topo_order — Kahn's O(N+E) instead of O(N×E) (#92)	2026-05-20 20:37:21 -07:00
grounding_accessors.py	feat(grounding): structured GroundedFact accessors for discourse planner	2026-05-19 11:19:59 -07:00
intent.py	fix(intent): route 'Actually X R Y' premises to CORRECTION (inference_closure) (#117)	2026-05-22 12:33:56 -07:00
intent_bridge.py	Phase 2 — proposition-slot grounding for articulate_with_intent	2026-05-18 18:18:31 -07:00
intent_ratifier.py	feat(recognition): ADR-0144 — EpistemicGraph carrier + pipeline integration (#227)	2026-05-24 13:39:01 -07:00
logic_canonical.py	feat: modus_ponens + disagreement rule — proof_chain wrong=0 mechanism (ADR-0205)	2026-06-02 20:56:57 -07:00
logic_equivalence.py	feat: principled out-of-regime detector — typed out_of_decidable_regime (ADR-0201.1)	2026-06-02 19:12:41 -07:00
math_candidate_graph.py	feat(r4): flip cv-0005 to serving — train_sample 6/44/0 -> 7/43/0 (ADR-0207 §5 step 2)	2026-06-03 22:20:12 -07:00
math_candidate_parser.py	fix(ADR-0136.S.3): expose both consumed tokens to completeness guard	2026-06-03 01:01:50 -07:00
math_completeness.py	fix(adr-0191): candidate-graph completeness guard — real-corpus wrong 5→0 (#496)	2026-05-30 15:45:07 -07:00
math_parser.py	chore(audit): substrate cleanup — dead spike, gitignore, deprecation, reader diagnosis	2026-05-28 07:00:33 -07:00
math_problem_graph.py	fix(math-graph): refuse contradictory initial possessions (wrong=0 hazard)	2026-05-28 09:51:14 -07:00
math_realizer.py	feat(realizer): ADR-0123 comparison-phrasing surface (closes substrate)	2026-05-23 02:03:49 -07:00
math_roundtrip.py	feat(adr-0179-ex2): bare-decimal grounding in the shared round-trip primitive	2026-05-28 17:43:12 -07:00
math_solver.py	feat(parser): ADR-0123 comparison-phrasing substrate (substrate-only; lift deferred)	2026-05-23 01:56:28 -07:00
math_symbolic_equivalence.py	feat(ADR-0131.1.B): harden symbolic equivalence lane with generated corpus + exact algebra (#169)	2026-05-23 10:47:57 -07:00
math_symbolic_normalizer.py	feat(ADR-0131.1.B): harden symbolic equivalence lane with generated corpus + exact algebra (#169)	2026-05-23 10:47:57 -07:00
math_verifier.py	feat(parser): ADR-0123 comparison-phrasing substrate (substrate-only; lift deferred)	2026-05-23 01:56:28 -07:00
morphology.py	fix(gaps): close G1+G2+G3 + identity vocab + pipeline safety-stub honour	2026-05-16 21:21:06 -07:00
ood_surface_generator.py	fix(quarantine): drain all 60 quarantined tests — QUARANTINE=∅ (#267)	2026-05-25 11:22:12 -07:00
operators.py	feat(compositionality): compose_relations operator lifts lane 68.8% → 100%	2026-05-16 22:44:06 -07:00
perturbation_suite.py	feat: add ADR-0125 perturbation suite	2026-05-22 17:12:33 -07:00
proposition.py	feat(adr-0022): Forward Semantic Control — Accepted	2026-05-17 12:10:20 -07:00
realizer.py	[codex] Implement energy-modulated vault surface (#269)	2026-05-25 11:33:32 -07:00
realizer_guard.py	feat(coherence): ADR-0075 — realizer slot-type guard (C1)	2026-05-19 22:35:09 -07:00
recognizer_anchor_inject.py	Harden no-reference n-times comparative guard	2026-06-03 15:22:42 -07:00
recognizer_match.py	fix(math): restore WAVE-A multiplicative aggregate completeness provenance	2026-05-31 16:36:44 -07:00
recognizer_registry.py	feat(ADR-0163.D): wire ratified RecognizerSpecs into math_candidate_graph admissibility surface (#302)	2026-05-26 13:11:47 -07:00
result.py	feat(adr-0023): Forward Semantic Control proof evidence — Accepted	2026-05-17 12:55:19 -07:00
rotor_admissibility.py	feat(adr-0025): Phase 4 — rotor / frame admissibility at the seam	2026-05-17 15:16:32 -07:00
salience.py	Implement core physics and pack validation	2026-05-14 12:35:19 -07:00
semantic_templates.py	feat: vault recall index, Rust versor parity, cognitive pack expansion	2026-05-15 15:34:39 -07:00
stream.py	chore(generate): make stop-tokens caller-overridable via RuntimeConfig (#87)	2026-05-20 19:59:33 -07:00
surface.py	feat(surface): ADR-0031 — score-decomposition surface (per-axis hedges)	2026-05-17 20:16:22 -07:00
templates.py	feat(realizer): C1.5 — articulation legality at the realizer boundary	2026-05-20 11:11:28 -07:00