8 lines
592 B
Plaintext
8 lines
592 B
Plaintext
{
|
|
"files": {
|
|
"verifier/step_verifier.py": "d5d146cfbb9a69e162c1a80a330c942b195bfd6d0a0961ae480cc1875989613b"
|
|
},
|
|
"definition": "chain VERIFIABLE iff (a) >=1 load-bearing <<EXPR=RESULT>> assertion, (b) every assertion verifies under SymPy, (c) final answer composes from the last load-bearing step. CORRECT = final==gold (independent axis).",
|
|
"tolerance_policy": "exact for integers/rationals (simplify(diff)==0); else 1e-6 relative for floats; fail-closed on unparseable/unbound/exception.",
|
|
"purity": "pure code, no model/LLM judgment; reused verbatim as the RL reward later."
|
|
} |