Public research materials by Michael Zot, Independent Researcher.
Contact: mike@ZotBot.Ai
- Paper 1 - Navier-Stokes: Recovering Minimal Structure from Representation-Induced Complexity
- Paper 2 - When Invisible Differences Stay Invisible: Machine-Certified All-Order Congruence for Temporal Reconstruction
Paper 1 develops the Structural Path Compression architecture. Paper 2 publishes the exact Lean proof and reproducibility package for one machine-certified all-order congruence required by the later quotient program.