{"id":"pncounter-composed-of-two-gcounters","text":"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.","truth_value":"IN","source":"entries/2026/05/29/conflict-free-replicated-data-types-test_crdts.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"pncounter-composed-of-two-gcounters","truth_value":"IN","reason":"premise"}]}}