{
  "status": "PASS",
  "checks": [
    "Enumerated binary probabilities sum to one",
    "Exact average and group errors",
    "Enumerated metadata Bayes dilution",
    "Changed-stability-assumption negative control"
  ],
  "empirical_benchmark": false,
  "source_proofs_verified": false,
  "figures": [
    {
      "id": "correlation-risks",
      "kind": "analytical_curve",
      "caption": "Exact author-constructed binary-rule errors, Pr(C=Y)=.8 and varying Pr(S=Y)=p. No neural network is trained.",
      "x": {
        "name": "Correlate agreement p",
        "values": [
          0.1,
          0.25,
          0.5,
          0.75,
          0.9,
          0.95
        ]
      },
      "series": [
        {
          "name": "Content-rule error",
          "values": [
            0.2,
            0.2,
            0.2,
            0.2,
            0.2,
            0.2
          ]
        },
        {
          "name": "Correlate-rule error",
          "values": [
            0.9,
            0.75,
            0.5,
            0.25,
            0.09999999999999998,
            0.050000000000000044
          ]
        }
      ]
    },
    {
      "id": "metadata-dilution",
      "kind": "analytical_curve",
      "caption": "Author-constructed true rare-group prevalence .05, true group errors zero/one, independent symmetric metadata flips. Exact expectations, not finite-sample estimates.",
      "x": {
        "name": "Metadata flip probability eta",
        "values": [
          0,
          0.01,
          0.05,
          0.1,
          0.2,
          0.3,
          0.5
        ]
      },
      "series": [
        {
          "name": "Observed worst-group error",
          "values": [
            1.0,
            0.8389830508474576,
            0.5,
            0.32142857142857145,
            0.1739130434782609,
            0.109375,
            0.05
          ]
        },
        {
          "name": "True worst-group error",
          "values": [
            1.0,
            1.0,
            1.0,
            1.0,
            1.0,
            1.0,
            1.0
          ]
        }
      ]
    }
  ],
  "verification_code_sha256": "2c654ae8b84a159806434cd6e561b0a50e8f3c3fc435fd7d6fd87ef21c439c45",
  "execution_date": "2026-10-28",
  "standalone_no_filesystem_mutation_verified": true
}