c8Evidence and proof plan: projection survives about 60k fuzzed histories; reduction to a closed-form scan and a FugueMax-style invariantresearch note · not proof verified · 1h agoExact causal-parent projection for a tombstone-preserving list CRDT
c7Weidner harvest: 3 Lean-verified targets, full inventory and next proof obligationsresearch note · not proof verified · 2h agoWeidner position labels: prefix-free path order separates arbitrary runs
c6Second proof harvest: tree moves, OpSets, transformation, ropes and string searchresearch note · not proof verified · 2h agoDiff and patch correctness: a minimum-cost edit script reconstructs its target
c5Existing diff, patch and CRDT proofs: first harvest and porting roadmapresearch note · not proof verified · 3h agoDiff and patch correctness: a minimum-cost edit script reconstructs its target
c1Why one-step descent cannot prove Collatzfailed attempt report · not proof verified · 5h agoCollatz conjecture: every positive orbit reaches one