Add cpu-upgrade evidence for 1f50506f5c18

evidence/raw/claim_1.json

@@ -0,0 +1,729 @@
+{
+  "alpha_grid": [
+    {
+      "alpha": 0.0,
+      "finite": true,
+      "log10_gamma_one": 4.313884197138987,
+      "m": 5
+    },
+    {
+      "alpha": 0.25,
+      "finite": true,
+      "log10_gamma_one": 5.6515022642973225,
+      "m": 5
+    },
+    {
+      "alpha": 0.5,
+      "finite": true,
+      "log10_gamma_one": 8.326738398613992,
+      "m": 5
+    },
+    {
+      "alpha": 0.75,
+      "finite": true,
+      "log10_gamma_one": 16.352446801564007,
+      "m": 5
+    },
+    {
+      "alpha": 0.9,
+      "finite": true,
+      "log10_gamma_one": 40.42957201041405,
+      "m": 5
+    },
+    {
+      "alpha": 0.99,
+      "finite": true,
+      "log10_gamma_one": 401.5864501431642,
+      "m": 5
+    },
+    {
+      "alpha": 0.0,
+      "finite": true,
+      "log10_gamma_one": 5.171885542816172,
+      "m": 11
+    },
+    {
+      "alpha": 0.25,
+      "finite": true,
+      "log10_gamma_one": 6.795504058533569,
+      "m": 11
+    },
+    {
+      "alpha": 0.5,
+      "finite": true,
+      "log10_gamma_one": 10.042741089968363,
+      "m": 11
+    },
+    {
+      "alpha": 0.75,
+      "finite": true,
+      "log10_gamma_one": 19.784452184272748,
+      "m": 11
+    },
+    {
+      "alpha": 0.9,
+      "finite": true,
+      "log10_gamma_one": 49.00958546718591,
+      "m": 11
+    },
+    {
+      "alpha": 0.99,
+      "finite": true,
+      "log10_gamma_one": 487.38658471088263,
+      "m": 11
+    },
+    {
+      "alpha": 0.0,
+      "finite": true,
+      "log10_gamma_one": 5.837227729538287,
+      "m": 21
+    },
+    {
+      "alpha": 0.25,
+      "finite": true,
+      "log10_gamma_one": 7.682626974163055,
+      "m": 21
+    },
+    {
+      "alpha": 0.5,
+      "finite": true,
+      "log10_gamma_one": 11.373425463412593,
+      "m": 21
+    },
+    {
+      "alpha": 0.75,
+      "finite": true,
+      "log10_gamma_one": 22.445820931161204,
+      "m": 21
+    },
+    {
+      "alpha": 0.9,
+      "finite": true,
+      "log10_gamma_one": 55.66300733440705,
+      "m": 21
+    },
+    {
+      "alpha": 0.99,
+      "finite": true,
+      "log10_gamma_one": 553.920803383094,
+      "m": 21
+    }
+  ],
+  "asymptotic": [
+    {
+      "log2_core": 12.458439672888293,
+      "m": 11,
+      "passes": true,
+      "quarter_m_log2_m": 9.513436951252567
+    },
+    {
+      "log2_core": 18.792330539983986,
+      "m": 13,
+      "passes": true,
+      "quarter_m_log2_m": 12.026429083958549
+    },
+    {
+      "log2_core": 25.707209517986314,
+      "m": 15,
+      "passes": true,
+      "quarter_m_log2_m": 14.650839733531946
+    },
+    {
+      "log2_core": 33.10523833636097,
+      "m": 17,
+      "passes": true,
+      "quarter_m_log2_m": 17.371717075313942
+    },
+    {
+      "log2_core": 40.916879345776586,
+      "m": 19,
+      "passes": true,
+      "quarter_m_log2_m": 20.17765568885703
+    },
+    {
+      "log2_core": 49.09013928996028,
+      "m": 21,
+      "passes": true,
+      "quarter_m_log2_m": 23.059666469588493
+    },
+    {
+      "log2_core": 57.58466107996799,
+      "m": 23,
+      "passes": true,
+      "quarter_m_log2_m": 26.010481247327824
+    },
+    {
+      "log2_core": 66.36820471046335,
+      "m": 25,
+      "passes": true,
+      "quarter_m_log2_m": 29.02410118609203
+    },
+    {
+      "log2_core": 75.41441903597263,
+      "m": 27,
+      "passes": true,
+      "quarter_m_log2_m": 32.09549063960341
+    },
+    {
+      "log2_core": 84.70136160855533,
+      "m": 29,
+      "passes": true,
+      "quarter_m_log2_m": 35.22036221467489
+    },
+    {
+      "log2_core": 94.21047667272192,
+      "m": 31,
+      "passes": true,
+      "quarter_m_log2_m": 38.395021405498284
+    },
+    {
+      "log2_core": 103.92586664158667,
+      "m": 33,
+      "passes": true,
+      "quarter_m_log2_m": 41.61625148470724
+    },
+    {
+      "log2_core": 113.83375869155317,
+      "m": 35,
+      "passes": true,
+      "quarter_m_log2_m": 44.88122639826845
+    },
+    {
+      "log2_core": 123.92210521228678,
+      "m": 37,
+      "passes": true,
+      "quarter_m_log2_m": 48.18744363206779
+    },
+    {
+      "log2_core": 134.18027857992055,
+      "m": 39,
+      "passes": true,
+      "quarter_m_log2_m": 51.53267163390692
+    },
+    {
+      "log2_core": 144.59883395707564,
+      "m": 41,
+      "passes": true,
+      "quarter_m_log2_m": 54.91490804733536
+    },
+    {
+      "log2_core": 155.16932215993597,
+      "m": 43,
+      "passes": true,
+      "quarter_m_log2_m": 58.33234611304755
+    },
+    {
+      "log2_core": 165.8841400393715,
+      "m": 45,
+      "passes": true,
+      "quarter_m_log2_m": 61.78334733370884
+    },
+    {
+      "log2_core": 176.73640942092672,
+      "m": 47,
+      "passes": true,
+      "quarter_m_log2_m": 65.26641900721224
+    },
+    {
+      "log2_core": 187.71987809773032,
+      "m": 49,
+      "passes": true,
+      "quarter_m_log2_m": 68.7801955904113
+    },
+    {
+      "log2_core": 198.82883807194523,
+      "m": 51,
+      "passes": true,
+      "quarter_m_log2_m": 72.32342311013656
+    },
+    {
+      "log2_core": 210.05805744428807,
+      "m": 53,
+      "passes": true,
+      "quarter_m_log2_m": 75.89494602296239
+    },
+    {
+      "log2_core": 221.4027232171107,
+      "m": 55,
+      "passes": true,
+      "quarter_m_log2_m": 79.49369606096407
+    },
+    {
+      "log2_core": 232.85839290882325,
+      "m": 57,
+      "passes": true,
+      "quarter_m_log2_m": 83.11868270184756
+    },
+    {
+      "log2_core": 244.42095334544382,
+      "m": 59,
+      "passes": true,
+      "quarter_m_log2_m": 86.76898497808716
+    },
+    {
+      "log2_core": 256.0865853458393,
+      "m": 61,
+      "passes": true,
+      "quarter_m_log2_m": 90.44374439783402
+    },
+    {
+      "log2_core": 267.85173328317336,
+      "m": 63,
+      "passes": true,
+      "quarter_m_log2_m": 94.14215879512369
+    },
+    {
+      "log2_core": 279.7130787088705,
+      "m": 65,
+      "passes": true,
+      "quarter_m_log2_m": 97.86347696171238
+    },
+    {
+      "log2_core": 291.6675173831063,
+      "m": 67,
+      "passes": true,
+      "quarter_m_log2_m": 101.60699394016768
+    },
+    {
+      "log2_core": 303.7121391789864,
+      "m": 69,
+      "passes": true,
+      "quarter_m_log2_m": 105.37204687942342
+    },
+    {
+      "log2_core": 315.84421042457353,
+      "m": 71,
+      "passes": true,
+      "quarter_m_log2_m": 109.1580113712081
+    },
+    {
+      "log2_core": 328.06115832392027,
+      "m": 73,
+      "passes": true,
+      "quarter_m_log2_m": 112.96429819956032
+    },
+    {
+      "log2_core": 340.36055715984105,
+      "m": 75,
+      "passes": true,
+      "quarter_m_log2_m": 116.79035044679776
+    },
+    {
+      "log2_core": 352.74011603075905,
+      "m": 77,
+      "passes": true,
+      "quarter_m_log2_m": 120.63564090837684
+    },
+    {
+      "log2_core": 365.1976679141512,
+      "m": 79,
+      "passes": true,
+      "quarter_m_log2_m": 124.49966977649778
+    },
+    {
+      "log2_core": 377.7311598819162,
+      "m": 81,
+      "passes": true,
+      "quarter_m_log2_m": 128.38196255841365
+    },
+    {
+      "log2_core": 390.33864431987195,
+      "m": 83,
+      "passes": true,
+      "quarter_m_log2_m": 132.2820682004487
+    },
+    {
+      "log2_core": 403.01827102578784,
+      "m": 85,
+      "passes": true,
+      "quarter_m_log2_m": 136.19955739292615
+    },
+    {
+      "log2_core": 415.76828007874303,
+      "m": 87,
+      "passes": true,
+      "quarter_m_log2_m": 140.13402103470983
+    },
+    {
+      "log2_core": 428.5869953879295,
+      "m": 89,
+      "passes": true,
+      "quarter_m_log2_m": 144.08506883900236
+    },
+    {
+      "log2_core": 441.47281884185344,
+      "m": 91,
+      "passes": true,
+      "quarter_m_log2_m": 148.05232806452034
+    },
+    {
+      "log2_core": 454.4242249896641,
+      "m": 93,
+      "passes": true,
+      "quarter_m_log2_m": 152.03544235826172
+    },
+    {
+      "log2_core": 467.43975619546063,
+      "m": 95,
+      "passes": true,
+      "quarter_m_log2_m": 156.03407069786002
+    },
+    {
+      "log2_core": 480.51801821413534,
+      "m": 97,
+      "passes": true,
+      "quarter_m_log2_m": 160.04788642303785
+    },
+    {
+      "log2_core": 493.65767614389046,
+      "m": 99,
+      "passes": true,
+      "quarter_m_log2_m": 164.07657634697034
+    },
+    {
+      "log2_core": 506.857450716172,
+      "m": 101,
+      "passes": true,
+      "quarter_m_log2_m": 168.1198399394828
+    }
+  ],
+  "claim": 1,
+  "gates": {
+    "all_structural_checks_pass": true,
+    "alpha_domain_certificate_finite": true,
+    "asymptotic_certificate_passes": true,
+    "direct_trajectories_have_no_shortcuts": true,
+    "direct_trajectories_stay_non_nash": true,
+    "direct_trajectories_survive_full_budget": true,
+    "negative_controls_activate": true
+  },
+  "limitations": "Finite right-censored numerical audit of a theorem, not a proof replacement. Both m=5 trajectories remain non-Nash through 2,000,000 updates; the universal regularizer quantifier is audited through the proof certificate plus two canonical FTRL regularizers.",
+  "negative_controls": {
+    "alpha_one_rejected": true,
+    "even_m_rejected": true,
+    "non_permutation_initialization_differs": true
+  },
+  "result_sha256": "55c94bd08adb809b85617bd7a2e2bb973ed1509391ac7200b1f1e47ed58a9eb8",
+  "runtime_seconds": 225.03165634302422,
+  "source_pdf_sha256": "9c43d01c6c7b13230dd89d9744aaf7802c197bdc478ba0045883c0b96edd8218",
+  "status": "VERIFIED",
+  "structural": [
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 5,
+      "matrix_sha256": "64c34943af681e8fb23b913f016955f05c8f3b48fd8266a41901edd00a66ab42",
+      "max_entry": 9,
+      "odd_column_shift": true,
+      "period_count": 7,
+      "period_labels": [
+        3,
+        9
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 7,
+      "matrix_sha256": "bfde8d870b91a7b586ed1f800a6190d84ad3c7f5fe55f1087853f544d0a85175",
+      "max_entry": 13,
+      "odd_column_shift": true,
+      "period_count": 11,
+      "period_labels": [
+        3,
+        13
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 9,
+      "matrix_sha256": "00d60a5c2f07b36ba4180ee88420d23e9943374e5ba9b4c5567c6e205a2a5d54",
+      "max_entry": 17,
+      "odd_column_shift": true,
+      "period_count": 15,
+      "period_labels": [
+        3,
+        17
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 11,
+      "matrix_sha256": "4fe2312a7b45ee23c3d7c00e1d203f544123531e9313489d47a697a915e95288",
+      "max_entry": 21,
+      "odd_column_shift": true,
+      "period_count": 19,
+      "period_labels": [
+        3,
+        21
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 13,
+      "matrix_sha256": "026fcae2763b627effea9123dc4888a9f99f5d6e2852348b73c81290607e1e6c",
+      "max_entry": 25,
+      "odd_column_shift": true,
+      "period_count": 23,
+      "period_labels": [
+        3,
+        25
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 15,
+      "matrix_sha256": "4a2d7e36087e90e1c0b51cebd46828c55c42b00c4eb9d714ca51b8fdd0f252c2",
+      "max_entry": 29,
+      "odd_column_shift": true,
+      "period_count": 27,
+      "period_labels": [
+        3,
+        29
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 17,
+      "matrix_sha256": "1fbe76ca9b80b7ca8bc572e1dbe002c54777455e200739d0399b68f94cfbdfab",
+      "max_entry": 33,
+      "odd_column_shift": true,
+      "period_count": 31,
+      "period_labels": [
+        3,
+        33
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 19,
+      "matrix_sha256": "4037b114be6f471221d1ffb569fe5e46c2dcb3e81c63c5ed8af13148fdd1198a",
+      "max_entry": 37,
+      "odd_column_shift": true,
+      "period_count": 35,
+      "period_labels": [
+        3,
+        37
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 21,
+      "matrix_sha256": "c98534adf4573aa23a7bb854204b980c132c3a1d8acdda7b2555edfe673bee7f",
+      "max_entry": 41,
+      "odd_column_shift": true,
+      "period_count": 39,
+      "period_labels": [
+        3,
+        41
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 23,
+      "matrix_sha256": "fb1b9015aec30f727588448aecb70af76e23a9a3ff435d2829314b8691683b9f",
+      "max_entry": 45,
+      "odd_column_shift": true,
+      "period_count": 43,
+      "period_labels": [
+        3,
+        45
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 25,
+      "matrix_sha256": "a4ab1b74ecd50ca71ba0ab0c887b8ccb7864dd02b633f416c67d82ebfd0ec800",
+      "max_entry": 49,
+      "odd_column_shift": true,
+      "period_count": 47,
+      "period_labels": [
+        3,
+        49
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 27,
+      "matrix_sha256": "153aac373a33dbbc1f89a01a241086491610951cf31c68d60159a0f38a2a6b35",
+      "max_entry": 53,
+      "odd_column_shift": true,
+      "period_count": 51,
+      "period_labels": [
+        3,
+        53
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 29,
+      "matrix_sha256": "c02476a8e7ed9f1e87cca89457e99d0e590394fa3b3e81ef6597a82013671dab",
+      "max_entry": 57,
+      "odd_column_shift": true,
+      "period_count": 55,
+      "period_labels": [
+        3,
+        57
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 31,
+      "matrix_sha256": "ee79dd31121b747bb69c4419e7c6fb47d254ca8f8b42028b62494836f61f4a21",
+      "max_entry": 61,
+      "odd_column_shift": true,
+      "period_count": 59,
+      "period_labels": [
+        3,
+        61
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 33,
+      "matrix_sha256": "36b3b59495cca1a8baa512f40370f3ef8256307d075c15ee65e3e0f00689c8fe",
+      "max_entry": 65,
+      "odd_column_shift": true,
+      "period_count": 63,
+      "period_labels": [
+        3,
+        65
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 35,
+      "matrix_sha256": "b1f3146d3ba5b3629b83ac2fc49f0e4bc4a922042f1ea060337f883cd4254324",
+      "max_entry": 69,
+      "odd_column_shift": true,
+      "period_count": 67,
+      "period_labels": [
+        3,
+        69
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 37,
+      "matrix_sha256": "64e4d7c875dcaf99c4c3d61868f43ca53196c5f2f765e926d8e1546dfd25411b",
+      "max_entry": 73,
+      "odd_column_shift": true,
+      "period_count": 71,
+      "period_labels": [
+        3,
+        73
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 39,
+      "matrix_sha256": "25dd22866e6751fad15333ad404dfe32ad39d22b8607450560202043a29623a4",
+      "max_entry": 77,
+      "odd_column_shift": true,
+      "period_count": 75,
+      "period_labels": [
+        3,
+        77
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 41,
+      "matrix_sha256": "d3d7f688f7b6ce057f38ad4f2abc71c35c4910e66199963ced4b598f9025d7e7",
+      "max_entry": 81,
+      "odd_column_shift": true,
+      "period_count": 79,
+      "period_labels": [
+        3,
+        81
+      ],
+      "positive_entries_exact": true
+    }
+  ],
+  "trajectories": [
+    {
+      "alpha": 0.0,
+      "epsilon": 0.025,
+      "gamma": 103005,
+      "gamma_one": 20601,
+      "last_period": 6,
+      "m": 5,
+      "minimum_preterminal_nash_gap": 0.1824255238063568,
+      "no_shortcuts": true,
+      "period_boundaries": {
+        "3": 1,
+        "4": 2,
+        "5": 103007,
+        "6": 515037
+      },
+      "reached_target_period": false,
+      "regularizer": "entropy",
+      "regularizer_range": 1.6094379124341003,
+      "right_censored": true,
+      "rounds": 2000001,
+      "shortcut_failures": [],
+      "target_period": 9,
+      "transition_count": 3
+    },
+    {
+      "alpha": 0.0,
+      "epsilon": 0.025,
+      "gamma": 25605,
+      "gamma_one": 5121,
+      "last_period": 7,
+      "m": 5,
+      "minimum_preterminal_nash_gap": 0.25,
+      "no_shortcuts": true,
+      "period_boundaries": {
+        "3": 1,
+        "4": 2,
+        "5": 25609,
+        "6": 128039,
+        "7": 742622
+      },
+      "reached_target_period": false,
+      "regularizer": "euclidean",
+      "regularizer_range": 0.4,
+      "right_censored": true,
+      "rounds": 2000001,
+      "shortcut_failures": [],
+      "target_period": 9,
+      "transition_count": 4
+    }
+  ]
+}

evidence/raw/claim_2.json

@@ -0,0 +1,1080 @@
+{
+  "claim": 2,
+  "gates": {
+    "all_factorial_recurrence_checks_pass": true,
+    "all_generated_paths_are_induced": true,
+    "all_recurrence_sequences_dominate_factorials": true,
+    "generated_lengths_show_exponential_trend": true,
+    "negative_control_activates": true,
+    "paper_figure_path_is_induced": true
+  },
+  "limitations": "The exponential snake-existence lemma is cited by the paper; this audit independently checks finite induced paths and the full game/recurrence mechanism, not the asymptotic combinatorics proof.",
+  "log2_length_vs_n_slope": 0.7649105649857733,
+  "negative_controls": {
+    "gray_code_has_shortcut": true
+  },
+  "result_sha256": "e8f2d32160fb43829919a63d9cdaf5602e45fec015aec9f6aa4fb8391178f8e8",
+  "runtime_seconds": 11.333668414037675,
+  "search": {
+    "restarts_per_dimension": 4096,
+    "strategy": "uniform random feasible continuation"
+  },
+  "seed": 17353,
+  "snakes": [
+    {
+      "dwell_times": [
+        1,
+        1,
+        3,
+        11,
+        47,
+        246,
+        1522,
+        10891
+      ],
+      "factorial_lower_bound_passes": true,
+      "factorial_recurrence_passes": true,
+      "fraction_of_cube": 0.5,
+      "induced": true,
+      "length": 8,
+      "log10_factorial_iteration_lower_bound": 3.702430536445525,
+      "n": 4,
+      "path": [
+        0,
+        8,
+        12,
+        14,
+        6,
+        7,
+        3,
+        11
+      ],
+      "terminal_dwell_time": 10891
+    },
+    {
+      "dwell_times": [
+        1,
+        1,
+        3,
+        11,
+        47,
+        246,
+        1522,
+        10891,
+        88605,
+        808091,
+        8167985,
+        90644982,
+        1095818866,
+        14335480321
+      ],
+      "factorial_lower_bound_passes": true,
+      "factorial_recurrence_passes": true,
+      "fraction_of_cube": 0.4375,
+      "induced": true,
+      "length": 14,
+      "log10_factorial_iteration_lower_bound": 9.794280316389479,
+      "n": 5,
+      "path": [
+        0,
+        16,
+        18,
+        26,
+        27,
+        11,
+        3,
+        7,
+        23,
+        21,
+        29,
+        13,
+        12,
+        14
+      ],
+      "terminal_dwell_time": 14335480321
+    },
+    {
+      "dwell_times": [
+        1,
+        1,
+        3,
+        11,
+        47,
+        246,
+        1522,
+        10891,
+        88605,
+        808091,
+        8167985,
+        90644982,
+        1095818866,
+        14335480321,
+        201784362603,
+        3041010172709,
+        48856850395487,
+        833593122323316,
+        15053331168013564,
+        286843843107838855,
+        5751881320933253037,
+        121075517772158485565,
+        2669398215717619835975,
+        61516947583302283250580,
+        1479070387447708913306236,
+        37038155542315719586030801
+      ],
+      "factorial_lower_bound_passes": true,
+      "factorial_recurrence_passes": true,
+      "fraction_of_cube": 0.40625,
+      "induced": true,
+      "length": 26,
+      "log10_factorial_iteration_lower_bound": 25.19064567883507,
+      "n": 6,
+      "path": [
+        0,
+        2,
+        18,
+        26,
+        58,
+        42,
+        46,
+        14,
+        12,
+        28,
+        20,
+        52,
+        48,
+        49,
+        51,
+        35,
+        39,
+        7,
+        23,
+        31,
+        63,
+        61,
+        45,
+        41,
+        9,
+        25
+      ],
+      "terminal_dwell_time": 37038155542315719586030801
+    },
+    {
+      "dwell_times": [
+        1,
+        1,
+        3,
+        11,
+        47,
+        246,
+        1522,
+        10891,
+        88605,
+        808091,
+        8167985,
+        90644982,
+        1095818866,
+        14335480321,
+        201784362603,
+        3041010172709,
+        48856850395487,
+        833593122323316,
+        15053331168013564,
+        286843843107838855,
+        5751881320933253037,
+        121075517772158485565,
+        2669398215717619835975,
+        61516947583302283250580,
+        1479070387447708913306236,
+        37038155542315719586030801,
+        964468444786602192027418563,
+        26077624641777385830035685239,
+        731136479217018891646576027157,
+        21228998480982934807557494481630,
+        637600126375940425206801432450370,
+        19786806836966976953009407463572639,
+        633814687734255516126357006043571277,
+        20935650272065800791773812291781741079,
+        712445286310762821102433388373128245061,
+        24956500883583670223319616865357521469502,
+        899145843258646897657794792675336452616082,
+        33293331765143631350152303447945059587040781,
+        1266045040452983146878699534331563778983589311,
+        49409024952276318919394083319864565726328691969,
+        1977626143964071887531655837607726108392900565795,
+        81132047633413402236850519990215308631851110186140,
+        3409522360676595301357430978093575964282722371799780,
+        146690544146777200438940396559102400327339109365187851,
+        6457791487158510526076029414534498299733833079994099145
+      ],
+      "factorial_lower_bound_passes": true,
+      "factorial_recurrence_passes": true,
+      "fraction_of_cube": 0.3515625,
+      "induced": true,
+      "length": 45,
+      "log10_factorial_iteration_lower_bound": 54.424599347339274,
+      "n": 7,
+      "path": [
+        0,
+        2,
+        66,
+        98,
+        99,
+        107,
+        75,
+        73,
+        65,
+        81,
+        83,
+        87,
+        23,
+        7,
+        15,
+        13,
+        29,
+        28,
+        20,
+        84,
+        68,
+        76,
+        78,
+        94,
+        90,
+        26,
+        27,
+        59,
+        63,
+        127,
+        125,
+        117,
+        53,
+        37,
+        33,
+        41,
+        40,
+        44,
+        46,
+        38,
+        54,
+        50,
+        48,
+        112,
+        120
+      ],
+      "terminal_dwell_time": 6457791487158510526076029414534498299733833079994099145
+    },
+    {
+      "dwell_times": [
+        1,
+        1,
+        3,
+        11,
+        47,
+        246,
+        1522,
+        10891,
+        88605,
+        808091,
+        8167985,
+        90644982,
+        1095818866,
+        14335480321,
+        201784362603,
+        3041010172709,
+        48856850395487,
+        833593122323316,
+        15053331168013564,
+        286843843107838855,
+        5751881320933253037,
+        121075517772158485565,
+        2669398215717619835975,
+        61516947583302283250580,
+        1479070387447708913306236,
+        37038155542315719586030801,
+        964468444786602192027418563,
+        26077624641777385830035685239,
+        731136479217018891646576027157,
+        21228998480982934807557494481630,
+        637600126375940425206801432450370,
+        19786806836966976953009407463572639,
+        633814687734255516126357006043571277,
+        20935650272065800791773812291781741079,
+        712445286310762821102433388373128245061,
+        24956500883583670223319616865357521469502,
+        899145843258646897657794792675336452616082,
+        33293331765143631350152303447945059587040781,
+        1266045040452983146878699534331563778983589311,
+        49409024952276318919394083319864565726328691969,
+        1977626143964071887531655837607726108392900565795,
+        81132047633413402236850519990215308631851110186140,
+        3409522360676595301357430978093575964282722371799780,
+        146690544146777200438940396559102400327339109365187851,
+        6457791487158510526076029414534498299733833079994099145,
+        290747226332931827804326731444185939315409570379287479057,
+        13380826793228951673462751356674185105293532712522411962979,
+        629189459815521143100997609887527358176881409274086404212132,
+        30214468440063594943485396824728759448901898793332523127536764,
+        1481137852272212605652616150215346309871633689180936268867352317,
+        74087093701073715341315798401330560989020972916577587526338980503,
+        3779922287410963819535431376625752713404829873703114243961320328155,
+        196630015824305393488564898771257129323032489565496508927476651528865,
+        10425169279824066210743309250016310612398304659659804427891999610854638,
+        563155697038587305296278885593274843767937637733291763035279823090517954,
+        30983984726448980806339786825109565623653587110119062830242464163716317395,
+        1735666103746653678984120406704674751099802389084752289308433263145759563289,
+        98963941473040829113088704431481358557403909369102803034982259673471060208947,
+        5741643708380562150760026227064345145433990714480606186523951082328536947778265,
+        338855911751740994194249556103417240043026871780332234631861752317867034604694406,
+        20337094613136110735191760322155130753053903928621824238092397839485571513860548634,
+        1240901528348539237515510743929955032126648571308860723853069758708030544025124717481,
+        76956226110547302485636625646684235318086899717298047312086659491171850270534357587363,
+        4849482807635149609391652036785141494946193394418055923552196408586917164239555391466125,
+        310443835577564777417482329711799800963674493512657581544440631941030912853364110920866311,
+        20183697554441974926190196205484455362253882409127070400523690590972265861050665748257609348,
+        1332434405472177099272665195921861934218274596265121724541215095604708399269361987835438791180,
+        89293284014686818095614260111947730894098998686864380519133555719940415719732646328072647894495,
+        6073275436959078640770078490959789565247561183523572386600113215284269822269526383408552967325749,
+        419145278250415340429179284196539004138915378924508742053509141749393284563832069140012707044044949,
+        29346241420526699714856613299335680916814630900487971735233072562941091735946598798253947788511240207,
+        2084002196842046707589614189558660110331636570858433468092833273535705792464566039151026726974065473268
+      ],
+      "factorial_lower_bound_passes": true,
+      "factorial_recurrence_passes": true,
+      "fraction_of_cube": 0.28125,
+      "induced": true,
+      "length": 72,
+      "log10_factorial_iteration_lower_bound": 101.92966338439903,
+      "n": 8,
+      "path": [
+        0,
+        128,
+        129,
+        131,
+        163,
+        171,
+        175,
+        47,
+        111,
+        103,
+        119,
+        55,
+        23,
+        151,
+        159,
+        155,
+        153,
+        152,
+        24,
+        88,
+        92,
+        93,
+        95,
+        91,
+        75,
+        203,
+        201,
+        200,
+        232,
+        236,
+        108,
+        44,
+        40,
+        42,
+        58,
+        62,
+        30,
+        14,
+        142,
+        140,
+        141,
+        13,
+        5,
+        69,
+        197,
+        199,
+        198,
+        70,
+        66,
+        98,
+        114,
+        242,
+        210,
+        218,
+        222,
+        254,
+        255,
+        251,
+        249,
+        241,
+        209,
+        81,
+        17,
+        49,
+        57,
+        61,
+        189,
+        181,
+        165,
+        164,
+        166,
+        182
+      ],
+      "terminal_dwell_time": 2084002196842046707589614189558660110331636570858433468092833273535705792464566039151026726974065473268
+    },
+    {
+      "dwell_times": [
+        1,
+        1,
+        3,
+        11,
+        47,
+        246,
+        1522,
+        10891,
+        88605,
+        808091,
+        8167985,
+        90644982,
+        1095818866,
+        14335480321,
+        201784362603,
+        3041010172709,
+        48856850395487,
+        833593122323316,
+        15053331168013564,
+        286843843107838855,
+        5751881320933253037,
+        121075517772158485565,
+        2669398215717619835975,
+        61516947583302283250580,
+        1479070387447708913306236,
+        37038155542315719586030801,
+        964468444786602192027418563,
+        26077624641777385830035685239,
+        731136479217018891646576027157,
+        21228998480982934807557494481630,
+        637600126375940425206801432450370,
+        19786806836966976953009407463572639,
+        633814687734255516126357006043571277,
+        20935650272065800791773812291781741079,
+        712445286310762821102433388373128245061,
+        24956500883583670223319616865357521469502,
+        899145843258646897657794792675336452616082,
+        33293331765143631350152303447945059587040781,
+        1266045040452983146878699534331563778983589311,
+        49409024952276318919394083319864565726328691969,
+        1977626143964071887531655837607726108392900565795,
+        81132047633413402236850519990215308631851110186140,
+        3409522360676595301357430978093575964282722371799780,
+        146690544146777200438940396559102400327339109365187851,
+        6457791487158510526076029414534498299733833079994099145,
+        290747226332931827804326731444185939315409570379287479057,
+        13380826793228951673462751356674185105293532712522411962979,
+        629189459815521143100997609887527358176881409274086404212132,
+        30214468440063594943485396824728759448901898793332523127536764,
+        1481137852272212605652616150215346309871633689180936268867352317,
+        74087093701073715341315798401330560989020972916577587526338980503,
+        3779922287410963819535431376625752713404829873703114243961320328155,
+        196630015824305393488564898771257129323032489565496508927476651528865,
+        10425169279824066210743309250016310612398304659659804427891999610854638,
+        563155697038587305296278885593274843767937637733291763035279823090517954,
+        30983984726448980806339786825109565623653587110119062830242464163716317395,
+        1735666103746653678984120406704674751099802389084752289308433263145759563289,
+        98963941473040829113088704431481358557403909369102803034982259673471060208947,
+        5741643708380562150760026227064345145433990714480606186523951082328536947778265,
+        338855911751740994194249556103417240043026871780332234631861752317867034604694406,
+        20337094613136110735191760322155130753053903928621824238092397839485571513860548634,
+        1240901528348539237515510743929955032126648571308860723853069758708030544025124717481,
+        76956226110547302485636625646684235318086899717298047312086659491171850270534357587363,
+        4849482807635149609391652036785141494946193394418055923552196408586917164239555391466125,
+        310443835577564777417482329711799800963674493512657581544440631941030912853364110920866311,
+        20183697554441974926190196205484455362253882409127070400523690590972265861050665748257609348,
+        1332434405472177099272665195921861934218274596265121724541215095604708399269361987835438791180,
+        89293284014686818095614260111947730894098998686864380519133555719940415719732646328072647894495,
+        6073275436959078640770078490959789565247561183523572386600113215284269822269526383408552967325749,
+        419145278250415340429179284196539004138915378924508742053509141749393284563832069140012707044044949,
+        29346241420526699714856613299335680916814630900487971735233072562941091735946598798253947788511240207,
+        2084002196842046707589614189558660110331636570858433468092833273535705792464566039151026726974065473268,
+        150077498340751953538497019001334323204762878180348638499243451880775576529509500075300336125203279931644,
+        10957740961925103466120746326910897095049612925822946832588738477607293344995514784715593034747683939148249,
+        811022879334466341381904719474063658688952031554311075338244920503906627605933936693134379120820886471745403,
+        60837671607038539922588290156328504790233678445072893941284465272602603177343456696073116496694737337515279887,
+        4624473914936339849132475544016808059365093637482608468104624757857672176819943870579332453965680764347052449821,
+        356145318163934473355379011615611872453927649119293556745551952062067414006653987989373594002593388242461008975838,
+        27783958479676832147098928751529380482510476803621114611680927024692184324183651266017295981490672750676671870254178,
+        2195288804374809875351976076929606287127016867314263294452233182762769564655735088760036314151083883664689263252643415,
+        175650883683979441961528113455586384268623918584469156267459263335127231461398425435191687171750112779187430847493204693,
+        14229916511060569309869104118338726980006203131124363589478950273437961280901161288008624318751647416206187723277774863839,
+        1167028777006630523215641624831367306248586345558420355736187197154378632423138578177799202098968207268958532430506236988957,
+        96877616212767903476414595542187185541391493284919983975765078957931526475455909388064244843552999732085238678746700678984814,
+        8138886614998266006277317162544435293822382821721084242298850429597927222122075099903995591411541500721942794664838551837829890,
+        691902225661120722524054145413178076754450088210505002845534708639040729054249303316147383823559213697588460417259107246383932341,
+        59511729126440379958101465895396274278102352636036337263898534375785756573256311536472319827838105792300142269032971729557117330519,
+        5178212239348180089626588901194130914038107756196375535782562634803116692297193810675393631763939074553140273294146794615525977127497,
+        455742180652865265449493146289997592940039519249855629666707962840022865127409103859514821978175639144522610000961887975924441820552059,
+        40566231598440949705154010338985243028589563720540247684455386144854535112693535766138186227249952173869320006113922845159318568437479404,
+        3651416526528511153056023231045138532550790347868143272677090615380815613977321307023522432781521341824080408463762657866104437821276958900,
+        332319464967472479569367453569570852087476891441150797564953122600068485383498221112728615131641490713763392868637702211397708145154580204611,
+        30577041737791115838302240636792860676422415169162158791993032242705440133349514179032296831958343679808305292986667579882119624895697183042513,
+        2843997160513249435033175012568757108386631027129799634706395011217565958602260739596022879652158250501380406681580165240703143800996740596750857,
+        267366306478561473048001738901309725961754090709056042819063080807003250539910129043590956094351050279125326732397763614353119973996006658371201419,
+        25402642780303927240209481707183657311159191887195404717578187480788676611312221474067738173488842866840766608493261568304208465143266442952178477700,
+        2438921042638572811468918761729471786413133144824277088337165808695612511435161396000140223919646555273010678330303441599006518922096480144939213407292,
+        236600740934721013677437809735679593592001628233548013877907024333969036173805088553207045195470355389371376017424242677598041183378183647433229267201701,
+        23189311265278655422263914354539315948378808084825414704052316861372398307796876441379095828123494056540730404573924584503394473438401415385336329330532143,
+        2295978390600847914418737667589845077444697468102274255104817099692659197769197253262765514857785952763545933429341283064240311840831338827887643332822312403,
+        229621025932426152544775116865790850370738252598968616345434742974294831770498708042467357595738334686214730941668748610469662134888147517453834812297747488073,
+        23194019360964631078659252824876108242868511107591478594725592977713090517077136485554889921296914977105127960874481846244520664680271589796149178274723381887150,
+        2366019572654987857981883302884224610046787980941216951080722197175332702842064407520262788224425596823801052802864297909680211909131815157116443347433800532354850,
+        243723207706843858805531922672142445937983408481575545244628058028958509994770932908143706553972273020606462449310287952666455963145505421805477424475391578740749547,
+        25349579391463151305599140216618845602596747701207663026876845194584976235688216794919802052097722490977512855889132026430832226610008865552502472057327013743234724289,
+        2661949536117294941579537973023325999704493949797765917766453643912948050005166315226902203593637546340251255263789065070913407870828490622145548859990335827664249194843,
+        282191998041802834894491022415104022066351346001485338359652435603340097587440125607908494263771078979083153300903468733951945483869169024843337130814895791015522887617745,
+        30197205496285580981134004352811904578240150015173760556044734726603777953549441651607337294020756420286587011016319593854129174453557132889685837922580190251655957918555510,
+        3261580360247281731350752032571633611091509233722526126730472078080267120585139503759781203157285193080871126334520343796306372125931574907402614032432823706919397204154294986,
+        355542453810498068733042636106565709934312351277001653199901940962542880337894204604058217978305365782707700679734178395621346524451300447946594589336166508438272944885023160689,
+        39112931217322790687675682783280636541476404828559782523085681619946545707752522201110840171533528313751290952825809107209345109214381481761817834020401609467555572307717044261531,
+        4341890877379409172399447880785341173764918266333150808446906420993010745499655081333431728252354838007379636104415393783488195360765518770769933624291004549705714916972428310225781,
+        486330887936128102304502836839859099736176139498488755799087060242087505384224982383210179297715061278950017979164203698503320520051987805629962723515095769464706911530343067214296383,
+        54959731872117116279291355317244156670842371266593746674174813065752304578791468771401238467641310006885881029462353662425609435631417423163910565776425199899476816910378287882423889492,
+        6265895725196325684507844524080542070545128322677109328184963166218059791944866442401736359283307352173462776229917563874092705752714949018893201915657796977279526404378006218641788805212,
+        720632963787555401390113560504883761735877062041655493049232618904439353237986829886408887052234892305246882652442311646601162466922508150870468431281068856892270065851190356947334546378743,
+        83599689208750376116005729590002818583118101706008599395628969514945677914587130520628050154192745422049124713543490235651467810795584663537081139625749586680068012717902264594803315572731101
+      ],
+      "factorial_lower_bound_passes": true,
+      "factorial_recurrence_passes": true,
+      "fraction_of_cube": 0.228515625,
+      "induced": true,
+      "length": 117,
+      "log10_factorial_iteration_lower_bound": 190.53059777072724,
+      "n": 9,
+      "path": [
+        0,
+        16,
+        20,
+        84,
+        86,
+        214,
+        198,
+        194,
+        66,
+        67,
+        3,
+        7,
+        5,
+        69,
+        325,
+        333,
+        329,
+        457,
+        473,
+        505,
+        509,
+        511,
+        447,
+        443,
+        411,
+        395,
+        399,
+        391,
+        389,
+        388,
+        404,
+        400,
+        432,
+        433,
+        417,
+        425,
+        424,
+        426,
+        430,
+        422,
+        438,
+        310,
+        318,
+        286,
+        414,
+        478,
+        476,
+        460,
+        204,
+        205,
+        141,
+        157,
+        153,
+        185,
+        57,
+        61,
+        63,
+        55,
+        51,
+        115,
+        114,
+        242,
+        240,
+        241,
+        245,
+        247,
+        231,
+        487,
+        483,
+        499,
+        467,
+        339,
+        343,
+        279,
+        277,
+        273,
+        281,
+        280,
+        344,
+        346,
+        378,
+        379,
+        363,
+        367,
+        366,
+        110,
+        78,
+        79,
+        95,
+        223,
+        219,
+        203,
+        235,
+        234,
+        232,
+        104,
+        360,
+        352,
+        353,
+        369,
+        373,
+        372,
+        380,
+        124,
+        252,
+        254,
+        190,
+        186,
+        154,
+        138,
+        10,
+        266,
+        258,
+        290,
+        34,
+        162,
+        163
+      ],
+      "terminal_dwell_time": 83599689208750376116005729590002818583118101706008599395628969514945677914587130520628050154192745422049124713543490235651467810795584663537081139625749586680068012717902264594803315572731101
+    },
+    {
+      "dwell_times": [
+        1,
+        1,
+        3,
+        11,
+        47,
+        246,
+        1522,
+        10891,
+        88605,
+        808091,
+        8167985,
+        90644982,
+        1095818866,
+        14335480321,
+        201784362603,
+        3041010172709,
+        48856850395487,
+        833593122323316,
+        15053331168013564,
+        286843843107838855,
+        5751881320933253037,
+        121075517772158485565,
+        2669398215717619835975,
+        61516947583302283250580,
+        1479070387447708913306236,
+        37038155542315719586030801,
+        964468444786602192027418563,
+        26077624641777385830035685239,
+        731136479217018891646576027157,
+        21228998480982934807557494481630,
+        637600126375940425206801432450370,
+        19786806836966976953009407463572639,
+        633814687734255516126357006043571277,
+        20935650272065800791773812291781741079,
+        712445286310762821102433388373128245061,
+        24956500883583670223319616865357521469502,
+        899145843258646897657794792675336452616082,
+        33293331765143631350152303447945059587040781,
+        1266045040452983146878699534331563778983589311,
+        49409024952276318919394083319864565726328691969,
+        1977626143964071887531655837607726108392900565795,
+        81132047633413402236850519990215308631851110186140,
+        3409522360676595301357430978093575964282722371799780,
+        146690544146777200438940396559102400327339109365187851,
+        6457791487158510526076029414534498299733833079994099145,
+        290747226332931827804326731444185939315409570379287479057,
+        13380826793228951673462751356674185105293532712522411962979,
+        629189459815521143100997609887527358176881409274086404212132,
+        30214468440063594943485396824728759448901898793332523127536764,
+        1481137852272212605652616150215346309871633689180936268867352317,
+        74087093701073715341315798401330560989020972916577587526338980503,
+        3779922287410963819535431376625752713404829873703114243961320328155,
+        196630015824305393488564898771257129323032489565496508927476651528865,
+        10425169279824066210743309250016310612398304659659804427891999610854638,
+        563155697038587305296278885593274843767937637733291763035279823090517954,
+        30983984726448980806339786825109565623653587110119062830242464163716317395,
+        1735666103746653678984120406704674751099802389084752289308433263145759563289,
+        98963941473040829113088704431481358557403909369102803034982259673471060208947,
+        5741643708380562150760026227064345145433990714480606186523951082328536947778265,
+        338855911751740994194249556103417240043026871780332234631861752317867034604694406,
+        20337094613136110735191760322155130753053903928621824238092397839485571513860548634,
+        1240901528348539237515510743929955032126648571308860723853069758708030544025124717481,
+        76956226110547302485636625646684235318086899717298047312086659491171850270534357587363,
+        4849482807635149609391652036785141494946193394418055923552196408586917164239555391466125,
+        310443835577564777417482329711799800963674493512657581544440631941030912853364110920866311,
+        20183697554441974926190196205484455362253882409127070400523690590972265861050665748257609348,
+        1332434405472177099272665195921861934218274596265121724541215095604708399269361987835438791180,
+        89293284014686818095614260111947730894098998686864380519133555719940415719732646328072647894495,
+        6073275436959078640770078490959789565247561183523572386600113215284269822269526383408552967325749,
+        419145278250415340429179284196539004138915378924508742053509141749393284563832069140012707044044949,
+        29346241420526699714856613299335680916814630900487971735233072562941091735946598798253947788511240207,
+        2084002196842046707589614189558660110331636570858433468092833273535705792464566039151026726974065473268,
+        150077498340751953538497019001334323204762878180348638499243451880775576529509500075300336125203279931644,
+        10957740961925103466120746326910897095049612925822946832588738477607293344995514784715593034747683939148249,
+        811022879334466341381904719474063658688952031554311075338244920503906627605933936693134379120820886471745403,
+        60837671607038539922588290156328504790233678445072893941284465272602603177343456696073116496694737337515279887,
+        4624473914936339849132475544016808059365093637482608468104624757857672176819943870579332453965680764347052449821,
+        356145318163934473355379011615611872453927649119293556745551952062067414006653987989373594002593388242461008975838,
+        27783958479676832147098928751529380482510476803621114611680927024692184324183651266017295981490672750676671870254178,
+        2195288804374809875351976076929606287127016867314263294452233182762769564655735088760036314151083883664689263252643415,
+        175650883683979441961528113455586384268623918584469156267459263335127231461398425435191687171750112779187430847493204693,
+        14229916511060569309869104118338726980006203131124363589478950273437961280901161288008624318751647416206187723277774863839,
+        1167028777006630523215641624831367306248586345558420355736187197154378632423138578177799202098968207268958532430506236988957,
+        96877616212767903476414595542187185541391493284919983975765078957931526475455909388064244843552999732085238678746700678984814,
+        8138886614998266006277317162544435293822382821721084242298850429597927222122075099903995591411541500721942794664838551837829890,
+        691902225661120722524054145413178076754450088210505002845534708639040729054249303316147383823559213697588460417259107246383932341,
+        59511729126440379958101465895396274278102352636036337263898534375785756573256311536472319827838105792300142269032971729557117330519,
+        5178212239348180089626588901194130914038107756196375535782562634803116692297193810675393631763939074553140273294146794615525977127497,
+        455742180652865265449493146289997592940039519249855629666707962840022865127409103859514821978175639144522610000961887975924441820552059,
+        40566231598440949705154010338985243028589563720540247684455386144854535112693535766138186227249952173869320006113922845159318568437479404,
+        3651416526528511153056023231045138532550790347868143272677090615380815613977321307023522432781521341824080408463762657866104437821276958900,
+        332319464967472479569367453569570852087476891441150797564953122600068485383498221112728615131641490713763392868637702211397708145154580204611,
+        30577041737791115838302240636792860676422415169162158791993032242705440133349514179032296831958343679808305292986667579882119624895697183042513,
+        2843997160513249435033175012568757108386631027129799634706395011217565958602260739596022879652158250501380406681580165240703143800996740596750857,
+        267366306478561473048001738901309725961754090709056042819063080807003250539910129043590956094351050279125326732397763614353119973996006658371201419,
+        25402642780303927240209481707183657311159191887195404717578187480788676611312221474067738173488842866840766608493261568304208465143266442952178477700,
+        2438921042638572811468918761729471786413133144824277088337165808695612511435161396000140223919646555273010678330303441599006518922096480144939213407292,
+        236600740934721013677437809735679593592001628233548013877907024333969036173805088553207045195470355389371376017424242677598041183378183647433229267201701,
+        23189311265278655422263914354539315948378808084825414704052316861372398307796876441379095828123494056540730404573924584503394473438401415385336329330532143,
+        2295978390600847914418737667589845077444697468102274255104817099692659197769197253262765514857785952763545933429341283064240311840831338827887643332822312403,
+        229621025932426152544775116865790850370738252598968616345434742974294831770498708042467357595738334686214730941668748610469662134888147517453834812297747488073,
+        23194019360964631078659252824876108242868511107591478594725592977713090517077136485554889921296914977105127960874481846244520664680271589796149178274723381887150,
+        2366019572654987857981883302884224610046787980941216951080722197175332702842064407520262788224425596823801052802864297909680211909131815157116443347433800532354850,
+        243723207706843858805531922672142445937983408481575545244628058028958509994770932908143706553972273020606462449310287952666455963145505421805477424475391578740749547,
+        25349579391463151305599140216618845602596747701207663026876845194584976235688216794919802052097722490977512855889132026430832226610008865552502472057327013743234724289,
+        2661949536117294941579537973023325999704493949797765917766453643912948050005166315226902203593637546340251255263789065070913407870828490622145548859990335827664249194843,
+        282191998041802834894491022415104022066351346001485338359652435603340097587440125607908494263771078979083153300903468733951945483869169024843337130814895791015522887617745,
+        30197205496285580981134004352811904578240150015173760556044734726603777953549441651607337294020756420286587011016319593854129174453557132889685837922580190251655957918555510,
+        3261580360247281731350752032571633611091509233722526126730472078080267120585139503759781203157285193080871126334520343796306372125931574907402614032432823706919397204154294986,
+        355542453810498068733042636106565709934312351277001653199901940962542880337894204604058217978305365782707700679734178395621346524451300447946594589336166508438272944885023160689,
+        39112931217322790687675682783280636541476404828559782523085681619946545707752522201110840171533528313751290952825809107209345109214381481761817834020401609467555572307717044261531,
+        4341890877379409172399447880785341173764918266333150808446906420993010745499655081333431728252354838007379636104415393783488195360765518770769933624291004549705714916972428310225781,
+        486330887936128102304502836839859099736176139498488755799087060242087505384224982383210179297715061278950017979164203698503320520051987805629962723515095769464706911530343067214296383,
+        54959731872117116279291355317244156670842371266593746674174813065752304578791468771401238467641310006885881029462353662425609435631417423163910565776425199899476816910378287882423889492,
+        6265895725196325684507844524080542070545128322677109328184963166218059791944866442401736359283307352173462776229917563874092705752714949018893201915657796977279526404378006218641788805212,
+        720632963787555401390113560504883761735877062041655493049232618904439353237986829886408887052234892305246882652442311646601162466922508150870468431281068856892270065851190356947334546378743,
+        83599689208750376116005729590002818583118101706008599395628969514945677914587130520628050154192745422049124713543490235651467810795584663537081139625749586680068012717902264594803315572731101,
+        9781884215427810217060440913656409477130292992301528688702689121486076906783886354978264185041313168436042532816782593796842889045097804247021806756526064020807426003305635637634741286001422893,
+        1154345930843790249426956401182707607479982983051099485881044975537382171974254503497513265600612231711278510816744041124051324135560483569491207400218592450116746440493031070336815665980231111959,
+        137376946933993012991856733911740533917373590588416400575454495677055577819412496871710038252583849053164004607784451035661465625912972955308589684790911084638518847621179264481542852349023640643668,
+        16486387894410260690037902259304953485986973661262353421281301985591911056265956168782806629111855297346953891468826580330551477614271916652149092010899971493695776234159012623499718698854955664402748,
+        1994990302388684999729177294107238476641515550889119481845925801636638078260784658181292671786150848322734814321809087929954904035153733683241761657244674076557282481616784814223021203296557743651214497,
+        243405302124967322429054327669305596283675078322052247724556811637638389813463961305504642132611259634546942341184960616459852132851300345782450453854898888606208238081192591470883201343734090161637618291,
+        29940847014296338083080934163742114762897482328072434062157217991075150205675060109330517734243043379391034504929438674882921806047966905631624010778128996923665149081011688217177529134339009461200749830119,
+        3712908418588473128996967957868033427411251641042977209540138921545759649938991045940390558937793097102118309822180509968314323468507735620593710829706601621251663999195854963588203324262759363345782882198117,
+        464143491175581970861144041100424756547648689538649459650715899252989871110531213318528600445851406202647466097106261716479189990434878434892874772480638096561187434015968048896868633341975976141238481828474974,
+        58485792553136476135421687990241676942658449192209440267179224133813396367284692332225321944739217799899370840093694547821669711653470128453198598938301141654773410614306134126536036832705400185855230071759087106,
+        7428159767798644411934072672496611086327480048225186162688343432069242116729848507477511467556171672231366110390541503226779463977614060641784607364541119103616232671235554035623476988227402434395631988862875012943,
+        950862932357869190998817988447329687469258107805123854098003318438567630350156693917866800260498578113128672647621010808484764461839119554630423131752013877486188287142319999017759578726795176505938986005626074731549,
+        122668745969789187690620411903452570009095882497157930981597636140221793066982048411408948624352924729204756211942938301697980395256799771170887130597368976906006952508450564481842353754662058405654852980858612372135911,
+        15947887780519129529554479922854965720260846909047136502456391710668229106975093272632466794515680394907464206546161896146047260753802271076217077937970414095822546866856248356061906919170985282256801760814308898021016501,
+        2089295960565812246663972177185935341480428286907162424178602623949814893882838569591956397904548970091572143866524490870505282693962919499365787057750684036823336923057420070795543454267687170388654319356431450231891975966,
+        275803013731604335444471387329419756720403681056922460004333785322507114088718822109917770915333940706025970080669312048546811351379693959090199356593897695303242806469468228627919359209364931091624694473431341992709185556978,
+        36683889999595137502862598075656930518513485964482164235324371700188193167734778535464093119956982349292344514140109341676319006616538069422899772292802843306474704243077441999843030820197491886227144202818366814564432265979165,
+        4915917047011584762082682615894852395256752244873786412826199795619129330378242097056831437947751660911458953572991147842524595516612100267591780883803701538499396373785298438775140805139311903166512749812154155334386204639488047,
+        663685483147266619102335303909337988266555594772596665648462615013927573914751313236982595445739025926489513686451027316383108785176647776090943114832681950235179873666660521250570610592580734807383862104453647933756573497962341969,
+        90266141349272134423919907605883492029306311148939394186911026903567881080096957584138837434399945174618873267785019118845773102497253639009611390006933947593769552943709194511789668642100758818686510122126261670310015794768284816403,
+        12367125013649523611578569097133421057942665933938730642839007490875307841168811075129064627909446471404711272140152340798243842155556261500914722408985213176274602649201796856803477261370745591118336934804855487552205076057442481310524,
+        1706753513109064378152240353822309610438119151582922498910249997209610353893982621770571901659259106087280816104644726843996762334337703594476202873325801417326007873120798477841492270976058435019688637915531766729629217947372187196757636,
+        237251104783487837031000568548879431197094143470543059903622861743717275462839813609657470911657104619390316881303685843679444975946063726200297760836374492143064299454328448395935430223666737573212528536517073830203671492561667366765677499,
+        33216861332935227937631520495617271460627913742157189587924811212527496919055455063777217864955108047501555830236867777321691787689568237677202084955038021839696309196371334802015927101168041323885532512878167172825918345592278058857503309977,
+        4683814686681520660512584821928253804927240611413350618675160259774486629548749962499883105426921725790066148592267184566233420044368127269900506047712728197884358466090809648509463527881432860935431909913289927403969324980131840609280138681537,
+        665134900663354687273018275352704340976762038171525910319088596142998129111353935770987425694889859365054389213146791253884584056521375839042460846260812543627707351722391555952784156883963436680241885809388208040124642755685421646780801821993971,
+        95118974372295206082397335819817375922159193780216219302144113837140022113132752745895986820495545241579681385706948003715837233111080606482072996266845233677684771932239356836449860406963791311552937834287604429106578823278821676415428248852507748,
+        13697797411294299239552477955097525114641835479547243733224664440409805293165874383400818818158242876373873332438312722545520408184846800652066804855827459886670056249354221255610392522470578566304713646441152687979017688823716739102909864459420462844,
+        1986275738928229279047424509122375246240545110707919233581455929473203401888451650862611783852488520931232824118378315232907221899273682023832617474712285452117786992556145424305725241389224161478037008503342047411114723028920300250444226844429647507469,
+        290009955015797629406400878700823466791426606311275827539158584004384043523655914730627463294311725538553638817698448614052866121034509179131376326769104945680627917415987721487749656760061597132988679530072198430462927960112112107683765189213539269816583,
+        42633449567942171923880571546285434800906749979933076055574360511978717562924043486508637703981435572316849756468404611663592099941313873511300026927409791877616969399353611518955877755257919862518269029041714799131259482803469772971739754874065429430647819,
+        6310040532312655113797181657444428114944890724780602047562277512219180546689655913721455431732716937243121831860901777646566012791605133825397627866722260716886413310732741503270911016529152785629335057627632583691417630518958059542423484733770361176385728689,
+        940238670777877145347062784627957417336839119109908870890044859363594577960798475063308868213490043241525120973709265767458014642687777741172225572655241085420990840793518338843972765507739519408658335825435505486959380000007313623452540150797720427173370476014,
+        141042110367203833652515345446189746934977778027190976332535080896623909902332059158253483563475986864622931529976140648424073561328510966003488701102970147484938467056901045856773012574273152329317891438787301255459168862170960467736462949832609767445261921177858,
+        21298298861485093397142003494706115482403647896279904970754383331661942428209397143587616990497522093745798074320676984168820799264950296693328467773621819311923929592442284234053629644803080432234369891435594573296731648872321963649051767102864348072281994651583299,
+        3237482462746058867816582163295858590103294219693138096985233253268156772153605950646780318793284722405873079173292378345299324268436200008408658454554512824262512924623137721020463893132077853909543065273569230381193513235495038524435519560740643724388179435656262697,
+        495356114158769529081336263213381120616494341137698015688902504723441425702214425350352704368961621177352309213171337010467473110489956260639801886361516609278922578453887464296540176026087132688134811491114177057374666028420135315147706054187963846541080548719733499075,
+        76288078921871100244716285126920595369019388038327575308009730232304364867641582670333366514202970356333911797321624238740594274377959596064224343770660220837482679985162847383409646542789518443347491178881616225205340990599658678006189143483533443811075830097526921392265,
+        11825147567705874093007006268801430876077032092026905820823655307596144636942456573455638243541812701427074993965452795617352605587474446140745713860354113045289268198820731766105046403537837890989617865888798272396285156231256195600487469052220092027761789112114898819590118,
+        1844799305403554820271348032538625728295042176783011934528613449110898832514205966645987466188708242523328101131334366092132042382883344927128385232201512072706467838070149416818238162636411420705104989233361507737873668311953837006627646750032077943952561656987386877716784378,
+        289645315600569556509179895562317845210751028400828838910100826606956380985097478117944466425397744160913360865078256617678936420171177833391248881870191633930527643611266734080978381540277355554797630868762573367665171500999627131608118780907535801745805450624144265803523106809,
+        45765804587907293121105634925592031975282509369129101545817819682926848119277363537869499544907626620088209605680714258927197048662780670738879558102139405688617235704154389724447725699627958676417949767604220864719522844369081381805903204305786804887109232502919410695636618426323,
+        7277052562967709349182727742391457012522466043507687671397751450177120254675009862028920613421228577316256015202322942563287022843718955164890259124811608748055916762202626263806035227546364487964219849400274669795071456956626551322059328763790764462508937386118224459531591144794141,
+        1164374174034621599143622873333791896861157325907751385334913112447688959477815227103130107766702738126040962644036462148948870987287335940002090262629664294499293587851448019812701073692793768538360888283574456069262597376566966615819972177521812258223460515924831067087548909348565943,
+        187471518782491652784187366809430651217979026186724486352718295029916018808848163592145458327501706594384029656692359972819352252357506301191845562136588352557474875512849027442301695461490053645528619733061110077473958954585476311161914133794204689984469204952363185940179137562271431716,
+        30371550371171865882792661753302201350307680051089351993183248661033531564030101144805042831020178551564171065904271932711441169424779767298963173965513858837443607555780447125222788276795919800781639047491626212981834938893526825007839719315539185580263944787210025870409480295295524607148,
+        4950750174742742210878537143066076161579785889045558079841550039871699218956351030733103818840362746877027278116354679435058683383823645483786291847508563029909989747187825920495498231653559313726576133772208106762325785580345567598313882940655628509762708939166194604776647942694766023209295,
+        811953399043806428913247156134962129967627536016753811095235646039818722488813608279436922462957126103512528757886081719778561159166987241973883840317877108797866734976393612512891906864422409524567933332256792230218814140115492304221928887843568597513258383706290505774507706553875204375492933,
+        133977261404931238673086422541543153223092517348285438238703669093028731084142107914126367686670196422663949442879289711880651017475739493680280457650797076022669082808885015457707817232558229590062100802184741099853121415954265797549676313070701711284745102669679727002790377424084614414305342085,
+        22241037316246071731877655252835045257380738030797392182190167210532487411064390088964688000362973546594621045720493256181428071211993323873041282447910449505670037343796029880991762668574181671847494364709557861123016461924453468914504246659486872786133822607621737664074731018792526645205375714911,
+        3714387204123747564021922027798304377055587063146823096781478812113351565599562959342316662430548864758303549313466895037497501761048623063312184350998419160495925939945958706464817456719882190150732041753783165972853384785921108164022363125346443637529795145292979810186984610735259970379748909127348,
+        624039290518152249140345932326914903805955436532529757472693709681090779066181518231024403356173375684535659557306529571721395254554873984216952134767662210738270197205918874350969840442620236483827049913570635289838291079818060744708249162397878771827649977800756684225140035296860087627789546942019708,
+        105466354350794561887150289111500652378337552914534142149527237820649764193997640033331960028820168532033622847127204094879993226411513538816813283517049412142591418107298404451887666922767742039271084693963292245703279292838545037174622432169762252316047235884432562853458170104480396659540197723326955049,
+        17929904256684551375507070365989607376568717795083884134351858516156595056832592891819418119096827630883191688156788722213562608833687632693448212851839030976023586150651159032648808103982795368523551667903189836080847257507216163843566672405033062718582404069485243044539595997381464176915428772299529897387,
+        3066119090533021058714949384385546160604440691917658129272146205517325292470005789901166686388267793267237143948503328752792788527052929417995753465842776658491120744440382072396204585620942869321323938092353799027026824678529437249143676742849628783405786774551613146024988159201555437135056461242711244425471,
+        527390412851896881337967687677672756955017910664166385531182707248820008652217019610434436390775296988508016945042297049346819579041236617426801836524124816150464053636641876482784456269873165934499835255835179652533897363099882327178123141801772551227650892605120356816114901948508241248074248179475145059700333,
+        91241607437002316765896038608485693250098200401525483156981946490993551549363713248546046728857342955102878419072658758617718815436207404132971108037467121786129287302343884825597583134025705848665136225746046092184302538898591915768188501090045236362303719730765280000065472022469880131266995746982360928681789022,
+        15876567066521347020698839726988333654358453219813262179732406101757409700716118715916586061550905181406627832514197644697952919000972483630799710717581986327881417584627859529725184506381086453934861481790667535883365308055072114257978169416900357818905207403182343347177282179986574055865217055581294602049902271010,
+        2778490475182553012629852619584435199535334993449430533291889233085068668410721374298319027847030246426005465323973312410522974155948278057948955771338598190837767209227308996970705566697491456357600159639062130364317178202822566322383617104829808637250858430245558038234116074694798202700478387153312106531075564590471,
+        489030199671805332623824962747571404346836212807185241208439873168560303726091573108471569738622564120936538119090857469125436031350069250930034589598553058959515419192763112129956195196850287774379689755311086407919175437399870511801487097082908793024488522454054731734087612117668678951830149593545914366568451549499685,
+        86561123741143100954425185128833677328821843488640252324816664336373211122400902634155915088043408570367135685762753962117203335002228676669109366418614283254650822782071776974482484791290241764478481232109698002237791589418738694740662310854424857888923693368377816708052624632415831235724159938175087416693083632694532655,
+        15408369040246573624543239301621863724747343643924773876555353865629664268149862128609923803166625729851120529476074445805627853384167576764449771480413525069776028857083426876194215255653834502122141422615080396035284604156677631455809382509697640240082055005671212597863791286268060426062068690326674784351695961996809702925,
+        2758184616549386816236966581040218243122290071854676132569266753561407253841155914685857436796941019131893094886346030450441971956288343738985310251653168257491732220357794099956782882394746532133684989597402798625958065152734315013482352560824114488492301613892673240594384349529768053583167309965069944574307741356063881733198,
+        496488638858899582052373047531747441194419502100231890566037494304235208701784481854947616315343251608142737193478105062003965661858194807779942430679552898601138903954455265796381172265739994735468018104319645795430748523491794541864220642757735261696606827964607383883421563748337345997689381451032884205162342055027754655644258,
+        89867201731516234028810406790663697170637217600270232588683759072300399874482417879110126174297018590487235209511071430301133418498618876087738028078056121495359557869769535240201030784051241771649973840200099886178407337048472658277648457294966658193292758583330642417087139062211759287554289280979608471920097580250345660175667269,
+        16356327188366441658119624876352667750876144855949554916967943381292515026124392998168079369173308046777066977444004707140546456753099170108491851899803084237468081527770828726096602307514798027469350587512384672212999721594413225245300445923593654356691942376945977212409662951427619699091974158585718172402987452310635100548384617287,
+        2993297739914605231295782554728829568693823311974566186927169826728453997814894048777587112950144859995777671404125187756344531363825073195200403410140483792480012315131872314962566345833107848844569546640219444477887105746956467249076010238865029927333608990947884846232028663308854431313858220266631730911072185613430360488848380096281,
+        550783139974987003088218067365442633899663556967162543344434169230544788490192775773411327850121087642233650337890181665209037562456824033960874097880702956598955542054061567729066817417783906430566902466334048231890813845460531958577810593743779509555982101030311839141722877272253640810432059872996845423186085282617827087085796990210795,
+        101897874103245292949610605050152511402809869703190066600404519669462113346602553652645736661299555895721829589816575539843398192269973696674746584325695903109111654917587228796143329441631714378369643419757760056173958864255423230918395395752963003321812170973719718403992431600307208445057977459633681222687535291221800896415243174474478220,
+        18953555349987269513583685925972300938797041378803931051582164568949412796909717255414133408411990744485130534653203982827450885182444983085681510472394334973622171955723863346584168709405433767249061955080387563351082710676250632929328176721273176250188173634178612605084700616461370246634697653011621789312559137616783862288768186077759060052,
+        3544416745328424405156087202428741737050853744962736160081627521297221170085915775836718595645497946345696902821817072533530002824991409378584754738635250356976281062714054372434158933346745701957873227277091547859014138808133302506047352996323164789390304834877777696492488563123378060666917639872381916037693705294724994459834908558390607007091,
+        666369301126310545097391341268240810355665202764078007187600256850594733484682215047776491908527501458340178898418967920457474940398454988729311567931614765352673469463460815752139785416157487281523118346281491720437399718860036300259150379962150898069243836083271971054532503755201465960996189432056884100898725588494439587607248636967121359962657,
+        125947342227720130897870384956928434884228246549421155207166330179485240813868358794318534040481761498101036169889790816623524177431971099819692570593270744695119513235450557236449586629731475552092681437169347812732339798095978353716463535442557233013458720672823557985529738805599497577796583167592887609373320496354730489204620483472860388155151673,
+        23930661373614392821408265400881947707748153538976014764078462518546830223064130454259014003396132494408869991611506765203698341039945156228023350300419599850746549374743598122714159608796756854619227565426596956675572760285636571600276824284398323537376462771949001219098758245239810267020873734073856072994438863631998696840246239311147532703257700251,
+        4570882266158159449898476879711993226662338038274196438411776111729467167139690781167522852578591809004250083216585495131341526572964293534538188809319789398533642423432149831287153282959919664672608505732241653574801012399329847101206565011456118497058591959239430789707711825371446835907350736676071374376578573119422405027843651767566238129839430441796,
+        877633325097370825195334898853892281715605124638125944633476516041214463902578773889401838809489491343657303677760823575356307056864280396776098145072441722938545726333244435737549900379033882409513204879499099924684809685510442958521917401358422995651536087050210976360285117868917961891106193579731750510002742057200582604030656360293924904092332719314108,
+        169387802500111366138419359800386585173203824726890970799717150305886213486495605746484430149358448553133259010293323495098991362363116327402986180520192631160245708437946851944252402234616182252781263072325812730210633853743852496825055962101810672995028304252910549623761564671744026391712260204615444956193072061326888542068105758326903936594779078698584373,
+        32862111294416037464590849150108479821351389750167739641180382115503094891805945167664651508342786833465564378198029614008535985595808262337931298577100396584880541022606173246696769293758736144892403676874977093298918436310463256990627957215642001414387305224323064454964096301397669811657227082724946328179362510551498936499556943525291886314069913438637195807
+      ],
+      "factorial_lower_bound_passes": true,
+      "factorial_recurrence_passes": true,
+      "fraction_of_cube": 0.1904296875,
+      "induced": true,
+      "length": 195,
+      "log10_factorial_iteration_lower_bound": 361.1235834688244,
+      "n": 10,
+      "path": [
+        0,
+        16,
+        24,
+        56,
+        40,
+        552,
+        556,
+        812,
+        804,
+        805,
+        801,
+        545,
+        609,
+        617,
+        873,
+        889,
+        881,
+        885,
+        629,
+        565,
+        533,
+        789,
+        791,
+        823,
+        831,
+        830,
+        894,
+        892,
+        636,
+        124,
+        125,
+        109,
+        365,
+        301,
+        303,
+        302,
+        298,
+        314,
+        315,
+        307,
+        291,
+        35,
+        163,
+        227,
+        231,
+        247,
+        246,
+        502,
+        500,
+        508,
+        509,
+        1021,
+        989,
+        733,
+        221,
+        205,
+        204,
+        206,
+        222,
+        478,
+        474,
+        472,
+        984,
+        968,
+        969,
+        457,
+        459,
+        491,
+        490,
+        488,
+        232,
+        744,
+        736,
+        752,
+        1008,
+        944,
+        952,
+        696,
+        697,
+        569,
+        537,
+        793,
+        777,
+        265,
+        9,
+        11,
+        10,
+        138,
+        136,
+        648,
+        652,
+        654,
+        526,
+        782,
+        783,
+        911,
+        909,
+        901,
+        389,
+        405,
+        413,
+        285,
+        29,
+        31,
+        23,
+        151,
+        135,
+        647,
+        519,
+        515,
+        514,
+        770,
+        834,
+        962,
+        706,
+        194,
+        210,
+        146,
+        178,
+        186,
+        250,
+        762,
+        634,
+        618,
+        586,
+        587,
+        843,
+        859,
+        858,
+        794,
+        538,
+        666,
+        667,
+        155,
+        411,
+        403,
+        387,
+        386,
+        390,
+        422,
+        166,
+        174,
+        172,
+        188,
+        189,
+        181,
+        177,
+        241,
+        209,
+        193,
+        129,
+        641,
+        657,
+        913,
+        977,
+        979,
+        983,
+        727,
+        599,
+        598,
+        854,
+        852,
+        340,
+        348,
+        332,
+        328,
+        320,
+        321,
+        323,
+        339,
+        83,
+        115,
+        627,
+        563,
+        562,
+        818,
+        882,
+        370,
+        354,
+        358,
+        359,
+        375,
+        383,
+        351,
+        335,
+        79,
+        71,
+        69,
+        5,
+        37,
+        36,
+        100,
+        612,
+        614,
+        550
+      ],
+      "terminal_dwell_time": 32862111294416037464590849150108479821351389750167739641180382115503094891805945167664651508342786833465564378198029614008535985595808262337931298577100396584880541022606173246696769293758736144892403676874977093298918436310463256990627957215642001414387305224323064454964096301397669811657227082724946328179362510551498936499556943525291886314069913438637195807
+    }
+  ],
+  "source_note": "The minimal equality sequence for the displayed k>=2 recurrence has T1=1, T2=1, T3=3. The proof text later says T3=2!; that value is sufficient as a factorial lower-bound base but is not equality in the displayed recurrence. This audit follows the displayed recurrence.",
+  "source_pdf_sha256": "9c43d01c6c7b13230dd89d9744aaf7802c197bdc478ba0045883c0b96edd8218",
+  "status": "VERIFIED"
+}

evidence/raw/claim_3.json

@@ -0,0 +1,2373 @@
+{
+  "cases": [
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.0,
+      "matrix": [
+        0,
+        0,
+        0,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 0,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.0,
+      "matrix": [
+        0,
+        0,
+        0,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 0,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        0,
+        0,
+        0,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        0,
+        0,
+        0,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        0,
+        0,
+        0,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        0,
+        0,
+        0,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        0,
+        0,
+        1,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        0,
+        0,
+        1,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        0,
+        0,
+        1,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        0,
+        0,
+        1,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 2,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.4087872380968218,
+      "matrix": [
+        0,
+        0,
+        1,
+        2
+      ],
+      "min_accepted_improvement": 0.4763617142904655,
+      "update_bound": 8,
+      "updates": 1
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.75,
+      "matrix": [
+        0,
+        0,
+        1,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        0,
+        0,
+        2,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        0,
+        0,
+        2,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 2,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.4087872380968218,
+      "matrix": [
+        0,
+        0,
+        2,
+        1
+      ],
+      "min_accepted_improvement": 0.4763617142904655,
+      "update_bound": 8,
+      "updates": 1
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.75,
+      "matrix": [
+        0,
+        0,
+        2,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 2,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.23840584404423537,
+      "matrix": [
+        0,
+        0,
+        2,
+        2
+      ],
+      "min_accepted_improvement": 0.7615941559557646,
+      "update_bound": 8,
+      "updates": 1
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 1.0,
+      "matrix": [
+        0,
+        0,
+        2,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        0,
+        1,
+        0,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        0,
+        1,
+        0,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        0,
+        1,
+        0,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        0,
+        1,
+        0,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 3,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.4464790992674148,
+      "matrix": [
+        0,
+        1,
+        0,
+        2
+      ],
+      "min_accepted_improvement": 0.5894372978022444,
+      "update_bound": 8,
+      "updates": 1
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.75,
+      "matrix": [
+        0,
+        1,
+        0,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.0,
+      "matrix": [
+        0,
+        1,
+        1,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.0,
+      "matrix": [
+        0,
+        1,
+        1,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        0,
+        1,
+        1,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        0,
+        1,
+        1,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        0,
+        1,
+        1,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        0,
+        1,
+        1,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        0,
+        1,
+        2,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        0,
+        1,
+        2,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        0,
+        1,
+        2,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        0,
+        1,
+        2,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 2,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.2736382857095345,
+      "matrix": [
+        0,
+        1,
+        2,
+        2
+      ],
+      "min_accepted_improvement": 0.4763617142904655,
+      "update_bound": 8,
+      "updates": 1
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.75,
+      "matrix": [
+        0,
+        1,
+        2,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        0,
+        2,
+        0,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        0,
+        2,
+        0,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 3,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.4464790992674148,
+      "matrix": [
+        0,
+        2,
+        0,
+        1
+      ],
+      "min_accepted_improvement": 0.5894372978022444,
+      "update_bound": 8,
+      "updates": 1
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.75,
+      "matrix": [
+        0,
+        2,
+        0,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 3,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.11161443841433938,
+      "matrix": [
+        0,
+        2,
+        0,
+        2
+      ],
+      "min_accepted_improvement": 0.8883855615856606,
+      "update_bound": 8,
+      "updates": 1
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 1.0,
+      "matrix": [
+        0,
+        2,
+        0,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        0,
+        2,
+        1,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        0,
+        2,
+        1,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        0,
+        2,
+        1,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        0,
+        2,
+        1,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 3,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.1605627021977556,
+      "matrix": [
+        0,
+        2,
+        1,
+        2
+      ],
+      "min_accepted_improvement": 0.5894372978022444,
+      "update_bound": 8,
+      "updates": 1
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.75,
+      "matrix": [
+        0,
+        2,
+        1,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.0,
+      "matrix": [
+        0,
+        2,
+        2,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.0,
+      "matrix": [
+        0,
+        2,
+        2,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        0,
+        2,
+        2,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        0,
+        2,
+        2,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        0,
+        2,
+        2,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        0,
+        2,
+        2,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        1,
+        0,
+        0,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        1,
+        0,
+        0,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.0,
+      "matrix": [
+        1,
+        0,
+        0,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.0,
+      "matrix": [
+        1,
+        0,
+        0,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        1,
+        0,
+        0,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        1,
+        0,
+        0,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        1,
+        0,
+        1,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        1,
+        0,
+        1,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        1,
+        0,
+        1,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        1,
+        0,
+        1,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        1,
+        0,
+        1,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        1,
+        0,
+        1,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 3,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.4464790992674148,
+      "matrix": [
+        1,
+        0,
+        2,
+        0
+      ],
+      "min_accepted_improvement": 0.5894372978022444,
+      "update_bound": 8,
+      "updates": 1
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.75,
+      "matrix": [
+        1,
+        0,
+        2,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        1,
+        0,
+        2,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        1,
+        0,
+        2,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 2,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.2736382857095345,
+      "matrix": [
+        1,
+        0,
+        2,
+        2
+      ],
+      "min_accepted_improvement": 0.4763617142904655,
+      "update_bound": 8,
+      "updates": 1
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.75,
+      "matrix": [
+        1,
+        0,
+        2,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        1,
+        1,
+        0,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        1,
+        1,
+        0,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        1,
+        1,
+        0,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        1,
+        1,
+        0,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        1,
+        1,
+        0,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        1,
+        1,
+        0,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        1,
+        1,
+        1,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        1,
+        1,
+        1,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.0,
+      "matrix": [
+        1,
+        1,
+        1,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 0,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.0,
+      "matrix": [
+        1,
+        1,
+        1,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 0,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        1,
+        1,
+        1,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        1,
+        1,
+        1,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        1,
+        1,
+        2,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        1,
+        1,
+        2,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        1,
+        1,
+        2,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        1,
+        1,
+        2,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        1,
+        1,
+        2,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        1,
+        1,
+        2,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 2,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.4087872380968218,
+      "matrix": [
+        1,
+        2,
+        0,
+        0
+      ],
+      "min_accepted_improvement": 0.4763617142904655,
+      "update_bound": 8,
+      "updates": 1
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.75,
+      "matrix": [
+        1,
+        2,
+        0,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        1,
+        2,
+        0,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        1,
+        2,
+        0,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 3,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.1605627021977556,
+      "matrix": [
+        1,
+        2,
+        0,
+        2
+      ],
+      "min_accepted_improvement": 0.5894372978022444,
+      "update_bound": 8,
+      "updates": 1
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.75,
+      "matrix": [
+        1,
+        2,
+        0,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        1,
+        2,
+        1,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        1,
+        2,
+        1,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        1,
+        2,
+        1,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        1,
+        2,
+        1,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        1,
+        2,
+        1,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        1,
+        2,
+        1,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        1,
+        2,
+        2,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        1,
+        2,
+        2,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.0,
+      "matrix": [
+        1,
+        2,
+        2,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.0,
+      "matrix": [
+        1,
+        2,
+        2,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        1,
+        2,
+        2,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        1,
+        2,
+        2,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        2,
+        0,
+        0,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        2,
+        0,
+        0,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        2,
+        0,
+        0,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        2,
+        0,
+        0,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.0,
+      "matrix": [
+        2,
+        0,
+        0,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.0,
+      "matrix": [
+        2,
+        0,
+        0,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 3,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.4464790992674148,
+      "matrix": [
+        2,
+        0,
+        1,
+        0
+      ],
+      "min_accepted_improvement": 0.5894372978022444,
+      "update_bound": 8,
+      "updates": 1
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.75,
+      "matrix": [
+        2,
+        0,
+        1,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        2,
+        0,
+        1,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        2,
+        0,
+        1,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        2,
+        0,
+        1,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        2,
+        0,
+        1,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 3,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.11161443841433938,
+      "matrix": [
+        2,
+        0,
+        2,
+        0
+      ],
+      "min_accepted_improvement": 0.8883855615856606,
+      "update_bound": 8,
+      "updates": 1
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 1.0,
+      "matrix": [
+        2,
+        0,
+        2,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 3,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.1605627021977556,
+      "matrix": [
+        2,
+        0,
+        2,
+        1
+      ],
+      "min_accepted_improvement": 0.5894372978022444,
+      "update_bound": 8,
+      "updates": 1
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.75,
+      "matrix": [
+        2,
+        0,
+        2,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        2,
+        0,
+        2,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        2,
+        0,
+        2,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 2,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.4087872380968218,
+      "matrix": [
+        2,
+        1,
+        0,
+        0
+      ],
+      "min_accepted_improvement": 0.4763617142904655,
+      "update_bound": 8,
+      "updates": 1
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.75,
+      "matrix": [
+        2,
+        1,
+        0,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        2,
+        1,
+        0,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        2,
+        1,
+        0,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        2,
+        1,
+        0,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        2,
+        1,
+        0,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        2,
+        1,
+        1,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        2,
+        1,
+        1,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        2,
+        1,
+        1,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        2,
+        1,
+        1,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.0,
+      "matrix": [
+        2,
+        1,
+        1,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.0,
+      "matrix": [
+        2,
+        1,
+        1,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 3,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.1605627021977556,
+      "matrix": [
+        2,
+        1,
+        2,
+        0
+      ],
+      "min_accepted_improvement": 0.5894372978022444,
+      "update_bound": 8,
+      "updates": 1
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.75,
+      "matrix": [
+        2,
+        1,
+        2,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        2,
+        1,
+        2,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        2,
+        1,
+        2,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        2,
+        1,
+        2,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        2,
+        1,
+        2,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 2,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.23840584404423537,
+      "matrix": [
+        2,
+        2,
+        0,
+        0
+      ],
+      "min_accepted_improvement": 0.7615941559557646,
+      "update_bound": 8,
+      "updates": 1
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 1.0,
+      "matrix": [
+        2,
+        2,
+        0,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 2,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.2736382857095345,
+      "matrix": [
+        2,
+        2,
+        0,
+        1
+      ],
+      "min_accepted_improvement": 0.4763617142904655,
+      "update_bound": 8,
+      "updates": 1
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.75,
+      "matrix": [
+        2,
+        2,
+        0,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        2,
+        2,
+        0,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        2,
+        2,
+        0,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 2,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.2736382857095345,
+      "matrix": [
+        2,
+        2,
+        1,
+        0
+      ],
+      "min_accepted_improvement": 0.4763617142904655,
+      "update_bound": 8,
+      "updates": 1
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.75,
+      "matrix": [
+        2,
+        2,
+        1,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        2,
+        2,
+        1,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        2,
+        2,
+        1,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        2,
+        2,
+        1,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        2,
+        2,
+        1,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        2,
+        2,
+        2,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 8,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.5,
+      "matrix": [
+        2,
+        2,
+        2,
+        0
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        2,
+        2,
+        2,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 4,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.25,
+      "matrix": [
+        2,
+        2,
+        2,
+        1
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 2,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.25,
+      "final_nash_gap": 0.0,
+      "matrix": [
+        2,
+        2,
+        2,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 0,
+      "updates": 0
+    },
+    {
+      "converged_round": 1,
+      "epsilon": 0.5,
+      "final_nash_gap": 0.0,
+      "matrix": [
+        2,
+        2,
+        2,
+        2
+      ],
+      "min_accepted_improvement": null,
+      "update_bound": 0,
+      "updates": 0
+    }
+  ],
+  "claim": 3,
+  "factor_two_note": "Theorem 3.4 concludes 2epsilon-Nash; Theorem 1.1 is the epsilon-reparameterized statement.",
+  "gates": {
+    "all_exhaustive_games_converge": true,
+    "all_final_gaps_at_most_two_epsilon": true,
+    "all_update_counts_telescope": true,
+    "every_accepted_update_meets_lazy_threshold": true,
+    "negative_control_cycles_without_alternation": true
+  },
+  "limitations": "Exhaustive over all 81 two-player 2x2 identical-interest payoff tables with entries in {0,1,2}, not all finite potential games.",
+  "negative_controls": {
+    "simultaneous_greedy_response": {
+      "cycles": true,
+      "states": [
+        [
+          0,
+          0
+        ],
+        [
+          1,
+          1
+        ],
+        [
+          0,
+          0
+        ],
+        [
+          1,
+          1
+        ],
+        [
+          0,
+          0
+        ],
+        [
+          1,
+          1
+        ],
+        [
+          0,
+          0
+        ],
+        [
+          1,
+          1
+        ],
+        [
+          0,
+          0
+        ],
+        [
+          1,
+          1
+        ],
+        [
+          0,
+          0
+        ],
+        [
+          1,
+          1
+        ],
+        [
+          0,
+          0
+        ],
+        [
+          1,
+          1
+        ],
+        [
+          0,
+          0
+        ],
+        [
+          1,
+          1
+        ],
+        [
+          0,
+          0
+        ],
+        [
+          1,
+          1
+        ],
+        [
+          0,
+          0
+        ],
+        [
+          1,
+          1
+        ]
+      ]
+    }
+  },
+  "result_sha256": "6e39ee99d795a9c8681722119e0b38ae3e92d50a477137826d65177eb12b6846",
+  "runtime_seconds": 0.00728992186486721,
+  "source_pdf_sha256": "9c43d01c6c7b13230dd89d9744aaf7802c197bdc478ba0045883c0b96edd8218",
+  "status": "VERIFIED"
+}

evidence/raw/claim_4.json

@@ -0,0 +1,25 @@
+{
+  "claim": 4,
+  "gates": {
+    "all_small_step_per_step_inequalities_pass": true,
+    "all_small_step_potentials_non_decreasing": true,
+    "all_telescoping_bounds_pass": true,
+    "large_step_negative_control_has_violations": true
+  },
+  "limitations": "Finite exhaustive/random numerical audit using exact spectral L. It checks two canonical regularizers and is not a proof of the universal proposition.",
+  "negative_controls": {
+    "eta_over_L_violation_count": 38
+  },
+  "result_sha256": "fc4444eb94677d8191fc85b663c274f4fe62bb3ba0d8a61e7687c46edba32ed0",
+  "runtime_seconds": 4.859731135889888,
+  "seed": 17353,
+  "source_pdf_sha256": "9c43d01c6c7b13230dd89d9744aaf7802c197bdc478ba0045883c0b96edd8218",
+  "status": "VERIFIED",
+  "summary": {
+    "large_step_cases": 896,
+    "large_step_violation_count": 38,
+    "maximum_path_to_bound_ratio": 0.34596427985662237,
+    "minimum_slack": -2.842193761588269e-14,
+    "positive_cases": 672
+  }
+}

evidence/raw/claim_5.json

@@ -0,0 +1,518 @@
+{
+  "claim": 5,
+  "gates": {
+    "all_errors_are_O_one_over_t": true,
+    "all_movements_are_O_one_over_t": true,
+    "all_post_switch_strategies_highly_suboptimal": true,
+    "reset_history_causes_order_one_movement": true
+  },
+  "limitations": "Finite logarithmic t-grid. Entropy and Euclidean formulas are closed form; the log-barrier optimum is solved to a fixed 160 bisection steps.",
+  "negative_controls": {
+    "history_resets": [
+      {
+        "regularizer": "entropy",
+        "reset_movement": 1.4621171572600098
+      },
+      {
+        "regularizer": "euclidean",
+        "reset_movement": 2.0
+      },
+      {
+        "regularizer": "log_barrier",
+        "reset_movement": 1.2360660701529758
+      }
+    ]
+  },
+  "records": [
+    {
+      "error": 0.00033535013046637197,
+      "error_times_t": 0.0026828010437309757,
+      "movement_times_t": 0.009211217022947185,
+      "post_switch_best_response_gap": 0.9990889488055994,
+      "post_switch_movement": 0.001151402127868398,
+      "regularizer": "entropy",
+      "t": 8
+    },
+    {
+      "error": 1.1253516207787584e-07,
+      "error_times_t": 1.8005625932460134e-06,
+      "movement_times_t": 6.187746076579416e-06,
+      "post_switch_best_response_gap": 0.999999694097773,
+      "post_switch_movement": 3.867341297862135e-07,
+      "regularizer": "entropy",
+      "t": 16
+    },
+    {
+      "error": 1.2656542480726785e-14,
+      "error_times_t": 4.050093593832571e-13,
+      "movement_times_t": 1.3926712581842444e-12,
+      "post_switch_best_response_gap": 0.9999999999999656,
+      "post_switch_movement": 4.352097681825764e-14,
+      "regularizer": "entropy",
+      "t": 32
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 1.7637114300892435e-26,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 2.755799109514443e-28,
+      "regularizer": "entropy",
+      "t": 64
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 5.657319198724482e-54,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 4.419780624003502e-56,
+      "regularizer": "entropy",
+      "t": 128
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 2.9103618933977983e-109,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 1.136860114608515e-111,
+      "regularizer": "entropy",
+      "t": 256
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 3.851142811243827e-220,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 7.5217633032106e-223,
+      "regularizer": "entropy",
+      "t": 512
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "entropy",
+      "t": 1024
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "entropy",
+      "t": 2048
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "entropy",
+      "t": 4096
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "entropy",
+      "t": 8192
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "entropy",
+      "t": 16384
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "entropy",
+      "t": 32768
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "entropy",
+      "t": 65536
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "entropy",
+      "t": 131072
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "entropy",
+      "t": 262144
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "entropy",
+      "t": 524288
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "entropy",
+      "t": 1048576
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "euclidean",
+      "t": 8
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "euclidean",
+      "t": 16
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "euclidean",
+      "t": 32
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "euclidean",
+      "t": 64
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "euclidean",
+      "t": 128
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "euclidean",
+      "t": 256
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "euclidean",
+      "t": 512
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "euclidean",
+      "t": 1024
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "euclidean",
+      "t": 2048
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "euclidean",
+      "t": 4096
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "euclidean",
+      "t": 8192
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "euclidean",
+      "t": 16384
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "euclidean",
+      "t": 32768
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "euclidean",
+      "t": 65536
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "euclidean",
+      "t": 131072
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "euclidean",
+      "t": 262144
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "euclidean",
+      "t": 524288
+    },
+    {
+      "error": 0.0,
+      "error_times_t": 0.0,
+      "movement_times_t": 0.0,
+      "post_switch_best_response_gap": 1.0,
+      "post_switch_movement": 0.0,
+      "regularizer": "euclidean",
+      "t": 1048576
+    },
+    {
+      "error": 0.10961179679779254,
+      "error_times_t": 0.8768943743823403,
+      "movement_times_t": 0.2117999492004401,
+      "post_switch_best_response_gap": 0.87715070637718,
+      "post_switch_movement": 0.026474993650055012,
+      "regularizer": "log_barrier",
+      "t": 8
+    },
+    {
+      "error": 0.05860889073134068,
+      "error_times_t": 0.9377422517014509,
+      "movement_times_t": 0.11625314948076948,
+      "post_switch_best_response_gap": 0.9377581983473853,
+      "post_switch_movement": 0.0072658218425480925,
+      "regularizer": "log_barrier",
+      "t": 16
+    },
+    {
+      "error": 0.030274389316206296,
+      "error_times_t": 0.9687804581186015,
+      "movement_times_t": 0.060427074453755836,
+      "post_switch_best_response_gap": 0.9687814376454538,
+      "post_switch_movement": 0.0018883460766798699,
+      "regularizer": "log_barrier",
+      "t": 32
+    },
+    {
+      "error": 0.015380918950558709,
+      "error_times_t": 0.9843788128357573,
+      "movement_times_t": 0.03074659042732719,
+      "post_switch_best_response_gap": 0.9843788733117278,
+      "post_switch_movement": 0.00048041547542698737,
+      "regularizer": "log_barrier",
+      "t": 64
+    },
+    {
+      "error": 0.007751468568585551,
+      "error_times_t": 0.9921879767789505,
+      "movement_times_t": 0.015501030140001149,
+      "post_switch_best_response_gap": 0.9921879805324301,
+      "post_switch_movement": 0.00012110179796875897,
+      "regularizer": "log_barrier",
+      "t": 128
+    },
+    {
+      "error": 0.0038909914437610382,
+      "error_times_t": 0.9960938096028258,
+      "movement_times_t": 0.007781744479871122,
+      "post_switch_best_response_gap": 0.9960938098365517,
+      "post_switch_movement": 3.039743937449657e-05,
+      "regularizer": "log_barrier",
+      "t": 256
+    },
+    {
+      "error": 0.0019493103172862902,
+      "error_times_t": 0.9980468824505806,
+      "movement_times_t": 0.0038985908324775664,
+      "post_switch_best_response_gap": 0.9980468824651039,
+      "post_switch_movement": 7.614435219682747e-06,
+      "regularizer": "log_barrier",
+      "t": 512
+    },
+    {
+      "error": 0.0009756088265930885,
+      "error_times_t": 0.9990234384313226,
+      "movement_times_t": 0.0019512139278958784,
+      "post_switch_best_response_gap": 0.9990234384322312,
+      "post_switch_movement": 1.9054823514608188e-06,
+      "regularizer": "log_barrier",
+      "t": 1024
+    },
+    {
+      "error": 0.00048804283147774186,
+      "error_times_t": 0.9995117188664153,
+      "movement_times_t": 0.0009760851971805096,
+      "post_switch_best_response_gap": 0.9995117188664722,
+      "post_switch_movement": 4.766041001857957e-07,
+      "regularizer": "log_barrier",
+      "t": 2048
+    },
+    {
+      "error": 0.00024408102035877732,
+      "error_times_t": 0.9997558593895519,
+      "movement_times_t": 0.0004881619825027883,
+      "post_switch_best_response_gap": 0.9997558593895555,
+      "post_switch_movement": 1.191801715094698e-07,
+      "regularizer": "log_barrier",
+      "t": 4096
+    },
+    {
+      "error": 0.0001220554113390282,
+      "error_times_t": 0.999877929689319,
+      "movement_times_t": 0.0002441108154016547,
+      "post_switch_best_response_gap": 0.9998779296893192,
+      "post_switch_movement": 2.97986835207098e-08,
+      "regularizer": "log_barrier",
+      "t": 8192
+    },
+    {
+      "error": 6.103143095970154e-05,
+      "error_times_t": 0.99993896484375,
+      "movement_times_t": 0.00012206286191940308,
+      "post_switch_best_response_gap": 0.9999389648439774,
+      "post_switch_movement": 7.450125849572942e-09,
+      "regularizer": "log_barrier",
+      "t": 16384
+    },
+    {
+      "error": 3.0516646802425385e-05,
+      "error_times_t": 0.999969482421875,
+      "movement_times_t": 6.103329360485077e-05,
+      "post_switch_best_response_gap": 0.9999694824219034,
+      "post_switch_movement": 1.8625883058120962e-09,
+      "regularizer": "log_barrier",
+      "t": 32768
+    },
+    {
+      "error": 1.5258556231856346e-05,
+      "error_times_t": 0.9999847412109375,
+      "movement_times_t": 3.0517112463712692e-05,
+      "post_switch_best_response_gap": 0.999984741210941,
+      "post_switch_movement": 4.6565418188038166e-10,
+      "regularizer": "log_barrier",
+      "t": 65536
+    },
+    {
+      "error": 7.6293363235890865e-06,
+      "error_times_t": 0.9999923706054688,
+      "movement_times_t": 1.5258672647178173e-05,
+      "post_switch_best_response_gap": 0.9999923706054692,
+      "post_switch_movement": 1.1641443364851511e-10,
+      "regularizer": "log_barrier",
+      "t": 131072
+    },
+    {
+      "error": 3.8146827137097716e-06,
+      "error_times_t": 0.9999961853027344,
+      "movement_times_t": 7.62939453125e-06,
+      "post_switch_best_response_gap": 0.9999961853027344,
+      "post_switch_movement": 2.9103830456733704e-11,
+      "regularizer": "log_barrier",
+      "t": 262144
+    },
+    {
+      "error": 1.907344994833693e-06,
+      "error_times_t": 0.9999980926513672,
+      "movement_times_t": 3.814697265625e-06,
+      "post_switch_best_response_gap": 0.9999980926513672,
+      "post_switch_movement": 7.275957614183426e-12,
+      "regularizer": "log_barrier",
+      "t": 524288
+    },
+    {
+      "error": 9.536734069115482e-07,
+      "error_times_t": 0.9999990463256836,
+      "movement_times_t": 1.9073486328125e-06,
+      "post_switch_best_response_gap": 0.9999990463256836,
+      "post_switch_movement": 1.8189894035458565e-12,
+      "regularizer": "log_barrier",
+      "t": 1048576
+    }
+  ],
+  "result_sha256": "b9a8f75ff333deb870670567c7585a7a40bf3b84ff51f655960d64c68d803918",
+  "runtime_seconds": 0.004537451080977917,
+  "source_pdf_sha256": "9c43d01c6c7b13230dd89d9744aaf7802c197bdc478ba0045883c0b96edd8218",
+  "status": "VERIFIED"
+}

evidence/raw/claim_6.json

@@ -0,0 +1,755 @@
+{
+  "claim": 6,
+  "cross_claim_evidence": "Claim 1 direct trajectories audit Property 4.3 end-to-end on the paper's A construction.",
+  "figure_2b_gamma_100": [
+    [
+      3,
+      0,
+      0,
+      0,
+      -3
+    ],
+    [
+      0,
+      7,
+      0,
+      6,
+      -113
+    ],
+    [
+      0,
+      8,
+      9,
+      0,
+      -117
+    ],
+    [
+      4,
+      0,
+      0,
+      5,
+      -109
+    ],
+    [
+      -7,
+      -115,
+      -109,
+      -111,
+      -200
+    ]
+  ],
+  "gates": {
+    "all_structural_checks_pass": true,
+    "figure_2b_exact": true,
+    "lemma_4_1_has_no_violations": true,
+    "lemma_4_1_has_non_vacuous_cells": true,
+    "negative_controls_activate": true,
+    "period_count_source_correction_verified": true
+  },
+  "lemma_4_1": {
+    "cells": 72960,
+    "non_vacuous_cells": 50502,
+    "shrunk_range_factor": 0.24994473008507856,
+    "shrunk_range_would_violate": true,
+    "tightest_probability_to_bound_ratio": 0.4998894601701571,
+    "violations": 0
+  },
+  "limitations": "Property 4.3 is directly exercised on the small exact trajectories in Claim 1; the broad m-grid checks its combinatorial prerequisites.",
+  "negative_controls": {
+    "matrix_mutation_caught": true,
+    "range_shrink_caught": true
+  },
+  "result_sha256": "ab4d7056f7456bb024fc1a6e40dde6c905f39d848c2f8aa6d1a35a4ef9d0c1dd",
+  "runtime_seconds": 0.3144537899643183,
+  "source_correction": "Labels k=3,...,2m-1 give 2m-3 periods, not 2m-1 periods.",
+  "source_pdf_sha256": "9c43d01c6c7b13230dd89d9744aaf7802c197bdc478ba0045883c0b96edd8218",
+  "status": "VERIFIED",
+  "structural": [
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 5,
+      "matrix_sha256": "64c34943af681e8fb23b913f016955f05c8f3b48fd8266a41901edd00a66ab42",
+      "max_entry": 9,
+      "odd_column_shift": true,
+      "period_count": 7,
+      "period_labels": [
+        3,
+        9
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 7,
+      "matrix_sha256": "bfde8d870b91a7b586ed1f800a6190d84ad3c7f5fe55f1087853f544d0a85175",
+      "max_entry": 13,
+      "odd_column_shift": true,
+      "period_count": 11,
+      "period_labels": [
+        3,
+        13
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 9,
+      "matrix_sha256": "00d60a5c2f07b36ba4180ee88420d23e9943374e5ba9b4c5567c6e205a2a5d54",
+      "max_entry": 17,
+      "odd_column_shift": true,
+      "period_count": 15,
+      "period_labels": [
+        3,
+        17
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 11,
+      "matrix_sha256": "4fe2312a7b45ee23c3d7c00e1d203f544123531e9313489d47a697a915e95288",
+      "max_entry": 21,
+      "odd_column_shift": true,
+      "period_count": 19,
+      "period_labels": [
+        3,
+        21
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 13,
+      "matrix_sha256": "026fcae2763b627effea9123dc4888a9f99f5d6e2852348b73c81290607e1e6c",
+      "max_entry": 25,
+      "odd_column_shift": true,
+      "period_count": 23,
+      "period_labels": [
+        3,
+        25
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 15,
+      "matrix_sha256": "4a2d7e36087e90e1c0b51cebd46828c55c42b00c4eb9d714ca51b8fdd0f252c2",
+      "max_entry": 29,
+      "odd_column_shift": true,
+      "period_count": 27,
+      "period_labels": [
+        3,
+        29
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 17,
+      "matrix_sha256": "1fbe76ca9b80b7ca8bc572e1dbe002c54777455e200739d0399b68f94cfbdfab",
+      "max_entry": 33,
+      "odd_column_shift": true,
+      "period_count": 31,
+      "period_labels": [
+        3,
+        33
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 19,
+      "matrix_sha256": "4037b114be6f471221d1ffb569fe5e46c2dcb3e81c63c5ed8af13148fdd1198a",
+      "max_entry": 37,
+      "odd_column_shift": true,
+      "period_count": 35,
+      "period_labels": [
+        3,
+        37
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 21,
+      "matrix_sha256": "c98534adf4573aa23a7bb854204b980c132c3a1d8acdda7b2555edfe673bee7f",
+      "max_entry": 41,
+      "odd_column_shift": true,
+      "period_count": 39,
+      "period_labels": [
+        3,
+        41
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 23,
+      "matrix_sha256": "fb1b9015aec30f727588448aecb70af76e23a9a3ff435d2829314b8691683b9f",
+      "max_entry": 45,
+      "odd_column_shift": true,
+      "period_count": 43,
+      "period_labels": [
+        3,
+        45
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 25,
+      "matrix_sha256": "a4ab1b74ecd50ca71ba0ab0c887b8ccb7864dd02b633f416c67d82ebfd0ec800",
+      "max_entry": 49,
+      "odd_column_shift": true,
+      "period_count": 47,
+      "period_labels": [
+        3,
+        49
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 27,
+      "matrix_sha256": "153aac373a33dbbc1f89a01a241086491610951cf31c68d60159a0f38a2a6b35",
+      "max_entry": 53,
+      "odd_column_shift": true,
+      "period_count": 51,
+      "period_labels": [
+        3,
+        53
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 29,
+      "matrix_sha256": "c02476a8e7ed9f1e87cca89457e99d0e590394fa3b3e81ef6597a82013671dab",
+      "max_entry": 57,
+      "odd_column_shift": true,
+      "period_count": 55,
+      "period_labels": [
+        3,
+        57
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 31,
+      "matrix_sha256": "ee79dd31121b747bb69c4419e7c6fb47d254ca8f8b42028b62494836f61f4a21",
+      "max_entry": 61,
+      "odd_column_shift": true,
+      "period_count": 59,
+      "period_labels": [
+        3,
+        61
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 33,
+      "matrix_sha256": "36b3b59495cca1a8baa512f40370f3ef8256307d075c15ee65e3e0f00689c8fe",
+      "max_entry": 65,
+      "odd_column_shift": true,
+      "period_count": 63,
+      "period_labels": [
+        3,
+        65
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 35,
+      "matrix_sha256": "b1f3146d3ba5b3629b83ac2fc49f0e4bc4a922042f1ea060337f883cd4254324",
+      "max_entry": 69,
+      "odd_column_shift": true,
+      "period_count": 67,
+      "period_labels": [
+        3,
+        69
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 37,
+      "matrix_sha256": "64e4d7c875dcaf99c4c3d61868f43ca53196c5f2f765e926d8e1546dfd25411b",
+      "max_entry": 73,
+      "odd_column_shift": true,
+      "period_count": 71,
+      "period_labels": [
+        3,
+        73
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 39,
+      "matrix_sha256": "25dd22866e6751fad15333ad404dfe32ad39d22b8607450560202043a29623a4",
+      "max_entry": 77,
+      "odd_column_shift": true,
+      "period_count": 75,
+      "period_labels": [
+        3,
+        77
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 41,
+      "matrix_sha256": "d3d7f688f7b6ce057f38ad4f2abc71c35c4910e66199963ced4b598f9025d7e7",
+      "max_entry": 81,
+      "odd_column_shift": true,
+      "period_count": 79,
+      "period_labels": [
+        3,
+        81
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 43,
+      "matrix_sha256": "af1dbb736abd6fab7f696882de9f03ec92851f3a7836cfc62cac6e9b67ae6048",
+      "max_entry": 85,
+      "odd_column_shift": true,
+      "period_count": 83,
+      "period_labels": [
+        3,
+        85
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 45,
+      "matrix_sha256": "c8aa670a6477c90719515b08ffedf6658b2b4d9072b18c352312e6807dfa9a70",
+      "max_entry": 89,
+      "odd_column_shift": true,
+      "period_count": 87,
+      "period_labels": [
+        3,
+        89
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 47,
+      "matrix_sha256": "b437e623b2e4c9f2d837c5a3d80b084243f17f1a76c1d0f389c489fd22e0111e",
+      "max_entry": 93,
+      "odd_column_shift": true,
+      "period_count": 91,
+      "period_labels": [
+        3,
+        93
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 49,
+      "matrix_sha256": "7971fb6bd070b0bfe4f1d47837cf2de929174fea1cfcf07f4694be6f4ed15c35",
+      "max_entry": 97,
+      "odd_column_shift": true,
+      "period_count": 95,
+      "period_labels": [
+        3,
+        97
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 51,
+      "matrix_sha256": "b9647ebdd4e81ae1e7e0fd70ffe8a52ff77a640e74c1a324669fe4741db1cfd4",
+      "max_entry": 101,
+      "odd_column_shift": true,
+      "period_count": 99,
+      "period_labels": [
+        3,
+        101
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 53,
+      "matrix_sha256": "95e62497ef2f7efad1f2382a462b954435c33b58c583b0592fd638a9c9ee7cb3",
+      "max_entry": 105,
+      "odd_column_shift": true,
+      "period_count": 103,
+      "period_labels": [
+        3,
+        105
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 55,
+      "matrix_sha256": "ddea9e882bec41c0815f0898581d29636f6f285a2b5d2308def7c33036d27f45",
+      "max_entry": 109,
+      "odd_column_shift": true,
+      "period_count": 107,
+      "period_labels": [
+        3,
+        109
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 57,
+      "matrix_sha256": "166c96f69ea4df1dc89209fc570cebb82f7c9127c8129f4f245483a81e0668b6",
+      "max_entry": 113,
+      "odd_column_shift": true,
+      "period_count": 111,
+      "period_labels": [
+        3,
+        113
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 59,
+      "matrix_sha256": "8984e07cf3369f71de8f8edaa74f51ba0e46c2a248140990aef6841fe85246a0",
+      "max_entry": 117,
+      "odd_column_shift": true,
+      "period_count": 115,
+      "period_labels": [
+        3,
+        117
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 61,
+      "matrix_sha256": "2a380066779682895da08e478ac222f3ef3bad6b2991b00cd8a5ffef79d5ad6e",
+      "max_entry": 121,
+      "odd_column_shift": true,
+      "period_count": 119,
+      "period_labels": [
+        3,
+        121
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 63,
+      "matrix_sha256": "2019d2eda7624eb6be6ca3b174a28aca372ddc07e56f698a1c3d6b07ccf8aa67",
+      "max_entry": 125,
+      "odd_column_shift": true,
+      "period_count": 123,
+      "period_labels": [
+        3,
+        125
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 65,
+      "matrix_sha256": "8fce60ab4db255fac187736afbe8040e0f103c05d6156f27c696c689d62509fe",
+      "max_entry": 129,
+      "odd_column_shift": true,
+      "period_count": 127,
+      "period_labels": [
+        3,
+        129
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 67,
+      "matrix_sha256": "be19289c66ed9d3017cc57f861b0604a00f88d1e6c1d251e6592ec59b647a77b",
+      "max_entry": 133,
+      "odd_column_shift": true,
+      "period_count": 131,
+      "period_labels": [
+        3,
+        133
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 69,
+      "matrix_sha256": "9ca307b2fa339a9b595f4a03a66946f5bfb9e87f402cbaf18eb0d0d7297ef8af",
+      "max_entry": 137,
+      "odd_column_shift": true,
+      "period_count": 135,
+      "period_labels": [
+        3,
+        137
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 71,
+      "matrix_sha256": "14e1c3b50dd11acd9f94c92a5d846235aca9261e66d1038485c5eaf4a803c227",
+      "max_entry": 141,
+      "odd_column_shift": true,
+      "period_count": 139,
+      "period_labels": [
+        3,
+        141
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 73,
+      "matrix_sha256": "d08d72e3577356897c52389796648ec1ce9491c44ca0a0af03cde38c213736d6",
+      "max_entry": 145,
+      "odd_column_shift": true,
+      "period_count": 143,
+      "period_labels": [
+        3,
+        145
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 75,
+      "matrix_sha256": "6fcabfa0476529c65e3a70abd537c2f5c9ee30bcc35e9a209cff90c0dedc64c1",
+      "max_entry": 149,
+      "odd_column_shift": true,
+      "period_count": 147,
+      "period_labels": [
+        3,
+        149
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 77,
+      "matrix_sha256": "f6e6c748a56873fc5301ea239da89cff8f9011c1b927375699bc15f556894d3d",
+      "max_entry": 153,
+      "odd_column_shift": true,
+      "period_count": 151,
+      "period_labels": [
+        3,
+        153
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 79,
+      "matrix_sha256": "5e2ac4f1af95651b1e97233380a9702cc588f10b5f1dc89699e169adc69611f2",
+      "max_entry": 157,
+      "odd_column_shift": true,
+      "period_count": 155,
+      "period_labels": [
+        3,
+        157
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 81,
+      "matrix_sha256": "b4f59efa1caa8eb5a5f5a5b7f8345c6127e1f49fa9768722da762281388cde27",
+      "max_entry": 161,
+      "odd_column_shift": true,
+      "period_count": 159,
+      "period_labels": [
+        3,
+        161
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 83,
+      "matrix_sha256": "ee9efda7c8eb692756ec376cafac56945d396597ce63eb18a3af0a56f70ea001",
+      "max_entry": 165,
+      "odd_column_shift": true,
+      "period_count": 163,
+      "period_labels": [
+        3,
+        165
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 85,
+      "matrix_sha256": "d272d28a65d6c2dd4c4d745d7f17a694274e95c3d34fbfe64afc4ad1fecc29ff",
+      "max_entry": 169,
+      "odd_column_shift": true,
+      "period_count": 167,
+      "period_labels": [
+        3,
+        169
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 87,
+      "matrix_sha256": "25094aa7e4639be2709d2d15154cfc10ce79976a398d8f9c9b254dda0e38c7c9",
+      "max_entry": 173,
+      "odd_column_shift": true,
+      "period_count": 171,
+      "period_labels": [
+        3,
+        173
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 89,
+      "matrix_sha256": "160a2c8e2329867b32a992fb4b87f65eaa2a80b6d3f5f3d7576a02ffd2f34be8",
+      "max_entry": 177,
+      "odd_column_shift": true,
+      "period_count": 175,
+      "period_labels": [
+        3,
+        177
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 91,
+      "matrix_sha256": "45a2b3eeb463666a0d46dfda72a592bcb25e1ee77b546ebb82c8f0c23523ca79",
+      "max_entry": 181,
+      "odd_column_shift": true,
+      "period_count": 179,
+      "period_labels": [
+        3,
+        181
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 93,
+      "matrix_sha256": "abef506bbf098d952272798aa3d30c266d1a368c0f3b58dcc4a94603f5a6e99c",
+      "max_entry": 185,
+      "odd_column_shift": true,
+      "period_count": 183,
+      "period_labels": [
+        3,
+        185
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 95,
+      "matrix_sha256": "ed83641c82f17bb7db70cb80ba512e205aa4395164721fc4713e711d111424db",
+      "max_entry": 189,
+      "odd_column_shift": true,
+      "period_count": 187,
+      "period_labels": [
+        3,
+        189
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 97,
+      "matrix_sha256": "c0b5094ceda2ae95ac03607fd90e9effa0afcf2ecb7672e76f6a6beeb849136d",
+      "max_entry": 193,
+      "odd_column_shift": true,
+      "period_count": 191,
+      "period_labels": [
+        3,
+        193
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 99,
+      "matrix_sha256": "672d7c55bd6b7b456298a268fa87335f78810e2a54ee665b92a2a1d0e1ef75d9",
+      "max_entry": 197,
+      "odd_column_shift": true,
+      "period_count": 195,
+      "period_labels": [
+        3,
+        197
+      ],
+      "positive_entries_exact": true
+    },
+    {
+      "even_row_shift": true,
+      "extra_row_column_negative": true,
+      "m": 101,
+      "matrix_sha256": "0bc17e2483a065cf32444566bb57f6a02b88bfe077b694c722b0bd75dccceb02",
+      "max_entry": 201,
+      "odd_column_shift": true,
+      "period_count": 199,
+      "period_labels": [
+        3,
+        201
+      ],
+      "positive_entries_exact": true
+    }
+  ]
+}

evidence/raw/job_manifest.json

@@ -0,0 +1,28 @@
+{
+  "commands": [
+    [
+      "/root/.cache/uv/environments-v2/hf-job-ca539c160c0ca8be/bin/python",
+      "repro/run_claims.py",
+      "--out",
+      "/tmp/ftrl-repro-a60xjgc_/repo/evidence/raw"
+    ],
+    [
+      "/root/.cache/uv/environments-v2/hf-job-ca539c160c0ca8be/bin/python",
+      "repro/verify_evidence.py",
+      "--evidence",
+      "/tmp/ftrl-repro-a60xjgc_/repo/evidence/raw",
+      "--write",
+      "/tmp/ftrl-repro-a60xjgc_/repo/evidence/verification/cumulative.json"
+    ]
+  ],
+  "cpu_count": 64,
+  "flavor": "cpu-upgrade",
+  "job_id": "6a6cde22a00abefd4b289f1a",
+  "repository": "https://github.com/MachineLearning-Nerd/icml26-repro-l6KZJO7w48-doubly-exponential-lower-bounds-for-follow-the-regularized-leader-in-potenti.git",
+  "repository_sha": "1f50506f5c18e2ade654515e6d8a2e533c0afc2f",
+  "run_stdout_tail": "claim 1: VERIFIED (225.032s)\nclaim 2: VERIFIED (11.334s)\nclaim 3: VERIFIED (0.007s)\nclaim 4: VERIFIED (4.860s)\nclaim 5: VERIFIED (0.005s)\nclaim 6: VERIFIED (0.314s)\n{\"backend\": \"huggingface-jobs\", \"claims\": [{\"claim\": 1, \"result_sha256\": \"55c94bd08adb809b85617bd7a2e2bb973ed1509391ac7200b1f1e47ed58a9eb8\", \"runtime_seconds\": 225.03165634302422, \"status\": \"VERIFIED\"}, {\"claim\": 2, \"result_sha256\": \"e8f2d32160fb43829919a63d9cdaf5602e45fec015aec9f6aa4fb8391178f8e8\", \"runtime_seconds\": 11.333668414037675, \"status\": \"VERIFIED\"}, {\"claim\": 3, \"result_sha256\": \"6e39ee99d795a9c8681722119e0b38ae3e92d50a477137826d65177eb12b6846\", \"runtime_seconds\": 0.00728992186486721, \"status\": \"VERIFIED\"}, {\"claim\": 4, \"result_sha256\": \"fc4444eb94677d8191fc85b663c274f4fe62bb3ba0d8a61e7687c46edba32ed0\", \"runtime_seconds\": 4.859731135889888, \"status\": \"VERIFIED\"}, {\"claim\": 5, \"result_sha256\": \"b9a8f75ff333deb870670567c7585a7a40bf3b84ff51f655960d64c68d803918\", \"runtime_seconds\": 0.004537451080977917, \"status\": \"VERIFIED\"}, {\"claim\": 6, \"result_sha256\": \"ab4d7056f7456bb024fc1a6e40dde6c905f39d848c2f8aa6d1a35a4ef9d0c1dd\", \"runtime_seconds\": 0.3144537899643183, \"status\": \"VERIFIED\"}], \"cpu_count\": 64, \"manifest_sha256\": \"59a7c14fdbe448f7b2ad597f4d2a3ea712e1c339cd167be40b7fc99de6dba737\", \"numpy\": \"2.3.2\", \"paper\": \"2601.23248v1\", \"platform\": \"Linux-6.12.90-120.164.amzn2023.x86_64-x86_64-with-glibc2.36\", \"python\": \"3.12.12\", \"required_flavor\": \"cpu-upgrade\", \"schema_version\": 1, \"seed\": 17353, \"source_pdf_sha256\": \"9c43d01c6c7b13230dd89d9744aaf7802c197bdc478ba0045883c0b96edd8218\", \"total_runtime_seconds\": 241.5836918039713}\n",
+  "runtime_seconds": 242.8970369210001,
+  "schema_version": 1,
+  "space_id": "DineshAI/l6KZJO7w48",
+  "verify_stdout": "{\"claims_verified\": [{\"checks\": [\"lower-bound exponent recalculated\", \"right-censored transitions are consecutive\", \"2,000,000-round preterminal Nash gaps checked\"], \"claim\": 1}, {\"checks\": [\"all snakes independently checked for chords\", \"factorial recurrence recomputed\"], \"claim\": 2}, {\"checks\": [\"162 exhaustive cases present\", \"2epsilon and update bounds checked\"], \"claim\": 3}, {\"checks\": [\"per-step slack threshold checked\", \"large-step violations required\"], \"claim\": 4}, {\"checks\": [\"all 54 history points checked\", \"reset-history controls checked\"], \"claim\": 5}, {\"checks\": [\"Figure 2b exact\", \"period count source correction checked\", \"Lemma 4.1 non-vacuous\"], \"claim\": 6}], \"runtime_seconds\": 0.01477994304150343, \"schema_version\": 1, \"sha256\": \"b8cc0e1128542bd5357fcf1b94ec4a1f2783313331c97273cac6ffc2b14d11ef\", \"source_pdf_sha256\": \"9c43d01c6c7b13230dd89d9744aaf7802c197bdc478ba0045883c0b96edd8218\", \"verdict\": \"PASS\"}\n"
+}

evidence/raw/run_manifest.json

@@ -0,0 +1,52 @@
+{
+  "backend": "huggingface-jobs",
+  "claims": [
+    {
+      "claim": 1,
+      "result_sha256": "55c94bd08adb809b85617bd7a2e2bb973ed1509391ac7200b1f1e47ed58a9eb8",
+      "runtime_seconds": 225.03165634302422,
+      "status": "VERIFIED"
+    },
+    {
+      "claim": 2,
+      "result_sha256": "e8f2d32160fb43829919a63d9cdaf5602e45fec015aec9f6aa4fb8391178f8e8",
+      "runtime_seconds": 11.333668414037675,
+      "status": "VERIFIED"
+    },
+    {
+      "claim": 3,
+      "result_sha256": "6e39ee99d795a9c8681722119e0b38ae3e92d50a477137826d65177eb12b6846",
+      "runtime_seconds": 0.00728992186486721,
+      "status": "VERIFIED"
+    },
+    {
+      "claim": 4,
+      "result_sha256": "fc4444eb94677d8191fc85b663c274f4fe62bb3ba0d8a61e7687c46edba32ed0",
+      "runtime_seconds": 4.859731135889888,
+      "status": "VERIFIED"
+    },
+    {
+      "claim": 5,
+      "result_sha256": "b9a8f75ff333deb870670567c7585a7a40bf3b84ff51f655960d64c68d803918",
+      "runtime_seconds": 0.004537451080977917,
+      "status": "VERIFIED"
+    },
+    {
+      "claim": 6,
+      "result_sha256": "ab4d7056f7456bb024fc1a6e40dde6c905f39d848c2f8aa6d1a35a4ef9d0c1dd",
+      "runtime_seconds": 0.3144537899643183,
+      "status": "VERIFIED"
+    }
+  ],
+  "cpu_count": 64,
+  "manifest_sha256": "59a7c14fdbe448f7b2ad597f4d2a3ea712e1c339cd167be40b7fc99de6dba737",
+  "numpy": "2.3.2",
+  "paper": "2601.23248v1",
+  "platform": "Linux-6.12.90-120.164.amzn2023.x86_64-x86_64-with-glibc2.36",
+  "python": "3.12.12",
+  "required_flavor": "cpu-upgrade",
+  "schema_version": 1,
+  "seed": 17353,
+  "source_pdf_sha256": "9c43d01c6c7b13230dd89d9744aaf7802c197bdc478ba0045883c0b96edd8218",
+  "total_runtime_seconds": 241.5836918039713
+}

evidence/verification/cumulative.json

@@ -0,0 +1,53 @@
+{
+  "claims_verified": [
+    {
+      "checks": [
+        "lower-bound exponent recalculated",
+        "right-censored transitions are consecutive",
+        "2,000,000-round preterminal Nash gaps checked"
+      ],
+      "claim": 1
+    },
+    {
+      "checks": [
+        "all snakes independently checked for chords",
+        "factorial recurrence recomputed"
+      ],
+      "claim": 2
+    },
+    {
+      "checks": [
+        "162 exhaustive cases present",
+        "2epsilon and update bounds checked"
+      ],
+      "claim": 3
+    },
+    {
+      "checks": [
+        "per-step slack threshold checked",
+        "large-step violations required"
+      ],
+      "claim": 4
+    },
+    {
+      "checks": [
+        "all 54 history points checked",
+        "reset-history controls checked"
+      ],
+      "claim": 5
+    },
+    {
+      "checks": [
+        "Figure 2b exact",
+        "period count source correction checked",
+        "Lemma 4.1 non-vacuous"
+      ],
+      "claim": 6
+    }
+  ],
+  "runtime_seconds": 0.01477994304150343,
+  "schema_version": 1,
+  "sha256": "b8cc0e1128542bd5357fcf1b94ec4a1f2783313331c97273cac6ffc2b14d11ef",
+  "source_pdf_sha256": "9c43d01c6c7b13230dd89d9744aaf7802c197bdc478ba0045883c0b96edd8218",
+  "verdict": "PASS"
+}