Shay 0711988b67 feat(composition): M1 — extract the logic is-a chain into a plan->lower->verify spine (byte-parity) ... First phase of the domain-general compositional reading layer (the comprehension coverage wall is composition — docs/analysis/comprehension-coverage-wall-map-2026-06-14.md). M1 is a pure PARITY refactor on the flagship logic path, no new capability: - new generate/composition/ package: LogicChainPlan (plan.py) + lower_logic_chain (lower_logic.py), the is-a chain lowering extracted BYTE-IDENTICALLY from determine.py::_verify_subsumption. - _verify_subsumption now builds a plan -> lowers it -> routes through the UNCHANGED evaluate_entailment gate. The composer proposes structure; the sound ROBDD gate remains the sole wrong=0 firewall. - only the logic instantiation ships; no math lowering, no join-op vocabulary (defer-substrate-vocab-commitment — the chain discriminates on its relational predicate, an explicit join-op field lands when a second op dispatches on it). Verification: byte-identical lowering (3-reviewer adversarial panel: byte-parity PASS char-for-char, wrong=0 PASS — the instance-of-fallacy refusal mutation-proven load-bearing); 5 new non-vacuous lowering tests; 28 determine/transitive/consolidation + 163-test broad sweep (incl. gsm8k serving + ADR-0218) green; cognition eval 100%.		2026-06-14 15:42:24 -07:00
..
answer_choices	feat(answer-choices): multiple-choice verifier with contradiction flag (R2 C4)	2026-06-07 07:26:00 -07:00
binding_graph	feat(comprehension): the divisive comparative frame — "half as many" as exact integer division (PR-6c)	2026-06-06 20:18:39 -07:00
combined_rate_comprehension	docs(cmb): lookback review + fix single-agent-attribution hygiene hazard (H3)	2026-06-08 13:27:17 -07:00
composition	feat(composition): M1 — extract the logic is-a chain into a plan->lower->verify spine (byte-parity)	2026-06-14 15:42:24 -07:00
comprehension
constraint_comprehension	docs(comprehension): whole-system organ capability ledger + fix ADR-0211 number collision	2026-06-08 06:15:51 -07:00
contemplation	feat(ask): split question artifact path from proposal path	2026-06-09 11:28:52 -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	test(derivation): add ADR-0184 semantic replay equivalence harness	2026-06-10 14:35:22 -07:00
determine	feat(composition): M1 — extract the logic is-a chain into a plan->lower->verify spine (byte-parity)	2026-06-14 15:42:24 -07:00
meaning_graph	fix(comprehend): relational reader fail-closed on leftover relational structure	2026-06-06 09:45:10 -07:00
proof_chain	feat(teaching): ADR-0218 P3 — proof-carrying coherence promotion	2026-06-11 17:02:45 -07:00
rate_comprehension	feat(rate): exact time-unit conversion for single-rate (R3.2b-e)	2026-06-08 05:43:51 -07:00
realize	refactor(comprehension): drop QuantQuery — consumers read the target from graph.unknowns (PR-3)	2026-06-06 16:49:09 -07:00
__init__.py
admissibility.py
articulation.py	Graceful fallback in realize() when slot versors are missing	2026-05-13 21:41:52 -07:00
articulation_legality.py
attention.py
bridge_trace.py	Phase 1 — bridge trace instrumentation (observation-only)	2026-05-18 18:04:57 -07:00
dialogue.py	feat(persistence): Shape B+ Phase C — SessionContext.snapshot/restore (full lived state)	2026-06-05 12:13:46 -07:00
discourse_planner.py	feat(discourse): Phase 2 — reflective rendering pronominalizes focus subject	2026-05-21 10:16:12 -07:00
exhaustion.py
graph_constraint.py
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
intent.py
intent_bridge.py	Phase 2 — proposition-slot grounding for articulate_with_intent	2026-05-18 18:18:31 -07:00
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	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
math_symbolic_equivalence.py
math_symbolic_normalizer.py
math_verifier.py
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
operators.py
perturbation_suite.py
proposition.py	feat(persistence): Shape B+ Phase C — SessionContext.snapshot/restore (full lived state)	2026-06-05 12:13:46 -07:00
quantitative_comprehension.py	feat(comprehension): inverse reader frame — base of a more/fewer-than (PR-7b / R2 C0)	2026-06-07 07:06:26 -07:00
quantitative_expr.py	feat(comprehension): the divisive comparative frame — "half as many" as exact integer division (PR-6c)	2026-06-06 20:18:39 -07:00
realizer.py	[codex] Implement energy-modulated vault surface (#269)	2026-05-25 11:33:32 -07:00
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
relational_field_reader.py	feat(field-wedge): geometric field reader — relational-metric lane wrong=0 (Phase W.1)	2026-06-04 19:34:43 -07:00
relational_symbolic_reader.py	feat(field-wedge): ablation verdict — field is decoration on additive (C3) (Phase W.2)	2026-06-04 19:44:22 -07:00
result.py	feat(adr-0023): Forward Semantic Control proof evidence — Accepted	2026-05-17 12:55:19 -07:00
rotor_admissibility.py
salience.py
semantic_templates.py
stream.py	refactor(generate): remove redundant forbidden-site _close_final_state; rename "Drift fix 2"	2026-06-05 08:17:17 -07:00
surface.py
templates.py	feat(realizer): C1.5 — articulation legality at the realizer boundary	2026-05-20 11:11:28 -07:00