Oct 7

1. 23:31

   Prove the paper's counts, levelization, depth bounds, recipe lengths and Section 6 in Rocq, and revise the paper

   phanerozoic
   8397e00
2. 00:47

   Prove the stored host's construction, copies, period and network in Rocq for every word width, give each unit its own window cell, and revise Section 8 with the new records

   phanerozoic
   0eb76eb