test(sign-det): verify nested infinitesimal roots against pinned Z3 - #10405

Merged

kim-em merged 3 commits into

mainfrom

Sep 22, 2026

Commits on Sep 22, 2026

test(sign-det): check nested infinitesimal roots against pinned Z3
Kim Morrison
committed
99f5e18
ci(sign-det): record runtime-neutral conformance registration
Kim Morrison
committed
47269eb
test(sign-det): enforce infinitesimal coverage and descriptor failures
Kim Morrison
committed
0f0fa86