feat: Compositional Symbolic Execution (CSE) on slotStore [WIP]#1065

Closed

Stevengre wants to merge 24 commits intomasterfrom

feature/cse-slotstore

Commits on Apr 13, 2026

Commits on Apr 14, 2026

fix(cse): rebuild K definition for slotStore, fix return value extraction

Stevengre
and
claude
committed
feat(cse): full slotStore CSE pipeline passes end-to-end test

Stevengre
and
claude
committed
feat(cse): pass all 3 reproducer tests (pure, branching, reference)

Stevengre
and
claude
committed
test(cse): add H2/H4 structure preservation assertions to test

Stevengre
and
claude
committed
refactor(symbolic): adapt p-token.md and spl-token.md to slotStore API

Stevengre
and
claude
committed
test(cse): add cast reproducer test (passes on slotStore)

Stevengre
and
claude
committed
fix: include p-token/spl-token modules in base definition, fix build errors

Stevengre
and
claude
committed
feat(cse): p-token CSE end-to-end passes all acceptance criteria

Stevengre
and
claude
committed