pith:35NPC75S
Volition-Guarded Multiagent Atomic Transactions: Describing People and their Machines
Volitional multiagent atomic transactions let formal models capture both machines and the people who operate them.
arxiv:2604.25596 v2 · 2026-04-28 · cs.DC · cs.HC · cs.MA · cs.SI
Add to your LaTeX paper
\usepackage{pith}
\pithnumber{35NPC75S5EKFLFAHQMZT3BOCID}
Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge
Record completeness
Claims
volitional multiagent atomic transactions -- executed atomically by machines and guarded by their people's volitions -- as a novel mathematical foundation for specifying systems consisting of people operating machines.
That human volitions can be treated as stable, discrete states that reliably guard machine preconditions without introducing unmodeled inconsistencies in real deployments.
Volitional multiagent atomic transactions model systems of people and machines by requiring both machine preconditions and human willingness for atomic actions, enabling safety and liveness analysis for grassroots platforms.
Receipt and verification
| First computed | 2026-07-07T02:17:25.622947Z |
|---|---|
| Builder | pith-number-builder-2026-05-17-v1 |
| Signature | Pith Ed25519
(pith-v1-2026-05) · public key |
| Schema | pith-number/v1.0 |
Canonical hash
df5af17fb2e91455940783333d85c240e07ca1f344451f67c56ebdd7b7a57319
Aliases
· · · · ·Agent API
Verify this Pith Number yourself
curl -sH 'Accept: application/ld+json' https://pith.science/pith/35NPC75S5EKFLFAHQMZT3BOCID \
| 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: df5af17fb2e91455940783333d85c240e07ca1f344451f67c56ebdd7b7a57319
Canonical record JSON
{
"metadata": {
"abstract_canon_sha256": "b2d5f08d24c38350ee0d6d197615e9a8edb5ea8f3f2f53f01dd5fa88df5f6ab4",
"cross_cats_sorted": [
"cs.HC",
"cs.MA",
"cs.SI"
],
"license": "http://creativecommons.org/licenses/by-nc-nd/4.0/",
"primary_cat": "cs.DC",
"submitted_at": "2026-04-28T13:02:49Z",
"title_canon_sha256": "d17aa6ad7203f153cf1d4aae1925e7093984edf8f9f8eb721b30459a12b35afc"
},
"schema_version": "1.0",
"source": {
"id": "2604.25596",
"kind": "arxiv",
"version": 2
}
}