feat(colors): prove incremental re-resolve parity - #572

Merged

lemone112 merged 8 commits into

mainfrom

feat/incremental-parity

Aug 12, 2026

Commits on Aug 12, 2026

feat(colors): reuse unchanged certified cases

lemone112
and
sisyphus-dev-ai
committed
5529bb6
test(colors): prove changed observation invalidation

lemone112
and
sisyphus-dev-ai
committed
84e97e5
test(colors): bind incremental invalidation mutant

lemone112
and
sisyphus-dev-ai
committed
0382196
chore(colors): reseal incremental source contracts
lemone112
committed
b250ea7
chore(colors): ratchet private WASM budget
lemone112
committed
cf9a99d
test(colors): bind changed browser update receipt
lemone112
committed
f0f94c0
fix(colors): make evidence reuse fallible
lemone112
committed
d503fe3
chore(colors): reratchet reviewed private WASM
lemone112
committed
4f99f1e