spec: portable-core-contracts - #186

Merged

yihanzhu merged 17 commits into

mainfrom

ystack/spec/portable-core-contracts

Aug 29, 2026

Commits on Aug 28, 2026

spec: portable-core-contracts
ci
committed
ee9d5f5
spec: close parser and snapshot gaps
ci
committed
7f33e38
spec: bind change base and tool config
ci
committed
cda7944
spec: make provenance unique and bounded
ci
committed
5f3f9cd
spec: preserve observed execution mismatches
ci
committed
10659fd
spec: record capability mismatch and valid refs
ci
committed
e27c617
spec: scope down portable core contracts
ci
committed
a1217ba
spec: close four core contract gaps
ci
committed
666e29e
spec: close three relation gaps
ci
committed
0488807

Commits on Aug 29, 2026

Merge remote-tracking branch 'origin/main' into ystack/spec/portable-core-contracts
ci
committed
43ce75d
spec: define reviewable portable core children
ci
committed
1b93923
spec: bind portable core dependency closure
ci
committed
7018549
spec: make portable core generations atomic
ci
committed
8c3c6e2
spec: close portable core generation gates
ci
committed
3a23d68
spec: make wrapper registration atomic
ci
committed
5c7172f
Merge commit '12c3552ce40d3f50e5243aa49c22c408d1398c94' into ystack/spec/portable-core-contracts
ci
committed
41b0c71
spec: correct review ledger denominator
ci
committed
8d24727