Update README.md

README.md

@@ -14,6 +14,5 @@ entry_class model.BitSerialReducer, output_base 2, ~471K params.
 
 ## Limitation (honest)
 Benchmark-accurate on the official random-operand distribution; a sparse, power-of-two-adjacent
-structured-input residual remains (not exact). Not organizer-verified at scale; the compliance
-ruling on the fixed loop schedule is pending. The Lean package proves the integer algorithm,
+structured-input residual remains (not exact). Not organizer-verified. The Lean package proves the integer algorithm,
 not this network.