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 fe...