feat: preserve shared boundary contracts through compilation and runtime - #9048

Merged

marsninja merged 35 commits into

jaseci-labs:mainfrom

marsninja:feat/shared-boundary-contracts

Sep 7, 2026

Commits on Sep 7, 2026

docs: track full shared boundary contracts implementation
marsninja
committed
c7ddeab
fix(client): fence cached reads across writes and identity changes
marsninja
committed
d8176e7
feat: carry boundary contracts into native bindings and endpoint runtimes
marsninja
committed
5640f6a
feat(native): check host implementations and generate registration adapters
marsninja
committed
de45c52
feat(compiler): persist boundary contracts and qualify runtime endpoint identities
marsninja
committed
844c072
feat: enforce opaque native access and document contract APIs
marsninja
committed
91f8278
fix: preserve boundary finalization and fence walker writes
marsninja
committed
6315060
fix: retain lifetime dependencies and explicit effect assumptions
marsninja
committed
eb11934
fix: attach contracts to inline server calls
marsninja
committed
77c2420
fix: keep native type imports out of client placement
marsninja
committed
57484df
fix: validate native scalar argument ranges
marsninja
committed
6234919
docs: record application integration findings
marsninja
committed
bdbb6ca
fix: preserve native crossings during client placement
marsninja
committed
80268c7
fix: preserve native shared borrow permissions
marsninja
committed
9d02744
fix: use AST unparse helper and expose selfhost diagnostics
marsninja
committed
46c9228
fix: defer effect unparsing until a declaration is found
marsninja
committed
0d979a4
fix: type browser host objects and signup response conversions
marsninja
committed
e591284
fix: resolve host and opaque handle scopes from inferred types
marsninja
committed
23067a2
docs: record contract integration fixes and pending acceptance
marsninja
committed
ec94e76
fix: derive native browser aliases from the runtime registry
marsninja
committed
44562d5
fix: emit valid host callbacks and avoid duplicate runtime globals
marsninja
committed
b146e36
Preserve primitive BigInt range checks in Wasm adapters
marsninja
committed
6c7b8b1
Record successful browser integration flows
marsninja
committed
6b1d033
Retain boundary contracts in cached client artifacts for deployment audits
marsninja
committed
4aef60a
Update scope status and record final audit verification work
marsninja
committed
fd39508
Finalize implementation scope and record audit verification waiver
marsninja
committed
83a8962
docs: replace implementation progress file with migration release note
marsninja
committed
a9b0403
fix: make endpoint identities portable and migrate contract validation
marsninja
committed
bb1a646
style: normalize spacing after WebGL host lint fixes
marsninja
committed
1e9efa7
fix: align sealed cache format and use runtime typing reflection
marsninja
committed
ad7d8e4
Fix shared boundary integration across packaged runtimes and CI
marsninja
committed
86fafc4
Derive Wasm integer bounds from the fixed-width ABI shape
marsninja
committed
b39fc79
Compile runtime dependency graphs and keep Wasm analysis in the boundary pass
marsninja
committed
5f62879
Reuse the validated runtime source path when staging client tests
marsninja
committed
107d681
Check JSX factory bindings independently of generated source headers
marsninja
committed
911df46

Navigation Menu

Uh oh!

feat: preserve shared boundary contracts through compilation and runtime - #9048

feat: preserve shared boundary contracts through compilation and runtime#9048
marsninja merged 35 commits into
jaseci-labs:mainfrom
marsninja:feat/shared-boundary-contracts

Commits on Sep 7, 2026

docs: track full shared boundary contracts implementation

fix(client): fence cached reads across writes and identity changes

feat: carry boundary contracts into native bindings and endpoint runtimes

feat(native): check host implementations and generate registration adapters

feat(compiler): persist boundary contracts and qualify runtime endpoint identities

feat: enforce opaque native access and document contract APIs

fix: preserve boundary finalization and fence walker writes

fix: retain lifetime dependencies and explicit effect assumptions

fix: attach contracts to inline server calls

fix: keep native type imports out of client placement

fix: validate native scalar argument ranges

docs: record application integration findings

fix: preserve native crossings during client placement

fix: preserve native shared borrow permissions

fix: use AST unparse helper and expose selfhost diagnostics

fix: defer effect unparsing until a declaration is found

fix: type browser host objects and signup response conversions

fix: resolve host and opaque handle scopes from inferred types

docs: record contract integration fixes and pending acceptance

fix: derive native browser aliases from the runtime registry

fix: emit valid host callbacks and avoid duplicate runtime globals

Preserve primitive BigInt range checks in Wasm adapters

Record successful browser integration flows

Retain boundary contracts in cached client artifacts for deployment audits

Update scope status and record final audit verification work

Finalize implementation scope and record audit verification waiver

docs: replace implementation progress file with migration release note

fix: make endpoint identities portable and migrate contract validation

style: normalize spacing after WebGL host lint fixes

fix: align sealed cache format and use runtime typing reflection

Fix shared boundary integration across packaged runtimes and CI

Derive Wasm integer bounds from the fixed-width ABI shape

Compile runtime dependency graphs and keep Wasm analysis in the boundary pass

Reuse the validated runtime source path when staging client tests

Check JSX factory bindings independently of generated source headers