Skip to content

chore(gen-zig): regenerate 16 gens for narrowing @truncate (t27#1999) - #367

Merged
gHashTag merged 1 commit into
mainfrom
regen/gen-zig-narrowing-truncate
Aug 9, 2026
Merged

chore(gen-zig): regenerate 16 gens for narrowing @truncate (t27#1999)#367
gHashTag merged 1 commit into
mainfrom
regen/gen-zig-narrowing-truncate

Conversation

@gHashTag

@gHashTag gHashTag commented Aug 9, 2026

Copy link
Copy Markdown
Owner

t27#1999 makes gen-zig lower a narrowing unsigned cast to @truncate (Rust as semantics) instead of the checked @intCast that panics in safe builds. This regenerates the 16 gen/zig whose narrowing sites changed:

etx link_quality_monitor m3_multihop multipath_router network_metrics packet_queue tri_a2a tri_challenge tri_compute_bond tri_compute_challenge tri_compute_payout tri_compute_pool tri_compute_reputation tri_compute_settle tri_gft_arith video_bridge

Byte-exact vs the new t27c gen; all pass zig ast-check + zig test. Only gen/zig changes — specs, gen/c, gen/rust, and the Verilog KATs are untouched, so the icarus and C legs are unaffected. The dynamic Zig-drift leg (from #365) byte-checks these against the fixed t27c automatically.

gen/ regeneration via the no-gen-edits escape (LEFTHOOK=0).

🤖 Generated with Claude Code

t27#1999 makes gen-zig lower a narrowing UNSIGNED cast to @truncate
(Rust 'as' semantics) instead of the checked @intcast that panics in
safe builds. Regenerate the 16 gen/zig whose narrowing sites changed:

  etx link_quality_monitor m3_multihop multipath_router network_metrics
  packet_queue tri_a2a tri_challenge tri_compute_bond
  tri_compute_challenge tri_compute_payout tri_compute_pool
  tri_compute_reputation tri_compute_settle tri_gft_arith video_bridge

Byte-exact vs the new t27c gen; all pass zig ast-check + zig test. Only
gen/zig changes -- specs, gen/c, gen/rust, and the Verilog KATs are
untouched, so the icarus and C legs are unaffected.

gen/ regeneration via the no-gen-edits escape (LEFTHOOK=0).

🤖 Generated with [Claude Code](https://claude.com/claude-code)
@gHashTag
gHashTag merged commit 754294a into main Aug 9, 2026
4 checks passed
@gHashTag
gHashTag deleted the regen/gen-zig-narrowing-truncate branch August 9, 2026 02:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant