{
  "_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:txn-crash-recovery",
  "id": "txn-crash-recovery",
  "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[13].claim",
    "file": "05_wireless_reliability_fallback_lab/dataroom/top40.json"
  },
  "top40_entry": {
    "id": "txn-crash-recovery",
    "rank": 14,
    "title": "Agent transaction semantics under 29 real process kills — `txn/` (F3-06)",
    "claim": "Twenty-nine real processes killed with `os._exit(9)` at declared interruption points, each recovered in a **fresh interpreter** from the on-disk journal, with atomic recovery recorded at every one of those 29 points and a negative control that is genuinely non-atomic.",
    "scope": "RESOLVED S06, 2026-09-03: 17/17. Leg 13 was red because the COMMITTED scenarios.json had drifted from its producer by 30 digest lines, not because the producer is non-deterministic -- two runs under PYTHONHASHSEED 0 and 1 are byte-identical, and so are two runs under one seed. The artifact was regenerated by its own producer; the check was not touched. Control: restoring the stale artifact returns leg 13 to RED at 16/17 (out/s06/c8_txn_control.log). PRIOR STATE (2026-08-27): `python3 scripts/check_txn.py` exits 1 at leg 13, 'every artifact re-derives byte-for-byte, under a different PYTHONHASHSEED' -- AssertionError: not reproducible; 16/17 legs green and the gate artifact is REWRITTEN by the run. The determinism claim is the one that fails. 29 real processes killed with os._exit(9) at declared interruption points, each recovered in a fresh interpreter from the on-disk journal. Declared interruption points, not arbitrary fault injection.",
    "limits": "Twenty-nine interruption points are *declared* points, chosen by the authors; this is not a random-fault-injection campaign, and coverage of the interleaving space is not claimed.",
    "artifact_path": "txn/artifacts/txn_gate.json",
    "witness_command": "python3 scripts/check_txn.py",
    "witness_result": "exit=0 · 13.9s · GREEN: 17/17 legs green",
    "witness_class": "ASSERTING",
    "witness_class_basis": "`dataroom/witness_quality.json` id `txn-crash-recovery` — class ASSERTING; clean-clone exit 0; planted defect(s) D6",
    "clean_clone_exit": 0,
    "third_party_axis": "—",
    "third_party_basis": "`out/s02/verdicts.json` rank 14 axis `SELF`",
    "facts": {
      "ran_with_receipt": true,
      "third_party_graded": false,
      "negative_control_stated": true,
      "ip_class_known": false,
      "reproduce_command": true,
      "regenerates": true
    },
    "facts_count": 4,
    "repro_command": "python3 scripts/check_txn.py",
    "reproduce_command": "python3 scripts/check_txn.py",
    "repro_packet": {
      "path": "repro/txn-crash-recovery/",
      "index_sha256": "0bff5030dca36a8e129e242975c67c75d1b983c670458420bee8b943429ac3ee",
      "grade": "ASSERTING",
      "kit_pin": "af52c51b8b736c1930e0f36a27ce273f13cf86c8b4b88b703df44e80d5b25553",
      "graded_rev": "c00e9fc66a81985b79a78d866a45314aa63ed123"
    },
    "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": "GREEN: 17/17 legs green (exit 0, live 2026-09-03)",
    "attestation_rank": 7
  },
  "witness_quality_entry": {
    "id": "txn-crash-recovery",
    "claim": "Twenty-nine real processes killed with `os._exit(9)` at declared interruption points, each recovered in a **fresh interpreter** from the on-disk journal, with atomic recovery recorded at every one of those 29 points and a negative control that is genuinely non-atomic.",
    "class": "ASSERTING",
    "why": "Planted defect D6 edited the committed crash-sweep record under the gate and it returned **exit 1**; restoring it returned 0.",
    "clean_clone": {
      "artifact_skip_markers": null,
      "exit": 0,
      "receipt": "out/s02_witness_quality/clean_clone_receipts_2026-09-12.json#14:txn-crash-recovery",
      "seconds": 40.5,
      "skip_reason": null,
      "skipped": null
    },
    "planted_defects": [
      {
        "demo": "D6",
        "exit_after_restore": 0,
        "exit_before": 0,
        "exit_with_defect": 1,
        "expectation": "nonzero",
        "expectation_met": true,
        "file_restored_byte_identical": true,
        "mutation": {
          "from": "\"actions\": 5,",
          "to": "\"actions\": 6,"
        },
        "planted": "the committed crash-sweep run record is edited under the gate that reads it",
        "ran_at": "2026-09-12T14:39:13+00:00",
        "receipt_file": "out/s02_witness_quality/planted_defects_2026-09-12.json",
        "verdict": "ASSERTING — the planted defect turned the witness red"
      }
    ],
    "asserts": [
      {
        "asserts": "17 legs over 29 real killed processes; any red is a non-zero exit",
        "file": "scripts/check_txn.py",
        "lines": [
          1104,
          1110
        ],
        "needle": "return 1 if failures else 0",
        "source": "return 1 if failures else 0"
      }
    ],
    "stale_claims_ref": null
  },
  "packet": {
    "id": "txn-crash-recovery",
    "portfolio_id": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "764e6c9b3288ccdf9a1dc476c7bc2dc1ccab3affda5a318beb6debd78434902a",
      "bytes": 26
    },
    "witness_command": "python3 scripts/check_txn.py",
    "checker_witness": "cd 05_wireless_reliability_fallback_lab && python3 scripts/check_txn.py",
    "path": "repro/txn-crash-recovery/",
    "inputs": 31,
    "grade": "ASSERTING",
    "facts_count": 4,
    "attestation_rank": 7,
    "env_guard": {
      "tool": "python3",
      "where": "before the witness",
      "exit": 69
    },
    "kit2": {
      "grade": "ASSERTING",
      "graded_commit": "c00e9fc66a81985b79a78d866a45314aa63ed123",
      "lane_head_at_grading": "c00e9fc66a81985b79a78d866a45314aa63ed123",
      "graded_utc": "2026-09-18T05:57:12Z",
      "reasons": [],
      "semantic_mutations": {
        "claim_moving": 8,
        "repro_red": 8,
        "witness_runs": 19,
        "tiers": {
          "claim_values": {
            "candidates": 12,
            "claim_moving": 5,
            "witness_runs": 12
          },
          "listed": {
            "candidates": 834,
            "claim_moving": 3,
            "witness_runs": 7
          },
          "traced": {
            "candidates": 0,
            "claim_moving": 0,
            "witness_runs": 0
          }
        }
      },
      "neutral_mutations": {
        "drawn": 38,
        "repro_red": 0,
        "coverage": {
          "listed_inputs_with_edits": 30,
          "runs": 38
        }
      },
      "inputs_graded": 31,
      "kit_pins_sha256": "af52c51b8b736c1930e0f36a27ce273f13cf86c8b4b88b703df44e80d5b25553"
    }
  },
  "measured": {
    "measured": true,
    "basis": "planted_defects[].exit_with_defect = 1",
    "exit": 1,
    "defect_rejected": true
  },
  "register": {
    "truth_state": "attested",
    "truth_line": 103,
    "measured_per_register": true,
    "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": "packet.portfolio_id",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    },
    {
      "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"
    }
  }
}