{
  "checks_passed": 150,
  "assertions": [
    "frozen source program.json.gz",
    "frozen source verify_candidate.py",
    "frozen source place_candidate.py",
    "frozen source score_candidate.py",
    "frozen source parallel_compiler.py",
    "frozen source execute_candidate.py",
    "frozen source build_seeded.py",
    "frozen source build_candidate.py",
    "frozen source shared/il_compiler.py",
    "frozen source shared/model_ir.py",
    "frozen source shared/score.py",
    "frozen source shared/affine.py",
    "frozen source imported/fuse.py",
    "frozen source imported/bag_ir.py",
    "frozen source imported/pcanet_ir.py",
    "placement preserves every logical instruction",
    "placement preserves all logical regions and sizes",
    "placement preserves metadata",
    "score bound to placed program",
    "execution bound to original program",
    "canonical dataset manifests",
    "exact input tape segment at 0",
    "exact input tape segment at 47040000",
    "exact input tape segment at 54880000",
    "exact input count; no test labels",
    "prediction shape and dtype",
    "prediction digits",
    "exact output count",
    "energy component sum",
    "cycle component sum",
    "all scratch and tape stages charged",
    "scratch capacity",
    "numeric region hash f_s",
    "finite numeric region f_s",
    "numeric region hash f_k",
    "finite numeric region f_k",
    "numeric region hash f_ind",
    "finite numeric region f_ind",
    "numeric region hash f_resp",
    "finite numeric region f_resp",
    "numeric region hash f_m1",
    "finite numeric region f_m1",
    "numeric region hash f_hist",
    "finite numeric region f_hist",
    "numeric region hash f_cov",
    "finite numeric region f_cov",
    "numeric region hash f_W1",
    "finite numeric region f_W1",
    "numeric region hash f_W2",
    "finite numeric region f_W2",
    "numeric region hash f_V",
    "finite numeric region f_V",
    "numeric region hash f_den",
    "finite numeric region f_den",
    "numeric region hash f_pv",
    "finite numeric region f_pv",
    "numeric region hash f_px",
    "finite numeric region f_px",
    "numeric region hash f_pq",
    "finite numeric region f_pq",
    "numeric region hash f_x",
    "finite numeric region f_x",
    "numeric region hash f_xq",
    "finite numeric region f_xq",
    "numeric region hash s",
    "finite numeric region s",
    "numeric region hash k",
    "finite numeric region k",
    "numeric region hash jval",
    "finite numeric region jval",
    "numeric region hash clsval",
    "finite numeric region clsval",
    "numeric region hash kval",
    "finite numeric region kval",
    "numeric region hash gm",
    "finite numeric region gm",
    "numeric region hash gs",
    "finite numeric region gs",
    "numeric region hash S",
    "finite numeric region S",
    "numeric region hash ui",
    "finite numeric region ui",
    "numeric region hash sc",
    "finite numeric region sc",
    "numeric region hash sc2",
    "finite numeric region sc2",
    "numeric region hash SkA",
    "finite numeric region SkA",
    "numeric region hash muA",
    "finite numeric region muA",
    "numeric region hash clcovA",
    "finite numeric region clcovA",
    "numeric region hash PwA",
    "finite numeric region PwA",
    "numeric region hash llA",
    "finite numeric region llA",
    "numeric region hash ldA",
    "finite numeric region ldA",
    "numeric region hash piA",
    "finite numeric region piA",
    "numeric region hash csA",
    "finite numeric region csA",
    "numeric region hash ccA",
    "finite numeric region ccA",
    "numeric region hash cntA",
    "finite numeric region cntA",
    "numeric region hash denA",
    "finite numeric region denA",
    "numeric region hash mA",
    "finite numeric region mA",
    "numeric region hash PA",
    "finite numeric region PA",
    "numeric region hash WA",
    "finite numeric region WA",
    "numeric region hash VA",
    "finite numeric region VA",
    "numeric region hash covA",
    "finite numeric region covA",
    "numeric region hash asA",
    "finite numeric region asA",
    "numeric region hash rA",
    "finite numeric region rA",
    "numeric region hash zA",
    "finite numeric region zA",
    "numeric region hash zqA",
    "finite numeric region zqA",
    "numeric region hash x",
    "finite numeric region x",
    "numeric region hash q",
    "finite numeric region q",
    "numeric region hash labels",
    "finite numeric region labels",
    "numeric region hash out",
    "finite numeric region out",
    "output region matches output tape",
    "numeric region hash rng_s",
    "finite numeric region rng_s",
    "numeric region hash rng_keys",
    "finite numeric region rng_keys",
    "numeric region hash rng_vals",
    "finite numeric region rng_vals",
    "numeric region hash rng_pick",
    "finite numeric region rng_pick",
    "numeric region hash rng_bits",
    "finite numeric region rng_bits",
    "numeric region hash exp_s",
    "finite numeric region exp_s",
    "numeric region hash rng_eps",
    "finite numeric region rng_eps",
    "class-score argmax matches predictions"
  ],
  "numerically_finite": true,
  "correct": 9911,
  "total": 10000,
  "accuracy_pct": 99.11,
  "qualifies_99_percent": true,
  "prediction_sha256": "6888dc71891cf4d6cac3abfbf37452849c4d23390e6f9cf14f434852d79f28cd",
  "original_program_sha256": "cb47a5a314b12f943eba618aae28a586b8b50aeebc0578b537ebefe67143bb2a",
  "placed_program_sha256": "fa5bb19926bb5c39a585f0453400f81bf118ab2ca844d1f25d552dc6a48cc294",
  "energy_mj": 23317.800433846864,
  "time_ms": 181126315.554952,
  "peak_scratch_bytes": 1253845632,
  "numeric_execution_seconds": 549.632913316018,
  "limitations": [
    "Ordered FP32 covariance/reductions instead of FP64 filter covariance and CUDA reductions.",
    "Orthonormal subspace iteration instead of library eigendecomposition.",
    "Gauss-Jordan inverses and primitive log/exp/sqrt approximations replace library operations.",
    "No A100 accuracy claim transfers to this grid program."
  ],
  "a100_prediction_matches": 9986,
  "a100_correct": 9906
}