Repository navigation

T emit go/rust bounds - #681

Merged

briansrls merged 17 commits into

mainfrom

session/sharp-heron-47

Apr 24, 2026

Merged

T emit go/rust bounds#681
briansrls merged 17 commits into
mainfrom
session/sharp-heron-47

Commits on Apr 24, 2026
- WIP: T emit go/rust bounds
  briansrls
  committed
  cb62436
- chore: apply cargo fmt
  briansrls
  committed
  6fd61f4
- feat(python): add mul/div/ne/lt/le/gt/ge operator realizations; lift 3 Python exclusions
  
  briansrls
  and
  claude
  committed
  cf763fc
- chore: apply cargo fmt
  briansrls
  committed
  0b85dba
- fix(sg0/parse-manifest): register m1_5_emit_omni_demo_test.rs; refresh python.dag snapshot
  
  briansrls
  and
  claude
  committed
  8a52a8f
- fix(t-emit): honest lane-closure receipt — ignore gate + hard toolchain assert
  
  briansrls
  and
  claude
  committed
  ad09b1b
- fix(t-emit): pin floor-div semantic constraint; fix tmp-dir leakage
  
  briansrls
  and
  claude
  committed
  27e4590
- fix(python): correct OrderedRing.div to truncate toward zero via __v3_idiv
  
  briansrls
  and
  claude
  committed
  1dee193
- chore: apply cargo fmt
  briansrls
  committed
  3936bc5
- Merge remote-tracking branch 'origin/main' into session/sharp-heron-47
  briansrls
  committed
  b276e55
- refactor(emit): dissolve binary_op dual authority; carriers are sole expression templates
  
  briansrls
  and
  claude
  committed
  cbb9777
- Merge remote-tracking branch 'origin/main' into session/sharp-heron-47
  briansrls
  committed
  a26eb13
- feat(t-emit): lift recursive_function_call_six from Go/Python exclude lists
  
  briansrls
  and
  claude
  committed
  176b7c3
- fix(ci): update carrier snapshot in m1_3_prb_rust_dag_bootstrap_loads_structurally
  
  briansrls
  and
  claude
  committed
  00cda7b
- fix(emit): fail-closed on operator carriers missing {lhs}/{rhs} placeholders
  
  briansrls
  and
  claude
  committed
  1194f9c
- test(python): always-on emit assertions for new Int operator carriers
  
  briansrls
  and
  claude
  committed
  db8e2df
- WIP: T emit go/rust bounds
  briansrls
  committed
  022d9a5

Commits

Commits on Apr 24, 2026