🤖 This issue was generated by Claude on behalf of @keddie.
:kuilt-conformance ships QuiltedConformanceSuite and CrdtConvergenceSuite, subclassed by roughly a dozen other CRDT types (ORSet, ORMap, GCounter, PNCounter, LWWRegister, LWWMap, MVRegister, GSet, TwoPhaseSet, BoundedCounter, EphemeralMap, JsonCrdt, ...). Rga, Fugue, and MovableTree — the three op-log sequence/tree CRDTs described in docs/op-log-crdt-compaction.md — have none. Verified: no RgaConformanceTest/FugueConformanceTest/MovableTreeConformanceTest exist anywhere in kuilt-conformance/src/commonTest/.
Found during the #1206/#1207 stack-overflow fix review: a conformance binding for each would catch general convergence/quorum properties automatically, and is a natural home for a shared "op-log CRDT materialization must handle a large linear/append-heavy structure without blowing the native stack" stress property, so a future op-log CRDT (or a regression in one of these three) doesn't need a bespoke one-off test.
Not urgent — no known bug depends on this — but a real structural test-coverage gap worth closing.
:kuilt-conformanceshipsQuiltedConformanceSuiteandCrdtConvergenceSuite, subclassed by roughly a dozen other CRDT types (ORSet,ORMap,GCounter,PNCounter,LWWRegister,LWWMap,MVRegister,GSet,TwoPhaseSet,BoundedCounter,EphemeralMap,JsonCrdt, ...).Rga,Fugue, andMovableTree— the three op-log sequence/tree CRDTs described indocs/op-log-crdt-compaction.md— have none. Verified: noRgaConformanceTest/FugueConformanceTest/MovableTreeConformanceTestexist anywhere inkuilt-conformance/src/commonTest/.Found during the #1206/#1207 stack-overflow fix review: a conformance binding for each would catch general convergence/quorum properties automatically, and is a natural home for a shared "op-log CRDT materialization must handle a large linear/append-heavy structure without blowing the native stack" stress property, so a future op-log CRDT (or a regression in one of these three) doesn't need a bespoke one-off test.
Not urgent — no known bug depends on this — but a real structural test-coverage gap worth closing.