{
  "status": "targeted_final_netlist_replay_passed",
  "scope": "Zero-delay final-netlist functional acceptance; no SDF or energy proof",
  "metrics": {
    "baseline": {
      "commands": 163,
      "fmas": 272,
      "outputs": 77,
      "resets": 19
    },
    "shared": {
      "commands": 163,
      "fmas": 272,
      "outputs": 77,
      "resets": 19
    }
  },
  "binary_sha256": {
    "iverilog": "a6681e0b577dcfc4ea83d1591a5714710b0b3535ebb36491ee8177553bab9631",
    "vvp": "e0a087a4906d5a9cd1b0b85c9b4c2081704c2c9bcd94f224437fc56b15fc440d"
  },
  "package_version": "12.0-3",
  "both_final_netlists_reject_wrong_bit": true,
  "all_inputs_unchanged": true,
  "original_receipt_sha256": "891b0367f7ab898bd359dd60e350ba1f39209cb14eba3e9c1e5c5aaee06af247",
  "physical_provenance": {
    "baseline": {
      "archive_sha256": "04f1ae077523fa167c6db15ad4f3253b0eba35ad448d07070b27edfede4fe0ba",
      "final_netlist_sha256": "230eeb299e2b8d408ecdccdaa36def76bd48cc6d099672fa6bd8ab4670493f80"
    },
    "shared": {
      "archive_sha256": "8ef9726a49e2a722b153a1d8d884a4dee14be79a63d36a27475d6416578b2940",
      "final_netlist_sha256": "7060de7656e8e52c3e3bef66fc620d639fde6b970e6a0da137a31ceca7e6b255"
    }
  },
  "inputs_sha256": {
    "targeted.txt": "ffe9ff7cbef6ec77a9332c5f02e4f31c41da984dc1639fa2414e401ca643ed2d",
    "negative-one-bit.txt": "205630eb01f1e339330d24359ec48a37e9f4e5d6c75417c2c30e368e60016b2c",
    "gate_tb.sv": "a43de8ff171668830d51db2717c1ab340c4a9a38e860f2f869645b4d5965f1b3",
    "ihp-functional-cells.v": "69587325ed4c965d184de0996de771f5e795d2869d3587c1c72f046ac9e75db5",
    "worker.py": "25bccc1e715e68852a8a3d21b102d10ab1dd821de9587a397fe35d52778fe022",
    "iverilog_12.0-3_amd64.deb": "b3fd8becbaae83492c26b458e89a66fe3c0ad6547ababad9adda35388c381606",
    "package-provenance.json": "f0396c38e733c6ed07dc50acf91cffdccb87d91e3e944d832f81b62719e95cf8",
    "baseline-final.v": "230eeb299e2b8d408ecdccdaa36def76bd48cc6d099672fa6bd8ab4670493f80",
    "shared-final.v": "7060de7656e8e52c3e3bef66fc620d639fde6b970e6a0da137a31ceca7e6b255"
  },
  "full_fma_source_manifest_sha256": "27c6d47e3ac20b0a555fa1e2effa4c0180a61daf915ae90d08c7296ecb424c71",
  "oracle": "Frozen independent integer FMA oracle, same 163-command trace as validated RTL wrappers",
  "commands": [
    {
      "name": "compile-baseline",
      "returncode": 0,
      "wall_seconds": 2.073973150999997,
      "child_cpu_seconds": 2.113171,
      "log_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "name": "simulate-baseline",
      "returncode": 0,
      "wall_seconds": 11.152525898,
      "child_cpu_seconds": 11.116551000000001,
      "log_sha256": "223872d20bf16ee37defbec8b4e09ff44a67da0333225d818f02a93664618296"
    },
    {
      "name": "negative-baseline",
      "returncode": 1,
      "wall_seconds": 1.8707067429999995,
      "child_cpu_seconds": 1.8315149999999978,
      "log_sha256": "d2c381fdb6c06d37d3ab02e639865d26c25ea3900d511a935d75df4331f03a27"
    },
    {
      "name": "compile-shared",
      "returncode": 0,
      "wall_seconds": 2.120599558000002,
      "child_cpu_seconds": 2.2232570000000003,
      "log_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
    },
    {
      "name": "simulate-shared",
      "returncode": 0,
      "wall_seconds": 9.796892094,
      "child_cpu_seconds": 9.791457999999999,
      "log_sha256": "223872d20bf16ee37defbec8b4e09ff44a67da0333225d818f02a93664618296"
    },
    {
      "name": "negative-shared",
      "returncode": 1,
      "wall_seconds": 2.3240452879999935,
      "child_cpu_seconds": 2.306661000000002,
      "log_sha256": "d2c381fdb6c06d37d3ab02e639865d26c25ea3900d511a935d75df4331f03a27"
    }
  ]
}