{
  "schemaVersion": 1,
  "generatedAtUtc": "2026-08-14T02:38:01Z",
  "status": "complete-derived-summary",
  "denominator": {
    "tasks": 8,
    "selectedCells": 24,
    "judgeOutputs": 48,
    "d8Included": true,
    "d1ThroughD7OnlyViewPublished": false
  },
  "d8Governance": {
    "includedInEveryGeneration": true,
    "historicalEvidencePreserved": true,
    "h0ThroughH05": "use each formal generation result including its recorded D8",
    "h052": "use fresh corrected D8 campaign",
    "h0601": "use H0601 D8 fixed-v1 task campaign",
    "h052CorrectedD8": {
      "commit": "a601aa86730c620e5a3ef777c32d535d59c82ece",
      "campaign": "historical-worktree://88bc/workarean/campaigns/prometheus-utf8-negotiation-matrixspec-lean-v1-evaluator-fixed-v1",
      "archiveCampaign": "archive/matrixspec-evolution/evaluations/h052/campaigns/prometheus-utf8-negotiation-matrixspec-lean-v1-evaluator-fixed-v1",
      "selectedCells": 3,
      "workflowCompleted": 3,
      "productVerificationPassed": 1,
      "auditFindingRuns": 1,
      "auditFindings": 2,
      "judgeOutputs": 6,
      "judgeScoreSum": 462,
      "judgeMean": 77.0,
      "candidateCost": {"tokens": 12756761, "toolCalls": 164, "credits": 179.0},
      "operatorCostExcluded": {"tokens": 1549350, "toolCalls": 14, "credits": 32.7},
      "result": "historical-worktree://88bc/workarean/campaigns/prometheus-utf8-negotiation-matrixspec-lean-v1-evaluator-fixed-v1/reports/matrixspec-comparison.json",
      "archiveResult": "archive/matrixspec-evolution/evaluations/h052/campaigns/prometheus-utf8-negotiation-matrixspec-lean-v1-evaluator-fixed-v1/reports/matrixspec-comparison.json",
      "resultSha256": "fe860d89d47eca828abd15cd40d24c195cfb6ced7d10ef3b3b8b2ea62d862432",
      "audit": "historical-worktree://88bc/workarean/campaigns/prometheus-utf8-negotiation-matrixspec-lean-v1-evaluator-fixed-v1/reports/treatment-audit.json",
      "archiveAudit": "archive/matrixspec-evolution/evaluations/h052/campaigns/prometheus-utf8-negotiation-matrixspec-lean-v1-evaluator-fixed-v1/reports/treatment-audit.json",
      "auditSha256": "e1b757844d8961eb8cf041d8bf070840aa7eb73cd7b5dae3561dafbb9a6fbb0f"
    }
  },
  "views": [
    {
      "conditionId": "H0-LUNA-XHIGH-20260809",
      "selectedCells": 24,
      "workflowCompleted": 18,
      "productVerificationPassed": 19,
      "auditFindingRuns": 0,
      "judgeOutputs": 48,
      "judgeMean": 90.125,
      "candidateCost": {"tokens": 597146805, "toolCalls": 6592, "credits": 6903.95}
    },
    {
      "conditionId": "H0-TERRA-HIGH-20260809",
      "selectedCells": 24,
      "workflowCompleted": 14,
      "productVerificationPassed": 15,
      "auditFindingRuns": 0,
      "judgeOutputs": 48,
      "judgeMean": 88.0625,
      "candidateCost": {"tokens": 292164097, "toolCalls": 4386, "credits": 3776.08}
    },
    {
      "conditionId": "H1-TERRA-HIGH-D5-REPLACEMENT-20260811",
      "selectedCells": 24,
      "workflowCompleted": 10,
      "productVerificationPassed": 18,
      "auditFindingRuns": 0,
      "judgeOutputs": 48,
      "judgeMean": 93.5208333333,
      "candidateCost": {"tokens": 316713117, "toolCalls": 5393, "credits": 4460.56}
    },
    {
      "conditionId": "H02-FORMAL-20260811",
      "selectedCells": 24,
      "workflowCompleted": 17,
      "productVerificationPassed": 19,
      "auditFindingRuns": 0,
      "judgeOutputs": 48,
      "judgeMean": 94.4791666667,
      "candidateCost": {"tokens": 247515656, "toolCalls": 4196, "credits": 3546.0}
    },
    {
      "conditionId": "H03-FORMAL-20260811-R1",
      "selectedCells": 24,
      "workflowCompleted": 18,
      "productVerificationPassed": 18,
      "auditFindingRuns": 0,
      "judgeOutputs": 48,
      "judgeMean": 94.8958333333,
      "candidateCost": {"tokens": 276702480, "toolCalls": 4279, "credits": 3917.75}
    },
    {
      "conditionId": "H04-FORMAL-20260812-R1",
      "selectedCells": 24,
      "workflowCompleted": 12,
      "productVerificationPassed": 17,
      "auditFindingRuns": 0,
      "judgeOutputs": 48,
      "judgeMean": 89.7916666667,
      "candidateCost": {"tokens": 219748287, "toolCalls": 3605, "credits": 3370.82}
    },
    {
      "conditionId": "H05-P04-FAST-FORMAL-20260812-R1",
      "selectedCells": 24,
      "workflowCompleted": 15,
      "productVerificationPassed": 20,
      "auditFindingRuns": 0,
      "judgeOutputs": 48,
      "judgeMean": 95.0,
      "candidateCost": {"tokens": 259151137, "toolCalls": 4082, "credits": 3913.95}
    },
    {
      "conditionId": "H052-MATRIXSPEC-LEAN-V1-CORRECTED-D8",
      "selectedCells": 24,
      "workflowCompleted": 24,
      "productVerificationPassed": 19,
      "auditFindingRuns": 3,
      "auditFindings": 4,
      "judgeOutputs": 48,
      "judgeScoreSum": 4453,
      "judgeMean": 92.7708333333,
      "candidateCost": {"tokens": 116857308, "toolCalls": 1258, "credits": 1891.35391},
      "selectionAuthority": "historical-worktree://88bc/workarean/.scratch/h052-judge/verified-results.json",
      "archiveSelectionAuthority": "archive/matrixspec-evolution/evaluations/h052/verified-results.json"
    },
    {
      "conditionId": "H0601-da2b42b",
      "selectedCells": 24,
      "workflowCompleted": 24,
      "treatmentAuditPassed": 13,
      "externalFocusedTestsPassed": 18,
      "preHiddenVisibleVerificationPassed": 9,
      "judgeOutputs": 48,
      "judgeScoreSum": 4528,
      "judgeMean": 94.3333333333,
      "candidateCost": {"tokens": 84836263, "toolCalls": 1199, "credits": 1171.61},
      "operatorCostExcluded": {"tokens": 5971619, "toolCalls": 60, "credits": 134.51},
      "effectiveSummary": "historical-worktree://3678/workarean/campaigns/cli-item-list-fields-matrixspec-lean-h0601-eval-r1-judge-recovery-20260814-r1/h0601-effective-summary.md",
      "archiveEffectiveSummary": "archive/matrixspec-evolution/results/H0601/campaigns/cli-item-list-fields-matrixspec-lean-h0601-eval-r1-judge-recovery-20260814-r1/h0601-effective-summary.md",
      "judgeReplacementAuthority": "historical-worktree://3678/workarean/campaigns/cli-item-list-fields-matrixspec-lean-h0601-eval-r1-judge-recovery-20260814-r1/promotion.json",
      "archiveJudgeReplacementAuthority": "archive/matrixspec-evolution/results/H0601/campaigns/cli-item-list-fields-matrixspec-lean-h0601-eval-r1-judge-recovery-20260814-r1/promotion.json",
      "archiveEvidenceStatus": "task reports and judge promotion recovered; full judge packages/results unavailable"
    }
  ],
  "comparatorBaselines": [
    {
      "conditionId": "bare",
      "conditionClass": "bare-no-sdd-comparator-baseline",
      "generationBundleId": "BARE-BASELINE-20260813-R1",
      "validCells": 24,
      "pilotIncludedCells": 0,
      "candidateTerminalCompleted": 24,
      "focusedAcceptancePassed": 17,
      "judgeOutputs": 48,
      "judgeScoreSum": 3477,
      "judgeMean": 72.4375,
      "candidateCost": {"tokens": 42327170, "toolCalls": 721, "credits": 553.842237},
      "candidate": {"model": "gpt-5.6-terra", "effort": "high", "mode": "direct-no-sdd"},
      "roles": {"sdd": false, "operator": false, "reviewer": false, "capabilities": {}},
      "evaluation": {"judgeModel": "gpt-5.6-terra", "judgeEffort": "high", "judgeReplicatesPerCell": 2},
      "tasks": [
        {"taskId": "cli-item-list-fields", "candidateTerminalCompleted": 3, "focusedAcceptancePassed": 3, "judgeOutputs": 6, "judgeMean": 79.1666666667},
        {"taskId": "eslint-preserve-caught-error", "candidateTerminalCompleted": 3, "focusedAcceptancePassed": 3, "judgeOutputs": 6, "judgeMean": 47.6666666667},
        {"taskId": "pytest-plugin-entry-points", "candidateTerminalCompleted": 3, "focusedAcceptancePassed": 3, "judgeOutputs": 6, "judgeMean": 99.5},
        {"taskId": "pytest-addini-type-expressions", "candidateTerminalCompleted": 3, "focusedAcceptancePassed": 3, "judgeOutputs": 6, "judgeMean": 65.5},
        {"taskId": "bat-sanitize", "candidateTerminalCompleted": 3, "focusedAcceptancePassed": 3, "judgeOutputs": 6, "judgeMean": 92.5},
        {"taskId": "sqlmodel-field-constraints", "candidateTerminalCompleted": 3, "focusedAcceptancePassed": 2, "judgeOutputs": 6, "judgeMean": 92.6666666667},
        {"taskId": "axum-custom-executor", "candidateTerminalCompleted": 3, "focusedAcceptancePassed": 0, "judgeOutputs": 6, "judgeMean": 67.5},
        {"taskId": "prometheus-utf8-negotiation", "candidateTerminalCompleted": 3, "focusedAcceptancePassed": 0, "judgeOutputs": 6, "judgeMean": 35.0}
      ],
      "formalEvidenceBranch": "codex/no-sdd-bare-baseline",
      "formalEvidenceCommit": "50d67753fe185df084453614410132f69eb28006",
      "artifactState": {
        "aggregateTaskSummariesAndInvalidJudgeArchive": "tracked-in-formal-evidence-commit",
        "attentionAndRecoveryReceipts": "workspace-local-gitignored"
      },
      "result": "historical-worktree://no-sdd-bare-baseline/workarean/experiments/bare-baseline-20260813-r1/reports/generation-result.json",
      "archiveResult": "archive/matrixspec-evolution/evaluations/bare/generation-result.json",
      "resultSha256": "1e92fc11fc710e1ac2f91d187691374f27cc19a80687b74663d170cd855a5e36",
      "judgeRecovery": {
        "taskId": "pytest-plugin-entry-points",
        "failureScope": "judge-01-three-slots",
        "failureClass": "judge-infrastructure-connectivity",
        "recoveryKind": "judge-only",
        "candidateRerun": false,
        "invalidAttemptArchive": "historical-worktree://no-sdd-bare-baseline/workarean/campaigns/bare-baseline-20260813-r1-pytest-plugin-entry-points/evaluation/invalid-judge-attempts/judge-recovery-01/",
        "archiveInvalidAttemptArchive": "archive/matrixspec-evolution/evaluations/bare/campaigns/bare-baseline-20260813-r1-pytest-plugin-entry-points/evaluation/invalid-judge-attempts/judge-recovery-01/",
        "receipt": "historical-worktree://no-sdd-bare-baseline/workarean/.scratch/bare-baseline-20260813-r1/recoveries/controllers/pytest-plugin-entry-points/judge-recovery-01/complete.json",
        "receiptArtifactState": "workspace-local-gitignored"
      }
    }
  ],
  "authority": {
    "registry": "experiments/matrixspec-harness-evolution-h0/model-evaluation-ledger.md",
    "archiveIndex": "archive/matrixspec-evolution/README.md",
    "note": "H-lineage views and the independent Bare comparator each use their complete 24-cell denominator and include D8. Comparator-specific metric names remain separate; original frozen evidence remains unchanged."
  }
}