{
  "_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-pqc",
  "repository": "wireless-pqc",
  "commit": "709160c57c9eb875e239acdf1eb3d0c4462e4c29",
  "portfolio_id": "wireless-pqc:sae-proof-kill-matrix",
  "id": "sae-proof-kill-matrix",
  "attestation_row": {
    "attested_at": "2026-09-13",
    "attestor": "03-wifipqc",
    "repository": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "6f37ed958c37482bf7ee04acba61df04492fe3186c1ba6c10b77519cd450c69f",
      "bytes": 7
    },
    "source_doc": "CROWN_JEWELS_RESOLVED.md",
    "source_doc_sha256": "6958cd834026328936c2fbfb51a8b00a4dd5ec6cb65b1d0d8960bcfe0b9e2418",
    "state": "attested",
    "top_n": 26,
    "note_sha256": "c1af3e3220ffc4290cc975a79bf85d216638fd8abd3f4d8e7e67f6f5af0aff3b",
    "ids_in_row": 26,
    "file": "dataroom/TOP_N_ATTESTATION.jsonl",
    "line": 1
  },
  "claim_source": {
    "receipt": "wireless-pqc/dataroom/top40.json",
    "sha256": "6076db4027d7499ac53b5cf15f9a07bb7e41c38f56fb0f469a62353e10e65353",
    "field": "entries[3].claim",
    "file": "dataroom/top40.json"
  },
  "top40_entry": {
    "id": "sae-proof-kill-matrix",
    "portfolio_id": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "8368c4dd909791812825ae7df9cbb92529b8688f56abb07cd2913f7739489351",
      "bytes": 29
    },
    "rank": 4,
    "native_rank": 23,
    "title": "Six single-edit mutants of the SAE proof, six failures to typecheck — the proof is load-bearing, not decorative",
    "claim": "Six single-edit mutants of the SAE proof, six failures to typecheck: the proof is load-bearing rather than decorative.",
    "scope": "Kills mutants of THIS development; not a claim about EasyCrypt or about SAE in general. Honest-SKIPs when easycrypt is unresolvable -- read easycrypt_ran before quoting.",
    "artifact_path": "artifacts/native/sae_kill_matrix_ci.json",
    "witness_command": "make sae-kill-matrix",
    "witness_result": {
      "status": "RAN",
      "exit": 0,
      "line": "  -> artifacts/native/sae_kill_matrix_ci.json",
      "seconds": 6.5,
      "run_at": "2026-09-13T02:34:27Z",
      "owner_gated": false,
      "reason": null,
      "run_of_record": "clean clone at HEAD (S03, dataroom/witness_quality_20260913/clean_clone_baseline.json)"
    },
    "third_party_axis": "B",
    "facts": {
      "ran_with_receipt": true,
      "third_party_graded": true,
      "negative_control_stated": true,
      "ip_class_known": false,
      "reproduce_command": true,
      "regenerates": false
    },
    "fact_count": 4,
    "repro_command": "make sae-kill-matrix",
    "ip_class": null,
    "ip_class_basis": "no source in this repository states an IP class for this entry; never guessed"
  },
  "witness_quality_entry": {
    "id": "sae-proof-kill-matrix",
    "portfolio_id": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "8368c4dd909791812825ae7df9cbb92529b8688f56abb07cd2913f7739489351",
      "bytes": 29
    },
    "title": "Six single-edit mutants of the SAE proof, six failures to typecheck — the proof is load-bearing, not decorative",
    "claim": "Six single-edit mutants of the SAE proof, six failures to typecheck: the proof is load-bearing rather than decorative.",
    "class": "ASSERTING",
    "why": "clean-clone exit 0; every decisive planted defect went red: [0] break the base SAE proof itself with the tool's own break-translation edit applied to the live file -> exit 2; [1] break the transcript-forge proof's context binding (drop-context-binding applied to the live file) -> exit 2",
    "witness_command": "make sae-kill-matrix",
    "clean_clone": {
      "exit": 0,
      "status": "RAN",
      "seconds": 6.5,
      "first_line": "sae-kill-matrix: OK — base_pass=True killed 6/6 mutants",
      "last_line": "  -> artifacts/native/sae_kill_matrix_ci.json",
      "artifact_rewritten": false,
      "dirtied": [],
      "run_at": "2026-09-13T02:34:27Z",
      "reason": null
    },
    "planted_defects": [
      {
        "index": 0,
        "what": "break the base SAE proof itself with the tool's own break-translation edit applied to the live file",
        "falsifies": "property: base proof typechecks",
        "decisive": true,
        "planted": [
          {
            "path": "06_formal_models/easycrypt/SAE_PAKE.ec",
            "diff": "'by rewrite -dmap_comp blind_uniform dG_translation.' -> 'by rewrite -dmap_comp blind_uniform.' (x1 of 1)"
          }
        ],
        "exit": 2,
        "seconds": 4.9,
        "last_line": "make: *** [sae-kill-matrix] Error 1",
        "failure_moved_by": null
      },
      {
        "index": 1,
        "what": "break the transcript-forge proof's context binding (drop-context-binding applied to the live file)",
        "falsifies": "property: base proofs typecheck",
        "decisive": true,
        "planted": [
          {
            "path": "06_formal_models/easycrypt/TranscriptForge.ec",
            "diff": "'op vrfy_bound_p (k : key) (s : sctx) (t : ctag) : bool = (t = Fp k s).' -> 'op vrfy_bound_p (k : key) (s : sctx) (t : ctag) : bool = (t = Fp k sctx0).' (x1 of 1)"
          }
        ],
        "exit": 2,
        "seconds": 6.1,
        "last_line": "make: *** [sae-kill-matrix] Error 1",
        "failure_moved_by": null
      }
    ],
    "measured": true,
    "stale_claims_ref": null
  },
  "packet": {
    "id": "sae-proof-kill-matrix",
    "portfolio_id": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "8368c4dd909791812825ae7df9cbb92529b8688f56abb07cd2913f7739489351",
      "bytes": 29
    },
    "witness_command": "make sae-kill-matrix",
    "checker_witness": "make sae-kill-matrix",
    "path": "repro/sae-proof-kill-matrix/",
    "inputs": 5,
    "grade": "ASSERTING",
    "facts_count": 4,
    "env_guard": {
      "tool": "easycrypt",
      "exit": 69
    },
    "kit2": {
      "grade": "ASSERTING",
      "graded_commit": "ecb2234212c70992465532494a378f97faffa959",
      "lane_head_at_grading": "891233d1e7131ee3d23751828e5e279aa207ef67",
      "graded_utc": "2026-09-19T05:09:36Z",
      "reasons": [],
      "semantic_mutations": {
        "claim_moving": 4,
        "repro_red": 4,
        "witness_runs": 12,
        "tiers": {
          "claim_values": {
            "candidates": 0,
            "claim_moving": 0,
            "witness_runs": 0
          },
          "listed": {
            "candidates": 12,
            "claim_moving": 4,
            "witness_runs": 12
          },
          "traced": {
            "candidates": 0,
            "claim_moving": 0,
            "witness_runs": 0
          }
        }
      },
      "neutral_mutations": {
        "drawn": 10,
        "repro_red": 0,
        "coverage": {
          "listed_inputs_with_edits": 2,
          "runs": 10
        }
      },
      "inputs_graded": 5,
      "kit_pins_sha256": "c0320c0f0557fcdeeb9140d886b4267da9af9763ca14510c6eed40f0d3ca039c"
    }
  },
  "measured": {
    "measured": true,
    "basis": "planted_defects[].exit = 2",
    "exit": 2,
    "defect_rejected": true
  },
  "register": {
    "truth_state": "attested",
    "truth_line": 132,
    "measured_per_register": true,
    "witness_class_per_register": "ASSERTING",
    "ip_class_public": "unknown",
    "ip_class_sha256": "b23a6a8439c0dde5515893e7c90c1e3233b8616e634470f20dc4928bcf3609bc",
    "ip_class_source": "TOP_N_CROWN_JEWELS.md:72 @ 102044d55aab",
    "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.portfolio_id",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    },
    {
      "field": "witness_quality.portfolio_id",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    },
    {
      "field": "packet.portfolio_id",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    },
    {
      "field": "attestation_row.repository",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    }
  ],
  "sources": {
    "attestation": {
      "receipt": "wireless-pqc/dataroom/TOP_N_ATTESTATION.jsonl",
      "source": "dataroom/TOP_N_ATTESTATION.jsonl",
      "commit": "709160c57c9eb875e239acdf1eb3d0c4462e4c29",
      "sha256": "9bf48d398fc36b52f21264edc3a04b8e2c3cd7da3c53f24ec80636897997097e",
      "bytes": 3364,
      "visibility": "sealed"
    },
    "top40": {
      "receipt": "wireless-pqc/dataroom/top40.json",
      "source": "dataroom/top40.json",
      "commit": "709160c57c9eb875e239acdf1eb3d0c4462e4c29",
      "sha256": "6076db4027d7499ac53b5cf15f9a07bb7e41c38f56fb0f469a62353e10e65353",
      "bytes": 167747,
      "visibility": "sealed"
    },
    "witness_quality": {
      "receipt": "wireless-pqc/dataroom/witness_quality.json",
      "source": "dataroom/witness_quality.json",
      "commit": "709160c57c9eb875e239acdf1eb3d0c4462e4c29",
      "sha256": "5d379a10112d400163b35100a423124c28e8bfbbdbe4378b71840eda85f75cfe",
      "bytes": 143046,
      "visibility": "sealed"
    },
    "repro_index": {
      "receipt": "wireless-pqc/repro/INDEX.json",
      "source": "repro/INDEX.json",
      "commit": "709160c57c9eb875e239acdf1eb3d0c4462e4c29",
      "sha256": "378fd4a3ce4f44403b7c9ca6a3f19c11895831f892736376c90cf9423037f9eb",
      "bytes": 26512,
      "visibility": "sealed"
    }
  }
}