{
  "verdict": {
    "thin001_domain_resolved_init": "supported",
    "hypotheses": {
      "H1": true,
      "H2": true,
      "H3": true,
      "H4": false
    },
    "headline": "At 1.5B time-zero, init-quality spread S=random\u2212focus is 5.81 bits/byte on formal vs 2.43 on prose (ratio 2.39); 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.7403,
      "fvt": 2.8089,
      "random": 7.4799,
      "delta_random": 6.8363,
      "delta_fvt": 2.1653,
      "delta_focus": 2.0966,
      "S": 4.7396,
      "S_ci": [
        4.6322,
        4.8472
      ],
      "G": 0.0686,
      "G_ci": [
        0.0579,
        0.0788
      ],
      "rank_ok": true
    },
    "sci_python": {
      "cls": "FORMAL",
      "base": 0.3417,
      "focus": 3.0649,
      "fvt": 3.1712,
      "random": 7.8283,
      "delta_random": 7.4866,
      "delta_fvt": 2.8295,
      "delta_focus": 2.7232,
      "S": 4.7634,
      "S_ci": [
        4.6418,
        4.8766
      ],
      "G": 0.1063,
      "G_ci": [
        0.0941,
        0.1195
      ],
      "rank_ok": true
    },
    "math_clean": {
      "cls": "FORMAL",
      "base": 1.5651,
      "focus": 2.7019,
      "fvt": 2.7159,
      "random": 10.6312,
      "delta_random": 9.0661,
      "delta_fvt": 1.1509,
      "delta_focus": 1.1369,
      "S": 7.9292,
      "S_ci": [
        7.702,
        8.1595
      ],
      "G": 0.014,
      "G_ci": [
        -0.0003,
        0.0277
      ],
      "rank_ok": true
    },
    "sci_arxiv": {
      "cls": "SCI_PROSE",
      "base": 0.6935,
      "focus": 2.4625,
      "fvt": 2.4753,
      "random": 6.1204,
      "delta_random": 5.427,
      "delta_fvt": 1.7819,
      "delta_focus": 1.769,
      "S": 3.658,
      "S_ci": [
        3.6134,
        3.7069
      ],
      "G": 0.0129,
      "G_ci": [
        -0.0028,
        0.027
      ],
      "rank_ok": true
    },
    "pl_wiki_sci": {
      "cls": "SCI_PROSE",
      "base": 1.093,
      "focus": 2.7274,
      "fvt": 3.131,
      "random": 4.3701,
      "delta_random": 3.2772,
      "delta_fvt": 2.0381,
      "delta_focus": 1.6344,
      "S": 1.6428,
      "S_ci": [
        1.5856,
        1.7058
      ],
      "G": 0.4037,
      "G_ci": [
        0.3906,
        0.4174
      ],
      "rank_ok": true
    },
    "pl_pes": {
      "cls": "SCI_PROSE",
      "base": 1.4071,
      "focus": 2.5278,
      "fvt": 2.8151,
      "random": 4.9149,
      "delta_random": 3.5078,
      "delta_fvt": 1.4081,
      "delta_focus": 1.1207,
      "S": 2.3871,
      "S_ci": [
        2.2748,
        2.5072
      ],
      "G": 0.2873,
      "G_ci": [
        0.2627,
        0.3096
      ],
      "rank_ok": true
    },
    "pl": {
      "cls": "GEN_PROSE",
      "base": 1.2043,
      "focus": 2.543,
      "fvt": 2.9275,
      "random": 4.0875,
      "delta_random": 2.8832,
      "delta_fvt": 1.7232,
      "delta_focus": 1.3388,
      "S": 1.5445,
      "S_ci": [
        1.4594,
        1.66
      ],
      "G": 0.3844,
      "G_ci": [
        0.3626,
        0.4031
      ],
      "rank_ok": true
    },
    "en": {
      "cls": "GEN_PROSE",
      "base": 0.8294,
      "focus": 2.5683,
      "fvt": 2.6351,
      "random": 6.2473,
      "delta_random": 5.4179,
      "delta_fvt": 1.8057,
      "delta_focus": 1.7389,
      "S": 3.679,
      "S_ci": [
        3.5391,
        3.7924
      ],
      "G": 0.0668,
      "G_ci": [
        0.0514,
        0.0793
      ],
      "rank_ok": true
    },
    "pl_informal": {
      "cls": "GEN_PROSE",
      "base": 1.6948,
      "focus": 2.5347,
      "fvt": 2.8999,
      "random": 4.2017,
      "delta_random": 2.5069,
      "delta_fvt": 1.2051,
      "delta_focus": 0.8399,
      "S": 1.667,
      "S_ci": [
        1.5401,
        1.7686
      ],
      "G": 0.3652,
      "G_ci": [
        0.3326,
        0.3902
      ],
      "rank_ok": true
    }
  },
  "H1_formal_damage": {
    "passed": true,
    "bin": ">1.15",
    "detail": {
      "random": {
        "mean_formal": 7.7963,
        "mean_prose": 3.8367,
        "ratio": 2.032
      },
      "fvt": {
        "mean_formal": 2.0486,
        "mean_prose": 1.6604,
        "ratio": 1.234
      }
    }
  },
  "H2_ranking": {
    "passed": true,
    "bin": ">=7/9",
    "n_holds": 9
  },
  "H3_spread_formal": {
    "passed": true,
    "bin": ">1.25",
    "mean_formal_S": 5.8107,
    "mean_prose_S": 2.4297,
    "ratio": 2.392
  },
  "H4_focus_gt_fvt": {
    "passed": false,
    "mean_formal_G": 0.063,
    "mean_prose_G": 0.2534
  }
}