{
  "_doc": "One result, read from the codebase’s own files at the commit named here. Every value is that file’s own, copied verbatim; nothing here is written by hand. A value replaced by {withheld: true, sha256_of_value, bytes} is committed by its sha256 instead of published, for the reason it states, and is never edited. Each whole source file is committed by sha256 below, and its bytes are published only where its visibility says so. The codebase is named by the public subject its files are published under.",
  "lane": "wireless-reliability",
  "repository": "wireless-reliability",
  "commit": "a4fcaf179309a462a74cbaae5491ab9a2a7c25e1",
  "portfolio_id": "wireless-reliability:monitorgen-five-targets",
  "id": "monitorgen-five-targets",
  "attestation_row": {
    "attested_at": "2026-09-19",
    "attestor": "02-wireless",
    "repository": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "62a01cc8ef60803479267f32d6c312ef0eb75baeb9e054d8b1cac54bf9f40a33",
      "bytes": 7
    },
    "source_doc": "CROWN_JEWELS_RESOLVED.md",
    "source_doc_sha256": "ae73c48d3d2bde9823c48135cc3904b8d5b043ff90d576776507a63666e19dd9",
    "state": "attested",
    "top_n": 17,
    "note_sha256": "e7b0dcf1a32532b1bd0eb9b3d22caa8772768191e022000636b87cd28b1536b0",
    "ids_in_row": 17,
    "file": "05_wireless_reliability_fallback_lab/dataroom/TOP_N_ATTESTATION.jsonl",
    "line": 1
  },
  "claim_source": {
    "receipt": "wireless-reliability/dataroom/top40.json",
    "sha256": "cedd543fbe1467ee2ea90f303a8f5e03ada3afe403916618b78e934adc0baf9f",
    "field": "entries[12].claim",
    "file": "05_wireless_reliability_fallback_lab/dataroom/top40.json"
  },
  "top40_entry": {
    "id": "monitorgen-five-targets",
    "rank": 13,
    "title": "Protocol monitor synthesis — one machine, five compiled targets — `monitorgen/` (F3-04)",
    "claim": "One verified state machine compiles to five real artifacts — SystemVerilog assertions, an eBPF object, C firmware, a Python trace checker and a CI test suite — and each target's mutants are caught in its own target, with no false alarm on 1,675 conforming traces.",
    "scope": "One machine, five compiled targets, 146-trace corpus. The eBPF object was parsed by hand and HAS NEVER BEEN LOADED INTO A KERNEL (no bpf() on macOS).",
    "limits": "The artifact's own `not_done` field is the honest headline: `kernel_loaded = False`, `in_kernel_verifier_run = False` — **the eBPF object has never been loaded into a kernel** (there is no `bpf()` syscall on macOS), so the in-kernel verifier has never seen it.",
    "artifact_path": "monitorgen/artifacts/monitorgen_gate.json",
    "witness_command": "python3 scripts/check_monitorgen.py",
    "witness_result": "exit=0 · 47.3s · check_monitorgen OK — one machine (8 events, 6 bits) refines the verified model over 1675 conforming traces and 650 losing runs, compiled to 5 targets, all 5 validated on 146 traces {'VIOLATION': 19, 'ACCEPT': 120, 'DISA",
    "witness_class": "ASSERTING",
    "witness_class_basis": "`dataroom/witness_quality.json` id `monitorgen-five-targets` — class ASSERTING; clean-clone exit 0; planted defect(s) D12,D38,D39",
    "clean_clone_exit": 0,
    "third_party_axis": "—",
    "third_party_basis": "`out/s02/verdicts.json` rank 13 axis `SELF`",
    "facts": {
      "ran_with_receipt": true,
      "third_party_graded": false,
      "negative_control_stated": true,
      "ip_class_known": false,
      "reproduce_command": true,
      "regenerates": false
    },
    "facts_count": 3,
    "repro_command": "python3 scripts/check_monitorgen.py",
    "reproduce_command": "python3 scripts/check_monitorgen.py",
    "repro_packet": {
      "path": "repro/monitorgen-five-targets/",
      "index_sha256": "eb2d8d52b757c80c4a4429234dd1ef455b9b10ae1f3f909877ff71ddc2a50338",
      "grade": "ASSERTING",
      "kit_pin": "97c36cafa84ae9d01c781b1cf6f333f40616265083c3af349af8986288c4484a",
      "graded_rev": "1cb3c54d9de8629abdd214911bfef7a7244ec4ff"
    },
    "ip_class": null,
    "ip_class_basis": "LANE_REGISTER_2026-09.md: '`ip_class` is UNKNOWN for every row by instruction' — unassessed, therefore null, never inferred",
    "evidence_tier": "EXTERNAL",
    "run_status": "RAN",
    "output_excerpt": "all_proved True corpus_size 146",
    "attestation_rank": 19
  },
  "witness_quality_entry": {
    "id": "monitorgen-five-targets",
    "claim": "One verified state machine compiles to five real artifacts — SystemVerilog assertions, an eBPF object, C firmware, a Python trace checker and a CI test suite — and each target's mutants are caught in its own target, with no false alarm on 1,675 conforming traces.",
    "class": "ASSERTING",
    "why": "Ran 94.0 s green in the clean clone with the artifact recording all five targets executed. The entry's own numbers (1,675 conforming traces, 0 false alarms, 650 losing runs, a 112-instruction BPF `socket` section) are additionally bound by nine EV-018 bindings that `build_evidence_standing.py` re-checks. 2026-09-24 (PLAN5 S3): the claim now quotes 1,675; the gate no longer rewrites its artifact but compares its refinement block by value, and in a clean clone D38 (1,675 -> 1,676) turned it red while D39 (layout only) left it green (INERT).",
    "clean_clone": {
      "artifact_skip_markers": {
        "executed": 5
      },
      "exit": 0,
      "receipt": "out/s02_witness_quality/clean_clone_receipts_2026-09-12.json#13:monitorgen-five-targets",
      "seconds": 80,
      "skip_reason": null,
      "skipped": null
    },
    "planted_defects": [
      {
        "demo": "D12",
        "exit_after_restore": 0,
        "exit_before": 0,
        "exit_with_defect": 1,
        "expectation": "nonzero",
        "expectation_met": true,
        "file_restored_byte_identical": true,
        "mutation": {
          "from": "#define EV_TRANSMIT 6",
          "to": "#define EV_TRANSMIT 7"
        },
        "needle": null,
        "needle_in_baseline": false,
        "needle_with_defect": false,
        "planted": {
          "withheld": true,
          "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
          "sha256_of_value": "3349a9df322b7036a7a9d025b68b088d1cd884ae92beacccfc966e1fe6e1ffd7",
          "bytes": 216
        },
        "ran_at": "2026-09-19T00:33:33+00:00",
        "receipt_file": "out/s02_witness_quality/planted_defects_2026-09-19.json",
        "verdict": "ASSERTING — the planted defect turned the witness red"
      },
      {
        "demo": "D38",
        "exit_after_restore": 0,
        "exit_before": 0,
        "exit_with_defect": 1,
        "expectation": "nonzero",
        "expectation_met": true,
        "file_restored_byte_identical": true,
        "mutation": {
          "from": "\n    \"conforming_traces\": 1675,\n",
          "to": "\n    \"conforming_traces\": 1676,\n"
        },
        "needle": null,
        "needle_in_baseline": false,
        "needle_with_defect": false,
        "planted": "the conforming-trace count the claim quotes (1,675) is moved to 1,676 in the committed gate artifact",
        "ran_at": "2026-09-24T17:26:06+00:00",
        "receipt_file": "out/s02_witness_quality/planted_defects_2026-09-24_numerals.json",
        "verdict": "ASSERTING — the planted defect turned the witness red"
      },
      {
        "demo": "D39",
        "exit_after_restore": 0,
        "exit_before": 0,
        "exit_with_defect": 0,
        "expectation": "zero",
        "expectation_met": true,
        "file_restored_byte_identical": true,
        "mutation": {
          "from": "\n    \"conforming_traces\": 1675,\n",
          "to": "\n    \"conforming_traces\":      1675,\n"
        },
        "needle": null,
        "needle_in_baseline": false,
        "needle_with_defect": false,
        "planted": "INERT: whitespace inserted inside the conforming_traces line of the gate artifact; no value changes",
        "ran_at": "2026-09-24T17:28:31+00:00",
        "receipt_file": "out/s02_witness_quality/planted_defects_2026-09-24_numerals.json",
        "verdict": "INERT — a layout-only edit that changes no value left the witness green, as a check of the claim (not of the bytes) must"
      }
    ],
    "asserts": [
      {
        "asserts": "any failed leg across the five targets is a non-zero exit; the artifact records `executed: 5` and the mutant-catch counts the claim quotes",
        "file": "scripts/check_monitorgen.py",
        "lines": [
          758
        ],
        "needle": "print(f\"check_monitorgen FAIL: {failed}\")",
        "source": "print(f\"check_monitorgen FAIL: {failed}\")"
      },
      {
        "asserts": "the committed artifact's refinement block (1,675 conforming traces, 0 false alarms: the claim's figure) and corpus size must equal a live run, by value",
        "file": "scripts/check_monitorgen.py",
        "lines": [
          735
        ],
        "needle": "bound = (\"refinement\", \"corpus_size\")",
        "source": "bound = (\"refinement\", \"corpus_size\")"
      }
    ],
    "stale_claims_ref": null
  },
  "packet": {
    "id": "monitorgen-five-targets",
    "portfolio_id": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "759f453704ac00f296eb551e0bbf5203dcae2b534d78c45473c4b631806c2e89",
      "bytes": 31
    },
    "witness_command": "python3 scripts/check_monitorgen.py",
    "checker_witness": "export PYTEST_DISABLE_PLUGIN_AUTOLOAD=1; cd 05_wireless_reliability_fallback_lab && python3 scripts/check_monitorgen.py",
    "path": "repro/monitorgen-five-targets/",
    "inputs": 25,
    "grade": "ASSERTING",
    "facts_count": 4,
    "attestation_rank": 6,
    "env_guard": {
      "tool": "verilator",
      "where": "before the witness",
      "exit": 69
    },
    "kit2": {
      "grade": "ASSERTING",
      "graded_commit": "1cb3c54d9de8629abdd214911bfef7a7244ec4ff",
      "lane_head_at_grading": "1cb3c54d9de8629abdd214911bfef7a7244ec4ff",
      "graded_utc": "2026-09-20T16:32:59Z",
      "reasons": [],
      "semantic_mutations": {
        "claim_moving": 3,
        "repro_red": 3,
        "witness_runs": 7,
        "tiers": {
          "claim_values": {
            "candidates": 0,
            "claim_moving": 0,
            "witness_runs": 0
          },
          "listed": {
            "candidates": 490,
            "claim_moving": 3,
            "witness_runs": 7
          },
          "traced": {
            "candidates": 0,
            "claim_moving": 0,
            "witness_runs": 0
          }
        }
      },
      "neutral_mutations": {
        "drawn": 30,
        "repro_red": 0,
        "coverage": {
          "listed_inputs_with_edits": 22,
          "runs": 30
        }
      },
      "inputs_graded": 25,
      "kit_pins_sha256": "97c36cafa84ae9d01c781b1cf6f333f40616265083c3af349af8986288c4484a"
    }
  },
  "measured": {
    "measured": true,
    "basis": "planted_defects[].exit_with_defect = 1",
    "exit": 1,
    "defect_rejected": true
  },
  "register": {
    "truth_state": "attested",
    "truth_line": 144,
    "measured_per_register": false,
    "witness_class_per_register": "ASSERTING",
    "ip_class_public": "unknown",
    "ip_class_sha256": "b23a6a8439c0dde5515893e7c90c1e3233b8616e634470f20dc4928bcf3609bc",
    "ip_class_source": "05_wireless_reliability_fallback_lab/LANE_REGISTER_2026-09.md:7 @ a4fcaf179309",
    "receipt": "register/CROWN_JEWELS_TRUTH.md",
    "receipt_sha256": "79ca50c3472bae4ebd179ed533456325be8e0e9027739787bfba9f06442fc39b",
    "ip_class_receipt": "register/ip_class.jsonl",
    "ip_class_receipt_sha256": "1cd70f508c6b79f941e894144715088f18fcd31092e56e98a4cf6be526d9e724"
  },
  "withheld_fields": [
    {
      "field": "packet.portfolio_id",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    },
    {
      "field": "witness_quality.planted_defects[0].planted",
      "codes": [
        "PROCESS_NARRATION"
      ]
    },
    {
      "field": "attestation_row.repository",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    }
  ],
  "sources": {
    "attestation": {
      "receipt": "wireless-reliability/dataroom/TOP_N_ATTESTATION.jsonl",
      "source": "05_wireless_reliability_fallback_lab/dataroom/TOP_N_ATTESTATION.jsonl",
      "commit": "a4fcaf179309a462a74cbaae5491ab9a2a7c25e1",
      "sha256": "b55f1ad71bd427ddedb34c58fba1341483b67913559d6bec11bda7fb90a7cd7c",
      "bytes": 3470,
      "visibility": "sealed"
    },
    "top40": {
      "receipt": "wireless-reliability/dataroom/top40.json",
      "source": "05_wireless_reliability_fallback_lab/dataroom/top40.json",
      "commit": "a4fcaf179309a462a74cbaae5491ab9a2a7c25e1",
      "sha256": "cedd543fbe1467ee2ea90f303a8f5e03ada3afe403916618b78e934adc0baf9f",
      "bytes": 185718,
      "visibility": "sealed"
    },
    "witness_quality": {
      "receipt": "wireless-reliability/dataroom/witness_quality.json",
      "source": "05_wireless_reliability_fallback_lab/dataroom/witness_quality.json",
      "commit": "a4fcaf179309a462a74cbaae5491ab9a2a7c25e1",
      "sha256": "2f16cc1ef3a134d1fe3631acf8a14d08410f3cd9d121a24f7bfc60abf5aae27c",
      "bytes": 155622,
      "visibility": "sealed"
    },
    "repro_index": {
      "receipt": "wireless-reliability/_root/repro/INDEX.json",
      "source": "repro/INDEX.json",
      "commit": "a4fcaf179309a462a74cbaae5491ab9a2a7c25e1",
      "sha256": "eb2d8d52b757c80c4a4429234dd1ef455b9b10ae1f3f909877ff71ddc2a50338",
      "bytes": 27508,
      "visibility": "sealed"
    }
  }
}