Shay 7155f5ab34 feat: add gsm8k r1 reconstruction		2026-06-04 13:25:11 -07:00
..
binding_graph	feat: binding-graph acyclicity invariant — circular_dependency guard (ADR-0203)	2026-06-02 18:42:40 -07:00
comprehension
cue_precision	feat(adr-0177-cp2a): cue-precision ledger training + measurement (+ unit hygiene) (#461)	2026-05-29 10:21:58 -07:00
derivation	feat: add gsm8k r1 reconstruction	2026-06-04 13:25:11 -07:00
proof_chain	feat: add deductive proof evidence gates	2026-06-04 08:37:51 -07:00
__init__.py
admissibility.py
articulation.py
articulation_legality.py
attention.py
bridge_trace.py
dialogue.py
discourse_planner.py
exhaustion.py
graph_constraint.py
graph_planner.py
grounding_accessors.py
intent.py
intent_bridge.py
intent_ratifier.py
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: add gsm8k r1 reconstruction	2026-06-04 13:25:11 -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
math_problem_graph.py
math_realizer.py
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
math_symbolic_equivalence.py
math_symbolic_normalizer.py
math_verifier.py
morphology.py
ood_surface_generator.py	fix(quarantine): drain all 60 quarantined tests — QUARANTINE=∅ (#267)	2026-05-25 11:22:12 -07:00
operators.py
perturbation_suite.py
proposition.py
realizer.py
realizer_guard.py
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
rotor_admissibility.py
salience.py
semantic_templates.py
stream.py
surface.py
templates.py