{
  "evidence_limits": "Printed rounded L04 linear model only; historical 67.12, unrounded arrays, nonlinear plant, and complete optimal family remain unresolved; fresh CPython process time includes startup and output capture; no comparator or speedup; no source-mapped limiter",
  "measured_scope": "Printed B08 linear model, 625 plans x 256 corners; 7 verified fresh-process measured trials after one excluded warmup; performance interpretation inconclusive",
  "native_payload_sha256": "b0d0e85d4d338f564a83180b1888d1df52ad76b292b4cfc68d2d2cdd2d5b3e00",
  "payload": {
    "created_utc": "2026-10-16T12:11:12Z",
    "environment": {
      "arithmetic": "fractions.Fraction exact rational on printed decimal inputs",
      "cache_policy": "new interpreter each attempt; OS file and instruction caches may be warm",
      "child_cpu_time": {
        "available": false,
        "reason": "not measured"
      },
      "clock": "parent time.perf_counter_ns",
      "configured_workers": 1,
      "host_activity": "At 2026-10-16T12:10:55Z UTC, the coordinator reserved the local host for the reviewed B08 exact run. No cl, cmake, ctest, msbuild, or ninja process was active; only idle Python service processes appeared. Other agents deferred local builds, tests, and measurements during this window. This note is point-in-time host activity evidence, not continuous instrumentation.",
      "logical_cores": 12,
      "observed_threads": {
        "available": false,
        "reason": "not measured"
      },
      "optimization": "CPython -O; -B disables bytecode writes",
      "os": "Windows-11-10.0.22631-SP0",
      "peak_memory": {
        "available": false,
        "reason": "not measured"
      },
      "processor": "Intel64 Family 6 Model 151 Stepping 5, GenuineIntel",
      "python_executable": "python.exe",
      "python_executable_sha256": "5341746f92483a93e44c313de830f2fba2956f0759094404a16b2fed06c9a2ed",
      "python_version": "3.13.5 (tags/v3.13.5:6cb20a2, Jun 11 2025, 16:15:46) [MSC v.1943 64 bit (AMD64)]"
    },
    "interval": "parent perf_counter_ns immediately before child process spawn through child exit and captured stdout/stderr return; includes CPython startup, 625x256 exact rational enumeration, literal checks and record comparison; excludes parent validation, CSV/JSON persistence, HTML rendering and ZIP creation",
    "payload_sha256": "b0d0e85d4d338f564a83180b1888d1df52ad76b292b4cfc68d2d2cdd2d5b3e00",
    "publishable": true,
    "purpose": "measurement",
    "raw_jsonl_sha256": "0bca6e1f8919de38a354e3238550a662e6094752a2c94cb3a787463e5c442014",
    "reference": {
      "corner_histories_per_plan": 256,
      "exact_minimizers": 3,
      "minimum_squared_exact": "112730080707/25000000",
      "plan_count": 625,
      "source_id": "L04",
      "source_sha256": "6e07c9a2fac2d112885a495c9fe7f13acec9d990d947017b1701a4b95538cd5f"
    },
    "repetitions": 7,
    "report_id": "b08-exact-b0d0e85d4d338f56",
    "rows": [
      {
        "detail": "exact checker and saved-record comparison passed",
        "duration_ns": 1619303200,
        "exit_code": 0,
        "repetition": 0,
        "status": "passed",
        "stderr_base64": "",
        "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
        "stdout_base64": "QjA4IGV4YWN0IGRpc3BsYXllZC1kYXRhIHJlY29yZCB2ZXJpZmllZA0K",
        "stdout_sha256": "2b16fb175522800df0cef3321620c221f7aaff321a8a91d451108381a4b703ea",
        "timed_out": false,
        "warmup": true,
        "work_observed": true
      },
      {
        "detail": "exact checker and saved-record comparison passed",
        "duration_ns": 1658595900,
        "exit_code": 0,
        "repetition": 0,
        "status": "passed",
        "stderr_base64": "",
        "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
        "stdout_base64": "QjA4IGV4YWN0IGRpc3BsYXllZC1kYXRhIHJlY29yZCB2ZXJpZmllZA0K",
        "stdout_sha256": "2b16fb175522800df0cef3321620c221f7aaff321a8a91d451108381a4b703ea",
        "timed_out": false,
        "warmup": false,
        "work_observed": true
      },
      {
        "detail": "exact checker and saved-record comparison passed",
        "duration_ns": 1658341800,
        "exit_code": 0,
        "repetition": 1,
        "status": "passed",
        "stderr_base64": "",
        "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
        "stdout_base64": "QjA4IGV4YWN0IGRpc3BsYXllZC1kYXRhIHJlY29yZCB2ZXJpZmllZA0K",
        "stdout_sha256": "2b16fb175522800df0cef3321620c221f7aaff321a8a91d451108381a4b703ea",
        "timed_out": false,
        "warmup": false,
        "work_observed": true
      },
      {
        "detail": "exact checker and saved-record comparison passed",
        "duration_ns": 1651407800,
        "exit_code": 0,
        "repetition": 2,
        "status": "passed",
        "stderr_base64": "",
        "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
        "stdout_base64": "QjA4IGV4YWN0IGRpc3BsYXllZC1kYXRhIHJlY29yZCB2ZXJpZmllZA0K",
        "stdout_sha256": "2b16fb175522800df0cef3321620c221f7aaff321a8a91d451108381a4b703ea",
        "timed_out": false,
        "warmup": false,
        "work_observed": true
      },
      {
        "detail": "exact checker and saved-record comparison passed",
        "duration_ns": 1632298200,
        "exit_code": 0,
        "repetition": 3,
        "status": "passed",
        "stderr_base64": "",
        "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
        "stdout_base64": "QjA4IGV4YWN0IGRpc3BsYXllZC1kYXRhIHJlY29yZCB2ZXJpZmllZA0K",
        "stdout_sha256": "2b16fb175522800df0cef3321620c221f7aaff321a8a91d451108381a4b703ea",
        "timed_out": false,
        "warmup": false,
        "work_observed": true
      },
      {
        "detail": "exact checker and saved-record comparison passed",
        "duration_ns": 1683302400,
        "exit_code": 0,
        "repetition": 4,
        "status": "passed",
        "stderr_base64": "",
        "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
        "stdout_base64": "QjA4IGV4YWN0IGRpc3BsYXllZC1kYXRhIHJlY29yZCB2ZXJpZmllZA0K",
        "stdout_sha256": "2b16fb175522800df0cef3321620c221f7aaff321a8a91d451108381a4b703ea",
        "timed_out": false,
        "warmup": false,
        "work_observed": true
      },
      {
        "detail": "exact checker and saved-record comparison passed",
        "duration_ns": 1644345600,
        "exit_code": 0,
        "repetition": 5,
        "status": "passed",
        "stderr_base64": "",
        "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
        "stdout_base64": "QjA4IGV4YWN0IGRpc3BsYXllZC1kYXRhIHJlY29yZCB2ZXJpZmllZA0K",
        "stdout_sha256": "2b16fb175522800df0cef3321620c221f7aaff321a8a91d451108381a4b703ea",
        "timed_out": false,
        "warmup": false,
        "work_observed": true
      },
      {
        "detail": "exact checker and saved-record comparison passed",
        "duration_ns": 1626761800,
        "exit_code": 0,
        "repetition": 6,
        "status": "passed",
        "stderr_base64": "",
        "stderr_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
        "stdout_base64": "QjA4IGV4YWN0IGRpc3BsYXllZC1kYXRhIHJlY29yZCB2ZXJpZmllZA0K",
        "stdout_sha256": "2b16fb175522800df0cef3321620c221f7aaff321a8a91d451108381a4b703ea",
        "timed_out": false,
        "warmup": false,
        "work_observed": true
      }
    ],
    "schema": "csl.b08-displayed-exact-report/1",
    "source": {
      "harness_commit": "5748952af0ce9fca7aee625e7c62f20cff1d713f",
      "harness_tree_oid": "263b79229ea8af6770bbcaff8ecbadf68a93b81e",
      "reviewed_harness_delta": [
        "reports/algorithm-results/tooling/b08_exact/README.md",
        "scripts/reports/b08_exact_report.py",
        "tests/reporting/test_b08_exact_report.py"
      ],
      "source_commit": "78212b21d42ec3f136f0e1c72b2b0861d306792c",
      "source_files_sha256": {
        "docs/research/evidence/b08-displayed-exact.json": "dc8fbb816f359d132284fa92c8289b87a4cd7804270aa35fab926cdeb90e3e0a",
        "docs/research/tools/check_b08_displayed_exact.py": "5a84edcf9a9761d5a7b8036417546d71160fe8d74eb800e651aad3edfe081866"
      },
      "source_tree_oid": "f5e1c99286c97d14a0507f60e032dc1fdac66610"
    },
    "summary": {
      "max_ns": 1683302400,
      "median_ns": 1651407800,
      "min_ns": 1626761800,
      "trials": 7
    },
    "timeout_seconds": 60,
    "warmups": 1
  },
  "payload_schema": "csl.b08-displayed-exact-report/1",
  "payload_sha256": "559ad53d0ea897592ed2ec018e3584ff135313d676a94ef16903446669605cf8",
  "report_id": "b08-displayed-exact-5db00478351f310ecece0eae0187ace7de79b8c0850c958568232dd0bc779116",
  "report_kind": "b08-displayed-exact",
  "schema": "csl.algorithm-report-envelope/1",
  "source_commit": "78212b21d42ec3f136f0e1c72b2b0861d306792c",
  "source_report_id": "b08-exact-b0d0e85d4d338f56"
}