feat(math): tri math compare --weinberg diagnostic (Closes #295)#556

Closed

gHashTag wants to merge 19 commits into

feat/295-weinberg-diagnostic

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 --weinberg (phi^-3 vs sin^2 theta_W)
gHashTag
committed