Commit Graph
344 Commits
Author SHA1 Message Date
Chris Tate d9b0e4fb30 Require cross-library gate before releases
- Add the cross-target library conformance lane to the release checklist.
- Require its artifact-portability verdict before the publishing commit.
2026-07-30 15:52:53 -05:00
Chris Tate ab4584bf0d Merge pull request #62 from vercel-labs/ctate/scalar
Dissolve scalar aliases during sidecar projection
2026-07-30 15:50:07 -05:00
Chris Tate 650cbf23f3 Dissolve scalar aliases during sidecar projection
- Resolve scalar alias chains to their primitive wire types.

- Keep aliases out of the sidecar type table.

- Cover records, messages, helpers, and integer slots.
2026-07-30 15:09:55 -05:00
Chris Tate fe3cade9de Merge pull request #61 from vercel-labs/ctate/readonly-t
Project readonly arrays in contract sidecars
2026-07-30 14:53:31 -05:00
Chris Tate 78c194e843 Fix shadowed contract builtin types 2026-07-30 14:43:15 -05:00
Chris Tate 93c19235b4 Project readonly arrays in contract sidecars
- Treat readonly T[] and ReadonlyArray<T> as mutability-neutral slices.
- Cover model, message, optional, and helper projections across readonly spellings.
2026-07-30 14:27:08 -05:00
Chris Tate b915e9d82e Merge pull request #60 from vercel-labs/ctate/v0.0.19
Prepare v0.0.19 release
v0.0.19
2026-07-30 13:52:03 -05:00
Chris Tate 1bd7e4af2e Prepare v0.0.19 release
- Stamp all published packages and the compiler surface manifest at 0.0.19.
- Promote the completed integer-slot fixes into the marked release notes.
2026-07-30 13:36:35 -05:00
Chris Tate a71d197a35 Merge pull request #59 from vercel-labs/ctate/number-asks
Compose integer slots with optional numbers
2026-07-30 13:26:38 -05:00
Chris Tate 4e9dc0e325 Fix empty-object integer attestations 2026-07-30 13:15:15 -05:00
Chris Tate 467ac81a86 Fix integer attestations across composed arms 2026-07-30 12:43:27 -05:00
Chris Tate 58412530fb Fix integer proof gaps in sidecar analysis 2026-07-30 12:09:04 -05:00
Chris Tate 018ba820e7 fix: preserve composed union arms in sidecar matching 2026-07-30 11:49:07 -05:00
Chris Tate b2007d75db fix: validate integer record facts safely 2026-07-30 11:25:53 -05:00
Chris Tate 6757c11af1 Match integer slots by structural shape 2026-07-30 10:31:52 -05:00
Chris Tate 9bdbf02079 Compose integer slots with optional numbers
- Project declared optional-number slots as optional<i64> and prove present numeric values across library boundaries.
- Refuse structurally colliding tagged-union obligations with an attributed SC4009 diagnostic.
2026-07-30 10:02:41 -05:00
Chris Tate 4d6895c561 Merge pull request #58 from vercel-labs/ctate/v0.0.18
Prepare v0.0.18 release
v0.0.18
2026-07-30 09:38:40 -05:00
Chris Tate 7f68aa1676 Prepare v0.0.18 release
- Stamp all publishable packages and the surface manifest at 0.0.18.
- Promote the curated Unreleased notes and release markers to v0.0.18.
2026-07-30 09:29:36 -05:00
Chris Tate a81ceb2bcc Merge pull request #57 from vercel-labs/ctate/request-cb
fix: lower HTTPS request callbacks in LLVM
2026-07-30 09:15:46 -05:00
Chris Tateandmorler de0e54d776 fix: lower HTTPS request callbacks in LLVM
- Lower the HTTPS options row through the runtime ABI with callback ownership and loop liveness.
- Pin HTTP and HTTPS response callbacks with differential and tier-regression coverage.

Co-authored-by: morler <478444+morler@users.noreply.github.com>
2026-07-30 00:17:47 -05:00
Chris Tate 5ba26e4a61 Merge pull request #56 from vercel-labs/ctate/more-array
Support array copying and Uint8Array iteration
2026-07-29 22:49:17 -05:00
Chris Tate 798a281be3 fix: lower wrapped undefined arguments 2026-07-29 22:36:45 -05:00
Chris Tate 8e7b411af0 test: record array copying order baselines 2026-07-29 21:58:14 -05:00
Chris Tate 4b041e630f fix: preserve array copying edge semantics 2026-07-29 21:35:09 -05:00
Chris Tate 296311fa81 fix: preserve static undefined argument semantics 2026-07-29 21:13:46 -05:00
Chris Tate f47ee03dc6 Support array copying and Uint8Array iteration
- Add static Array and Uint8Array copying, sorting, and join surfaces.
- Lower Uint8Array spread, destructuring, and iterator methods across C and LLVM.
- Pin Node 24 semantics with differential coverage and runtime size gating.
2026-07-29 18:03:00 -05:00
Chris Tate ba53677697 Merge pull request #55 from vercel-labs/ctate/for-of
Support numeric iterators in for-of
2026-07-29 17:15:48 -05:00
Chris Tate e95469364a Support numeric iterators in for-of
- Lower number-array and typed-array value iterators statically.
- Preserve stored iterator cursor and exhaustion state across loops.
- Add Node differential coverage for arrays and Uint8Array.
2026-07-29 16:32:41 -05:00
Chris Tate 4677724748 Merge pull request #54 from vercel-labs/ctate/to-sorted
feat: add static Array.toSorted support
2026-07-29 15:43:46 -05:00
Chris Tate a992b644fb fix: align Array.toSorted ordering semantics 2026-07-29 15:30:48 -05:00
Chris Tate d7cb22a325 test: pin Array.toSorted evaluation order 2026-07-29 15:11:04 -05:00
Chris Tate 767be68ae2 feat: add static Array.toSorted support
- Lower to the stable array sort helper over a shallow snapshot.
- Publish Array.prototype.toSorted in the static surface manifest.
- Cover stability, copy semantics, and evaluation order differentially.
2026-07-29 14:56:18 -05:00
Chris Tate f3022a187e Merge pull request #53 from vercel-labs/fix/guarded-field-integer-refinement
Refine guarded integer field reads
2026-07-29 14:46:53 -05:00
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
Chris Tate 32c180f261 Merge pull request #38 from vercel-labs/ctate/top-level-await
Support top-level await
2026-07-29 01:51:50 -05:00
Chris Tate 9b0ad004f8 Fix top-level await rejection checkpoints 2026-07-29 01:32:26 -05:00
Chris Tate 05752fde96 Fix top-level await dependency rejection handling 2026-07-29 00:35:35 -05:00
Chris Tate 43e183dfc3 fix: await async cycle root from external importers 2026-07-29 00:11:21 -05:00
Chris Tate c50041b1bd fix: select async cycle root at runtime 2026-07-28 23:49:22 -05:00
Chris Tate 786f10dbf2 Fix top-level await cycle semantics 2026-07-28 23:27:25 -05:00
Chris Tate dca69db98e Fix pending top-level await exit precedence 2026-07-28 22:40:36 -05:00
Chris Tate 2d9070cd54 fix top-level await rejection handling 2026-07-28 22:01:32 -05:00
Chris Tate ad56e7716a Merge branch 'main' into ctate/top-level-await 2026-07-28 20:57:35 -05:00
Chris Tate 6985cdd3a9 Merge pull request #39 from vercel-labs/ctate/faster-tests
Speed up full test validation with Vercel Sandbox
2026-07-28 20:56:50 -05:00
Chris Tate 1d6d011e80 fix(ci): preserve case-sharded coverage
- Route coverage and Vercel E2E outside Vitest file sharding.

- Run the complete frontend coverage sweep once across plain CI slices.
2026-07-28 20:43:16 -05:00
Chris Tate a4906d4948 chore(test): upgrade Vercel CLI to 58.1.0
- Refresh the pinned Sandbox runner dependency graph.

- Exempt only Vercel 58.1.0 from the release-age gate.
2026-07-28 20:24:49 -05:00
Chris Tate 124ea659ec fix(test): preserve POSIX sandbox workspace paths
- Keep remote workspace reset paths POSIX across host platforms.

- Add targeted Windows CI coverage for Sandbox preparation.
2026-07-28 20:07:34 -05:00
Chris Tate dd0a5cf076 fix(test): make sandbox requirements explicit
- Document Pro and Hobby gate configurations without reducing coverage.
- Pin the Vercel CLI and its release-age-safe dependency graph.
2026-07-28 19:51:17 -05:00
Chris Tate 3487b26d38 fix(test): isolate sandbox scheduling and cleanup
- Clear inherited scheduler controls outside intentional shards.

- Bound Sandbox removal and escalate stalled CLI termination.
2026-07-28 19:18:06 -05:00
Chris Tate 6886bcf24b fix(test): load sandbox runner settings from local env
- Load .env.local before capturing runner tuning values.

- Cover configured values and documented defaults.
2026-07-28 19:00:04 -05:00