{
  "ok": true,
  "arbiter": "discover._all_invariants_hold (frozen, real state machine)",
  "mode": "UNSEEDED, full design axis, expanded compound grammar",
  "designs": [
    "naive_pqc_sae",
    "naive_pqc_owe",
    "naive_pqc_pasn",
    "naive_hybrid_akm",
    "naive_pqc_fast_roam",
    "naive_pqc_fragmentation",
    "naive_pqc_pake",
    "naive_pqc_fils",
    "naive_pqc_mlo",
    "naive_pqc_eaptls"
  ],
  "n_designs": 10,
  "kmax": 10,
  "grammar_size": 317,
  "generations": 8,
  "generations_target": 8,
  "total_evaluations": 11200,
  "escapes_total": 0,
  "genuine_finding": false,
  "escape_examples": [],
  "non_vacuous_frac": 1.0,
  "cumulative_coverage": 1.0,
  "cumulative_niches": 100,
  "niches_possible": 100,
  "verifier_crash": null,
  "per_generation": [
    {
      "gen": 0,
      "seed": 20260701,
      "evals": 1400,
      "niches": 100,
      "coverage": 1.0,
      "escapes": 0,
      "non_vacuous": true,
      "cumulative_niches": 100
    },
    {
      "gen": 1,
      "seed": 20260702,
      "evals": 1400,
      "niches": 100,
      "coverage": 1.0,
      "escapes": 0,
      "non_vacuous": true,
      "cumulative_niches": 100
    },
    {
      "gen": 2,
      "seed": 20260703,
      "evals": 1400,
      "niches": 100,
      "coverage": 1.0,
      "escapes": 0,
      "non_vacuous": true,
      "cumulative_niches": 100
    },
    {
      "gen": 3,
      "seed": 20260704,
      "evals": 1400,
      "niches": 100,
      "coverage": 1.0,
      "escapes": 0,
      "non_vacuous": true,
      "cumulative_niches": 100
    },
    {
      "gen": 4,
      "seed": 20260705,
      "evals": 1400,
      "niches": 100,
      "coverage": 1.0,
      "escapes": 0,
      "non_vacuous": true,
      "cumulative_niches": 100
    },
    {
      "gen": 5,
      "seed": 20260706,
      "evals": 1400,
      "niches": 100,
      "coverage": 1.0,
      "escapes": 0,
      "non_vacuous": true,
      "cumulative_niches": 100
    },
    {
      "gen": 6,
      "seed": 20260707,
      "evals": 1400,
      "niches": 100,
      "coverage": 1.0,
      "escapes": 0,
      "non_vacuous": true,
      "cumulative_niches": 100
    },
    {
      "gen": 7,
      "seed": 20260708,
      "evals": 1400,
      "niches": 100,
      "coverage": 1.0,
      "escapes": 0,
      "non_vacuous": true,
      "cumulative_niches": 100
    }
  ],
  "honest_framing": "The MAP-Elites adversary ran fully UNSEEDED over the whole design axis with an EXPANDED compound grammar (deep cross-family composition up to kmax=10), adjudicated solely by the frozen verifier. It found 0 escapes across 8 generations (11200 evaluations), every elite non-vacuous. This is closure over the illuminated niches under a logged budget, NOT an exhaustive proof of no escape. A genuine escape would be written to reports/unseeded_findings.md and flag the crit RED for human review (never auto-added). GLM-5.2/OpenEvolve is an opt-in accelerant."
}