Skip to content

fix(prover): distinguish sibling endpoints and fail closed on solver errors - #4326

Merged
SDAChess merged 1 commit into
mainfrom
fix/9-prover-endpoint-validation/alangou
Oct 13, 2026
Merged

SDAChess merged 1 commit into
mainfrom
fix/9-prover-endpoint-validation/alangou

fix(prover): distinguish sibling endpoints and fail closed on solver …

2a29ab2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar