feat(prover): add whole-app React proof engine - #1471

Draft

aidenybai wants to merge 23 commits into

mainfrom

codex/react-proof-engine

Commits on Jul 28, 2026

feat: add whole-app React proof engine prototype
aidenybai
committed
9de34e4
feat(prover): prove finite JSX prop spreads
aidenybai
committed
4475d14
feat(prover): certify callable ref freshness
aidenybai
committed
3c2dd6f
feat(prover): certify effect scheduler lifetimes
aidenybai
committed
a7bf812
feat(prover): certify effect resource lifetimes
aidenybai
committed
3a1836b
feat(prover): certify class component lifecycles
aidenybai
committed
5dd94eb
feat(prover): certify class state transitions
aidenybai
committed
d96f85e
feat(prover): certify class state ownership
aidenybai
committed
7b3a203
feat(prover): certify class construction
aidenybai
committed
9212d5a
feat(prover): certify hook state transitions
aidenybai
committed
0c2d1f4
feat(prover): certify Transition Actions
aidenybai
committed
1605fd7
feat(prover): certify Form Actions and optimistic state
aidenybai
committed
98037c6
feat(prover): certify Action State
aidenybai
committed
f989cd7
feat(prover): certify Form Status topology
aidenybai
committed
75df6f3
feat(prover): certify ReactNode slot flow
aidenybai
committed
d4b24ea

Commits on Jul 29, 2026

feat(prover): certify imperative handle protocols
aidenybai
committed
435205f
feat(prover): certify reducer transition protocols
aidenybai
committed
044da23
feat(prover): certify lazy Suspense topology
aidenybai
committed
d68e259
feat(prover): certify error boundary containment
aidenybai
committed
a2bc888
feat(prover): certify use resource protocols
aidenybai
committed
4680275
feat(prover): certify host control protocols
aidenybai
committed
362b4b1
feat(prover): certify hydration equivalence
aidenybai
committed
fe3729e
feat(prover): certify memo bailout equivalence
aidenybai
committed
f93a08c