fix(symbolic-spl): discharge AccountState discriminant branches#978

Closed

Stevengre wants to merge 2 commits intofeature/p-tokenfrom

codex/upstream/issue-016-accountstate-discriminant-discharge

Commits on Mar 16, 2026

fix(symbolic-spl): model proof-only multisig state with 3 signers
Stevengre
committed
fix(symbolic-spl): discharge AccountState discriminant branches
Stevengre
committed