Verifier card — ofc_gym · grade A

Clean — no reward-hack signature found; the reward held against the full battery below.

• source: first-party · grader: deterministic* · verifiers: — · pass_threshold: 0.5 · rows: 3
• seal: record_sha256:3d52251e5d0b243a — re-running this audit reproduces it byte-for-byte

What we tested

• Degenerate-probe — 24 content-free completions: all below pass_threshold ✓
• IPT invariance — invariant under cosmetic re-rendering ✓
• Verifier-completeness — soundness gap 0 · completeness gap 0
• Exploit-search — searched the reward space; no accepted non-attempt ✓

What we found

• No reward-hack signature. Every degenerate probe scored below pass_threshold (0.5); the reward was invariant under cosmetic re-rendering; and the exploit-search (where run) found no accepted non-attempt. A defended reward.

Reproduce

stardata audit ofc_gym --row-seed 0

Coverage & limitations

• grader class audited: deterministic (inferred from the replayable reward)
• instruments run: degenerate-probe, IPT invariance, verifier-completeness, exploit-search
• scope: an environment-side audit of reward gameability — it does not guarantee your policy won't find other optimizations, nor does it assess task difficulty (a separate difficulty certificate).