After the #8743 driver fixes, a degree-20 random polynomial isolates at target 32 in ~15 s (was hours), so the SPEC's 50-case degree-20 tier costs ~12 min of fresh emission, which run_oracles.sh's emit-and-cross-check design charges to every CI run. #8740 ships 6 curated + 8 seeded degree-6..12 cases (~2 s emission) instead. Options for the full tier: a scheduled-only oracle leg, an emit-once mode that validates the committed fixture without re-emission, or further isolateAll? performance work (the per-case cost is now dominated by deep subdivision near close root pairs). Also update HexRoots/SPEC/hex-roots.md § Conformance fixtures when resolved.
🤖 Prepared with Claude Code
After the #8743 driver fixes, a degree-20 random polynomial isolates at target 32 in ~15 s (was hours), so the SPEC's 50-case degree-20 tier costs ~12 min of fresh emission, which
run_oracles.sh's emit-and-cross-check design charges to every CI run. #8740 ships 6 curated + 8 seeded degree-6..12 cases (~2 s emission) instead. Options for the full tier: a scheduled-only oracle leg, an emit-once mode that validates the committed fixture without re-emission, or further isolateAll? performance work (the per-case cost is now dominated by deep subdivision near close root pairs). Also update HexRoots/SPEC/hex-roots.md § Conformance fixtures when resolved.🤖 Prepared with Claude Code