{
 "generated_at": "2026-08-07T03:58:42Z",
 "stage": "A: the frontier",
 "stage_detail": "",
 "phase1_done": 148,
 "phase1_total": 148,
 "verified_total": 1127011,
 "in_flight": 39184,
 "rate_per_hour": 0.0,
 "eta_hours": null,
 "tripwires": [
  {
   "id": "T1",
   "ok": true,
   "label_ok": "yes",
   "label_fired": "decayed: campaign stops and reports"
  },
  {
   "id": "T2",
   "ok": true,
   "label_ok": "holding",
   "label_fired": "padding detected: campaign stops and reports"
  },
  {
   "id": "T3",
   "ok": true,
   "label_ok": "yes",
   "label_fired": "anomaly: campaign stops and reports"
  }
 ],
 "per_shard": [
  {
   "shard": 0,
   "growing_pct": 82.3
  },
  {
   "shard": 1,
   "growing_pct": 85.1
  },
  {
   "shard": 2,
   "growing_pct": 82.8
  },
  {
   "shard": 3,
   "growing_pct": 84.5
  },
  {
   "shard": 4,
   "growing_pct": 85.7
  },
  {
   "shard": 5,
   "growing_pct": 84.6
  },
  {
   "shard": 6,
   "growing_pct": 84.4
  },
  {
   "shard": 7,
   "growing_pct": 83.3
  },
  {
   "shard": 8,
   "growing_pct": 85.0
  },
  {
   "shard": 9,
   "growing_pct": 84.4
  },
  {
   "shard": 10,
   "growing_pct": 86.0
  },
  {
   "shard": 11,
   "growing_pct": 85.3
  },
  {
   "shard": 12,
   "growing_pct": 82.5
  },
  {
   "shard": 13,
   "growing_pct": 83.3
  },
  {
   "shard": 14,
   "growing_pct": 85.4
  },
  {
   "shard": 15,
   "growing_pct": 85.6
  },
  {
   "shard": 16,
   "growing_pct": 81.9
  },
  {
   "shard": 17,
   "growing_pct": 83.6
  },
  {
   "shard": 18,
   "growing_pct": 84.3
  },
  {
   "shard": 19,
   "growing_pct": 85.8
  },
  {
   "shard": 20,
   "growing_pct": 84.6
  },
  {
   "shard": 21,
   "growing_pct": 84.6
  },
  {
   "shard": 22,
   "growing_pct": 84.0
  },
  {
   "shard": 23,
   "growing_pct": 85.8
  },
  {
   "shard": 24,
   "growing_pct": 84.7
  },
  {
   "shard": 25,
   "growing_pct": 84.0
  },
  {
   "shard": 26,
   "growing_pct": 82.1
  },
  {
   "shard": 27,
   "growing_pct": 84.3
  },
  {
   "shard": 28,
   "growing_pct": 83.2
  },
  {
   "shard": 29,
   "growing_pct": 84.8
  },
  {
   "shard": 30,
   "growing_pct": 86.5
  },
  {
   "shard": 31,
   "growing_pct": 84.1
  },
  {
   "shard": 32,
   "growing_pct": 86.1
  },
  {
   "shard": 33,
   "growing_pct": 85.8
  },
  {
   "shard": 34,
   "growing_pct": 84.7
  },
  {
   "shard": 35,
   "growing_pct": 86.1
  },
  {
   "shard": 36,
   "growing_pct": 84.3
  },
  {
   "shard": 37,
   "growing_pct": 84.2
  },
  {
   "shard": 38,
   "growing_pct": 86.2
  },
  {
   "shard": 39,
   "growing_pct": 84.8
  },
  {
   "shard": 40,
   "growing_pct": 84.7
  },
  {
   "shard": 41,
   "growing_pct": 84.7
  },
  {
   "shard": 42,
   "growing_pct": 86.2
  },
  {
   "shard": 43,
   "growing_pct": 84.6
  },
  {
   "shard": 44,
   "growing_pct": 84.5
  },
  {
   "shard": 45,
   "growing_pct": 84.6
  },
  {
   "shard": 46,
   "growing_pct": 84.6
  },
  {
   "shard": 47,
   "growing_pct": 84.4
  },
  {
   "shard": 48,
   "growing_pct": 86.3
  },
  {
   "shard": 49,
   "growing_pct": 85.0
  },
  {
   "shard": 50,
   "growing_pct": 87.1
  },
  {
   "shard": 51,
   "growing_pct": 83.7
  },
  {
   "shard": 52,
   "growing_pct": 84.4
  },
  {
   "shard": 53,
   "growing_pct": 83.6
  },
  {
   "shard": 54,
   "growing_pct": 84.7
  },
  {
   "shard": 55,
   "growing_pct": 85.6
  },
  {
   "shard": 56,
   "growing_pct": 83.7
  },
  {
   "shard": 57,
   "growing_pct": 85.5
  },
  {
   "shard": 58,
   "growing_pct": 86.3
  },
  {
   "shard": 59,
   "growing_pct": 83.8
  },
  {
   "shard": 60,
   "growing_pct": 89.6
  },
  {
   "shard": 61,
   "growing_pct": 85.9
  },
  {
   "shard": 62,
   "growing_pct": 84.0
  },
  {
   "shard": 63,
   "growing_pct": 83.9
  },
  {
   "shard": 64,
   "growing_pct": 83.2
  },
  {
   "shard": 65,
   "growing_pct": 84.4
  },
  {
   "shard": 66,
   "growing_pct": 86.5
  },
  {
   "shard": 67,
   "growing_pct": 84.5
  },
  {
   "shard": 68,
   "growing_pct": 85.7
  },
  {
   "shard": 69,
   "growing_pct": 83.8
  },
  {
   "shard": 70,
   "growing_pct": 85.0
  },
  {
   "shard": 71,
   "growing_pct": 86.2
  },
  {
   "shard": 72,
   "growing_pct": 83.5
  },
  {
   "shard": 73,
   "growing_pct": 85.3
  },
  {
   "shard": 74,
   "growing_pct": 84.0
  },
  {
   "shard": 75,
   "growing_pct": 84.4
  },
  {
   "shard": 76,
   "growing_pct": 84.8
  },
  {
   "shard": 77,
   "growing_pct": 84.3
  },
  {
   "shard": 78,
   "growing_pct": 85.7
  },
  {
   "shard": 79,
   "growing_pct": 82.6
  },
  {
   "shard": 80,
   "growing_pct": 81.3
  },
  {
   "shard": 81,
   "growing_pct": 85.3
  },
  {
   "shard": 83,
   "growing_pct": 85.8
  },
  {
   "shard": 84,
   "growing_pct": 80.1
  },
  {
   "shard": 85,
   "growing_pct": 84.9
  },
  {
   "shard": 86,
   "growing_pct": 82.1
  },
  {
   "shard": 87,
   "growing_pct": 88.3
  },
  {
   "shard": 88,
   "growing_pct": 84.8
  },
  {
   "shard": 89,
   "growing_pct": 84.7
  },
  {
   "shard": 90,
   "growing_pct": 84.4
  },
  {
   "shard": 91,
   "growing_pct": 82.7
  },
  {
   "shard": 92,
   "growing_pct": 85.5
  },
  {
   "shard": 93,
   "growing_pct": 86.4
  },
  {
   "shard": 94,
   "growing_pct": 83.7
  },
  {
   "shard": 95,
   "growing_pct": 84.2
  },
  {
   "shard": 96,
   "growing_pct": 85.4
  },
  {
   "shard": 97,
   "growing_pct": 84.1
  },
  {
   "shard": 98,
   "growing_pct": 85.2
  },
  {
   "shard": 99,
   "growing_pct": 83.8
  },
  {
   "shard": 100,
   "growing_pct": 85.2
  },
  {
   "shard": 101,
   "growing_pct": 84.0
  },
  {
   "shard": 102,
   "growing_pct": 86.1
  },
  {
   "shard": 103,
   "growing_pct": 83.6
  },
  {
   "shard": 104,
   "growing_pct": 84.2
  },
  {
   "shard": 105,
   "growing_pct": 84.3
  },
  {
   "shard": 106,
   "growing_pct": 77.5
  },
  {
   "shard": 107,
   "growing_pct": 85.4
  },
  {
   "shard": 108,
   "growing_pct": 85.4
  },
  {
   "shard": 109,
   "growing_pct": 83.0
  },
  {
   "shard": 110,
   "growing_pct": 84.3
  },
  {
   "shard": 111,
   "growing_pct": 84.2
  },
  {
   "shard": 112,
   "growing_pct": 85.5
  },
  {
   "shard": 113,
   "growing_pct": 84.5
  },
  {
   "shard": 114,
   "growing_pct": 85.7
  },
  {
   "shard": 115,
   "growing_pct": 84.7
  },
  {
   "shard": 116,
   "growing_pct": 87.0
  },
  {
   "shard": 117,
   "growing_pct": 83.0
  },
  {
   "shard": 118,
   "growing_pct": 84.7
  },
  {
   "shard": 119,
   "growing_pct": 84.4
  },
  {
   "shard": 120,
   "growing_pct": 84.2
  },
  {
   "shard": 121,
   "growing_pct": 87.5
  },
  {
   "shard": 122,
   "growing_pct": 83.9
  },
  {
   "shard": 123,
   "growing_pct": 85.0
  },
  {
   "shard": 124,
   "growing_pct": 84.2
  },
  {
   "shard": 125,
   "growing_pct": 85.9
  },
  {
   "shard": 126,
   "growing_pct": 85.3
  },
  {
   "shard": 127,
   "growing_pct": 85.5
  },
  {
   "shard": 128,
   "growing_pct": 83.5
  },
  {
   "shard": 129,
   "growing_pct": 83.1
  },
  {
   "shard": 130,
   "growing_pct": 84.8
  },
  {
   "shard": 131,
   "growing_pct": 84.4
  },
  {
   "shard": 132,
   "growing_pct": 82.9
  },
  {
   "shard": 133,
   "growing_pct": 84.4
  },
  {
   "shard": 134,
   "growing_pct": 88.8
  },
  {
   "shard": 135,
   "growing_pct": 84.9
  },
  {
   "shard": 136,
   "growing_pct": 86.1
  },
  {
   "shard": 137,
   "growing_pct": 87.4
  },
  {
   "shard": 138,
   "growing_pct": 85.8
  },
  {
   "shard": 139,
   "growing_pct": 84.4
  },
  {
   "shard": 140,
   "growing_pct": 85.0
  },
  {
   "shard": 141,
   "growing_pct": 83.3
  },
  {
   "shard": 142,
   "growing_pct": 86.4
  },
  {
   "shard": 143,
   "growing_pct": 83.1
  },
  {
   "shard": 144,
   "growing_pct": 84.5
  },
  {
   "shard": 145,
   "growing_pct": 85.2
  },
  {
   "shard": 146,
   "growing_pct": 89.0
  },
  {
   "shard": 147,
   "growing_pct": 84.5
  }
 ],
 "campaign_stop": false,
 "discoveries": {
  "generated": "2026-08-07 03:49:15",
  "banked": 1164927,
  "parent_usage_gen1": 0.6066,
  "items": [
   {
    "name": "qS29_H1_560",
    "kind": "bridge",
    "fanout": 26,
    "conclusion": "\u2200 (v : Fin (8 : Nat) \u2192 Complex) (r : Real) (hr : LT.lt (0 : Real) r) (M : LightLanguage.CPM.MeaningForced.MeaningObject)   (\u03b1 : Type u0) (s : Set \u03b1) (f : \u03b1 \u2192 IndisputableMonolith.Verification.MeaningPeriodicTable.WTokenM"
   },
   {
    "name": "qS29_H1_561",
    "kind": "bridge",
    "fanout": 18,
    "conclusion": "\u2200 (v : Fin (8 : Nat) \u2192 Complex) (r : Real) (hr : LT.lt (0 : Real) r) (M : LightLanguage.CPM.MeaningForced.MeaningObject)   (\u03b1 : Sort u0) (f : \u03b1 \u2192 IndisputableMonolith.Verification.MeaningPeriodicTable.WTokenMode),   Func"
   },
   {
    "name": "qS144_H1_712",
    "kind": "bridge",
    "fanout": 10,
    "conclusion": "\u2200 (inst : DecidableEq LightLanguage.LNAL.LNALOp) (l : List LightLanguage.LNAL.LNALOp) (a d : LightLanguage.LNAL.LNALOp),   Not (LightLanguage.Meaning.IsGaugeOp (List.nextOr l a d)) \u2192     Membership.mem (List.dropLast l) "
   },
   {
    "name": "qS142_H1_1207",
    "kind": "hub",
    "fanout": 69,
    "conclusion": "\u2200 (\u03b1 : Sort u0) (b : Prop) (s : Decidable b) (x y : \u03b1) (b_1 : Bool) (x_1 y_1 : \u03b1),   Eq b (Eq b_1 Bool.true) \u2192     (Eq b_1 Bool.true \u2192 Eq x x_1) \u2192 (Not (Eq b_1 Bool.true) \u2192 Eq y y_1) \u2192 Eq (ite b x y) (bif b_1 then x_1 el"
   },
   {
    "name": "qS113_H1_1254",
    "kind": "hub",
    "fanout": 65,
    "conclusion": "\u2200 (\u03b1 : Sort u0) (b : Bool) (y x : \u03b1), Eq (ite (Not (Eq b Bool.true)) y x) (bif b then x else y)"
   },
   {
    "name": "qS06_H1_234",
    "kind": "hub",
    "fanout": 64,
    "conclusion": "\u2200 (a b c : Prop), Not (Or b c) \u2192 Iff (Or (Or a b) c) (Or a c)"
   }
  ]
 }
}