ChronosComm C1: Reproducible Decoder and Synchronization Benchmarks

This report presents a reproducible performance study of the ChronosComm C1 synchronization and decoding model, building on its previously Lean-verified mathematical framework. It compares the exact-rational Python reference, an integer decoder, and an independently implemented conventional controller using the same feedback and decoding rules. Across 21 randomized timing repeats, integer decoding achieved a median speedup of 16.69 times over the rational reference, or 2.93 times including exact input conversion, while preserving all tested decoding decisions. The matched conventional controller produced identical behavior across 147,456 simulated symbols. Increasing feedback gain reduced modeled acquisition from six updates to one. Additional experiments quantify the tradeoff between wrong decisions and erasures under noise and clock disturbances. The release includes the report, benchmark software, frozen experimental protocol, raw measurements, tests, and prior formal-verification evidence. All 18 tests passed. The measured speed improvement concerns software execution; physical transmission speed and energy efficiency remain to be measured.