{
  "cells": [
    {
      "id": "arithmetic-fp32",
      "status": "PASS",
      "raw_operation": "add",
      "raw_operation_correct": true,
      "model_applied": true,
      "model_predictions": 1,
      "tdd_cases_passed": 6,
      "tdd_cases_total": 6,
      "independent_cases_passed": 6,
      "native_wall_ms": 11.517041,
      "native_user_ms": 4.189,
      "native_system_ms": 6.439,
      "native_lifetime_peak_rss_bytes": 16809984,
      "tiny_decision_ms": 0.037583,
      "tiny_load_ms": 0.229542,
      "source_sha256": "7896b7f65db047bf077a03920901ff4487576582896f492fabe5d1fc82c1d748",
      "plan_sha256": "685b22ffb073ad0e8fb597bd008ecbf7dd7696137d3a2e0d9418ab25ee7468e5",
      "model_metadata_sha256": "9f59507ca7fc88d05995202bdac12fecb056a3b07fc75e09c90f54415d50454e",
      "weights_sha256": "e9beba7f8c6c33931fa89fcc69407bd4f02c5d23d731b2e8a0ebbf03601f59e8",
      "raw_receipt_sha256": "8a3b6fb5169c1af0948c72013d0f867fa7732c562228a7d2e5c00d5ed387de85",
      "generated_source_sha256": "bedff51d4d1a575e51e393af7ff4e77bf7017b989ada4592e36b1d4be58e1a1b",
      "verification_sha256": "79a058ab858ab7315d5f5fe5e538d71ed62465549b3a6147e44f97b8da3d2709"
    },
    {
      "id": "arithmetic-ptq_ternary",
      "status": "PASS",
      "raw_operation": "add",
      "raw_operation_correct": true,
      "model_applied": false,
      "model_predictions": 1,
      "tdd_cases_passed": 6,
      "tdd_cases_total": 6,
      "independent_cases_passed": 6,
      "native_wall_ms": 6.490958,
      "native_user_ms": 3.6,
      "native_system_ms": 2.027,
      "native_lifetime_peak_rss_bytes": 16859136,
      "tiny_decision_ms": 0.041875,
      "tiny_load_ms": 0.1415,
      "source_sha256": "7896b7f65db047bf077a03920901ff4487576582896f492fabe5d1fc82c1d748",
      "plan_sha256": "685b22ffb073ad0e8fb597bd008ecbf7dd7696137d3a2e0d9418ab25ee7468e5",
      "model_metadata_sha256": "41a5168cb3ef0633edc0a9b05a0f6fafcef4324f05eee728db3b4d321c77d381",
      "weights_sha256": "005681c525474bb8ec08ffc6e83c43fb27f4c2ed0dd96328b442c2c8caa81fb6",
      "raw_receipt_sha256": "c78e09817478a9a0229d43dccb85b8bd8c965518aa3e70340fbf30ecb03983ba",
      "generated_source_sha256": "bedff51d4d1a575e51e393af7ff4e77bf7017b989ada4592e36b1d4be58e1a1b",
      "verification_sha256": "82d0f31ca3ede76d80511bfa6e3c7b92588dd7571815089a4b9a0807289363ce"
    },
    {
      "id": "arithmetic-qat_ternary",
      "status": "PASS",
      "raw_operation": "add",
      "raw_operation_correct": true,
      "model_applied": true,
      "model_predictions": 1,
      "tdd_cases_passed": 6,
      "tdd_cases_total": 6,
      "independent_cases_passed": 6,
      "native_wall_ms": 9.140834,
      "native_user_ms": 5.148,
      "native_system_ms": 2.951,
      "native_lifetime_peak_rss_bytes": 16924672,
      "tiny_decision_ms": 0.063084,
      "tiny_load_ms": 0.1815,
      "source_sha256": "7896b7f65db047bf077a03920901ff4487576582896f492fabe5d1fc82c1d748",
      "plan_sha256": "685b22ffb073ad0e8fb597bd008ecbf7dd7696137d3a2e0d9418ab25ee7468e5",
      "model_metadata_sha256": "ad058ac2f42f9e02eb3763b4b027d3f5034aac01fa5577d734ac92468dc2a65f",
      "weights_sha256": "07813d1eef0651c37115a899c7052dc3bbca5c924dca348ecf4e4b6ca35fcf96",
      "raw_receipt_sha256": "ed3d5ed23a967fa8763e9f51cfedbff7cec4a40554e9ecc9225ba9c9f6c30bdc",
      "generated_source_sha256": "bedff51d4d1a575e51e393af7ff4e77bf7017b989ada4592e36b1d4be58e1a1b",
      "verification_sha256": "192b13b4e134f7bc0a46288529e396bc2e77d72ed88e72508772db7ff9327f6f"
    },
    {
      "id": "boolean-fp32",
      "status": "PASS",
      "raw_operation": "less_equal",
      "raw_operation_correct": true,
      "model_applied": true,
      "model_predictions": 1,
      "tdd_cases_passed": 6,
      "tdd_cases_total": 6,
      "independent_cases_passed": 6,
      "native_wall_ms": 10.036458,
      "native_user_ms": 5.701,
      "native_system_ms": 3.112,
      "native_lifetime_peak_rss_bytes": 16875520,
      "tiny_decision_ms": 0.061083,
      "tiny_load_ms": 0.16875,
      "source_sha256": "1b2e12bc510ec7215f49e84b23cc00e4da3adadd7244030596671d7cb78af6f1",
      "plan_sha256": "a3f68051f964ee8b2917879e7fcec1d81b0c5bec20a975b2344410b08898e694",
      "model_metadata_sha256": "9f59507ca7fc88d05995202bdac12fecb056a3b07fc75e09c90f54415d50454e",
      "weights_sha256": "e9beba7f8c6c33931fa89fcc69407bd4f02c5d23d731b2e8a0ebbf03601f59e8",
      "raw_receipt_sha256": "070766ffd6f8a8caeb05c1b9e175f2adbf9a00157d6faf870d860ae112466ba5",
      "generated_source_sha256": "d10295d4d643348152cf2f7656c1558db4feb1b801c615360c273b69b65ceb9f",
      "verification_sha256": "7d456801d77288b1f2b5d4201ce873cb700d15e6ea258d6578f3819d69a378e2"
    },
    {
      "id": "boolean-ptq_ternary",
      "status": "PASS",
      "raw_operation": "less_equal",
      "raw_operation_correct": true,
      "model_applied": true,
      "model_predictions": 1,
      "tdd_cases_passed": 6,
      "tdd_cases_total": 6,
      "independent_cases_passed": 6,
      "native_wall_ms": 8.816666,
      "native_user_ms": 4.918,
      "native_system_ms": 2.509,
      "native_lifetime_peak_rss_bytes": 16891904,
      "tiny_decision_ms": 0.062833,
      "tiny_load_ms": 0.106333,
      "source_sha256": "1b2e12bc510ec7215f49e84b23cc00e4da3adadd7244030596671d7cb78af6f1",
      "plan_sha256": "a3f68051f964ee8b2917879e7fcec1d81b0c5bec20a975b2344410b08898e694",
      "model_metadata_sha256": "41a5168cb3ef0633edc0a9b05a0f6fafcef4324f05eee728db3b4d321c77d381",
      "weights_sha256": "005681c525474bb8ec08ffc6e83c43fb27f4c2ed0dd96328b442c2c8caa81fb6",
      "raw_receipt_sha256": "ce4996a7e8d9081fe8f8427358ac6331a3d6925ae004cd6523f4a5aa5af7a238",
      "generated_source_sha256": "d10295d4d643348152cf2f7656c1558db4feb1b801c615360c273b69b65ceb9f",
      "verification_sha256": "83b78e2706e4c850682dc41342924acf22d5773672122c465229c732c4c219c5"
    },
    {
      "id": "boolean-qat_ternary",
      "status": "PASS",
      "raw_operation": "less_equal",
      "raw_operation_correct": true,
      "model_applied": true,
      "model_predictions": 1,
      "tdd_cases_passed": 6,
      "tdd_cases_total": 6,
      "independent_cases_passed": 6,
      "native_wall_ms": 9.253291,
      "native_user_ms": 5.52,
      "native_system_ms": 2.838,
      "native_lifetime_peak_rss_bytes": 16777216,
      "tiny_decision_ms": 0.063417,
      "tiny_load_ms": 0.181625,
      "source_sha256": "1b2e12bc510ec7215f49e84b23cc00e4da3adadd7244030596671d7cb78af6f1",
      "plan_sha256": "a3f68051f964ee8b2917879e7fcec1d81b0c5bec20a975b2344410b08898e694",
      "model_metadata_sha256": "ad058ac2f42f9e02eb3763b4b027d3f5034aac01fa5577d734ac92468dc2a65f",
      "weights_sha256": "07813d1eef0651c37115a899c7052dc3bbca5c924dca348ecf4e4b6ca35fcf96",
      "raw_receipt_sha256": "e6a0b01571a49f4148e69324c4f7f74b4d514bb69b37fce9bdb1f08a47757653",
      "generated_source_sha256": "d10295d4d643348152cf2f7656c1558db4feb1b801c615360c273b69b65ceb9f",
      "verification_sha256": "82d0f31ca3ede76d80511bfa6e3c7b92588dd7571815089a4b9a0807289363ce"
    }
  ],
  "compiler_revision": "68361e64def5457f0d0e6de972570a9885cceb96",
  "compiler_sha256": "3f3e632affb55c35449fcdcd0c69fcd8dcd84ec42dcaa488641eb03dd2f2cb50",
  "external_provider_calls": 0,
  "go_version": "go1.27.1",
  "provenance_spec": "https://www.w3.org/TR/prov-o/",
  "resource_scope": "Native child process wall/CPU and OS lifetime peak RSS; excludes Go replay processes, not host utilization delta",
  "retries": 0,
  "schema": "gooo/compiler-dogfood/v1",
  "scope": "Two disclosed repair-training intents; not holdout or full-domain proof",
  "status": "PASS",
  "warmups": 0
}