Commit Graph
695 Commits
Author SHA1 Message Date
Chris Tate b7da02e53b fix(fetch): preserve typed reference semantics 2026-07-31 17:21:52 -05:00
Chris Tate c4ee48ea03 fix fetch stream parity edge cases 2026-07-31 15:58:29 -05:00
Chris Tate 07c131a55b fix: address remaining fetch review issues 2026-07-31 15:03:19 -05:00
Chris Tate 18165a59cc fix: preserve widened stream string primitives 2026-07-31 14:21:37 -05:00
Chris Tate 785d9ba3f6 fix: preserve static fetch response types 2026-07-31 13:59:23 -05:00
Chris Tate c25b5304b0 fix: address fetch runtime review issues 2026-07-31 13:18:55 -05:00
Chris Tate 5982347cf1 fix: preserve static stream value identity 2026-07-31 10:44:31 -05:00
Chris Tate ffaefc6ced fix: snapshot fetch environment at startup 2026-07-31 00:05:24 -05:00
Chris Tate fdb01b360c Prepare v0.0.21 release
- Stamp all publishable packages at v0.0.21.

- Publish release notes for the contract-sidecar fixes.

- Refresh the compiler surface manifest for the release.
2026-07-30 23:08:27 -05:00
Chris Tate 334febe43d fix(fetch): address remaining review findings 2026-07-30 22:48:36 -05:00
Chris Tate 9c49f6157c fix: coalesce same-class integer slot obligations
- Retain every declared path when structurally identical arms share a lowered record field.
- Keep differing-class collisions on SC4009 and cover both outcomes with regressions.
2026-07-30 22:24:59 -05:00
Chris Tate eec2cb2a3a fix(fetch): address static fetch review findings 2026-07-30 22:02:47 -05:00
Chris Tate e7fd096d89 Refine stable numeric field paths
- Track ordinary record and class fields through stable guard expressions.

- Preserve conservative invalidation and add differential regression coverage.
2026-07-30 21:42:37 -05:00
Chris Tate ae3abd7069 Refuse unresolved subscriptions exports
- Track whether subscriptions_export is explicitly declared and reject dangling names at the profile.
- Preserve optional omission semantics and cover both paths with contract regressions.
2026-07-30 21:11:09 -05:00
Chris Tate d0b3e81a9b fix(library): preserve nested integer obligations 2026-07-30 20:32:37 -05:00
Chris Tate f318308079 fix(fetch): handle redirects and callback lifetimes 2026-07-30 20:14:04 -05:00
Chris Tate 7badeb3135 Refuse synthesized record name collisions 2026-07-30 20:11:10 -05:00
Chris Tate 73cb79ea52 Fix synthesized record attestations across composed arms 2026-07-30 19:50:21 -05:00
Chris Tate a4898f335d Prove integer writes to synthesized record slots
- Preserve tagged-union shape identity when mapping synthesized payload fields into integer inference.

- Refuse fractional writes on named-union and message payload slots, with regressions for both paths.
2026-07-30 19:31:48 -05:00
Chris Tate fdf5010b28 Prepare v0.0.20 release
- Stamp all publishable packages at v0.0.20.

- Publish release notes for the contract-sidecar improvements.

- Refresh the compiler surface manifest for the release.
2026-07-30 16:26:39 -05:00
Chris Tate b14b594775 fix(fetch): preserve proxy and listener semantics 2026-07-30 16:26:34 -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 861c0c68ae fix fetch abort and listener identity semantics 2026-07-30 15:07:52 -05:00
Chris Tate 78c194e843 Fix shadowed contract builtin types 2026-07-30 14:43:15 -05:00
Chris Tate 6f0adcf7d9 fix(fetch): harden redirects and response handling 2026-07-30 14:27:35 -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 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 8a204cc7e7 fix(fetch): address remaining review regressions 2026-07-30 12:33:26 -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 b73decae91 fix(fetch): address stream ownership edge cases 2026-07-30 11:35:00 -05:00
Chris Tate b2c90fa1ba fix: preserve stream identity and release callbacks 2026-07-30 11:35:00 -05:00
Chris Tate d239f8ef58 fix(fetch): align header and abort event semantics 2026-07-30 11:35:00 -05:00
Chris Tate d466bf21ed fix(fetch): address remaining review feedback 2026-07-30 11:35:00 -05:00
Chris Tate 8790cefbab fix(fetch): address review feedback 2026-07-30 11:35:00 -05:00
Chris Tate dafd7ac647 fix: close static fetch parity gaps 2026-07-30 11:35:00 -05:00
Chris Tate a1dc60d8f0 fix: align fetch and streams with Node.js 2026-07-30 11:35:00 -05:00
Chris Tate 42fe89f499 fix static fetch semantics and CI reliability 2026-07-30 11:35:00 -05:00
Chris Tate ea6adda816 fix(fetch): fix static fetch regressions 2026-07-30 11:35:00 -05:00
Chris Tate 2cc42081be fix(fetch): align static fetch semantics 2026-07-30 11:35:00 -05:00
Chris Tate ba7a336512 fix static fetch parity gaps 2026-07-30 11:35:00 -05:00
Chris Tate f11e51256c feat: make fetch static-compatible
- Add native RequestInit, AbortSignal, and streaming request and response body support.
- Lower the static fetch surface through both C and LLVM without the embedded engine.
- Add differential, Node-typing, sanitizer, and regression coverage.
2026-07-30 11:34:59 -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 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 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