feat: tri railway batch — FFI fixes, CLI commands, hybrid v2, golden tests, pre-commit gate#561
Closed
feat: tri railway batch — FFI fixes, CLI commands, hybrid v2, golden tests, pre-commit gate#561
Conversation
…spec Closes #519 - Add gf16_zero(), gf16_from_u32(), gf16_to_u32() to specs/numeric/gf16.t27 - Add EmitResult, emit_rust_stmt(), emit_rust() to specs/compiler/meta_compile.t27 - 9 tests + 6 invariants across both specs - Verified: tri test compiler::meta_compile PASSED, tri test compiler::numeric/gf16 PASSED PHI LOOP: edit spec → seal hash → gen → test → verdict → save experience → skill commit → git commit
- Restore bridge.rs from c539af3 (40+ unresolved merge conflicts) - Add Cyrillic docs to legacy allowlist - Fix duplicate if-branch in compiler.rs (Dot -> ColonColon) - Create gen/c/numeric/gf4.c stub - Exclude ffi crate from workspace (broken C codegen)
…lparam Fixes test_roundtrip_uart_spec regression. The lexer emits :: as a single ColonColon token but the use-statement parser expected two separate Colon tokens, causing all const declarations after use statements to be skipped. Also enhances HirVerilogEmitter to emit constants with values as localparam instead of bare wire. 524 passed 1 failed -> 525 passed 0 failed
… trigger scope (Closes #332)
Adds spec specs/cli/railway.t27 (12 tests, 6 invariants, 2 benches) and the Rust backend cli/tri/src/railway.rs with subcommands login/link/up/status/ logs/gate2. The 'up --confirm' command prints the exact GraphQL bodies that WOULD be POSTed to backboard.railway.com/graphql/v2 and exits with code 2 to signal 'planned but not executed' (R5-honest: tri has no HTTP client yet, operator runs the actual mutation). Gate-2 stop rule: 3 seeds (43,44,45) with BPB<1.85 AND step>=4000, deadline 2026-04-30 23:59 UTC. Anchor: phi^2 + phi^-2 = 3. Workspace member added (cli/tri); clap env feature enabled. 19 tests pass: cargo test -p tri railway:: Closes #543
…-nearest-even (Closes #549)
…A RACE ledger (Closes #541)
…sh block + cargo check (Closes #332)
…sive tests (Closes #549) Add add/sub/mul/div and is_zero/is_inf/is_nan for GF4, GF8, GF12, GF20, GF24. 32 tests covering roundtrip, arithmetic, overflow, and special values.
…erge conflicts (Closes #332) Gate 1: NOW freshness via tri check-now (L1) Gate 2: Seal coverage for staged .t27 specs (L2) Gate 3: Cargo check in bootstrap/ (L4) Gate 4: Block new .sh files on critical path (L7) Also fixes tri script merge conflicts and corrects --repo-root flag position.
…threshold (Closes #278) Spec now has 9 tests, 5 invariants, 5 benchmarks = 19 declarations.
Closes #287, Closes #339 - Add --hybrid-v2 flag for L2 cosine similarity between phi^k and Pell P_{k+1} - Add --theta flag to print arccos(H_v2) in degrees - Add --n flag for dimension N (default 152, checkpoints at 5,10,15,20,50,152) - Print all 6 checkpoint values for golden test reproducibility - JSONL fields: hybrid_v2, hybrid_v2_N, hybrid_v2_cosine, hybrid_v2_theta_deg - 5 unit tests: positivity, N=152 target > 0.95, monotonicity, golden checkpoints, trinity identity - Fix Cyrillic in README.md (L3 PURITY) - Whitelist docs/README_RU_UPDATE.md in legacy docs
…rification (refs #289)
…nesses, seal specs (Closes #289) Phase 0: verify_precision.py — already complete (100-digit mpmath) Phase 1: gf_competitive.t27 — 8 tests, 7 invariants, 3 benchmarks Phase 2: pellis_precision_verify.t27 — 9 tests, 7 invariants, 2 benchmarks Phase 3: Add missing python_decimal.py and python_fractions.py harnesses FORMULA_TABLE row 31: Pellis α⁻¹ checkpoint already registered
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Test plan
cargo check -p tripasses (3 warnings, pre-existing)cargo check -p t27cpasses (259 warnings, pre-existing)