Concurrent collection is how Go achieves sub-millisecond pauses and how JVM's ZGC and Shenandoah collect multi-terabyte heaps without stopping the application — the technology that made GC acceptable for trading systems and game servers. The tri-color invariant you study here is the correctness argument all of them rest on.