feat: tri railway batch — FFI fixes, CLI commands, hybrid v2, golden tests, pre-commit gate#561

Closed

gHashTag wants to merge 22 commits into

feat/tri-railway-543

Commits on Apr 18, 2026

feat(compiler): add GF16-native Rust codegen backend to meta_compile spec
gHashTag
authored

Commits on Apr 26, 2026

feat(cli): tri railway -- 3-seed Gate-2 ONE SHOT for trios-trainer-igla
gHashTag
committed

Commits on Apr 29, 2026

fix(ffi): GF16 encode round-to-nearest-even + overflow→+Inf (Closes #545, Closes #546, Closes #547)
gHashTag
committed
feat(ffi): add encode/decode for GF4/GF8/GF12/GF20/GF24 with round-to-nearest-even (Closes #549)
gHashTag
committed
fix(ffi): remove dead gf32_mant=0 assignment in encode (Closes #548)
gHashTag
committed
feat(cli): tri igla — search/list/gate/check/triplet commands for IGLA RACE ledger (Closes #541)
gHashTag
committed
fix(docs): resolve NOW.md merge conflicts + update freshness date (2026-04-30)
gHashTag
committed
fix(ffi): correct GF16/GF32 test expectations — round-to-nearest and [1:13:18] Lucas L6 (Closes #545, Closes #546, Closes #547, Closes #548)
gHashTag
committed
feat(cli): tri pre-commit gate — NOW freshness + seal coverage + L7 .sh block + cargo check (Closes #332)
gHashTag
committed
feat(kaggle): add TEFB + TSCP MC dataset generators + validation script (Closes #416)
gHashTag
committed
feat(ffi): add GF4/8/12/20/24 arithmetic + classification + comprehensive tests (Closes #549)
gHashTag
committed
feat(ring-073): pre-commit gate — 4 constitutional checks + fix tri merge conflicts (Closes #332)
gHashTag
committed
fix(githooks): pipefill→pipefail typo in pre-push hook (Closes #332)
gHashTag
committed
feat(ring-088): add deque_wraparound_circular test — meets 9-test L4 threshold (Closes #278)
gHashTag
committed
feat(math): tri math compare --hybrid-v2 --theta --n (issue #287, #339)
gHashTag
committed
feat(numeric): add pellis_verify.t27 — GMP-backed Pellis 100-digit verification (refs #289)
gHashTag
committed
feat(competitive): add python_decimal + python_fractions language harnesses, seal specs (Closes #289)
gHashTag
committed
feat(math): tri math compare --hybrid-v2 --theta --n + golden-tests (Closes #287, Closes #339)
gHashTag
committed