{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:WZE2JMRD7UGCNQ3F5UQSLLTNBV","short_pith_number":"pith:WZE2JMRD","schema_version":"1.0","canonical_sha256":"b649a4b223fd0c26c365ed2125ae6d0d7c8804b253b98bd456718781cfe8ba47","source":{"kind":"arxiv","id":"2605.17401","version":1},"attestation_state":"computed","paper":{"title":"Send: Objects, History, and Transactions in a Single-Verb Kernel","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"A minimal kernel with one send verb and ephemeral-persistent distinction enforces six coordination properties as kernel invariants.","cross_cats":["cs.PL"],"primary_cat":"cs.DC","authors_text":"Christopher Goes","submitted_at":"2026-05-17T11:44:48Z","abstract_excerpt":"Multi-party object coordination - across object-capability systems, smart-contract platforms, distributed actors, and event-sourced architectures - is shaped by six structural properties: authenticated provenance, opaque encapsulation, atomic multi-object commit, deterministic replay, immutable history, and history-derived state. Existing systems compose subsets via separate layered mechanisms (RPC, capability ACLs, transaction coordinators, event journals, vat boundaries); each layer is well-studied but the combination is fragile. We present a minimal kernel which makes them jointly compatibl"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":true,"formal_links_present":true},"canonical_record":{"source":{"id":"2605.17401","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.DC","submitted_at":"2026-05-17T11:44:48Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"1a22edf98b5e5836317bf938f505fcc4fb23d376ad673cf76473ac9686b2d349","abstract_canon_sha256":"5ab3ea4daad7b6b465e7c90bfbfc8022ebb01a6ec71818dc95260b1b80f1a27a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:03:56.578477Z","signature_b64":"NhRAWBjbJyOj5+2joWIpuPBsZb+x5LoBlhoMnw5u4yCmbHbnw58yiT7jrcejplLgH5cchlMFOhpilufxXxSiDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b649a4b223fd0c26c365ed2125ae6d0d7c8804b253b98bd456718781cfe8ba47","last_reissued_at":"2026-05-20T00:03:56.577635Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:03:56.577635Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Send: Objects, History, and Transactions in a Single-Verb Kernel","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"A minimal kernel with one send verb and ephemeral-persistent distinction enforces six coordination properties as kernel invariants.","cross_cats":["cs.PL"],"primary_cat":"cs.DC","authors_text":"Christopher Goes","submitted_at":"2026-05-17T11:44:48Z","abstract_excerpt":"Multi-party object coordination - across object-capability systems, smart-contract platforms, distributed actors, and event-sourced architectures - is shaped by six structural properties: authenticated provenance, opaque encapsulation, atomic multi-object commit, deterministic replay, immutable history, and history-derived state. Existing systems compose subsets via separate layered mechanisms (RPC, capability ACLs, transaction coordinators, event journals, vat boundaries); each layer is well-studied but the combination is fragile. We present a minimal kernel which makes them jointly compatibl"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"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.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"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.)","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"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.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"A minimal kernel with one send verb and ephemeral-persistent distinction enforces six coordination properties as kernel invariants.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"b958f35b73876ceb1c629e9cc8c28cbc25f88e625a12360b512b1e607e47e3a6"},"source":{"id":"2605.17401","kind":"arxiv","version":1},"verdict":{"id":"90708e9b-5fc0-4059-afc8-30d2ca3458d7","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-19T22:54:47.268161Z","strongest_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.","one_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.","pipeline_version":"pith-pipeline@v0.9.0","weakest_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.)","pith_extraction_headline":"A minimal kernel with one send verb and ephemeral-persistent distinction enforces six coordination properties as kernel invariants."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.17401/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"doi_compliance","ran_at":"2026-05-19T23:01:32.023345Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_title_agreement","ran_at":"2026-05-19T23:01:19.651036Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"claim_evidence","ran_at":"2026-05-19T21:41:57.753718Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"ai_meta_artifact","ran_at":"2026-05-19T21:33:23.696501Z","status":"skipped","version":"1.0.0","findings_count":0}],"snapshot_sha256":"afd2f33dd2e846d791a8b92c3451bdde8e7d4357ab21f2e35b72316e68e6e5ba"},"references":{"count":29,"sample":[{"doi":"","year":1987,"title":"Self: The Power of Simplicity","work_id":"4ffcda03-f7e4-41d6-967a-80a112ff7530","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1989,"title":"An Efficient Implementation of Self, a Dynamically-Typed Object- Oriented Language Based on Prototypes","work_id":"7fa931af-a243-46c2-b7a9-a87b4e5d9b84","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":null,"title":"\"Nock.\" Urbit specification","work_id":"21008147-603c-4f2c-9551-4afed8ce4d83","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2016,"title":"Urbit: A Solid-State Interpreter","work_id":"a70bde20-a7f2-4b86-90d2-1d3e3baca05e","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2014,"title":"Ethereum: A Secure Decentralised Generalised Transaction Ledger","work_id":"d0555606-10a5-46b0-b7b0-32dfb08501cb","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":29,"snapshot_sha256":"4802788a5a0a6f36ddd758c5f8bae2eda3a08f76c542f5a66cefa7982153b6e9","internal_anchors":0},"formal_canon":{"evidence_count":2,"snapshot_sha256":"90ac3029f445d27ef4b1a52faab7a1aa4d8abdfc9f90931a4052f87a32f7535c"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2605.17401","created_at":"2026-05-20T00:03:56.577771+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.17401v1","created_at":"2026-05-20T00:03:56.577771+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.17401","created_at":"2026-05-20T00:03:56.577771+00:00"},{"alias_kind":"pith_short_12","alias_value":"WZE2JMRD7UGC","created_at":"2026-05-20T00:03:56.577771+00:00"},{"alias_kind":"pith_short_16","alias_value":"WZE2JMRD7UGCNQ3F","created_at":"2026-05-20T00:03:56.577771+00:00"},{"alias_kind":"pith_short_8","alias_value":"WZE2JMRD","created_at":"2026-05-20T00:03:56.577771+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":2,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/WZE2JMRD7UGCNQ3F5UQSLLTNBV","json":"https://pith.science/pith/WZE2JMRD7UGCNQ3F5UQSLLTNBV.json","graph_json":"https://pith.science/api/pith-number/WZE2JMRD7UGCNQ3F5UQSLLTNBV/graph.json","events_json":"https://pith.science/api/pith-number/WZE2JMRD7UGCNQ3F5UQSLLTNBV/events.json","paper":"https://pith.science/paper/WZE2JMRD"},"agent_actions":{"view_html":"https://pith.science/pith/WZE2JMRD7UGCNQ3F5UQSLLTNBV","download_json":"https://pith.science/pith/WZE2JMRD7UGCNQ3F5UQSLLTNBV.json","view_paper":"https://pith.science/paper/WZE2JMRD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.17401&json=true","fetch_graph":"https://pith.science/api/pith-number/WZE2JMRD7UGCNQ3F5UQSLLTNBV/graph.json","fetch_events":"https://pith.science/api/pith-number/WZE2JMRD7UGCNQ3F5UQSLLTNBV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WZE2JMRD7UGCNQ3F5UQSLLTNBV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WZE2JMRD7UGCNQ3F5UQSLLTNBV/action/storage_attestation","attest_author":"https://pith.science/pith/WZE2JMRD7UGCNQ3F5UQSLLTNBV/action/author_attestation","sign_citation":"https://pith.science/pith/WZE2JMRD7UGCNQ3F5UQSLLTNBV/action/citation_signature","submit_replication":"https://pith.science/pith/WZE2JMRD7UGCNQ3F5UQSLLTNBV/action/replication_record"}},"created_at":"2026-05-20T00:03:56.577771+00:00","updated_at":"2026-05-20T00:03:56.577771+00:00"}