{
  "_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:xdomain-cross-domain-foundry",
  "id": "xdomain-cross-domain-foundry",
  "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[38].claim",
    "file": "05_wireless_reliability_fallback_lab/dataroom/top40.json"
  },
  "top40_entry": {
    "id": "xdomain-cross-domain-foundry",
    "rank": 39,
    "title": "`xdomain/` — the cross-domain foundry, and the estate's downgrade of its own best story",
    "claim": "A working cross-domain guard-synthesis engine spanning eight domains with four oracle classes (safety, liveness, fairness, information-flow), automatic repair by minimal-guard synthesis, min-entropy quantification, SARIF output and a composite GitHub Action that is validated locally and has never been executed in a GitHub-hosted runner — shipped alongside a document in which the estate **kills its…",
    "scope": {
      "withheld": true,
      "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
      "sha256_of_value": "eebb808f4358a9f1fe9d4890464c48689b791f5ddbbfa6c33ef4915d316b3391",
      "bytes": 368
    },
    "limits": {
      "withheld": true,
      "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
      "sha256_of_value": "23b787747a5da3306ae4b843126557f89b47b0dfee8b4da2a39e6bce0ea4c108",
      "bytes": 192
    },
    "artifact_path": "artifacts/cross_domain_foundry_acceptance.json",
    "witness_command": "python3 scripts/check_cross_domain_foundry.py",
    "witness_result": "exit=0 · 50.7s · CROSS-DOMAIN FOUNDRY ACCEPTANCE: PASS — 4/4 capabilities accepted by their own command",
    "witness_class": "ASSERTING",
    "witness_class_basis": "`dataroom/witness_quality.json` id `xdomain-cross-domain-foundry` — class ASSERTING; clean-clone exit 0; planted defect(s) D26",
    "clean_clone_exit": 0,
    "third_party_axis": "—",
    "third_party_basis": "`out/s02/verdicts.json` rank 39 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/check_cross_domain_foundry.py",
    "reproduce_command": "python3 scripts/check_cross_domain_foundry.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": "CROSS-DOMAIN FOUNDRY ACCEPTANCE: PASS - 4/4 capabilities accepted by their own command (v88 guards; xdomain.demo; check_xdomain; check_ci_action)",
    "attestation_rank": 35
  },
  "witness_quality_entry": {
    "id": "xdomain-cross-domain-foundry",
    "claim": "A working cross-domain guard-synthesis engine spanning eight domains with four oracle classes (safety, liveness, fairness, information-flow), automatic repair by minimal-guard synthesis, min-entropy quantification, SARIF output and a composite GitHub Action that is validated locally and has never been executed in a GitHub-hosted runner — shipped alongside a document in which the estate **kills its…",
    "class": "ASSERTING",
    "why": "21.3 s green in a clean clone. A first measurement of exit 1 was discarded: the temporary directory it ran in was deleted underneath it by an unrelated process, and the receipt shows the FileNotFoundError. Re-measured twice in fresh clones. The S01 fix pass had already repaired this witness's real defect (a `lean` on PATH that was a stock-trading CLI, not Lean 4).",
    "clean_clone": {
      "artifact_skip_markers": null,
      "exit": 0,
      "receipt": "out/s02_witness_quality/clean_clone_receipts_2026-09-12.json#39:xdomain-cross-domain-foundry",
      "seconds": 23.1,
      "skip_reason": null,
      "skipped": null
    },
    "planted_defects": [
      {
        "demo": "D26",
        "exit_after_restore": 0,
        "exit_before": 0,
        "exit_with_defect": 1,
        "expectation": "nonzero",
        "expectation_met": true,
        "file_restored_byte_identical": true,
        "mutation": {
          "from": "(\"eight demonstrated domains\", [\"-m\", \"xdomain.demo\"]),",
          "to": "(\"eight demonstrated domains\", [\"-m\", \"xdomain.demo_PLANTED_ABSENT\"]),"
        },
        "needle": null,
        "needle_in_baseline": false,
        "needle_with_defect": false,
        "planted": "the eight-domain capability is pointed at a module that does not exist. The claim is that each of the four capabilities is accepted by its OWN command run as a separate process with its exit code read, so a capability that cannot run at all must be red",
        "ran_at": "2026-09-19T00:39:12+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": "all four capabilities must be accepted by their own command, each run as a separate process with its exit code read",
        "file": "scripts/check_cross_domain_foundry.py",
        "lines": [
          46
        ],
        "needle": "return 0 if ok else 1",
        "source": "return 0 if ok 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": 105,
    "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.scope",
      "codes": [
        "PROCESS_NARRATION"
      ]
    },
    {
      "field": "top40.limits",
      "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"
    }
  }
}