{
  "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."
}