{
  "_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:frer-injectivity-floor",
  "id": "frer-injectivity-floor",
  "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[36].claim",
    "file": "05_wireless_reliability_fallback_lab/dataroom/top40.json"
  },
  "top40_entry": {
    "id": "frer-injectivity-floor",
    "rank": 37,
    "title": "The 802.1CB FRER injectivity floor — 3^w versus 2^w (cross-repository)",
    "claim": "To recover which member path carried the first copy of a frame, a FRER recovery function must distinguish **3^w** states — strictly more than the 2^w bitmap the standard already describes.",
    "scope": {
      "withheld": true,
      "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
      "sha256_of_value": "a2083c01edd8047934c5fb1037c1fbf3b299214b99d63da7e23c1bb53dbca5d3",
      "bytes": 1517
    },
    "limits": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "38135c463fb320b16481888ac73432f23cfe86a35b2401448726a40dd01d77c2",
      "bytes": 135
    },
    "artifact_path": "lean/frer_local_check.json",
    "witness_command": "python3 scripts/check_frer_local.py",
    "witness_result": "exit=0 · 3.6s · check_frer_local: build_rc=0 (1.4s) theorems=8 axiom-audited=8 sorry=[] -> OK -> lean/frer_local_check.json",
    "witness_class": "ASSERTING",
    "witness_class_basis": "`dataroom/witness_quality.json` id `frer-injectivity-floor` — class ASSERTING; clean-clone exit 0; planted defect(s) D24",
    "clean_clone_exit": 0,
    "third_party_axis": "B",
    "third_party_basis": {
      "withheld": true,
      "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)",
      "sha256_of_value": "b4caba276c0f073a7e760ab7335f06bb7751be2e196cbd560a1621768d1c006f",
      "bytes": 528
    },
    "facts": {
      "ran_with_receipt": true,
      "third_party_graded": true,
      "negative_control_stated": false,
      "ip_class_known": false,
      "reproduce_command": true,
      "regenerates": true
    },
    "facts_count": 4,
    "repro_command": "python3 scripts/check_frer_local.py",
    "reproduce_command": "python3 scripts/check_frer_local.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": "CROSS-REPO",
    "run_status": "RAN",
    "output_excerpt": "check_frer_local: build_rc=0 theorems=8 axiom-audited=8 sorry=[] -> OK",
    "attestation_rank": 14
  },
  "witness_quality_entry": {
    "id": "frer-injectivity-floor",
    "claim": "To recover which member path carried the first copy of a frame, a FRER recovery function must distinguish **3^w** states — strictly more than the 2^w bitmap the standard already describes.",
    "class": "ASSERTING",
    "why": "The only Lean witness in this lab that survives a clean clone: it builds the `lean/` CORE package, which vendors no Mathlib, in 2.5 s from nothing (`build_rc=0 theorems=8 axiom-audited=8 sorry=[]`), needs no network, and refuses to report a pass when `lake` is missing.",
    "clean_clone": {
      "artifact_skip_markers": {
        "executed": true,
        "skipped": false
      },
      "exit": 0,
      "receipt": "out/s02_witness_quality/clean_clone_receipts_2026-09-12.json#37:frer-injectivity-floor",
      "seconds": 5.8,
      "skip_reason": null,
      "skipped": null
    },
    "planted_defects": [
      {
        "demo": "D24",
        "exit_after_restore": 0,
        "exit_before": 0,
        "exit_with_defect": 1,
        "expectation": "nonzero",
        "expectation_met": true,
        "file_restored_byte_identical": true,
        "mutation": {
          "from": "(x.val / 3 ^ c.val) % 3 = (y.val / 3 ^ c.val) % 3",
          "to": "(x.val / 2 ^ c.val) % 2 = (y.val / 2 ^ c.val) % 2"
        },
        "needle": null,
        "needle_in_baseline": false,
        "needle_with_defect": false,
        "planted": "the injectivity core is rewritten from base 3 to base 2, which is exactly the claim's negation: it collapses the 3^w recovery-state floor onto the 2^w bitmap the standard already describes",
        "ran_at": "2026-09-19T00:38:15+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": "the Lean build must exit 0, all eight theorems must be axiom-audited and no `sorry` may appear",
        "file": "scripts/check_frer_local.py",
        "lines": [
          54
        ],
        "needle": "return 0 if ok else 1",
        "source": "return 0 if ok else 1"
      },
      {
        "asserts": "an absent toolchain exits 3, which is NOT a pass — the opposite of the skip-clean shape",
        "file": "scripts/check_frer_local.py",
        "lines": [
          24
        ],
        "needle": "lake absent -> SKIPPED (exit 3, not a pass)",
        "source": "print(\"check_frer_local: lake absent -> SKIPPED (exit 3, not a pass)\"); return 3"
      }
    ],
    "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": 93,
    "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.limits",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    },
    {
      "field": "top40.scope",
      "codes": [
        "PROCESS_NARRATION"
      ]
    },
    {
      "field": "top40.third_party_basis",
      "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"
    }
  }
}