Chris Tate 8a5bf62cf5 Refine guarded integer field reads ...

- Track canonical field paths through straight-line guards.
- Invalidate path proofs across calls, writes, suspension, and control-flow joins.
- Cover if and ternary proofs with Node-exact C and LLVM regressions.

2026-07-29 14:37:25 -05:00

..

cli

Prepare v0.0.17 release

2026-07-26 20:32:46 -05:00

compiler

Refine guarded integer field reads

2026-07-29 14:37:25 -05:00

runtime

Fix top-level await rejection checkpoints

2026-07-29 01:32:26 -05:00