{
  "schema": "aitg.hardened-v6-2-construction-qualification.v1",
  "sourceSha256": "d8b4208dbb2eb2d16494f566a6b4556ab5f8244bf69fd26a576dc55493e7dc9e",
  "status": "passed",
  "seedsPerTier": 100,
  "generatedInstances": 5400,
  "referenceVerified": 3240,
  "generationRefused": 0,
  "generationLeakRefused": 2,
  "elapsedMs": 56560782,
  "rows": [
    {
      "family": "arc-reasoning",
      "difficulty": "easy",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 10,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 10,
      "elapsedMs": 769519,
      "meanGenerationMs": 7558,
      "verificationMode": "trusted-python-execution-external-comparison"
    },
    {
      "family": "arc-reasoning",
      "difficulty": "medium",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 10,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 10,
      "elapsedMs": 2697301,
      "meanGenerationMs": 26843,
      "verificationMode": "trusted-python-execution-external-comparison"
    },
    {
      "family": "arc-reasoning",
      "difficulty": "hard",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 10,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 10,
      "elapsedMs": 3208955,
      "meanGenerationMs": 31965,
      "verificationMode": "trusted-python-execution-external-comparison"
    },
    {
      "family": "causal-lab",
      "difficulty": "easy",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 1108140,
      "meanGenerationMs": 11068,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "causal-lab",
      "difficulty": "medium",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 388104,
      "meanGenerationMs": 3842,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "causal-lab",
      "difficulty": "hard",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 1978623,
      "meanGenerationMs": 19618,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "circuit-repair",
      "difficulty": "easy",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 1,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 1157032,
      "meanGenerationMs": 11367,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "circuit-repair",
      "difficulty": "medium",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 1,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 1894705,
      "meanGenerationMs": 18578,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "circuit-repair",
      "difficulty": "hard",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 3478124,
      "meanGenerationMs": 34225,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "constructive-math",
      "difficulty": "easy",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 181964,
      "meanGenerationMs": 1817,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "constructive-math",
      "difficulty": "medium",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 191231,
      "meanGenerationMs": 1909,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "constructive-math",
      "difficulty": "hard",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 516080,
      "meanGenerationMs": 5154,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "data-reconciliation",
      "difficulty": "easy",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 10,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 10,
      "elapsedMs": 2359358,
      "meanGenerationMs": 23393,
      "verificationMode": "trusted-python-execution-external-comparison"
    },
    {
      "family": "data-reconciliation",
      "difficulty": "medium",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 10,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 10,
      "elapsedMs": 3545295,
      "meanGenerationMs": 35301,
      "verificationMode": "trusted-python-execution-external-comparison"
    },
    {
      "family": "data-reconciliation",
      "difficulty": "hard",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 10,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 10,
      "elapsedMs": 4132215,
      "meanGenerationMs": 41156,
      "verificationMode": "trusted-python-execution-external-comparison"
    },
    {
      "family": "differential-hunt",
      "difficulty": "easy",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 393437,
      "meanGenerationMs": 3896,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "differential-hunt",
      "difficulty": "medium",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 747823,
      "meanGenerationMs": 7358,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "differential-hunt",
      "difficulty": "hard",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 1121559,
      "meanGenerationMs": 11020,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "formal-proof",
      "difficulty": "easy",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 1378735,
      "meanGenerationMs": 13785,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "formal-proof",
      "difficulty": "medium",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 2875522,
      "meanGenerationMs": 28752,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "formal-proof",
      "difficulty": "hard",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 3862642,
      "meanGenerationMs": 38624,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "incident",
      "difficulty": "easy",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 10,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 10,
      "elapsedMs": 712445,
      "meanGenerationMs": 6971,
      "verificationMode": "trusted-python-execution-external-comparison"
    },
    {
      "family": "incident",
      "difficulty": "medium",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 10,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 10,
      "elapsedMs": 651381,
      "meanGenerationMs": 6370,
      "verificationMode": "trusted-python-execution-external-comparison"
    },
    {
      "family": "incident",
      "difficulty": "hard",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 10,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 10,
      "elapsedMs": 644510,
      "meanGenerationMs": 6259,
      "verificationMode": "trusted-python-execution-external-comparison"
    },
    {
      "family": "interface-repair",
      "difficulty": "easy",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 524690,
      "meanGenerationMs": 5233,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "interface-repair",
      "difficulty": "medium",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 691392,
      "meanGenerationMs": 6894,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "interface-repair",
      "difficulty": "hard",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 1028256,
      "meanGenerationMs": 10255,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "machine-repair",
      "difficulty": "easy",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 1156210,
      "meanGenerationMs": 11552,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "machine-repair",
      "difficulty": "medium",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 624903,
      "meanGenerationMs": 6202,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "machine-repair",
      "difficulty": "hard",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 652888,
      "meanGenerationMs": 6435,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "manuscript-discovery",
      "difficulty": "easy",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 197699,
      "meanGenerationMs": 1969,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "manuscript-discovery",
      "difficulty": "medium",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 245872,
      "meanGenerationMs": 2448,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "manuscript-discovery",
      "difficulty": "hard",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 394872,
      "meanGenerationMs": 3936,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "optimization",
      "difficulty": "easy",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 10,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 10,
      "elapsedMs": 197219,
      "meanGenerationMs": 1954,
      "verificationMode": "trusted-python-execution-external-comparison"
    },
    {
      "family": "optimization",
      "difficulty": "medium",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 10,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 10,
      "elapsedMs": 441809,
      "meanGenerationMs": 4390,
      "verificationMode": "trusted-python-execution-external-comparison"
    },
    {
      "family": "optimization",
      "difficulty": "hard",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 10,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 10,
      "elapsedMs": 766604,
      "meanGenerationMs": 7638,
      "verificationMode": "trusted-python-execution-external-comparison"
    },
    {
      "family": "oracle-identification",
      "difficulty": "easy",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 25376,
      "meanGenerationMs": 221,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "oracle-identification",
      "difficulty": "medium",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 34636,
      "meanGenerationMs": 302,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "oracle-identification",
      "difficulty": "hard",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 51230,
      "meanGenerationMs": 462,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "protocol",
      "difficulty": "easy",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 10,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 10,
      "elapsedMs": 503797,
      "meanGenerationMs": 5013,
      "verificationMode": "trusted-python-execution-external-comparison"
    },
    {
      "family": "protocol",
      "difficulty": "medium",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 10,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 10,
      "elapsedMs": 638510,
      "meanGenerationMs": 6358,
      "verificationMode": "trusted-python-execution-external-comparison"
    },
    {
      "family": "protocol",
      "difficulty": "hard",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 10,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 10,
      "elapsedMs": 1078767,
      "meanGenerationMs": 10757,
      "verificationMode": "trusted-python-execution-external-comparison"
    },
    {
      "family": "repository-repair",
      "difficulty": "easy",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 10,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 10,
      "elapsedMs": 498300,
      "meanGenerationMs": 4960,
      "verificationMode": "trusted-python-execution-external-comparison"
    },
    {
      "family": "repository-repair",
      "difficulty": "medium",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 10,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 10,
      "elapsedMs": 605650,
      "meanGenerationMs": 6029,
      "verificationMode": "trusted-python-execution-external-comparison"
    },
    {
      "family": "repository-repair",
      "difficulty": "hard",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 10,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 10,
      "elapsedMs": 1022634,
      "meanGenerationMs": 10197,
      "verificationMode": "trusted-python-execution-external-comparison"
    },
    {
      "family": "software-repair",
      "difficulty": "easy",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 10,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 10,
      "elapsedMs": 382039,
      "meanGenerationMs": 3798,
      "verificationMode": "trusted-python-execution-external-comparison"
    },
    {
      "family": "software-repair",
      "difficulty": "medium",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 10,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 10,
      "elapsedMs": 464595,
      "meanGenerationMs": 4618,
      "verificationMode": "trusted-python-execution-external-comparison"
    },
    {
      "family": "software-repair",
      "difficulty": "hard",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 10,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 10,
      "elapsedMs": 610509,
      "meanGenerationMs": 6074,
      "verificationMode": "trusted-python-execution-external-comparison"
    },
    {
      "family": "specification",
      "difficulty": "easy",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 10,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 10,
      "elapsedMs": 603751,
      "meanGenerationMs": 6016,
      "verificationMode": "trusted-python-execution-external-comparison"
    },
    {
      "family": "specification",
      "difficulty": "medium",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 10,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 10,
      "elapsedMs": 743783,
      "meanGenerationMs": 7414,
      "verificationMode": "trusted-python-execution-external-comparison"
    },
    {
      "family": "specification",
      "difficulty": "hard",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 10,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 10,
      "elapsedMs": 999754,
      "meanGenerationMs": 9971,
      "verificationMode": "trusted-python-execution-external-comparison"
    },
    {
      "family": "vm-reverse",
      "difficulty": "easy",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 404514,
      "meanGenerationMs": 4042,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "vm-reverse",
      "difficulty": "medium",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 499719,
      "meanGenerationMs": 4994,
      "verificationMode": "trusted-json-verifier"
    },
    {
      "family": "vm-reverse",
      "difficulty": "hard",
      "generated": 100,
      "generationRefused": 0,
      "generationLeakRefused": 0,
      "referencePassed": 100,
      "malformedRejected": 100,
      "distinctPublicInstances": 100,
      "checkedCases": 100,
      "elapsedMs": 476104,
      "meanGenerationMs": 4749,
      "verificationMode": "trusted-json-verifier"
    }
  ],
  "evidenceScope": "Construction checks, not measured AI difficulty. Every JSON and simulation reference and ten Python references per tier execute against the real verifier, replaying the witness actions through the family action handler. Local trusted Python behavior does not qualify hosted resource performance. Distinct public fingerprints are not independent semantic clusters. Frozen reuse, fresh-AI and human economics are assessed separately.",
  "credits": {
    "easy": 25,
    "medium": 30,
    "hard": 40
  },
  "modelCalls": 0,
  "capabilityPassed": false,
  "productionActivated": false
}
