{
  "_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": "eda-platform",
  "repository": "eda-platform",
  "commit": "e25b611080835c1d781733b4311d6d5b08b08bf0",
  "portfolio_id": "eda-platform:F8R-002",
  "id": "F8R-002",
  "attestation_row": {
    "attested_at": "2026-09-12",
    "attestor": "06-edaplatform",
    "repository": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "51453f34d8af79dde7e003577a2b2e5c5727533b4bc085716117daadd92d0240",
      "bytes": 7
    },
    "source_doc": "CROWN_JEWELS_RESOLVED.md",
    "source_doc_sha256": "5f007ef00590d2003f01d84b809308c5daa4cd17edcfc677b89f737066354881",
    "state": "attested",
    "top_n": 2,
    "note_sha256": "b8ef460641556bbf67373b483e3468f2deb094cfc5476a520b46f95b50a83ba0",
    "ids_in_row": 2,
    "file": "dataroom/TOP_N_ATTESTATION.jsonl",
    "line": 1
  },
  "claim_source": {
    "receipt": "eda-platform/dataroom/witness_quality.json",
    "sha256": "5d2d65d9f615f82734053987e1e14af00a77857adb31911ce729430ddfe65ec9",
    "field": "portfolio_witnesses[4].title",
    "file": "dataroom/witness_quality.json"
  },
  "top40_entry": null,
  "witness_quality_entry": {
    "id": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "35febd31c8e4ef843a461fc1b295e86b097a22554c56e81778e4f13973ab73d5",
      "bytes": 15
    },
    "title": "Gate-count correction 20532->20531 propagated WITH in-artifact provenance field",
    "class": "ASSERTING",
    "why": "Two legs, both asserting. `tests/test_aes_gate_count_matches_the_receipt.py` scans every tracked file for `20532` used AS a gate count and derives its expected value from the receipt manifest rather than hardcoding it; the second leg requires the `gate_count_provenance` field in all four aes artifacts. DEMONSTRATED in the clean clone: `gate_count_provenance` was deleted from `reports/security/zk_ct_aes.json` and the witness went RED (exit 1).",
    "witness_command": "python3 -m pytest -q tests/test_aes_gate_count_matches_the_receipt.py && python3 -c \"import json,sys; ps=['reports/security/zk_ct_aes.json','reports/security/zk_ct_aes_local.json','reports/security/zk_ct_aes_mint.json','reports/security/zk_ct_aes_local_ladder.json']; missing=[p for p in ps if not json.load(open(p)).get('gate_count_provenance')]; sys.exit('no gate_count_provenance in: '+repr(missing)) if missing else print('gate_count_provenance present in 4/4 aes artifacts')\"",
    "witness_exit": 0,
    "defect_demonstration": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "ee576a8ab2e9838b8b1ca594d2034e01930dbcb1e16c565d72b62b45491478b5",
      "bytes": 1391
    },
    "asserts": [
      "no tracked file publishes the gatelist LINE count where the receipt journal's n_full_gates = 20531 belongs, checked against 2,485 tracked files",
      "all four aes artifacts carry a non-empty gate_count_provenance"
    ],
    "stale_claims_ref": null
  },
  "packet": {
    "id": "F8R-002",
    "portfolio_id": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "35febd31c8e4ef843a461fc1b295e86b097a22554c56e81778e4f13973ab73d5",
      "bytes": 15
    },
    "witness_command": "python3 -m pytest -q tests/test_aes_gate_count_matches_the_receipt.py && python3 -c \"import json,sys; ps=['reports/security/zk_ct_aes.json','reports/security/zk_ct_aes_local.json','reports/security/zk_ct_aes_mint.json','reports/security/zk_ct_aes_local_ladder.json']; missing=[p for p in ps if not json.load(open(p)).get('gate_count_provenance')]; sys.exit('no gate_count_provenance in: '+repr(missing)) if missing else print('gate_count_provenance present in 4/4 aes artifacts')\"",
    "path": "repro/F8R-002/",
    "inputs": 8,
    "grade": "ASSERTING",
    "kit2": {
      "grade": "ASSERTING",
      "graded_commit": "71e34dbb3c59bb86045d485b21cc3ca817414bba",
      "lane_head_at_grading": "71e34dbb3c59bb86045d485b21cc3ca817414bba",
      "graded_utc": "2026-09-17T12:19:00Z",
      "reasons": [],
      "semantic_mutations": {
        "claim_moving": 3,
        "repro_red": 3,
        "witness_runs": 47,
        "tiers": {
          "claim_values": {
            "candidates": 0,
            "claim_moving": 0,
            "witness_runs": 0
          },
          "listed": {
            "candidates": 62,
            "claim_moving": 3,
            "witness_runs": 17
          },
          "traced": {
            "candidates": 127428,
            "claim_moving": 0,
            "witness_runs": 30
          }
        }
      },
      "neutral_mutations": {
        "drawn": 16,
        "repro_red": 0,
        "coverage": {
          "listed_inputs_with_edits": 8,
          "runs": 16
        }
      },
      "inputs_graded": 2490,
      "kit_pins_sha256": "af52c51b8b736c1930e0f36a27ce273f13cf86c8b4b88b703df44e80d5b25553"
    }
  },
  "measured": {
    "measured": true,
    "basis": "defect_demonstration.mutated_exit = 1",
    "exit": 1,
    "defect_rejected": true
  },
  "register": {
    "truth_state": "attested",
    "truth_line": 173,
    "measured_per_register": true,
    "witness_class_per_register": "ASSERTING",
    "ip_class_public": "open_source",
    "ip_class_sha256": "55952387923ce66a66a6bd5955b21d727f1b4eb2e08cdf3b6a7876654f523804",
    "ip_class_source": "LICENSE:1 @ e25b61108083",
    "receipt": "register/CROWN_JEWELS_TRUTH.md",
    "receipt_sha256": "bde06cf0d3e99644522d18e79b6bd5d84ed4f5c86e315a48fef207e9e49c5022",
    "ip_class_receipt": "register/ip_class.jsonl",
    "ip_class_receipt_sha256": "b1e8f97aa6779e0fefed2f7a7726e1a03563b536b497392401b49bb8ef84d4ca"
  },
  "withheld_fields": [
    {
      "field": "witness_quality.id",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    },
    {
      "field": "witness_quality.defect_demonstration",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    },
    {
      "field": "packet.portfolio_id",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    },
    {
      "field": "attestation_row.repository",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    }
  ],
  "sources": {
    "attestation": {
      "receipt": "eda-platform/dataroom/TOP_N_ATTESTATION.jsonl",
      "source": "dataroom/TOP_N_ATTESTATION.jsonl",
      "commit": "e25b611080835c1d781733b4311d6d5b08b08bf0",
      "sha256": "bcf68e331862b52d44ba170c60dbe3fe8de9af765b8391d9c7273bba906a8a0f",
      "bytes": 2969,
      "visibility": "sealed"
    },
    "top40": {
      "receipt": "eda-platform/top40.json",
      "source": "top40.json",
      "commit": "e25b611080835c1d781733b4311d6d5b08b08bf0",
      "sha256": "ffd4723536e6be02e5c06faff7dcbf827d202fcd0bb27ad7f4f60874fccc131d",
      "bytes": 60955,
      "visibility": "sealed"
    },
    "witness_quality": {
      "receipt": "eda-platform/dataroom/witness_quality.json",
      "source": "dataroom/witness_quality.json",
      "commit": "e25b611080835c1d781733b4311d6d5b08b08bf0",
      "sha256": "5d2d65d9f615f82734053987e1e14af00a77857adb31911ce729430ddfe65ec9",
      "bytes": 85668,
      "visibility": "sealed"
    },
    "repro_index": {
      "receipt": "eda-platform/repro/INDEX.json",
      "source": "repro/INDEX.json",
      "commit": "e25b611080835c1d781733b4311d6d5b08b08bf0",
      "sha256": "91fdca26428550cc9427dd324d88fd24aeafc694e67a7a7dbcd826ce0fdce698",
      "bytes": 10617,
      "visibility": "sealed"
    }
  }
}