core/generate/derivation
Shay 268a754c00
Some checks failed
lane-shas / verify pinned lane SHAs (pull_request) Has been cancelled
smoke / smoke (-m "not quarantine") (pull_request) Has been cancelled
fix: fold Gemini CGA/fraction_decrease compatibility into deck PR
Port load-bearing fixes from Gemini worktree (Projects/core draft) onto
forgejo deck branch — reviewed and cleaned for invariants:

- fraction_decrease: optional contract with geometric proposal fallback;
  multi slash-fraction hazard refuse
- parse_and_solve: 9-decimal answer presentation boundary only (matches
  derivation verify uniqueness quantum; not algebra drift repair)
- proportional_decrease family asserts: serving_allowed after Gate A2k
- ADR-0184 S4b: re-pin equivalence corpus 937 → 1087

Not folded: local core-rs uv install (env-only), obsolete 3lang draft
from Gemini tree, double-rounding wrapper noise.
2026-07-08 20:00:51 -07:00
..
state test(derivation): add ADR-0184 semantic replay equivalence harness 2026-06-10 14:35:22 -07:00
__init__.py feat(derivation): define semantic-ledger candidate source boundary 2026-06-10 13:17:53 -07:00
accumulate.py feat(derivation): define semantic-ledger candidate source boundary 2026-06-10 13:17:53 -07:00
affine_comparative_inversion_total.py feat(derivation): capability paradigm sprint 10 frontier lift (#823) 2026-06-18 12:15:52 -07:00
affine_fraction_delta.py fix(gsm8k): harden sprint 9 temporal and affine gates (#822) 2026-06-18 10:57:36 -07:00
bounded_rate_projection.py feat(gsm8k): xhigh capability sprint 13 robust lift (#827) 2026-06-18 16:10:15 -07:00
calendar_grounding.py feat(gsm8k): capability paradigm sprint 11 cluster-contract lift (#824) 2026-06-18 12:52:32 -07:00
clauses.py
closed_reference_affine_aggregate.py feat(gsm8k): xhigh capability sprint 13 robust lift (#827) 2026-06-18 16:10:15 -07:00
comparatives.py Lane 4: Registry Consolidation (language_packs to packs) 2026-07-04 15:11:28 -07:00
compose.py
duration_segment_total.py feat(derivation): capability paradigm sprint 6 experience-guided lift (#817) 2026-06-17 22:22:53 -07:00
extract.py feat(derivation): Workstream A inc 1 — lexeme reader + cleaned exemplars + proxy rebaseline (#796) 2026-06-16 21:57:05 -07:00
fraction_decrease.py fix: fold Gemini CGA/fraction_decrease compatibility into deck PR 2026-07-08 20:00:51 -07:00
giveaway_target_residual.py feat(derivation): capability paradigm sprint 7 experience-guided lift (#818) 2026-06-17 22:47:02 -07:00
goal_residual.py feat(derivation): capability strike batch 4 goal-residual lift (#814) 2026-06-17 20:21:18 -07:00
loose_crayon_box_capacity.py feat(gsm8k): capability paradigm sprint 12 singleton contract lift (#825) 2026-06-18 15:10:10 -07:00
model.py
multistep.py
nested_fraction_remainder_total.py feat(gsm8k): capability paradigm sprint 12 singleton contract lift (#825) 2026-06-18 15:10:10 -07:00
percent_partition.py fix(gsm8k): harden sprint 9 temporal and affine gates (#822) 2026-06-18 10:57:36 -07:00
piecewise_daily_hours_total.py feat(gsm8k): capability paradigm sprint 11 cluster-contract lift (#824) 2026-06-18 12:52:32 -07:00
pool.py feat(derivation): define semantic-ledger candidate source boundary 2026-06-10 13:17:53 -07:00
product_bridge.py feat(adr-0195): GSM8K product promotion bridge — serving 4/46/0 → 6/44/0, wrong=0 (#500) 2026-05-30 17:33:56 -07:00
question_bound_product.py feat(derivation): capability paradigm sprint 5 question-bound product lift (#815) 2026-06-17 20:51:17 -07:00
r1_reconstruction.py Lane 4: Registry Consolidation (language_packs to packs) 2026-07-04 15:11:28 -07:00
round_trip_trip_duration.py feat(derivation): capability paradigm sprint 7 experience-guided lift (#818) 2026-06-17 22:47:02 -07:00
search.py
sequential_comparative_scale.py feat(derivation): capability paradigm sprint 10 frontier lift (#823) 2026-06-18 12:15:52 -07:00
survey_rate_earnings.py feat(derivation): capability paradigm sprint 6 experience-guided lift (#817) 2026-06-17 22:22:53 -07:00
target.py
temporal_tariff.py fix(gsm8k): harden sprint 9 temporal and affine gates (#822) 2026-06-18 10:57:36 -07:00
verify.py feat(derivation): math-serving reach seam — select_self_verified is policy-aware (ADR-0206 §5) 2026-06-06 15:46:14 -07:00