Chris Tate
d1b3c17855
Merge pull request #69 from vercel-labs/ctate/obs
...
fix: coalesce same-class integer slot obligations
2026-07-30 22:34:47 -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
a8c09dbc5a
Merge pull request #68 from vercel-labs/ctate/refine-shape
...
Refine stable numeric field paths
2026-07-30 21:52:04 -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
9d16e2b7c3
Merge pull request #67 from vercel-labs/sub-export
...
Refuse unresolved subscriptions exports
2026-07-30 21:20:47 -05:00
Chris Tate
baf050843d
fix fetch proxy and event dispatch behavior
2026-07-30 21:19:57 -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
89fa568ae8
Merge pull request #66 from vercel-labs/ctate/record-slots
...
Prove integer writes to synthesized record slots
2026-07-30 20:55:31 -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
6451bc80f6
fix(fetch): preserve proxy and network error semantics
2026-07-30 17:30:51 -05:00
Chris Tate
a7eff0d983
Merge pull request #65 from vercel-labs/ctate/v0.0.20
...
Prepare v0.0.20 release
2026-07-30 16:40:27 -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
a50927ef97
Merge pull request #64 from vercel-labs/ctate/cross
...
Require cross-library gate before releases
2026-07-30 16:04:55 -05:00
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
861c0c68ae
fix fetch abort and listener identity semantics
2026-07-30 15:07:52 -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
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
b915e9d82e
Merge pull request #60 from vercel-labs/ctate/v0.0.19
...
Prepare v0.0.19 release
2026-07-30 13:52:03 -05:00
Chris Tate
fb0b08a56f
fix(fetch): settle abandoned responses and decode redirects
2026-07-30 13:51:18 -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
6955a5d267
fix fetch proxy and redirect edge cases
2026-07-30 13:15:10 -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
724a54370f
chore: ignore environment files
2026-07-30 11:56:11 -05:00
Chris Tate
b3b58ca878
fix(fetch): address static parity regressions
2026-07-30 11:55:17 -05:00
Chris Tate
018ba820e7
fix: preserve composed union arms in sidecar matching
2026-07-30 11:49:07 -05:00
Chris Tate
0fd3cd60be
fix(runtime): bound compressed fetch buffering
2026-07-30 11:35:01 -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
e36c52764e
fix fetch stream cancellation edge cases
2026-07-30 11:35:00 -05:00
Chris Tate
39271fb3a0
fix(fetch): align response stream semantics
2026-07-30 11:35:00 -05:00
Chris Tate
6adccdfae6
fix fetch request stream ownership
2026-07-30 11:35:00 -05:00
Chris Tate
66d1b1771c
fix(fetch): settle upgrades and stream thenables
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
e48ea07624
fix(fetch): address final review feedback
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
a022dedceb
fix(fetch): align request and stream edge cases
2026-07-30 11:35:00 -05:00
Chris Tate