Pith Number

pith:WZE2JMRD

pith:2026:WZE2JMRD7UGCNQ3F5UQSLLTNBV

not attested not anchored not stored refs resolved

Send: Objects, History, and Transactions in a Single-Verb Kernel

Christopher Goes

A minimal kernel with one send verb and ephemeral-persistent distinction enforces six coordination properties as kernel invariants.

arxiv:2605.17401 v1 · 2026-05-17 · cs.DC · cs.PL

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

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{WZE2JMRD7UGCNQ3F5UQSLLTNBV}

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

Under kernel-faithful trust (the kernel runs its semantics as specified), this design holds all six properties as *kernel-level* against arbitrary programs - the kernel's transition function refuses states violating them.

C2weakest assumption

The kernel structurally classifies every send target into one of six cases without input from the caller, enabling uniform caller interface and intensional kernel dispatch that enforces the six properties. (From abstract description of kernel dispatch.)

C3one line summary

A single-verb kernel with ephemeral versus persistent object distinction enforces six coordination properties including atomic commits and immutable history directly at the kernel level.

References

29 extracted · 29 resolved · 0 Pith anchors

[1] Self: The Power of Simplicity 1987

[2] An Efficient Implementation of Self, a Dynamically-Typed Object- Oriented Language Based on Prototypes 1989

[3] "Nock." Urbit specification

[4] Urbit: A Solid-State Interpreter 2016

[5] Ethereum: A Secure Decentralised Generalised Transaction Ledger 2014

Formal links

2 machine-checked theorem links

Receipt and verification

First computed	2026-05-20T00:03:56.577635Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

b649a4b223fd0c26c365ed2125ae6d0d7c8804b253b98bd456718781cfe8ba47

Aliases

arxiv: 2605.17401 · arxiv_version: 2605.17401v1 · doi: 10.48550/arxiv.2605.17401 · pith_short_12: WZE2JMRD7UGC · pith_short_16: WZE2JMRD7UGCNQ3F · pith_short_8: WZE2JMRD

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/WZE2JMRD7UGCNQ3F5UQSLLTNBV \
  | 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: b649a4b223fd0c26c365ed2125ae6d0d7c8804b253b98bd456718781cfe8ba47

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "5ab3ea4daad7b6b465e7c90bfbfc8022ebb01a6ec71818dc95260b1b80f1a27a",
    "cross_cats_sorted": [
      "cs.PL"
    ],
    "license": "http://creativecommons.org/licenses/by-sa/4.0/",
    "primary_cat": "cs.DC",
    "submitted_at": "2026-05-17T11:44:48Z",
    "title_canon_sha256": "1a22edf98b5e5836317bf938f505fcc4fb23d376ad673cf76473ac9686b2d349"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2605.17401",
    "kind": "arxiv",
    "version": 1
  }
}