Imagine a neighborhood watch where every house independently decides when to check their locks — no shared schedule, no central alarm. Common sense says this should fail: burglars slip through the gaps between patrols. This paper proves that if each house's checking rule is aggressive enough relative to the break-in rate, the neighborhood stays safe anyway. That's the core mechanism: local stochastic updates, acting without coordination, can collectively suppress errors at all scales. The committed claim: asynchronous local error correction can provably stabilize classical memory under sufficiently weak noise, even biased noise, without any global synchronization. The authors build a spacetime renormalization group (RG) framework — a coarse-graining machine that looks at the error-correction dynamics at progressively larger length and time scales and asks whether 'good' behavior at small scales guarantees good behavior at large scales. They identify two sufficient conditions: stable interfaces between encoded phases must have a geometric structure that renormalizes cleanly, and defect propagation must be suppressed fast enough that errors don't cascade. The technique lives in the family of Peierls-argument-style proofs, extended to stochastic spacetime. Classical Peierls arguments count the energy cost of domain walls in equilibrium statistical mechanics; here the authors count the probability cost of 'incorrect' spacetime regions in a non-equilibrium, asynchronous dynamics. The key structural choice is a hierarchical renormalization that maps spacetime blocks to effective sites, with 'good' and 'bad' labels propagating upward. If the probability of a bad block decays fast enough with scale, memory is stable. The paper leans on careful geometric bookkeeping — bounding how many bad blocks can cluster and how defect fronts propagate in continuous-time Markov chains. They apply this framework to three concrete systems. First, the 1D 'R squeezing code,' where they prove stability under asynchronous updates — resolving an open question, since prior proofs required synchronous (discrete-time) dynamics. Second, a 2D 'robust process' combining majority vote and boundary-tension rules. Third, a 3D extension. In all cases, both encoded phases survive under weak noise, even when the noise is biased toward one phase. The 2D and 3D constructions are new. Integrity-wise, this is a mathematical proof paper, not a simulation or experiment. The validation is internal: theorem statements, lemma chains, and explicit sufficient conditions. There are no benchmarks to cherry-pick and no datasets to overfit. The strength is that proofs are the gold standard of validation in this subfield — if the proofs hold, the results hold. The weakness is that no one outside the authors has verified the full 13-page argument yet, and the gap between 'provably stable in principle' and 'practically useful memory' is large. The milestone that matters is the noise threshold. The paper proves stability exists below some critical noise rate but doesn't optimize the threshold or compare it to practical noise levels in, say, molecular-scale hardware or biological error correction. The next concrete number the field needs is an explicit, tight noise-threshold bound for the 2D system — something an engineer could compare against a real device's error rate. That number is probably 1-3 papers away. The obvious experiment not run: numerical simulation of the asynchronous dynamics to measure actual convergence times and threshold values, rather than just proving they exist. The honest read is (a) — this is a theory group doing what theory groups do (prove theorems), and the numerics are a different skill set and a different paper. But the absence means we don't know whether the 'sufficiently weak noise' regime is 1% or 0.001%, and that matters for anyone wanting to build something.
