benchmarks: audit perfect-cuboid finite scope - #592

Merged

morluto merged 5 commits into

mainfrom

agent/conjecture-perfect-cuboid-scope

Aug 7, 2026

Commits on Aug 7, 2026

benchmarks: add perfect cuboid scope audit

Grace Lee Rui Yue
authored and
morluto
committed
0049c26
fix(benchmarks): harden perfect cuboid verifier contract

Grace Lee Rui Yue
authored and
morluto
committed
0c6e860
fix(benchmarks): decouple verifier dimensions and document evidence format
morluto
committed
86085bf
fix(benchmarks): bound raw submission read and refresh Dockerfile checksum
morluto
committed
af2a679
fix(benchmarks): repair perfect-cuboid-scope-audit CI contract and lint

cursoragent
and
morluto
committed
28fbbce