{
  "_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": "computational-lithography",
  "repository": "computational-lithography",
  "commit": "6125a0f77a7b0cc496c0a603457822c1c7d1ae26",
  "portfolio_id": "computational-lithography:PA-AST-46",
  "id": "aerial-enclosure-fast-gate",
  "attestation_row": {
    "attested_at": "2026-09-12",
    "attestor": "05-litho",
    "repository": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "93ec0f405f633cd9604a6ee26e901b56a1753abd5b42dcdeaf60042b8f86436b",
      "bytes": 7
    },
    "source_doc": "CROWN_JEWELS_RESOLVED.md",
    "source_doc_sha256": "cb73e0a3a8244612dc4978a76fd4fefddef7e049b70c87d40cb62469365137e3",
    "state": "attested",
    "top_n": 9,
    "note_sha256": "5f8935b3620ee12775855cfb67d57e467a626ae38cbc0a9b9823eaac2593eb8b",
    "ids_in_row": 9,
    "file": "dataroom/TOP_N_ATTESTATION.jsonl",
    "line": 1
  },
  "claim_source": {
    "receipt": "computational-lithography/top40.json",
    "sha256": "9f0461a0d2984e3758cbc833be85e031425cbae2003aaab4fb239f6be6f71334",
    "field": "entries[3].claim",
    "file": "computational_lithography_lab/top40.json"
  },
  "top40_entry": {
    "id": "aerial-enclosure-fast-gate",
    "rank": 4,
    "title": "Sound aerial-intensity enclosure with a no-false-ADMIT fast gate",
    "claim": "An outward-rounded interval enclosure of the aerial image is sound by construction, with 0 soundness violations over 13,303,808 pixel-checks across 232 masks and 0 false admits over 87 checked.",
    "scope": "Enclosure of the forward model at the stated grid, not of the physics. The speed figure applies to the forward model, not the gate.",
    "limits": "The 44x figure is the FORWARD MODEL; the full gate is 1.63x, disclosed in the artifact's own gate_note. Lead with the soundness battery, not the speed. Finite battery, simulator-relative.",
    "artifact_path": "patent/sprint232_kpis.json",
    "reproduce_command": "make verify-sprint232",
    "evidence_tier": "MEASURED",
    "run_status": "RAN",
    "output_excerpt": {
      "withheld": true,
      "why": "an absolute path from the machine that produced the file (R8); a working-directory name (R8); the operator's account name (R8); a home-relative machine path (R8)",
      "sha256_of_value": "132629a41a9a8cc09f7455e255ca1a72b113cbefe9add7808bdb556c172f20ae",
      "bytes": 282
    }
  },
  "witness_quality_entry": {
    "id": "aerial-enclosure-fast-gate",
    "portfolio_id": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "2bc3e2719183bcb8c4eec6d7408afbf40d9d418fd5ec2a9bef0b1f1067dfe383",
      "bytes": 17
    },
    "class": "ASSERTING",
    "why": "changing the claim's 13,303,808 to 13,303,800 -- a value no cited artifact carries -- makes the witness exit 1 (it exits 0 unmutated). The witness fails when the claim is false.",
    "witness_command": "python3 scripts/witness_jewel.py aerial-enclosure-fast-gate",
    "witness_exit": 0,
    "demonstration": {
      "kind": "claim-mutation",
      "what": "the claim's 13,303,808 was changed to 13,303,800 in a temporary copy of top40.json and the recorded witness command re-run against it with --top40",
      "number": "13,303,808",
      "mutant": "13,303,800",
      "mutant_exit": 1,
      "mutant_first_line": "WITNESS aerial-enclosure-fast-gate: FAIL -- claim number(s) in no cited artifact: 13,303,800",
      "reddened": true,
      "restore": "no file in the repository was mutated; the defect was planted in a temporary copy, which is deleted whether or not the witness reddens"
    }
  },
  "packet": null,
  "measured": {
    "measured": true,
    "basis": "demonstration.mutant_exit = 1",
    "exit": 1,
    "defect_rejected": true
  },
  "register": {
    "truth_state": "attested",
    "truth_line": 163,
    "measured_per_register": true,
    "witness_class_per_register": "ASSERTING",
    "ip_class_public": "unknown",
    "ip_class_sha256": "b23a6a8439c0dde5515893e7c90c1e3233b8616e634470f20dc4928bcf3609bc",
    "ip_class_source": "computational_lithography_lab/top40.json:6 @ 361371e8a8b4",
    "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.output_excerpt",
      "codes": [
        "ABSOLUTE_USER_PATH",
        "LANE_DIRECTORY_NAME",
        "OPERATOR_ACCOUNT",
        "HOME_RELATIVE_PATH"
      ]
    },
    {
      "field": "witness_quality.portfolio_id",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    },
    {
      "field": "attestation_row.repository",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    }
  ],
  "sources": {
    "attestation": {
      "receipt": "computational-lithography/_root/dataroom/TOP_N_ATTESTATION.jsonl",
      "source": "dataroom/TOP_N_ATTESTATION.jsonl",
      "commit": "6125a0f77a7b0cc496c0a603457822c1c7d1ae26",
      "sha256": "5462913bd97fec4f3ef4194a42526e90ca14d220bdc0dc62b8fcb26c3fd854e4",
      "bytes": 2085,
      "visibility": "sealed"
    },
    "top40": {
      "receipt": "computational-lithography/top40.json",
      "source": "computational_lithography_lab/top40.json",
      "commit": "6125a0f77a7b0cc496c0a603457822c1c7d1ae26",
      "sha256": "9f0461a0d2984e3758cbc833be85e031425cbae2003aaab4fb239f6be6f71334",
      "bytes": 105530,
      "visibility": "sealed"
    },
    "witness_quality": {
      "receipt": "computational-lithography/_root/dataroom/witness_quality.json",
      "source": "dataroom/witness_quality.json",
      "commit": "6125a0f77a7b0cc496c0a603457822c1c7d1ae26",
      "sha256": "c47bd4cc8d393e88caf1dfff3a54bb65a8f55c87ba9950a34283650d807a22aa",
      "bytes": 78922,
      "visibility": "sealed"
    },
    "repro_index": {
      "receipt": "computational-lithography/_root/repro/INDEX.json",
      "source": "repro/INDEX.json",
      "commit": "6125a0f77a7b0cc496c0a603457822c1c7d1ae26",
      "sha256": "5ecd6948d20c51116b2ba71ecfb3a156273448579c0ec19ad1ed0a91c554d4f3",
      "bytes": 30664,
      "visibility": "sealed"
    }
  }
}