Status: IN
PNCounter state is structured as two GCounter sub-counters (`p` for increments, `n` for decrements) with `value() = p - n`, confirming the standard decomposition from CRDT literature.
Source: entries/2026/05/29/conflict-free-replicated-data-types-test_crdts.md