feat(skip): add static layout reuse proof model#1674

Merged

james-elicx merged 9 commits into

cloudflare:mainfrom

NathanDrake2406:nathan/726-skip-02-proof-model

May 29, 2026

Commits on May 28, 2026

feat(skip): add static layout reuse proof model
NathanDrake2406
committed

Commits on May 29, 2026

fix(skip): address review — budget counts all wire entries, default enforcement, triple-walk justification, hash stability comment, forward declarations comment, absent-manifest test
NathanDrake2406
committed
fix(skip): replace as const with explicit return type annotation
NathanDrake2406
committed
fix(skip): replace as const with ProofFieldPair type alias
NathanDrake2406
committed
fix(skip): address copilot review — pairs serialization, budget disambiguation, skip-ineligible tracking, compatibility-bridged test
NathanDrake2406
committed
fix(skip): remove routeId from renderEpoch, bind verifier entryId, add sibling-route test
NathanDrake2406
committed
fix(skip): exclude routeId from payload hash, add end-to-end sibling-route proof test
NathanDrake2406
committed
chore(skip): move proof fields to artifact-compatibility, rename to maxWireEntriesToVerify, short-circuit exact check
NathanDrake2406
committed
chore(skip): address review comments — fix hash comment, remove redundant guard, drop budget alias, dedupe exact-compatibility check
NathanDrake2406
committed