{
  "_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": "1cb3c54d9de8629abdd214911bfef7a7244ec4ff",
  "portfolio_id": "wireless-reliability:observable-completeness-and-parameter-region",
  "id": "observable-completeness-and-parameter-region",
  "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": "0e41e33d018b8df50fc37e9a1ee7fb393ef434e338776bb04f71e8e15cf440e8",
    "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": "94bf9dc5735a54020b7052fde3da5f062e760f2cb351babab0fcd6f1b52c7be5",
    "field": "entries[34].claim",
    "file": "05_wireless_reliability_fallback_lab/dataroom/top40.json"
  },
  "top40_entry": {
    "id": "observable-completeness-and-parameter-region",
    "rank": 35,
    "title": {
      "withheld": true,
      "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
      "sha256_of_value": "ecb4a8596f9fb1acc09f7f38e837cddd6f98125e19bbc2ba3a0c13adc1db21d8",
      "bytes": 95
    },
    "claim": "The dual of essentiality — proving the *observable set* is complete, that no further observable would change the verdict, across 8 holes — plus exact real-root certification over continuous parameter ranges using Sturm sequences, so a safety region is certified for **all** parameter values rather than sampled.",
    "scope": "SAFE-TO-FIRE provably factors through the DISCLOSED observables for all 8 holes by exhaustive BFS quotient plus z3 over an invariant over-approximation, with exact Sturm real-root counting over whole parameter intervals. The disclosed observable set and the quotient are defined by our code.",
    "limits": "Completeness is over the *declared* observable set — the same declared-space limit as entries #17, #18 and #20.",
    "artifact_path": "artifacts/observable_completeness_v73.json",
    "witness_command": "python3 scripts/observable_completeness_v73.py && python3 portfolio/valuation_rollup.py && python3 scripts/check_acceptance_v73.py && python3 scripts/parametric_region_v74.py && python3 scripts/check_acceptance_v74.py",
    "witness_result": "exit=0 · 2.2s · v74 acceptance: 9/9 criteria pass (EXECUTED)",
    "witness_class": "ASSERTING",
    "witness_class_basis": "`dataroom/witness_quality.json` id `observable-completeness-and-parameter-region` — class ASSERTING; clean-clone exit 0; planted defect(s) D23",
    "clean_clone_exit": 0,
    "third_party_axis": "—",
    "third_party_basis": "`out/s02/verdicts.json` rank 35 axis `SELF`",
    "facts": {
      "ran_with_receipt": true,
      "third_party_graded": false,
      "negative_control_stated": false,
      "ip_class_known": false,
      "reproduce_command": true,
      "regenerates": true
    },
    "facts_count": 3,
    "repro_command": "python3 scripts/observable_completeness_v73.py && python3 portfolio/valuation_rollup.py && python3 scripts/check_acceptance_v73.py && python3 scripts/parametric_region_v74.py && python3 scripts/check_acceptance_v74.py",
    "reproduce_command": "python3 scripts/observable_completeness_v73.py && python3 portfolio/valuation_rollup.py && python3 scripts/check_acceptance_v73.py && python3 scripts/parametric_region_v74.py && python3 scripts/check_acceptance_v74.py",
    "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": "INTERNAL",
    "run_status": "RAN",
    "output_excerpt": "all_holes_z3_unconditional True",
    "attestation_rank": 34
  },
  "witness_quality_entry": {
    "id": "observable-completeness-and-parameter-region",
    "claim": "The dual of essentiality — proving the *observable set* is complete, that no further observable would change the verdict, across 8 holes — plus exact real-root certification over continuous parameter ranges using Sturm sequences, so a safety region is certified for **all** parameter values rather than sampled.",
    "class": "ASSERTING",
    "why": "`executed: true, skipped: false` in the clean clone, so neither script's `_skip(\"z3 not installed\")` path fired. 3.2 s.",
    "clean_clone": {
      "artifact_skip_markers": {
        "executed": true,
        "skipped": false
      },
      "exit": 0,
      "receipt": "out/s02_witness_quality/clean_clone_receipts_2026-09-12.json#35:observable-completeness-and-parameter-region",
      "seconds": 1.2,
      "skip_reason": null,
      "skipped": null
    },
    "planted_defects": [
      {
        "demo": "D23",
        "exit_after_restore": 0,
        "exit_before": 0,
        "exit_with_defect": 1,
        "expectation": "nonzero",
        "expectation_met": true,
        "file_restored_byte_identical": true,
        "mutation": {
          "from": "    (\"cxl_forward_progress\", \"B_get_r2\"): (\"cxl_fwd\", \"B_get_r2\", {\"ar1\": \"ar1\", \"br1\": \"br1\"}),\n",
          "to": ""
        },
        "needle": null,
        "needle_in_baseline": false,
        "needle_with_defect": false,
        "planted": "one of the eight holes is deleted from the completeness sweep, so the claim's \"across 8 holes\" is established over 7",
        "ran_at": "2026-09-19T00:38:05+00:00",
        "receipt_file": "out/s02_witness_quality/planted_defects_2026-09-19.json",
        "verdict": "ASSERTING — the planted defect turned the witness red"
      }
    ],
    "asserts": [
      {
        "asserts": "completeness of the observable set across all 8 holes",
        "file": "scripts/observable_completeness_v73.py",
        "lines": [
          216
        ],
        "needle": "return 0 if all_complete else 1",
        "source": "return 0 if all_complete else 1"
      },
      {
        "asserts": "the Sturm-sequence parameter-region certification",
        "file": "scripts/check_acceptance_v74.py",
        "lines": [
          154
        ],
        "needle": "sys.exit(0 if all_pass else 1)",
        "source": "sys.exit(0 if all_pass else 1)"
      }
    ],
    "stale_claims_ref": null
  },
  "packet": null,
  "measured": {
    "measured": true,
    "basis": "planted_defects[].exit_with_defect = 1",
    "exit": 1,
    "defect_rejected": true
  },
  "register": {
    "truth_state": "attested",
    "truth_line": 98,
    "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 @ 3871d59d4db8",
    "receipt": "register/CROWN_JEWELS_TRUTH.md",
    "receipt_sha256": "bde06cf0d3e99644522d18e79b6bd5d84ed4f5c86e315a48fef207e9e49c5022",
    "ip_class_receipt": "register/ip_class.jsonl",
    "ip_class_receipt_sha256": "b1e8f97aa6779e0fefed2f7a7726e1a03563b536b497392401b49bb8ef84d4ca"
  },
  "withheld_fields": [
    {
      "field": "top40.title",
      "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": "1cb3c54d9de8629abdd214911bfef7a7244ec4ff",
      "sha256": "0a32ca5be37efe69c4770cfdc34075f6101dfd530f8f64349812f119f1dc256f",
      "bytes": 3470,
      "visibility": "sealed"
    },
    "top40": {
      "receipt": "wireless-reliability/dataroom/top40.json",
      "source": "05_wireless_reliability_fallback_lab/dataroom/top40.json",
      "commit": "1cb3c54d9de8629abdd214911bfef7a7244ec4ff",
      "sha256": "94bf9dc5735a54020b7052fde3da5f062e760f2cb351babab0fcd6f1b52c7be5",
      "bytes": 163338,
      "visibility": "sealed"
    },
    "witness_quality": {
      "receipt": "wireless-reliability/dataroom/witness_quality.json",
      "source": "05_wireless_reliability_fallback_lab/dataroom/witness_quality.json",
      "commit": "1cb3c54d9de8629abdd214911bfef7a7244ec4ff",
      "sha256": "d54d7585c2c9014d607f3a27518062eea78a5e1ac86733df5c69067c25f5f365",
      "bytes": 135112,
      "visibility": "sealed"
    },
    "repro_index": {
      "receipt": "wireless-reliability/_root/repro/INDEX.json",
      "source": "repro/INDEX.json",
      "commit": "1cb3c54d9de8629abdd214911bfef7a7244ec4ff",
      "sha256": "0bff5030dca36a8e129e242975c67c75d1b983c670458420bee8b943429ac3ee",
      "bytes": 24483,
      "visibility": "sealed"
    }
  }
}