{
  "contract": "this hash is committed to git BEFORE the benchmark runs; a matching observed outcome then proves the prediction was pre-registered, not fit post-hoc.",
  "name": "asic_live_bar",
  "note": "S06 candidate 3. Sealed before the first live run on this host. The control -- the skip stub -- is run first, because if the skip stub does not reproduce then the S04 finding that motivated this candidate was itself wrong.",
  "prediction": {
    "bar": {
      "FAIL_publishable_as": "'the committed gate-level receipt does not reproduce on an independent toolchain install' -- naming the module and the field that differ. A failure here is a finding about our own strongest silicon-adjacent claim and is published as one.",
      "PARTIAL": "proofs pass but a non-volatile field differs -> report the field; the receipt is reproducible in verdict but not in detail.",
      "PASS": "with the toolchain: executed true, skipped false, all_postsynth_proven true, all_lec_ok true, n_modules 3; AND every field outside asic_flow_v38.RECEIPT_VOLATILE equals the committed artifact's value."
    },
    "both_outcomes_publishable": true,
    "candidate": "S06-3 SKY130 gate-level re-proof, live on this host",
    "committed_values_being_tested": {
      "all_lec_ok": true,
      "all_postsynth_proven": true,
      "executed": true,
      "n_modules": 3,
      "skipped": false
    },
    "kill_criterion": "the installed OSS CAD Suite refuses the recorded SKY130 liberty/lib or pono rejects the netlist for a version reason: record the tool versions and stop, no second attempt.",
    "negative_control_run_first": "run the producer with WRFL_OSS_CAD_ROOT unset and confirm the skip stub reproduces: executed false, skipped true, all_postsynth_proven false. If the stub does NOT reproduce, the S04 finding was wrong and this candidate stops.",
    "setup": {
      "WRFL_OSS_CAD_ROOT": "$HOME/oss-cad-suite",
      "tools_present": [
        "yosys",
        "pono",
        "eqy",
        "sby",
        "bitwuzla",
        "boolector",
        "yices"
      ],
      "why_now": "S04 proved that WITHOUT this toolchain the producer is skip-clean and the acceptance still prints 8/8 and exits 0 -- a command that succeeds at a smaller experiment than its receipt claims. The toolchain is installed on this host, so the committed receipt can be tested rather than trusted."
    }
  },
  "schema": "prereg-seal-v1",
  "sealed_at_commit": "17010fd3ebfa9cb07fb1a7c12167c10f242e1128",
  "sha256": "b0c9788b05f9dcd4523ce19c70c50975444fd76ff8b600de5a271b71185ce3f2"
}