WeightedWordComparison.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

Finite-origin comparison for signed weighted words. All centered prime bits, bounded padding states, and the surviving-site circuit are expanded together, before taking any absolute values.

theorem OAI.TwoPointCorrelations.BravermanDepth22Input.eventually_weighted_word_comparison line 14