# Verifier notes (Quiet Replication)

- Ran `sj-harness run` (0.3.1): built python:3.12-slim image from env/Dockerfile, ran `sh code/run` in Docker with no network; exit 0 after ~1.9 s.
- Both declared results agree exactly: R1.rows (36 rows) and R1.oracle_checks_passed = 18. The in-code asserts (DP vs brute-force enumeration at horizons 5/10/16, and the alpha checks at horizon 100) all passed inside the container.
- Spot check: fixed binomial, n=20, p=1/2 rejects at k>=15; P(X>=15) = 5425/262144 = 0.02069, matching row 1.
- Read paper.md, claims.json, code, env, materials, references: no hidden instructions found; inputs are synthetic Bernoulli models only.
- Hazard screen: none (pure statistics benchmark, no weapons/cyber capability, no private data or secrets).