{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:PKQLLLHLKE7PKMQLLF5M7HC5QG","short_pith_number":"pith:PKQLLLHL","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"},"canonical_sha256":"7aa0b5aceb513ef5320b597acf9c5d81854a226d48052e2f214e345585ebd3ac","source":{"kind":"arxiv","id":"2608.00501","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.00501","created_at":"2026-08-04T00:37:03Z"},{"alias_kind":"arxiv_version","alias_value":"2608.00501v1","created_at":"2026-08-04T00:37:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.00501","created_at":"2026-08-04T00:37:03Z"},{"alias_kind":"pith_short_12","alias_value":"PKQLLLHLKE7P","created_at":"2026-08-04T00:37:03Z"},{"alias_kind":"pith_short_16","alias_value":"PKQLLLHLKE7PKMQL","created_at":"2026-08-04T00:37:03Z"},{"alias_kind":"pith_short_8","alias_value":"PKQLLLHL","created_at":"2026-08-04T00:37:03Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:PKQLLLHLKE7PKMQLLF5M7HC5QG","target":"record","payload":{"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"},"canonical_sha256":"7aa0b5aceb513ef5320b597acf9c5d81854a226d48052e2f214e345585ebd3ac","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"},"source_kind":"arxiv","source_id":"2608.00501","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-04T00:37:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yYfXi8Vm0R+0k2k/tEoCRKZ+bPJ4HZ+N3BC/nsVVADErZcvMkmXh7Gn6aoBUY6OyYWNdBrZclK3qy1ZJ6X7pDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T22:20:48.031800Z"},"content_sha256":"af2a8e2d00d24db9daed1af673d82fe82a83cfb07b68d0f049bb87a2397684b9","schema_version":"1.0","event_id":"sha256:af2a8e2d00d24db9daed1af673d82fe82a83cfb07b68d0f049bb87a2397684b9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:PKQLLLHLKE7PKMQLLF5M7HC5QG","target":"graph","payload":{"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-04T00:37:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fo8C6a3qTBXICufdqie21XhKfgePbtHpJGY7gsCmGi7okc47+jcmw2jiSeS8yUzjSAVZNSWAeup7yl4vFUJpCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T22:20:48.032754Z"},"content_sha256":"f7cf4e62607509ce9c4f2319fb2b923d2fe5b80555f461a1d97f1a2cfc8b431c","schema_version":"1.0","event_id":"sha256:f7cf4e62607509ce9c4f2319fb2b923d2fe5b80555f461a1d97f1a2cfc8b431c"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:PKQLLLHLKE7PKMQLLF5M7HC5QG","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-319-03089-0_13) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, and Xavier Urbain. 2013. Certified Impossibility Results for Byzantine- Tolerant Mobile Robots. InSymposium on Stabilization, Safety, and Security of Distributed Systems (SSS) ","arxiv_id":"2608.00501","detector":"doi_compliance","evidence":{"ref_index":7,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/978-3-319-03089-","reconstructed_doi":"10.1007/978-3-319-03089-0_13"},"severity":"advisory","ref_index":7,"audited_at":"2026-08-05T01:08:18.449317Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-319-03089-0_13","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"d1ee38801693296570e9b1fb37f64fb23524babec35f203d98eb1ea4b760945a","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":18017,"payload_sha256":"c717ff4861121b0550d8cb23a053c4b9668f52c8fe0334e0ff3ca276b8ed9489","signature_b64":"qDpD0DOe8MEJvvquoBXUynrstb6ck9XUTYHNjG1Erdb41RE3/j3/NwZdptmwDjJfROm1uFMxkUOkcgsZVbIfAg==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-05T01:08:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I/0SENq/deQxlhu9n6m4d09f3VuG51Far7M8+g7nxmpitdLDi7CgjNr+60J/UBGSS2UUfk6S9eedbfpMk/d9AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T22:20:48.095295Z"},"content_sha256":"3f8ff06bed132de65f3425fdab6b1897d23013f88930845a5ec68928f6fb8c28","schema_version":"1.0","event_id":"sha256:3f8ff06bed132de65f3425fdab6b1897d23013f88930845a5ec68928f6fb8c28"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PKQLLLHLKE7PKMQLLF5M7HC5QG/bundle.json","state_url":"https://pith.science/pith/PKQLLLHLKE7PKMQLLF5M7HC5QG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PKQLLLHLKE7PKMQLLF5M7HC5QG/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-13T22:20:48Z","links":{"resolver":"https://pith.science/pith/PKQLLLHLKE7PKMQLLF5M7HC5QG","bundle":"https://pith.science/pith/PKQLLLHLKE7PKMQLLF5M7HC5QG/bundle.json","state":"https://pith.science/pith/PKQLLLHLKE7PKMQLLF5M7HC5QG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PKQLLLHLKE7PKMQLLF5M7HC5QG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:PKQLLLHLKE7PKMQLLF5M7HC5QG","merge_version":"pith-open-graph-merge-v1","event_count":3,"valid_event_count":3,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"f3c8d4105f34789c14210b40b13ec156cdaca51ece7c47e085c3d6f27215bb4d","cross_cats_sorted":["cs.DC","cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2026-08-01T07:52:16Z","title_canon_sha256":"9b602980829f9855b93a6caa92015f47243ebe8d26e139b7b13cab48db0e1c91"},"schema_version":"1.0","source":{"id":"2608.00501","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.00501","created_at":"2026-08-04T00:37:03Z"},{"alias_kind":"arxiv_version","alias_value":"2608.00501v1","created_at":"2026-08-04T00:37:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.00501","created_at":"2026-08-04T00:37:03Z"},{"alias_kind":"pith_short_12","alias_value":"PKQLLLHLKE7P","created_at":"2026-08-04T00:37:03Z"},{"alias_kind":"pith_short_16","alias_value":"PKQLLLHLKE7PKMQL","created_at":"2026-08-04T00:37:03Z"},{"alias_kind":"pith_short_8","alias_value":"PKQLLLHL","created_at":"2026-08-04T00:37:03Z"}],"graph_snapshots":[{"event_id":"sha256:f7cf4e62607509ce9c4f2319fb2b923d2fe5b80555f461a1d97f1a2cfc8b431c","target":"graph","created_at":"2026-08-04T00:37:03Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2608.00501/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"Andreas Andreakis","cross_cats":["cs.DC","cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2026-08-01T07:52:16Z","title":"Machine-Checked Dual-Write Recovery from a Committed Log"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.00501","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:af2a8e2d00d24db9daed1af673d82fe82a83cfb07b68d0f049bb87a2397684b9","target":"record","created_at":"2026-08-04T00:37:03Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"f3c8d4105f34789c14210b40b13ec156cdaca51ece7c47e085c3d6f27215bb4d","cross_cats_sorted":["cs.DC","cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2026-08-01T07:52:16Z","title_canon_sha256":"9b602980829f9855b93a6caa92015f47243ebe8d26e139b7b13cab48db0e1c91"},"schema_version":"1.0","source":{"id":"2608.00501","kind":"arxiv","version":1}},"canonical_sha256":"7aa0b5aceb513ef5320b597acf9c5d81854a226d48052e2f214e345585ebd3ac","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7aa0b5aceb513ef5320b597acf9c5d81854a226d48052e2f214e345585ebd3ac","first_computed_at":"2026-08-04T00:37:03.890243Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-04T00:37:03.890243Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kyQzB5jDJUwFeWKl2+dLDsjOLNnh6dqk3HP/Pk1SKmQVF6wLDVcjUHxkC3FlFYh0hTXWDgM4veTPlfJCY43CBQ==","signature_status":"signed_v1","signed_at":"2026-08-04T00:37:03.891673Z","signed_message":"canonical_sha256_bytes"},"source_id":"2608.00501","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:af2a8e2d00d24db9daed1af673d82fe82a83cfb07b68d0f049bb87a2397684b9","sha256:f7cf4e62607509ce9c4f2319fb2b923d2fe5b80555f461a1d97f1a2cfc8b431c","sha256:3f8ff06bed132de65f3425fdab6b1897d23013f88930845a5ec68928f6fb8c28"],"state_sha256":"1a98557b22e5c92f0a5d16ba7e72bd9f8a9972012a328b62bd9065d4bae8f933"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QP9ochPKtUci+gm5qNfBKG3EmP936jdX2534m8FinMyyYF1mwgPsqi/8ylO4NKAdzcE66B96MHgIfcjvR1hsCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T22:20:48.109201Z","bundle_sha256":"779d649c56198fae9559e316cfd4b2e7aeb65da4fcf2b913b82b68910f91e29b"}}