{
  "verdict": {
    "thin001_domain_resolved_init": "supported",
    "hypotheses": {
      "H1": false,
      "H2": true,
      "H3": true,
      "H4": false
    },
    "headline": "At 1.5B time-zero, init-quality spread S=random\u2212focus is 4.97 bits/byte on formal vs 2.53 on prose (ratio 1.96); FOCUS\u2265FVT\u2265random ranking holds 9/9 domains."
  },
  "gates": {
    "G1_scorer_repro": {
      "passed": true,
      "detail": {
        "pl": {
          "e7": 1.2043,
          "e5": 1.2043,
          "d": -4e-05
        },
        "en": {
          "e7": 0.8294,
          "e5": 0.8294,
          "d": 0.0
        },
        "sci_arxiv": {
          "e7": 0.6935,
          "e5": 0.6935,
          "d": -3e-05
        },
        "sci_latex": {
          "e7": 0.6436,
          "e5": 0.6436,
          "d": 4e-05
        },
        "sci_python": {
          "e7": 0.3417,
          "e5": 0.3417,
          "d": 4e-05
        },
        "sci_gsm8k": {
          "e7": 0.0524,
          "e5": 0.0524,
          "d": -4e-05
        },
        "pl_wiki_sci": {
          "e7": 1.093,
          "e5": 1.093,
          "d": -5e-05
        },
        "pl_pes": {
          "e7": 1.4071,
          "e5": 1.4071,
          "d": -3e-05
        },
        "pl_informal": {
          "e7": 1.6948,
          "e5": 1.6948,
          "d": 1e-05
        }
      }
    },
    "G4_overlap_equal": {
      "passed": true,
      "n_overlap": 5972
    }
  },
  "per_domain": {
    "sci_latex": {
      "cls": "FORMAL",
      "base": 0.6436,
      "focus": 2.6454,
      "fvt": 2.7363,
      "random": 7.1187,
      "delta_random": 6.4751,
      "delta_fvt": 2.0927,
      "delta_focus": 2.0018,
      "S": 4.4733,
      "S_ci": [
        4.3617,
        4.5874
      ],
      "G": 0.0909,
      "G_ci": [
        0.082,
        0.1
      ],
      "rank_ok": true
    },
    "sci_python": {
      "cls": "FORMAL",
      "base": 0.3417,
      "focus": 1.9744,
      "fvt": 2.0459,
      "random": 5.5805,
      "delta_random": 5.2388,
      "delta_fvt": 1.7041,
      "delta_focus": 1.6327,
      "S": 3.6061,
      "S_ci": [
        3.5234,
        3.6984
      ],
      "G": 0.0715,
      "G_ci": [
        0.0563,
        0.0861
      ],
      "rank_ok": true
    },
    "math_clean": {
      "cls": "FORMAL",
      "base": 1.5651,
      "focus": 3.5211,
      "fvt": 3.8017,
      "random": 10.3653,
      "delta_random": 8.8003,
      "delta_fvt": 2.2366,
      "delta_focus": 1.956,
      "S": 6.8443,
      "S_ci": [
        6.6981,
        6.9945
      ],
      "G": 0.2806,
      "G_ci": [
        0.2647,
        0.2964
      ],
      "rank_ok": true
    },
    "sci_arxiv": {
      "cls": "SCI_PROSE",
      "base": 0.6935,
      "focus": 3.0633,
      "fvt": 3.1806,
      "random": 6.465,
      "delta_random": 5.7715,
      "delta_fvt": 2.4871,
      "delta_focus": 2.3698,
      "S": 3.4017,
      "S_ci": [
        3.3576,
        3.4463
      ],
      "G": 0.1173,
      "G_ci": [
        0.1061,
        0.1277
      ],
      "rank_ok": true
    },
    "pl_wiki_sci": {
      "cls": "SCI_PROSE",
      "base": 1.093,
      "focus": 3.3444,
      "fvt": 3.6284,
      "random": 5.4243,
      "delta_random": 4.3314,
      "delta_fvt": 2.5355,
      "delta_focus": 2.2515,
      "S": 2.0799,
      "S_ci": [
        2.0399,
        2.1198
      ],
      "G": 0.284,
      "G_ci": [
        0.2732,
        0.2948
      ],
      "rank_ok": true
    },
    "pl_pes": {
      "cls": "SCI_PROSE",
      "base": 1.4071,
      "focus": 3.5075,
      "fvt": 3.8365,
      "random": 5.9227,
      "delta_random": 4.5157,
      "delta_fvt": 2.4294,
      "delta_focus": 2.1004,
      "S": 2.4153,
      "S_ci": [
        2.3295,
        2.5103
      ],
      "G": 0.329,
      "G_ci": [
        0.303,
        0.3535
      ],
      "rank_ok": true
    },
    "pl": {
      "cls": "GEN_PROSE",
      "base": 1.2043,
      "focus": 3.4921,
      "fvt": 3.8115,
      "random": 5.4783,
      "delta_random": 4.2741,
      "delta_fvt": 2.6073,
      "delta_focus": 2.2878,
      "S": 1.9862,
      "S_ci": [
        1.9268,
        2.0638
      ],
      "G": 0.3194,
      "G_ci": [
        0.3074,
        0.3338
      ],
      "rank_ok": true
    },
    "en": {
      "cls": "GEN_PROSE",
      "base": 0.8294,
      "focus": 3.115,
      "fvt": 3.2515,
      "random": 6.6051,
      "delta_random": 5.7757,
      "delta_fvt": 2.4221,
      "delta_focus": 2.2856,
      "S": 3.4901,
      "S_ci": [
        3.418,
        3.5621
      ],
      "G": 0.1365,
      "G_ci": [
        0.1212,
        0.1499
      ],
      "rank_ok": true
    },
    "pl_informal": {
      "cls": "GEN_PROSE",
      "base": 1.6948,
      "focus": 3.803,
      "fvt": 4.2521,
      "random": 5.6395,
      "delta_random": 3.9446,
      "delta_fvt": 2.5573,
      "delta_focus": 2.1081,
      "S": 1.8365,
      "S_ci": [
        1.7701,
        1.9129
      ],
      "G": 0.4492,
      "G_ci": [
        0.4087,
        0.4784
      ],
      "rank_ok": true
    }
  },
  "H1_formal_damage": {
    "passed": false,
    "bin": ">1.15",
    "detail": {
      "random": {
        "mean_formal": 6.8381,
        "mean_prose": 4.7688,
        "ratio": 1.434
      },
      "fvt": {
        "mean_formal": 2.0111,
        "mean_prose": 2.5065,
        "ratio": 0.802
      }
    }
  },
  "H2_ranking": {
    "passed": true,
    "bin": ">=7/9",
    "n_holds": 9
  },
  "H3_spread_formal": {
    "passed": true,
    "bin": ">1.25",
    "mean_formal_S": 4.9746,
    "mean_prose_S": 2.535,
    "ratio": 1.962
  },
  "H4_focus_gt_fvt": {
    "passed": false,
    "mean_formal_G": 0.1477,
    "mean_prose_G": 0.2726
  }
}