{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:PKQLLLHLKE7PKMQLLF5M7HC5QG","short_pith_number":"pith:PKQLLLHL","schema_version":"1.0","canonical_sha256":"7aa0b5aceb513ef5320b597acf9c5d81854a226d48052e2f214e345585ebd3ac","source":{"kind":"arxiv","id":"2608.00501","version":1},"attestation_state":"computed","paper":{"title":"Machine-Checked Dual-Write Recovery from a Committed Log","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.DC","cs.LO"],"primary_cat":"cs.DB","authors_text":"Andreas Andreakis","submitted_at":"2026-08-01T07:52:16Z","abstract_excerpt":"After a crash, a delivery process faces a question its own database cannot answer: did the other side already receive the effect? Transactional outboxes and change data capture remove the application's dual write, but the relay they introduce delivers and records its own progress as two separate durable acts, so the same decision reappears one stage later.\n  Practitioners have handled this boundary for a decade with retries, checkpoints, idempotency keys, and fencing, and the operational advice is largely sound. What has been missing is a precise account of when it works: the exact event the g"},"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":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2608.00501","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2026-08-01T07:52:16Z","cross_cats_sorted":["cs.DC","cs.LO"],"title_canon_sha256":"9b602980829f9855b93a6caa92015f47243ebe8d26e139b7b13cab48db0e1c91","abstract_canon_sha256":"f3c8d4105f34789c14210b40b13ec156cdaca51ece7c47e085c3d6f27215bb4d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-04T00:37:03.891673Z","signature_b64":"kyQzB5jDJUwFeWKl2+dLDsjOLNnh6dqk3HP/Pk1SKmQVF6wLDVcjUHxkC3FlFYh0hTXWDgM4veTPlfJCY43CBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7aa0b5aceb513ef5320b597acf9c5d81854a226d48052e2f214e345585ebd3ac","last_reissued_at":"2026-08-04T00:37:03.890243Z","signature_status":"signed_v1","first_computed_at":"2026-08-04T00:37:03.890243Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Machine-Checked Dual-Write Recovery from a Committed Log","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.DC","cs.LO"],"primary_cat":"cs.DB","authors_text":"Andreas Andreakis","submitted_at":"2026-08-01T07:52:16Z","abstract_excerpt":"After a crash, a delivery process faces a question its own database cannot answer: did the other side already receive the effect? Transactional outboxes and change data capture remove the application's dual write, but the relay they introduce delivers and records its own progress as two separate durable acts, so the same decision reappears one stage later.\n  Practitioners have handled this boundary for a decade with retries, checkpoints, idempotency keys, and fencing, and the operational advice is largely sound. What has been missing is a precise account of when it works: the exact event the g"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.00501","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2608.00501/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"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":"2608.00501","created_at":"2026-08-04T00:37:03.891439+00:00"},{"alias_kind":"arxiv_version","alias_value":"2608.00501v1","created_at":"2026-08-04T00:37:03.891439+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.00501","created_at":"2026-08-04T00:37:03.891439+00:00"},{"alias_kind":"pith_short_12","alias_value":"PKQLLLHLKE7P","created_at":"2026-08-04T00:37:03.891439+00:00"},{"alias_kind":"pith_short_16","alias_value":"PKQLLLHLKE7PKMQL","created_at":"2026-08-04T00:37:03.891439+00:00"},{"alias_kind":"pith_short_8","alias_value":"PKQLLLHL","created_at":"2026-08-04T00:37:03.891439+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/PKQLLLHLKE7PKMQLLF5M7HC5QG","json":"https://pith.science/pith/PKQLLLHLKE7PKMQLLF5M7HC5QG.json","graph_json":"https://pith.science/api/pith-number/PKQLLLHLKE7PKMQLLF5M7HC5QG/graph.json","events_json":"https://pith.science/api/pith-number/PKQLLLHLKE7PKMQLLF5M7HC5QG/events.json","paper":"https://pith.science/paper/PKQLLLHL"},"agent_actions":{"view_html":"https://pith.science/pith/PKQLLLHLKE7PKMQLLF5M7HC5QG","download_json":"https://pith.science/pith/PKQLLLHLKE7PKMQLLF5M7HC5QG.json","view_paper":"https://pith.science/paper/PKQLLLHL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2608.00501&json=true","fetch_graph":"https://pith.science/api/pith-number/PKQLLLHLKE7PKMQLLF5M7HC5QG/graph.json","fetch_events":"https://pith.science/api/pith-number/PKQLLLHLKE7PKMQLLF5M7HC5QG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PKQLLLHLKE7PKMQLLF5M7HC5QG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PKQLLLHLKE7PKMQLLF5M7HC5QG/action/storage_attestation","attest_author":"https://pith.science/pith/PKQLLLHLKE7PKMQLLF5M7HC5QG/action/author_attestation","sign_citation":"https://pith.science/pith/PKQLLLHLKE7PKMQLLF5M7HC5QG/action/citation_signature","submit_replication":"https://pith.science/pith/PKQLLLHLKE7PKMQLLF5M7HC5QG/action/replication_record"}},"created_at":"2026-08-04T00:37:03.891439+00:00","updated_at":"2026-08-04T00:37:03.891439+00:00"}