{
  "_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:CJ-7",
  "id": "CJ-7",
  "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[2].title",
    "file": "dataroom/witness_quality.json"
  },
  "top40_entry": null,
  "witness_quality_entry": {
    "id": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "6e6ae3207e3e1e923a9b374909885a31720fda3a2bb8152708cf99feb562d024",
      "bytes": 12
    },
    "title": "1,904-test suite with published-number guards asserted against artifacts",
    "class": "ASSERTING",
    "why": "The claim's load-bearing half is 'published-number guards asserted against artifacts', and `core/doc_numbers.py lint` is that guard: it recollects the live suite counts and compares them with every restatement in the big-three and the two assembled documents, exempting only dated narrative. DEMONSTRATED in the clean clone: the published count at `reports/VC_TECHNICAL_DILIGENCE.md:1444` was moved from the live 1974 to 2222 and the witness went RED (exit 1). The row's title still says 1,904; the suite is 1,974 and the published number moved with it, which is the guard working - S01 adjudicated that and S02 does not reopen it.",
    "witness_command": "python3 -m pytest --collect-only -q >/dev/null && PYTHONPATH=. python3 core/doc_numbers.py lint",
    "witness_exit": 0,
    "defect_demonstration": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "5d77172728047bc86922f9d4d767caaaf1e92e01343a1f7aa77e21d435d2f594",
      "bytes": 871
    },
    "asserts": [
      "the whole suite is collected in this run, so the live count is measured and not read",
      "every undated published restatement of that count must equal it, or the command exits 1"
    ],
    "stale_claims_ref": null
  },
  "packet": {
    "id": "CJ-7",
    "portfolio_id": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "6e6ae3207e3e1e923a9b374909885a31720fda3a2bb8152708cf99feb562d024",
      "bytes": 12
    },
    "witness_command": "python3 -m pytest --collect-only -q >/dev/null && PYTHONPATH=. python3 core/doc_numbers.py lint",
    "path": "repro/CJ-7/",
    "inputs": 442,
    "grade": "ASSERTING",
    "kit2": {
      "grade": "ASSERTING",
      "graded_commit": "298fc9f02b5a567a55d557fda78d420e5688ed66",
      "lane_head_at_grading": "298fc9f02b5a567a55d557fda78d420e5688ed66",
      "graded_utc": "2026-09-18T04:34:20Z",
      "reasons": [],
      "semantic_mutations": {
        "claim_moving": 3,
        "repro_red": 3,
        "witness_runs": 33,
        "tiers": {
          "claim_values": {
            "candidates": 39,
            "claim_moving": 3,
            "witness_runs": 3
          },
          "listed": {
            "candidates": 35793,
            "claim_moving": 0,
            "witness_runs": 30
          },
          "traced": {
            "candidates": 0,
            "claim_moving": 0,
            "witness_runs": 0
          }
        }
      },
      "neutral_mutations": {
        "drawn": 448,
        "repro_red": 0,
        "coverage": {
          "listed_inputs_with_edits": 440,
          "runs": 448
        }
      },
      "inputs_graded": 442,
      "kit_pins_sha256": "af52c51b8b736c1930e0f36a27ce273f13cf86c8b4b88b703df44e80d5b25553"
    }
  },
  "measured": {
    "measured": true,
    "basis": "defect_demonstration.mutated_exit = 1",
    "exit": 1,
    "defect_rejected": true
  },
  "register": {
    "truth_state": "attested",
    "truth_line": 172,
    "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"
    }
  }
}