refactor(prover): remove legacy unused reachability constraints#2441

Open

eviehoward wants to merge 3 commits into

NVIDIA:mainfrom

eviehoward:2412-remove-legacy-reachability-constraints/eviehoward

Commits on Jul 23, 2026

refactor(prover): remove legacy unused reachability constraints
eviehoward
committed
refactor(prover): remove dead write-capability helpers from binary registry
eviehoward
committed
docs(prover): remove stale write-bypass mention from module doc comment
eviehoward
committed