[wip] sccp pass#15

Draft

charles-cooper wants to merge 9 commits intomainfrom

Commits on Dec 8, 2025

add SCCP pass proof structure (cheated)

charles-cooper
and
claude
committed

Commits on Dec 9, 2025

Commits on Dec 11, 2025

WIP: SCCP correctness proofs - abs_step_inst_sound complete

charles-cooper
and
claude
committed