core/teaching
Shay 65405f1128
feat(derivation): Gate A2a unit partition injection (#809)
* feat(derivation): Gate A2a unit partition injection

Add typed unit_partition primitive with PartitionChunk/result_unit
contract, recognizer-injector bridge, DCS yield guard, and pronoun
lookback support. Closes unit_partition recognized_no_injection on live
train_sample (0002 partition stmt reclassifies); wrong=0 preserved.

* test(gsm8k): harden unit partition confusers

* test(gsm8k): add unit partition pronoun safety regressions

* chore(gsm8k): fix unit partition exemplar file ending

* chore(derivation): type unit partition solution step operand
2026-06-17 18:14:24 -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
domain_chains
math_corpora
math_proposals feat(ADR-0172/W3): core eval math-contemplation CLI lane (#384) 2026-05-27 12:58:31 -07:00
proposals feat(derivation): Gate A2a unit partition injection (#809) 2026-06-17 18:14:24 -07:00
relations_chains
relations_chains_v2
__init__.py
audit.py
contemplation.py
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
discovery.py
discovery_sink.py
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
from_miner.py
gaps.py
math_claim_signature.py
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
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
metric_set.py
migrate_proposals_source_field.py
oov_gaps.py
oov_promotion.py
oov_sink.py
promotion.py
proof_promotion.py feat(teaching): ADR-0218 P3 — proof-carrying coherence promotion 2026-06-11 17:02:45 -07:00
proposals.py
provenance.py
queue.py
recognizer_synthesis.py feat(derivation): Gate A2a unit partition injection (#809) 2026-06-17 18:14:24 -07:00
relation_parse.py
replay.py
review.py
source.py
store.py
supersede.py