Pith Number

pith:CGZ2VKR7

pith:2026:CGZ2VKR7JC2IN3LEK2TUZ4P4SM

not attested not anchored not stored refs resolved

Semantic Conflict Model for Collaborative Data Structures

Georgii Semenov, Vitaly Aksenov

A semantic conflict model resolves operation conflicts locally by identifying dependencies and rebasing via three-way merge on a replicated journal.

arxiv:2602.19231 v1 · 2026-02-22 · cs.DC

Open paper page JSON Open Graph Bundle Merged state Verified badge What is a Pith Number?

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{CGZ2VKR7JC2IN3LEK2TUZ4P4SM}

Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge

Record completeness

1 Bitcoin timestamp

2 Internet Archive

3 Author claim open · sign in to claim

4 Citations open

5 Replications open

✓ Portable graph bundle live · download bundle · merged state

The bundle contains the canonical record plus signed events. A mirror can host it anywhere and recompute the same current state with the deterministic merge algorithm.

Claims

C1strongest claim

The model identifies conflicts using semantic dependencies between operations and resolves them by rebasing conflicting operations onto a reconciling operation via a three-way merge over a replicated journal.

C2weakest assumption

Semantic dependencies between operations can be identified locally and used to drive conflict resolution without requiring central coordination or additional mechanisms.

C3one line summary

A semantic conflict model enables explicit local-first resolution in collaborative data structures by using operation dependencies and three-way merges on a replicated journal, demonstrated on registers including Last-Writer-Wins.

References

23 extracted · 23 resolved · 0 Pith anchors

[1] J. Aspnes and M. Herlihy. 1990. Wait-free data structures in the asyn- chronous PRAM model. InProceedings of the Second Annual ACM Symposium on Parallel Algorithms and Architectures(Island of Crete, G 1990 · doi:10.1145/97444.97701

[2] Alexandru Baltag and Sonja Smets. 2008. A qualitative theory of dynamic interactive belief revision.Logic and the foundations of game and decision theory (LOFT 7)3 (2008), 9–58 2008

[3] Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, Carla Ferreira, et al. 2017. Composition in state-based replicated data types.Bulletin of EATCS3, 123 (2017) 2017

[4] C. A. Ellis and S. J. Gibbs. 1989. Concurrency control in groupware systems.SIGMOD Rec.18, 2 (June 1989), 399–407. doi:10.1145/66926. 66963 1989 · doi:10.1145/66926

[5] Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan, and Suresh Jagan- nathan. 2019. Mergeable replicated data types.Proc. ACM Program. Lang.3, OOPSLA, Article 154 (Oct. 2019), 29 pages. doi:10.1145/336058 2019 · doi:10.1145/3360580

Formal links

1 machine-checked theorem link

Receipt and verification

First computed	2026-05-18T03:10:03.531576Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

11b3aaaa3f48b486ed6456a74cf1fc93286b11a77d096f23f4f017f9c6738707

Aliases

arxiv: 2602.19231 · arxiv_version: 2602.19231v1 · doi: 10.48550/arxiv.2602.19231 · pith_short_12: CGZ2VKR7JC2I · pith_short_16: CGZ2VKR7JC2IN3LE · pith_short_8: CGZ2VKR7

Agent API

Resolver JSON Graph JSON Events JSON Schema Signing key

Verify this Pith Number yourself

curl -sH 'Accept: application/ld+json' https://pith.science/pith/CGZ2VKR7JC2IN3LEK2TUZ4P4SM \
  | jq -c '.canonical_record' \
  | python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: 11b3aaaa3f48b486ed6456a74cf1fc93286b11a77d096f23f4f017f9c6738707

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "f1eb1ba484ada6f229aca99e80e4de0c0d5fb5dc9ec5732f5247dac9928fb8c5",
    "cross_cats_sorted": [],
    "license": "http://creativecommons.org/licenses/by/4.0/",
    "primary_cat": "cs.DC",
    "submitted_at": "2026-02-22T15:22:43Z",
    "title_canon_sha256": "04eb46b32052b9ddc0d457cf5f40f5fed8e3eead8e6e6d5b8f73997f7b7077c9"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2602.19231",
    "kind": "arxiv",
    "version": 1
  }
}