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

..

ambient

Fix top-level await rejection checkpoints

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

src

Refine guarded integer field reads

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

test

Fix top-level await rejection checkpoints

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

LICENSE

init

2026-07-22 18:08:04 -05:00

package.json

Prepare v0.0.17 release

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

surface-manifest.json

Merge pull request #14 from vercel-labs/ctate/v0.0.17

2026-07-26 21:14:11 -05:00

tsconfig.json

init

2026-07-22 18:08:04 -05:00