Repository navigation

Extend certified first-crossing descent to 2592 and classify feasible times - #4

Merged

Chessing234 merged 1002 commits into

mainfrom

research/first-passage-2592

Oct 6, 2026

This pull request is big! We're only showing the most recent 250 commits

Commits on Oct 6, 2026
- proof: certify passage Batch0753 (15:24641 to 15:24673)
  Chessing234
  committed
  a11f16e
- proof: certify passage Batch0754 (15:24674 to 15:24706)
  Chessing234
  committed
  d303968
- proof: certify passage Batch0755 (15:24707 to 15:24738)
  Chessing234
  committed
  301f5e9
- proof: certify passage Batch0756 (15:24739 to 15:24771)
  Chessing234
  committed
  081e213
- proof: certify passage Batch0757 (15:24772 to 15:24804)
  Chessing234
  committed
  615eabf
- proof: certify passage Batch0758 (15:24805 to 15:24837)
  Chessing234
  committed
  12c7234
- proof: certify passage Batch0759 (15:24838 to 15:24869)
  Chessing234
  committed
  d2dc277
- proof: certify passage Batch0760 (15:24870 to 15:24902)
  Chessing234
  committed
  aaafe35
- proof: certify passage Batch0761 (15:24903 to 15:24935)
  Chessing234
  committed
  55d33da
- proof: certify passage Batch0762 (15:24936 to 15:24968)
  Chessing234
  committed
  99cdbfc
- proof: certify passage Batch0763 (15:24969 to 15:25000)
  Chessing234
  committed
  fc272c7
- proof: certify passage Batch0764 (15:25001 to 15:25033)
  Chessing234
  committed
  37107ec
- proof: certify passage Batch0765 (15:25034 to 15:25066)
  Chessing234
  committed
  846b264
- proof: certify passage Batch0766 (15:25067 to 15:25099)
  Chessing234
  committed
  267b6bc
- proof: certify passage Batch0767 (15:25100 to 15:25132)
  Chessing234
  committed
  405aea4
- proof: certify passage Batch0768 (15:25133 to 15:25164)
  Chessing234
  committed
  8e946ab
- proof: certify passage Batch0769 (15:25165 to 15:25197)
  Chessing234
  committed
  7aaad4b
- proof: certify passage Batch0770 (15:25198 to 15:25230)
  Chessing234
  committed
  299648e
- proof: certify passage Batch0771 (15:25231 to 15:25263)
  Chessing234
  committed
  a44d013
- proof: certify passage Batch0772 (15:25264 to 15:25295)
  Chessing234
  committed
  132cc50
- proof: certify passage Batch0773 (15:25296 to 15:25328)
  Chessing234
  committed
  3cc49ed
- proof: certify passage Batch0774 (15:25329 to 15:25361)
  Chessing234
  committed
  910db00
- proof: certify passage Batch0775 (15:25362 to 15:25394)
  Chessing234
  committed
  367d043
- proof: certify passage Batch0776 (15:25395 to 15:25426)
  Chessing234
  committed
  d5f360e
- proof: certify passage Batch0777 (15:25427 to 15:25459)
  Chessing234
  committed
  98eb130
- proof: certify passage Batch0778 (15:25460 to 15:25492)
  Chessing234
  committed
  8ff9c3e
- proof: certify passage Batch0779 (15:25493 to 15:25525)
  Chessing234
  committed
  53b7be6
- proof: certify passage Batch0780 (15:25526 to 15:25558)
  Chessing234
  committed
  f6f9a49
- proof: certify passage Batch0781 (15:25559 to 15:25590)
  Chessing234
  committed
  ae2025b
- proof: certify passage Batch0782 (15:25591 to 15:25623)
  Chessing234
  committed
  f869af9
- proof: certify passage Batch0783 (15:25624 to 15:25656)
  Chessing234
  committed
  ebc79d0
- proof: certify passage Batch0784 (15:25657 to 15:25689)
  Chessing234
  committed
  f8f3637
- proof: certify passage Batch0785 (15:25690 to 15:25721)
  Chessing234
  committed
  6d52533
- proof: certify passage Batch0786 (15:25722 to 15:25754)
  Chessing234
  committed
  e834e9b
- proof: certify passage Batch0787 (15:25755 to 15:25787)
  Chessing234
  committed
  469b6ee
- proof: certify passage Batch0788 (15:25788 to 15:25820)
  Chessing234
  committed
  329a959
- proof: certify passage Batch0789 (15:25821 to 15:25852)
  Chessing234
  committed
  02f02a7
- proof: certify passage Batch0790 (15:25853 to 15:25885)
  Chessing234
  committed
  9662575
- proof: certify passage Batch0791 (15:25886 to 15:25918)
  Chessing234
  committed
  0246a92
- proof: certify passage Batch0792 (15:25919 to 15:25951)
  Chessing234
  committed
  a1c734f
- proof: certify passage Batch0793 (15:25952 to 15:25984)
  Chessing234
  committed
  997cacf
- proof: certify passage Batch0794 (15:25985 to 15:26016)
  Chessing234
  committed
  18775ec
- proof: certify passage Batch0795 (15:26017 to 15:26049)
  Chessing234
  committed
  99f7be0
- proof: certify passage Batch0796 (15:26050 to 15:26082)
  Chessing234
  committed
  c913503
- proof: certify passage Batch0797 (15:26083 to 15:26115)
  Chessing234
  committed
  9fd86d6
- proof: certify passage Batch0798 (15:26116 to 15:26147)
  Chessing234
  committed
  d2463d9
- proof: certify passage Batch0799 (15:26148 to 15:26180)
  Chessing234
  committed
  3250328
- proof: certify passage Batch0800 (15:26181 to 15:26213)
  Chessing234
  committed
  2a752b6
- proof: certify passage Batch0801 (15:26214 to 15:26246)
  Chessing234
  committed
  37e6a53
- proof: certify passage Batch0802 (15:26247 to 15:26278)
  Chessing234
  committed
  3884431
- proof: certify passage Batch0803 (15:26279 to 15:26311)
  Chessing234
  committed
  f57dce6
- proof: certify passage Batch0804 (15:26312 to 15:26344)
  Chessing234
  committed
  41ba4f9
- proof: certify passage Batch0805 (15:26345 to 15:26377)
  Chessing234
  committed
  72dc7f8
- proof: certify passage Batch0806 (15:26378 to 15:26410)
  Chessing234
  committed
  75243c3
- proof: certify passage Batch0807 (15:26411 to 15:26442)
  Chessing234
  committed
  2f923ce
- proof: certify passage Batch0808 (15:26443 to 15:26475)
  Chessing234
  committed
  1f8fbb0
- proof: certify passage Batch0809 (15:26476 to 15:26508)
  Chessing234
  committed
  f697c56
- proof: certify passage Batch0810 (15:26509 to 15:26541)
  Chessing234
  committed
  070809f
- proof: certify passage Batch0811 (15:26542 to 15:26573)
  Chessing234
  committed
  c355999
- proof: certify passage Batch0812 (15:26574 to 15:26606)
  Chessing234
  committed
  3771831
- proof: certify passage Batch0813 (15:26607 to 15:26639)
  Chessing234
  committed
  a441bf4
- proof: certify passage Batch0814 (15:26640 to 15:26672)
  Chessing234
  committed
  06d9379
- proof: certify passage Batch0815 (15:26673 to 15:26704)
  Chessing234
  committed
  d43bc1f
- proof: certify passage Batch0816 (15:26705 to 15:26737)
  Chessing234
  committed
  4d11bd5
- proof: certify passage Batch0817 (15:26738 to 15:26770)
  Chessing234
  committed
  dbe0adb
- proof: certify passage Batch0818 (15:26771 to 15:26803)
  Chessing234
  committed
  4325646
- proof: certify passage Batch0819 (15:26804 to 15:26835)
  Chessing234
  committed
  1b5f4c1
- proof: certify passage Batch0820 (15:26836 to 15:26868)
  Chessing234
  committed
  3837677
- proof: certify passage Batch0821 (15:26869 to 15:26901)
  Chessing234
  committed
  5bae2d7
- proof: certify passage Batch0822 (15:26902 to 15:26934)
  Chessing234
  committed
  f2b6c77
- proof: certify passage Batch0823 (15:26935 to 15:26967)
  Chessing234
  committed
  642ab1d
- proof: certify passage Batch0824 (15:26968 to 15:26999)
  Chessing234
  committed
  3dbf7b0
- proof: certify passage Batch0825 (15:27000 to 15:27032)
  Chessing234
  committed
  63bc0f7
- proof: certify passage Batch0826 (15:27033 to 15:27065)
  Chessing234
  committed
  46538ce
- proof: certify passage Batch0827 (15:27066 to 15:27098)
  Chessing234
  committed
  4e0df1e
- proof: certify passage Batch0828 (15:27099 to 15:27130)
  Chessing234
  committed
  42704b5
- proof: certify passage Batch0829 (15:27131 to 15:27163)
  Chessing234
  committed
  9044e97
- proof: certify passage Batch0830 (15:27164 to 15:27196)
  Chessing234
  committed
  aa6ec09
- proof: certify passage Batch0831 (15:27197 to 15:27229)
  Chessing234
  committed
  1af25a2
- proof: certify passage Batch0832 (15:27230 to 15:27261)
  Chessing234
  committed
  739ffa2
- proof: certify passage Batch0833 (15:27262 to 15:27294)
  Chessing234
  committed
  1ab338b
- proof: certify passage Batch0834 (15:27295 to 15:27327)
  Chessing234
  committed
  85f9778
- proof: certify passage Batch0835 (15:27328 to 15:27360)
  Chessing234
  committed
  93ca76c
- proof: certify passage Batch0836 (15:27361 to 15:27393)
  Chessing234
  committed
  0a5aa61
- proof: certify passage Batch0837 (15:27394 to 15:27425)
  Chessing234
  committed
  da9a944
- proof: certify passage Batch0838 (15:27426 to 15:27458)
  Chessing234
  committed
  af1ae9c
- proof: certify passage Batch0839 (15:27459 to 15:27491)
  Chessing234
  committed
  80ef44d
- proof: certify passage Batch0840 (15:27492 to 15:27524)
  Chessing234
  committed
  69a4bc9
- proof: certify passage Batch0841 (15:27525 to 15:27556)
  Chessing234
  committed
  600448b
- proof: certify passage Batch0842 (15:27557 to 15:27589)
  Chessing234
  committed
  b2bd266
- proof: certify passage Batch0843 (15:27590 to 15:27622)
  Chessing234
  committed
  9e17a3f
- proof: certify passage Batch0844 (15:27623 to 15:27655)
  Chessing234
  committed
  a3fdf23
- proof: certify passage Batch0845 (15:27656 to 15:27687)
  Chessing234
  committed
  ad2acee
- proof: certify passage Batch0846 (15:27688 to 15:27720)
  Chessing234
  committed
  1db8855
- proof: certify passage Batch0847 (15:27721 to 15:27753)
  Chessing234
  committed
  f46c7f6
- proof: certify passage Batch0848 (15:27754 to 15:27786)
  Chessing234
  committed
  7699c41
- proof: certify passage Batch0849 (15:27787 to 15:27819)
  Chessing234
  committed
  5cb528f
- proof: certify passage Batch0850 (15:27820 to 15:27851)
  Chessing234
  committed
  ccba834
- proof: certify passage Batch0851 (15:27852 to 15:27884)
  Chessing234
  committed
  c942771
- proof: certify passage Batch0852 (15:27885 to 15:27917)
  Chessing234
  committed
  d026301
- proof: certify passage Batch0853 (15:27918 to 15:27950)
  Chessing234
  committed
  3f4b778
- proof: certify passage Batch0854 (15:27951 to 15:27982)
  Chessing234
  committed
  4312d7b
- proof: certify passage Batch0855 (15:27983 to 15:28015)
  Chessing234
  committed
  48802ad
- proof: certify passage Batch0856 (15:28016 to 15:28048)
  Chessing234
  committed
  55787e1
- proof: certify passage Batch0857 (15:28049 to 15:28081)
  Chessing234
  committed
  d421a6f
- proof: certify passage Batch0858 (15:28082 to 15:28113)
  Chessing234
  committed
  69d4416
- proof: certify passage Batch0859 (15:28114 to 15:28146)
  Chessing234
  committed
  942f435
- proof: certify passage Batch0860 (15:28147 to 15:28179)
  Chessing234
  committed
  6cd5c20
- proof: certify passage Batch0861 (15:28180 to 15:28212)
  Chessing234
  committed
  09ca684
- proof: certify passage Batch0862 (15:28213 to 15:28245)
  Chessing234
  committed
  d602821
- proof: certify passage Batch0863 (15:28246 to 15:28277)
  Chessing234
  committed
  39590cd
- proof: certify passage Batch0864 (15:28278 to 15:28310)
  Chessing234
  committed
  410d211
- proof: certify passage Batch0865 (15:28311 to 15:28343)
  Chessing234
  committed
  2ef4c5a
- proof: certify passage Batch0866 (15:28344 to 15:28376)
  Chessing234
  committed
  9a72669
- proof: certify passage Batch0867 (15:28377 to 15:28408)
  Chessing234
  committed
  c2059a5
- proof: certify passage Batch0868 (15:28409 to 15:28441)
  Chessing234
  committed
  3eeba8e
- proof: certify passage Batch0869 (15:28442 to 15:28474)
  Chessing234
  committed
  37859c3
- proof: certify passage Batch0870 (15:28475 to 15:28507)
  Chessing234
  committed
  b2f5037
- proof: certify passage Batch0871 (15:28508 to 15:28539)
  Chessing234
  committed
  466cdf4
- proof: certify passage Batch0872 (15:28540 to 15:28572)
  Chessing234
  committed
  40cb4b4
- proof: certify passage Batch0873 (15:28573 to 15:28605)
  Chessing234
  committed
  fd865af
- proof: certify passage Batch0874 (15:28606 to 15:28638)
  Chessing234
  committed
  aca8182
- proof: certify passage Batch0875 (15:28639 to 15:28671)
  Chessing234
  committed
  4a0ecdc
- proof: certify passage Batch0876 (15:28672 to 15:28703)
  Chessing234
  committed
  bbd1545
- proof: certify passage Batch0877 (15:28704 to 15:28736)
  Chessing234
  committed
  7a20a8d
- proof: certify passage Batch0878 (15:28737 to 15:28769)
  Chessing234
  committed
  66add15
- proof: certify passage Batch0879 (15:28770 to 15:28802)
  Chessing234
  committed
  e0b3bf5
- proof: certify passage Batch0880 (15:28803 to 15:28834)
  Chessing234
  committed
  dd0e7a7
- proof: certify passage Batch0881 (15:28835 to 15:28867)
  Chessing234
  committed
  b3321b5
- proof: certify passage Batch0882 (15:28868 to 15:28900)
  Chessing234
  committed
  ea16009
- proof: certify passage Batch0883 (15:28901 to 15:28933)
  Chessing234
  committed
  88906cb
- proof: certify passage Batch0884 (15:28934 to 15:28965)
  Chessing234
  committed
  9d0bf01
- proof: certify passage Batch0885 (15:28966 to 15:28998)
  Chessing234
  committed
  fe85f7c
- proof: certify passage Batch0886 (15:28999 to 15:29031)
  Chessing234
  committed
  8a57a00
- proof: certify passage Batch0887 (15:29032 to 15:29064)
  Chessing234
  committed
  a3388ea
- proof: certify passage Batch0888 (15:29065 to 15:29096)
  Chessing234
  committed
  a432537
- proof: certify passage Batch0889 (15:29097 to 15:29129)
  Chessing234
  committed
  3f5570c
- proof: certify passage Batch0890 (15:29130 to 15:29162)
  Chessing234
  committed
  cc719a9
- proof: certify passage Batch0891 (15:29163 to 15:29195)
  Chessing234
  committed
  c6634e5
- proof: certify passage Batch0892 (15:29196 to 15:29228)
  Chessing234
  committed
  74012f6
- proof: certify passage Batch0893 (15:29229 to 15:29260)
  Chessing234
  committed
  04a814a
- proof: certify passage Batch0894 (15:29261 to 15:29293)
  Chessing234
  committed
  de643fd
- proof: certify passage Batch0895 (15:29294 to 15:29326)
  Chessing234
  committed
  fd210d4
- proof: certify passage Batch0896 (15:29327 to 15:29359)
  Chessing234
  committed
  aa1c4a0
- proof: certify passage Batch0897 (15:29360 to 15:29391)
  Chessing234
  committed
  3c487ee
- proof: certify passage Batch0898 (15:29392 to 15:29424)
  Chessing234
  committed
  b1bc9b8
- proof: certify passage Batch0899 (15:29425 to 15:29457)
  Chessing234
  committed
  fa4cc94
- proof: certify passage Batch0900 (15:29458 to 15:29490)
  Chessing234
  committed
  f7ead41
- proof: certify passage Batch0901 (15:29491 to 15:29522)
  Chessing234
  committed
  6035f07
- proof: certify passage Batch0902 (15:29523 to 15:29555)
  Chessing234
  committed
  e9e340e
- proof: certify passage Batch0903 (15:29556 to 15:29588)
  Chessing234
  committed
  f28f96c
- proof: certify passage Batch0904 (15:29589 to 15:29621)
  Chessing234
  committed
  0ab9b68
- proof: certify passage Batch0905 (15:29622 to 15:29654)
  Chessing234
  committed
  e796d6d
- proof: certify passage Batch0906 (15:29655 to 15:29686)
  Chessing234
  committed
  fc87e34
- proof: certify passage Batch0907 (15:29687 to 15:29719)
  Chessing234
  committed
  704713c
- proof: certify passage Batch0908 (15:29720 to 15:29752)
  Chessing234
  committed
  6861f1e
- proof: certify passage Batch0909 (15:29753 to 15:29785)
  Chessing234
  committed
  52e36b9
- proof: certify passage Batch0910 (15:29786 to 15:29817)
  Chessing234
  committed
  c1a0675
- proof: certify passage Batch0911 (15:29818 to 15:29850)
  Chessing234
  committed
  bf5fe1c
- proof: certify passage Batch0912 (15:29851 to 15:29883)
  Chessing234
  committed
  dd933ab
- proof: certify passage Batch0913 (15:29884 to 15:29916)
  Chessing234
  committed
  146a1ad
- proof: certify passage Batch0914 (15:29917 to 15:29948)
  Chessing234
  committed
  2802d4a
- proof: certify passage Batch0915 (15:29949 to 15:29981)
  Chessing234
  committed
  184ac86
- proof: certify passage Batch0916 (15:29982 to 15:30014)
  Chessing234
  committed
  12102d6
- proof: certify passage Batch0917 (15:30015 to 15:30047)
  Chessing234
  committed
  56f3082
- proof: certify passage Batch0918 (15:30048 to 15:30080)
  Chessing234
  committed
  3d7dd99
- proof: certify passage Batch0919 (15:30081 to 15:30112)
  Chessing234
  committed
  4f6c06c
- proof: certify passage Batch0920 (15:30113 to 15:30145)
  Chessing234
  committed
  2cbaf93
- proof: certify passage Batch0921 (15:30146 to 15:30178)
  Chessing234
  committed
  87d1cf0
- proof: certify passage Batch0922 (15:30179 to 15:30211)
  Chessing234
  committed
  2343b9f
- proof: certify passage Batch0923 (15:30212 to 15:30243)
  Chessing234
  committed
  cbd2e87
- proof: certify passage Batch0924 (15:30244 to 15:30276)
  Chessing234
  committed
  6eef99b
- proof: certify passage Batch0925 (15:30277 to 15:30309)
  Chessing234
  committed
  cf2cc4b
- proof: certify passage Batch0926 (15:30310 to 15:30342)
  Chessing234
  committed
  eb6b83d
- proof: certify passage Batch0927 (15:30343 to 15:30374)
  Chessing234
  committed
  197deb6
- proof: certify passage Batch0928 (15:30375 to 15:30407)
  Chessing234
  committed
  d40af50
- proof: certify passage Batch0929 (15:30408 to 15:30440)
  Chessing234
  committed
  0e39a4c
- proof: certify passage Batch0930 (15:30441 to 15:30473)
  Chessing234
  committed
  4a49a5a
- proof: certify passage Batch0931 (15:30474 to 15:30506)
  Chessing234
  committed
  507ca42
- proof: certify passage Batch0932 (15:30507 to 15:30538)
  Chessing234
  committed
  937dd39
- proof: certify passage Batch0933 (15:30539 to 15:30571)
  Chessing234
  committed
  0f8eeeb
- proof: certify passage Batch0934 (15:30572 to 15:30604)
  Chessing234
  committed
  1c81da8
- proof: certify passage Batch0935 (15:30605 to 15:30637)
  Chessing234
  committed
  557d69e
- proof: certify passage Batch0936 (15:30638 to 15:30669)
  Chessing234
  committed
  13fe8c6
- proof: certify passage Batch0937 (15:30670 to 15:30702)
  Chessing234
  committed
  8ae0f51
- proof: certify passage Batch0938 (15:30703 to 15:30735)
  Chessing234
  committed
  7efc694
- proof: certify passage Batch0939 (15:30736 to 15:30768)
  Chessing234
  committed
  57538f3
- proof: certify passage Batch0940 (15:30769 to 15:30800)
  Chessing234
  committed
  fe46d5f
- proof: certify passage Batch0941 (15:30801 to 15:30833)
  Chessing234
  committed
  c985291
- proof: certify passage Batch0942 (15:30834 to 15:30866)
  Chessing234
  committed
  d49f8a3
- proof: certify passage Batch0943 (15:30867 to 15:30899)
  Chessing234
  committed
  dead45d
- proof: certify passage Batch0944 (15:30900 to 15:30931)
  Chessing234
  committed
  dd85477
- proof: certify passage Batch0945 (15:30932 to 15:30964)
  Chessing234
  committed
  78c8529
- proof: certify passage Batch0946 (15:30965 to 15:30997)
  Chessing234
  committed
  0ba572c
- proof: certify passage Batch0947 (15:30998 to 15:31030)
  Chessing234
  committed
  dee4c09
- proof: certify passage Batch0948 (15:31031 to 15:31063)
  Chessing234
  committed
  792303c
- proof: certify passage Batch0949 (15:31064 to 15:31095)
  Chessing234
  committed
  93fca34
- proof: certify passage Batch0950 (15:31096 to 15:31128)
  Chessing234
  committed
  5f7437e
- proof: certify passage Batch0951 (15:31129 to 15:31161)
  Chessing234
  committed
  a487f05
- proof: certify passage Batch0952 (15:31162 to 15:31194)
  Chessing234
  committed
  d26bbc4
- proof: certify passage Batch0953 (15:31195 to 15:31226)
  Chessing234
  committed
  a02ef24
- proof: certify passage Batch0954 (15:31227 to 15:31259)
  Chessing234
  committed
  63e0d55
- proof: certify passage Batch0955 (15:31260 to 15:31292)
  Chessing234
  committed
  bde66ef
- proof: certify passage Batch0956 (15:31293 to 15:31325)
  Chessing234
  committed
  123d28c
- proof: certify passage Batch0957 (15:31326 to 15:31357)
  Chessing234
  committed
  a13a9b7
- proof: certify passage Batch0958 (15:31358 to 15:31390)
  Chessing234
  committed
  38f8afe
- proof: certify passage Batch0959 (15:31391 to 15:31423)
  Chessing234
  committed
  a991f10
- proof: certify passage Batch0960 (15:31424 to 15:31456)
  Chessing234
  committed
  a7826cc
- proof: certify passage Batch0961 (15:31457 to 15:31489)
  Chessing234
  committed
  9f3c284
- proof: certify passage Batch0962 (15:31490 to 15:31521)
  Chessing234
  committed
  f533369
- proof: certify passage Batch0963 (15:31522 to 15:31554)
  Chessing234
  committed
  324b056
- proof: certify passage Batch0964 (15:31555 to 15:31587)
  Chessing234
  committed
  26da5d3
- proof: certify passage Batch0965 (15:31588 to 15:31620)
  Chessing234
  committed
  36ade74
- proof: certify passage Batch0966 (15:31621 to 15:31652)
  Chessing234
  committed
  bafbcef
- proof: certify passage Batch0967 (15:31653 to 15:31685)
  Chessing234
  committed
  641b805
- proof: certify passage Batch0968 (15:31686 to 15:31718)
  Chessing234
  committed
  12dd076
- proof: certify passage Batch0969 (15:31719 to 15:31751)
  Chessing234
  committed
  2ce52c5
- proof: certify passage Batch0970 (15:31752 to 15:31783)
  Chessing234
  committed
  06e023f
- proof: certify passage Batch0971 (15:31784 to 15:31816)
  Chessing234
  committed
  0af8de6
- proof: certify passage Batch0972 (15:31817 to 15:31849)
  Chessing234
  committed
  9eee70d
- proof: certify passage Batch0973 (15:31850 to 15:31882)
  Chessing234
  committed
  f9db916
- proof: certify passage Batch0974 (15:31883 to 15:31915)
  Chessing234
  committed
  415b386
- proof: certify passage Batch0975 (15:31916 to 15:31947)
  Chessing234
  committed
  4e408ea
- proof: certify passage Batch0976 (15:31948 to 15:31980)
  Chessing234
  committed
  f2a11c7
- proof: certify passage Batch0977 (15:31981 to 15:32013)
  Chessing234
  committed
  b917666
- proof: certify passage Batch0978 (15:32014 to 15:32046)
  Chessing234
  committed
  2fe8df6
- proof: certify passage Batch0979 (15:32047 to 15:32078)
  Chessing234
  committed
  0b9133b
- proof: certify passage Batch0980 (15:32079 to 15:32111)
  Chessing234
  committed
  8633d1e
- proof: certify passage Batch0981 (15:32112 to 15:32144)
  Chessing234
  committed
  d305b98
- proof: certify passage Batch0982 (15:32145 to 15:32177)
  Chessing234
  committed
  b2a64c6
- proof: certify passage Batch0983 (15:32178 to 15:32209)
  Chessing234
  committed
  5f98f6b
- proof: certify passage Batch0984 (15:32210 to 15:32242)
  Chessing234
  committed
  92fed9c
- proof: certify passage Batch0985 (15:32243 to 15:32275)
  Chessing234
  committed
  2b6d3a1
- proof: certify passage Batch0986 (15:32276 to 15:32308)
  Chessing234
  committed
  6216226
- proof: certify passage Batch0987 (15:32309 to 15:32341)
  Chessing234
  committed
  d3153cc
- proof: certify passage Batch0988 (15:32342 to 15:32373)
  Chessing234
  committed
  2c0cb46
- proof: certify passage Batch0989 (15:32374 to 15:32406)
  Chessing234
  committed
  8a9f63c
- proof: certify passage Batch0990 (15:32407 to 15:32439)
  Chessing234
  committed
  3d03f75
- proof: certify passage Batch0991 (15:32440 to 15:32472)
  Chessing234
  committed
  12c965e
- proof: certify passage Batch0992 (15:32473 to 15:32504)
  Chessing234
  committed
  934d4b0
- proof: certify passage Batch0993 (15:32505 to 15:32537)
  Chessing234
  committed
  3046261
- proof: certify passage Batch0994 (15:32538 to 15:32570)
  Chessing234
  committed
  8568a08
- proof: certify passage Batch0995 (15:32571 to 15:32603)
  Chessing234
  committed
  aae5996
- proof: certify passage Batch0996 (15:32604 to 15:32635)
  Chessing234
  committed
  2823a61
- proof: certify passage Batch0997 (15:32636 to 15:32668)
  Chessing234
  committed
  26068d4
- proof: certify passage Batch0998 (15:32669 to 15:32701)
  Chessing234
  committed
  f7c17e3
- proof: certify passage Batch0999 (15:32702 to 15:32734)
  Chessing234
  committed
  4f21d5c
- proof: certify passage Batch1000 (15:32735 to 15:32767)
  Chessing234
  committed
  715e117
- feat: certify passage through 2592 and isolate residual Collatz coverage
  Chessing234
  committed
  8379067
- ci: cache the explicit Collatz library build
  Chessing234
  committed
  391bf38

Commits

Commits on Oct 6, 2026