{"as_of":"2026-08-11T08:56:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1b4e8e2dba075241790594a38f08cd1f6597ac6f48b82e1824eb1d492038a80d","coverage":[{"denominator":96,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":96,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T04:23:15.350281Z","state":"measured"},{"denominator":96,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":96,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2608.03836/citation-record","integrity":"/paper/2608.03836/integrity","json":"/paper/2608.03836/citation-record.json","paper":"/paper/2608.03836"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:14.817687Z","title":"Checkpointing,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.817687Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:4109ae96a5724aabae6e257e6ffe2ab7f62dd49a60f2c6f52d44f1fac50ec623","observation_id":"0b1b41ba-c2ba-4335-a56e-0402ab497ea2","resolution":{"observed_at":"2026-08-11T04:23:14.817687Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:14.824662Z","title":"Workflows API reference: Context,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.824662Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:2c892184ed0af59bf9dbc62d63af3f7d1b971005956cf92162ee742f201693d9","observation_id":"068d3ead-327a-4e44-8db3-ac67ce118c4d","resolution":{"observed_at":"2026-08-11T04:23:14.824662Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:14.832185Z","title":"Verus: Verifying Rust programs using linear ghost types,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.832185Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:147f94d9f11b0108b0e9d3463d3ae7c3fd50b0356c52067c8c97b4895a8774d3","observation_id":"b758a9bc-e7f4-4299-8be8-41cf83d2bbfd","resolution":{"observed_at":"2026-08-11T04:23:14.832185Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2604.28138","last_updated":"2026-04-30T17:20:19Z","snapshot_observed_at":"2026-08-10T21:57:55.856761Z","submitted_at":"2026-04-30T17:20:19Z","title":"Crab: A Semantics-Aware Checkpoint/Restore Runtime for Agent Sandboxes","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2604.28138","snapshot_observed_at":"2026-08-11T04:23:14.837906Z","title":"Crab: A semantics- aware checkpoint/restore runtime for agent sandboxes,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.837906Z"},"links":{"cited_paper":"/paper/2604.28138","citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:84cd4bdc024768b08fb323414fd57e8339c36f800d11e97b3df51e05df3edee8","observation_id":"d22c5ebc-9d00-46b5-9145-435c862ee3bd","resolution":{"observed_at":"2026-08-11T04:23:14.837906Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.23311","last_updated":"2026-05-22T07:30:43Z","snapshot_observed_at":"2026-07-06T23:33:34.409634Z","submitted_at":"2026-05-22T07:30:43Z","title":"DART: Semantic Recoverability for Structured Tool Agents","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.23311","snapshot_observed_at":"2026-08-11T04:23:14.843980Z","title":"DART: Semantic recoverability for structured tool agents,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.843980Z"},"links":{"cited_paper":"/paper/2605.23311","citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:eab0686dadc04e2b191f317d9bcc672ec134be975d4413669d4cf697bc0e601c","observation_id":"e8e7be3d-48de-4329-9ab7-631c67a50d4d","resolution":{"observed_at":"2026-08-11T04:23:14.843980Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.02668","last_updated":"2026-06-01T11:08:17Z","snapshot_observed_at":"2026-07-06T23:43:02.654629Z","submitted_at":"2026-06-01T11:08:17Z","title":"What You Approve Is What Executes: Consent Integrity for Black-Box LLM Agents","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.02668","snapshot_observed_at":"2026-08-11T04:23:14.849470Z","title":"What you approve is what executes: Consent integrity for black-box LLM agents,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.849470Z"},"links":{"cited_paper":"/paper/2606.02668","citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:184845ffa02e6a9c8c0ee29ca0f02d590ab3ed087b613b0436fb28fd32e6173a","observation_id":"e4142890-017e-4924-bfbc-f0a4f88f692e","resolution":{"observed_at":"2026-08-11T04:23:14.849470Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2607.06195","last_updated":"2026-07-07T12:21:42Z","snapshot_observed_at":"2026-08-07T03:42:41.517406Z","submitted_at":"2026-07-07T12:21:42Z","title":"LogicHunter: Testing LLM Agent Frameworks with an Agentic Oracle","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.06195","snapshot_observed_at":"2026-08-11T04:23:14.855634Z","title":"LogicHunter: Testing LLM agent frameworks with an agentic oracle,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.855634Z"},"links":{"cited_paper":"/paper/2607.06195","citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:f8ee7b33801b4e5844e9e26182fd78f9eb5944d71899d7effe50f83dbe924c9f","observation_id":"bcd52ed7-e250-4091-8e6e-e494cae08318","resolution":{"observed_at":"2026-08-11T04:23:14.855634Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:14.860978Z","title":"LangGraph persistence and interrupts,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.860978Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:9e0ab3b40638b1bb846b8f11f27895838f34ecda6d1490979ff82290a6aff09e","observation_id":"0c137656-4f95-41cb-b5a1-53ef4c53718a","resolution":{"observed_at":"2026-08-11T04:23:14.860978Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:14.866507Z","title":"Agent workflows: Human in the loop,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.866507Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:c295d7d25408f635836b3c489388de51e3cf77688703101dd1ace8ad7af7cf36","observation_id":"59477046-b955-4205-9bb1-143d51829877","resolution":{"observed_at":"2026-08-11T04:23:14.866507Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:14.871755Z","title":"State management in Apache Flink: Consistent stateful distributed stream processing,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.871755Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:a4d8b7fc524451b75972a8f2a5b2008dccb01287c3f760e88c36e2e760e8a49d","observation_id":"c00a0fe1-e988-4183-9ae2-11e4a46ef2b1","resolution":{"observed_at":"2026-08-11T04:23:14.871755Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:14.877239Z","title":"Life beyond distributed transactions: An apostate’s opinion,","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.877239Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:07b1a8da64434afe5490eb6ccc10017238fc983bbe7f1d654a2d2c89ab03e255","observation_id":"ea8c991c-bca2-47d8-9afa-f9cefa65dd30","resolution":{"observed_at":"2026-08-11T04:23:14.877239Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:14.882535Z","title":"Idempotence is not a medical condition,","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.882535Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:9428c49d3ad0df619b81f552e3de7ea4001b233756e97c0a2155bb6b1df80282","observation_id":"b1cc50ce-c2b6-4389-92db-43b889bf930c","resolution":{"observed_at":"2026-08-11T04:23:14.882535Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:14.887922Z","title":"Durable functions: Semantics for stateful serverless,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.887922Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:6126ab459de44420dfac38269acdc6757e21f262accb5e9abc9a85566887abfd","observation_id":"c5bdd252-c4c2-42ea-bdf7-aa476cb67860","resolution":{"observed_at":"2026-08-11T04:23:14.887922Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:14.893408Z","title":"Akka Persistence: Event sourcing for stateful actors,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.893408Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:66e7642e1b295d911701b0c7e4339cce466d1fd122b29de9e2db06caf9b24ccc","observation_id":"3c19b9b9-6b21-418b-a72d-0b5d6c5eb9d1","resolution":{"observed_at":"2026-08-11T04:23:14.893408Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:14.898882Z","title":"A survey of rollback-recovery protocols in message-passing systems,","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.898882Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:107b9bb35444acc443768a7304c41a143961a3e72a30c25f5fa45b99a56a1b24","observation_id":"8d1cf831-0429-43a1-9a9d-1f9bc163939e","resolution":{"observed_at":"2026-08-11T04:23:14.898882Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:14.904268Z","title":"Issue #2315: LangGraph interrupt fails due to extra null-state turn between trigger and resume,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.904268Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:70c3f50fe3db24424e2b5f84caf0a3fa1062be5ca07f3654004cdc52c55726c5","observation_id":"639ada3c-33a9-486a-8ead-6c0726b038cf","resolution":{"observed_at":"2026-08-11T04:23:14.904268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2607.14166","last_updated":"2026-08-08T07:26:16Z","snapshot_observed_at":"2026-08-11T08:14:22.141242Z","submitted_at":"2026-07-15T05:55:38Z","title":"Stop Means Stop: Measuring and Repairing the Enforcement Gap in Agent-Framework Control Primitives","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.14166","snapshot_observed_at":"2026-08-11T04:23:14.909332Z","title":"Stop means stop: Measuring and repairing the enforce- ment gap in agent-framework control primitives,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.909332Z"},"links":{"cited_paper":"/paper/2607.14166","citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:62f9bdf75127de7176c64e3250663710a0edf4efa0183d129123fe9e3be2cc0d","observation_id":"4d834cbf-111f-42ee-bbe7-fc4fb83d07bb","resolution":{"observed_at":"2026-08-11T04:23:14.909332Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:14.914879Z","title":"Agents SDK: Sessions,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.914879Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:77517cbbd56d201b55ea55376bf84e6f7ee4380444877d45fe7b488d9e51f007","observation_id":"4816d694-c997-49cf-b790-0074eb98e34f","resolution":{"observed_at":"2026-08-11T04:23:14.914879Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:14.920144Z","title":"A critique of ANSI SQL isolation levels,","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.920144Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:3ed0630f69c6cf8c7d52f37e7f7f4faee3883c7d6262d8613ba30c0d4ecb38bf","observation_id":"65426977-e612-42df-9e2d-983e48cb337d","resolution":{"observed_at":"2026-08-11T04:23:14.920144Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:14.925462Z","title":"Anvil: Verifying liveness of cluster management controllers,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.925462Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:f836cfcd95171ba24bbdbcccbab5d40b9e3d7e7d512ffb2c449756e3c073d248","observation_id":"b3d491b7-f2e0-4b93-9c1e-d3be0b320c39","resolution":{"observed_at":"2026-08-11T04:23:14.925462Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:14.930822Z","title":"ACRFence: Preventing semantic rollback attacks in agent checkpoint-restore,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.930822Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:cf16805739e6c4c2d2758a4363c58e58d90945358ba9f4e6da2588dbc2be6296","observation_id":"041c9af1-fba8-41a3-ab23-d5c426d00a26","resolution":{"observed_at":"2026-08-11T04:23:14.930822Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2602.21806","last_updated":"2026-08-06T07:48:13Z","snapshot_observed_at":"2026-08-10T18:17:50.814961Z","submitted_at":"2026-02-25T11:34:17Z","title":"Where Agent Frameworks Fall Short: Examining Functional Challenges and Usability Concerns","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2602.21806","snapshot_observed_at":"2026-08-11T04:23:14.936637Z","title":"An empirical study of bugs in modern LLM agent frameworks,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.936637Z"},"links":{"cited_paper":"/paper/2602.21806","citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:3b295996c247bd0ea4c6462ec2ab43c0caa7051c225923b7447a26b82858e383","observation_id":"68b7cab3-e765-4404-99e5-ce9f66c8a17e","resolution":{"observed_at":"2026-08-11T04:23:14.936637Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:14.942423Z","title":"AgentBench: Evaluating LLMs as agents,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.942423Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:1c9e2800c358ee91d28c43a5325fb9e33d3ef0eabf0ccb5f875452b29cc0cc04","observation_id":"7fb9f264-238e-4546-8348-966f73c17619","resolution":{"observed_at":"2026-08-11T04:23:14.942423Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:14.948076Z","title":"AgentRFC: Security design principles and conformance testing for agent protocols,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.948076Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:fb587de8ffce5df62bf40fd90517081c34bb9481972a7fe823df96d8819f9ebb","observation_id":"87724f33-9239-47d8-bccc-dc89e48214e8","resolution":{"observed_at":"2026-08-11T04:23:14.948076Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2508.00500","last_updated":"2026-08-03T00:31:29Z","snapshot_observed_at":"2026-08-08T19:29:44.414464Z","submitted_at":"2025-08-01T10:24:47Z","title":"ProbGuard: Proactive Runtime Monitoring for LLM Agent Safety via Probabilistic Prediction","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.00500","snapshot_observed_at":"2026-08-11T04:23:14.953275Z","title":"Pro2Guard: Proactive runtime enforcement of LLM agent safety via probabilistic model checking,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.953275Z"},"links":{"cited_paper":"/paper/2508.00500","citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:70fe0cd5025c41e82a41bc72dee291213038af4a09c417ef231bfeca3492ce68","observation_id":"f6011518-889c-426b-abf2-3e43b57fb64e","resolution":{"observed_at":"2026-08-11T04:23:14.953275Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:14.958676Z","title":"VeriGuard: Enhancing LLM agent safety via verified code generation,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.958676Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:37a149137fb3c68bc8bd7c9f6962052919e242a6e30ef9f6e07a663899a6a637","observation_id":"5c510b9b-df45-4471-9f57-a28f40b063e9","resolution":{"observed_at":"2026-08-11T04:23:14.958676Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.13657","last_updated":"2025-10-26T23:25:18Z","snapshot_observed_at":"2026-08-11T04:16:48.156601Z","submitted_at":"2025-03-17T19:04:38Z","title":"Why Do Multi-Agent LLM Systems Fail?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.13657","snapshot_observed_at":"2026-08-11T04:23:14.963986Z","title":"Why do multi-agent LLM systems fail?","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.963986Z"},"links":{"cited_paper":"/paper/2503.13657","citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:ca6c800ad42db1c1b88270b5b06622b5048e90834acedc175fd4ff4772fdc20d","observation_id":"a598d28b-4aeb-40fc-afba-79778f2fc2e3","resolution":{"observed_at":"2026-08-11T04:23:14.963986Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.11951","last_updated":"2025-07-09T03:31:59Z","snapshot_observed_at":"2026-08-07T17:02:32.897576Z","submitted_at":"2025-03-15T01:43:03Z","title":"SagaLLM: Context Management, Validation, and Transaction Guarantees for Multi-Agent LLM Planning","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.11951","snapshot_observed_at":"2026-08-11T04:23:14.969495Z","title":"SagaLLM: Context management, vali- dation, and transaction guarantees for multi-agent LLM planning,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.969495Z"},"links":{"cited_paper":"/paper/2503.11951","citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:70b179145521730a50c2020959a25548085851b1ea55aed3a4a5db06a2139b5d","observation_id":"85f11d5b-582d-4b81-b309-8b06b3c72e97","resolution":{"observed_at":"2026-08-11T04:23:14.969495Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:14.976066Z","title":"Orleans: Distributed virtual actors for programmability and scalability,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.976066Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:9dfe148c27a9358375f0a9a23190a2430bfa4e9022893498eed38be7e9fc5dc6","observation_id":"497f5c73-8725-4cff-85b2-2c3cb656b77c","resolution":{"observed_at":"2026-08-11T04:23:14.976066Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:14.981043Z","title":"Armstrong,Making Reliable Distributed Systems in the Presence of Software Errors","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.981043Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:51c8099d71b9c7ae919bebd1e8f31ab29c0225c5be67bd748acebbc0dbbfbcfb","observation_id":"330f280f-5ac3-456c-a66d-01e1bf6cfb81","resolution":{"observed_at":"2026-08-11T04:23:14.981043Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:14.986166Z","title":"Distributed programming in Argus,","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.986166Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:1ec6df4e7d3e9df886dd254ff3b5a8b19b2e90eb55989d3a5ed23b842a175acb","observation_id":"afed0a64-9cd5-46e0-839e-cdfa96fb07c1","resolution":{"observed_at":"2026-08-11T04:23:14.986166Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:14.991462Z","title":"Orthogonally persistent object systems,","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.991462Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:c6359109a8cc07346e070c447aac0f7b0cb8b3512460251971503a230c6f2ac3","observation_id":"53f90151-c3ea-4a3c-bfef-82c4de3558d1","resolution":{"observed_at":"2026-08-11T04:23:14.991462Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:14.997479Z","title":"Linearizability: A correctness condition for concurrent objects,","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:14.997479Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:400c65f38f8dcfe0b80fae16476bdcf502a5c49a45209558d9d95916b370d41c","observation_id":"cf04b56f-54ac-4c4c-9fde-da452a463ca6","resolution":{"observed_at":"2026-08-11T04:23:14.997479Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.004084Z","title":"Workflow determinism and versioning,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.004084Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:a756fae63a329ad0df44e9078bc9154509b75fa70951c199a6d504d91ad8a99a","observation_id":"e73977bf-3d64-48ab-9b3b-9a37a425efa1","resolution":{"observed_at":"2026-08-11T04:23:15.004084Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.010365Z","title":"DBOS: A DBMS-oriented operating system,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.010365Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:514059da55f3ae1b205ee1375e1b7d78596358bd380f0f39b527c0adc57398aa","observation_id":"959013f4-640b-4e9a-ab57-e68ef8a670d8","resolution":{"observed_at":"2026-08-11T04:23:15.010365Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.016108Z","title":"AWS Step Functions developer guide,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.016108Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:5a3b61afa737d60ad43c01868ca342657242c75df221afa210504bfeb6e99810","observation_id":"37ccb1d5-4ce4-4e83-a74e-c93a682dd096","resolution":{"observed_at":"2026-08-11T04:23:15.016108Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.022276Z","title":"Realizing the fault-tolerance promise of cloud storage using locks with intent,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.022276Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:212559aef470308ea22513c920e3d0b0423e3be6a648eeae09f5e40ae843970b","observation_id":"61c1a87a-995f-4a6f-96d7-7f6f44b04e20","resolution":{"observed_at":"2026-08-11T04:23:15.022276Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.028040Z","title":"Automated verification of idempotence for stateful serverless applications,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.028040Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:76c517d13f27130df4003c487d04f1a22b2da994a573aaf4810bb03cb5db2fe4","observation_id":"ce0bae53-a40c-4255-96de-937f844915c8","resolution":{"observed_at":"2026-08-11T04:23:15.028040Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.033384Z","title":"Fault- tolerant and transactional stateful serverless workflows,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.033384Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:70b1aaa653bb34a0a51f6ee18dac189091df2fc952e067180f766e6cd4b12d6e","observation_id":"4cf933bf-79b1-4cbf-9674-b50cac37cd86","resolution":{"observed_at":"2026-08-11T04:23:15.033384Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.038948Z","title":"Netherite: Efficient execution of serverless workflows,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.038948Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:381c936d202129ac385d2ad045f9b8cb6bb4d574005d25cd28c449d4a6c6b652","observation_id":"c0896d92-8b0e-48df-88fd-ee9b38c40e71","resolution":{"observed_at":"2026-08-11T04:23:15.038948Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.045017Z","title":"Boki: Stateful serverless computing with shared logs,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.045017Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:e096a02fc610ac3edddcac25248a11e6f879e89869f925dad9d0142d5fa76040","observation_id":"f3f8d194-006c-42e0-8da7-5d07c1e8403a","resolution":{"observed_at":"2026-08-11T04:23:15.045017Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.052065Z","title":"Halfmoon: Log-optimal fault-tolerant stateful serverless computing,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.052065Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:f7a26bc19e8bcfacc9603250bdc04d8bad51f16fd1140aa51900368c07e0a6f6","observation_id":"fbacf3d1-8377-4c53-921d-bf3b3095351c","resolution":{"observed_at":"2026-08-11T04:23:15.052065Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.057652Z","title":"A.M.B.R.O.S.I.A: Providing performant virtual resiliency for distributed applications,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.057652Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:f9ade282be7182fbb7787293bf85676fb48b946b19795dcc9739b07f9dc72870","observation_id":"ff0c2172-486c-4733-8665-bdf30a1d4022","resolution":{"observed_at":"2026-08-11T04:23:15.057652Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.062715Z","title":"Durable execution and durable promises,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.062715Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:bb73014b72f5de09064d029c56ea47053ab0aea7e8d7b1fa32c1b9000ca7284a","observation_id":"5d048ee8-be1b-4349-a44e-8ccebcad73e1","resolution":{"observed_at":"2026-08-11T04:23:15.062715Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.068425Z","title":"IronFleet: Proving practical distributed systems correct,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.068425Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:19b9ab99dfdae5051df611984a62a1984f03905eb4cd4d0cea08ab7aa3869b40","observation_id":"6c68c0e4-7900-4ac2-b1b6-d2c3f8c3ec0f","resolution":{"observed_at":"2026-08-11T04:23:15.068425Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.073710Z","title":"Verdi: A framework for implementing and formally verifying distributed systems,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.073710Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:6fb08ecc2b2a36cc15654f2c645a705788a6d7c4987773814b3ba506870ff7dd","observation_id":"de392e76-72e9-40ec-b256-c87626fd95e2","resolution":{"observed_at":"2026-08-11T04:23:15.073710Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.078906Z","title":"Verify- ing concurrent, crash-safe systems with Perennial,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.078906Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:c769e4d5e27fc4450dfa7e2d169b3fbad0b872d7216d64206e42882a169a7797","observation_id":"7ad49983-712e-46b4-b6a8-8fdb2a7c72da","resolution":{"observed_at":"2026-08-11T04:23:15.078906Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.084415Z","title":"Using Crash Hoare Logic for certifying the FSCQ file system,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.084415Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:e976717d7e8ac4237cccdf994796d5bab97d45ea22f2b4eab165a55cf91c638c","observation_id":"3572d72f-1aac-4779-9580-907173736854","resolution":{"observed_at":"2026-08-11T04:23:15.084415Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.089677Z","title":"GoJournal: A verified, concurrent, crash-safe journaling system,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.089677Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:aa784c40f6d24587379b017609a1de4f661c4df1191d36ed3436e6f23c975bfd","observation_id":"4af563f0-4918-45ce-83f7-e99f8c752f6b","resolution":{"observed_at":"2026-08-11T04:23:15.089677Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.095732Z","title":"Viewstamped replication: A new primary copy method to support highly-available distributed systems,","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.095732Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:3d87296a6a2adfa471ec6ef60e4b8a605382cec1852a54a2e08fd8f7bb6b1aa6","observation_id":"473d0427-061a-482b-82c8-ceef0c2acf81","resolution":{"observed_at":"2026-08-11T04:23:15.095732Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.101989Z","title":"In search of an understandable consensus algorithm,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.101989Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:9d432de91be551f58607bf1bfa519c04efe04ee1963cd8478cdc357c47dc5040","observation_id":"f096f173-9815-4ca0-942c-24b7b8f06770","resolution":{"observed_at":"2026-08-11T04:23:15.101989Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.107585Z","title":"Engineering record and replay for deployability,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.107585Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:60cf0c389fa6c693b1c29831380a521fcd37982d1d2b68fc52fae1f087d42421","observation_id":"39bcc14c-a982-448d-aeb4-c1b38e9cb91c","resolution":{"observed_at":"2026-08-11T04:23:15.107585Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.113622Z","title":"DMTCP: Transparent checkpointing for cluster computations and the desktop,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.113622Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:cafd27e5bda8605079a4b468c7f889627699465bc30f8138bf6db1b36f6c4caa","observation_id":"aa80025f-6aad-4b15-af7a-4327c66ff640","resolution":{"observed_at":"2026-08-11T04:23:15.113622Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.119275Z","title":"Berkeley Lab Checkpoint/Restart (BLCR) for Linux clusters,","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.119275Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:90dad69f045dd8d27ba94f1bef33dd5c6bae848d2000a78daba0c7bc8feefd0c","observation_id":"51cdbe57-f28e-4530-b17d-aae0158aca85","resolution":{"observed_at":"2026-08-11T04:23:15.119275Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.124918Z","title":"Design, modeling, and evaluation of a scalable multi-level check- pointing system,","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.124918Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:8c6573fc7dc3a65972cfbc593803a33de6fdcb76739b3448c5b8d9bd756f145d","observation_id":"0320686d-2f7b-424b-86eb-7a2615d31628","resolution":{"observed_at":"2026-08-11T04:23:15.124918Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.130870Z","title":"VeloC: Towards high performance adaptive asynchronous checkpointing at large scale,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.130870Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:f1bb035475932a21e39110e449a98bbf39fee5ac4a5def2ad491741c335de4c6","observation_id":"7678a47d-6cd9-47f0-a069-b50b35cbc855","resolution":{"observed_at":"2026-08-11T04:23:15.130870Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.136702Z","title":"Applying ‘design by contract’,","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.136702Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:144cb0b0040d79462f5bdf7a237aad5ec9f566a589eadc0a00295c3fa6668b47","observation_id":"e1924f1f-54d5-411b-b52c-d037d65c4512","resolution":{"observed_at":"2026-08-11T04:23:15.136702Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.141953Z","title":"Interface automata,","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.141953Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:60498ea645658e48c4b536cab43e8558b1c5e453b94c80820e0912ca31a9f1ca","observation_id":"2136ae1b-e64d-44cf-9833-92d50b1e4151","resolution":{"observed_at":"2026-08-11T04:23:15.141953Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.148243Z","title":"Multiparty asynchronous session types,","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.148243Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:6f3d5a8c7da3ec507302f042a6a83f6c9cd0e611770637d3e52a368c05533d59","observation_id":"cf22c97b-1898-45a7-a0d1-739fa42d406c","resolution":{"observed_at":"2026-08-11T04:23:15.148243Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.153545Z","title":"Alloy: A lightweight object modelling notation,","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.153545Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:5e82b4f1f766d50be24d725363d027320e7493dee84d63eeed76622a17867ebe","observation_id":"8354fafd-09e7-4154-b99c-4a302ca362ad","resolution":{"observed_at":"2026-08-11T04:23:15.153545Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.158848Z","title":"The ConTract model,","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.158848Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:c78a3f009db404be4323a958fdbb59caa062aaa55429ccc1b4e446c3345e9e48","observation_id":"884ffa7c-0dc7-4a4d-bbb1-29b9185ac02c","resolution":{"observed_at":"2026-08-11T04:23:15.158848Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.164014Z","title":"Workflow recovery,","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.164014Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:cdaf8d1cec44c1d1ba6ad4786fa49f2292a7d884f0dc03af3decc560efde3710","observation_id":"b713a887-3e09-4612-bd3b-59315d2f0a48","resolution":{"observed_at":"2026-08-11T04:23:15.164014Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.169821Z","title":"Workflow patterns,","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.169821Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:6e7074c1d20c39e71fa0d1a495cb986cf4497d3cfaa99d2923ab0149b19f70a1","observation_id":"09545afd-77c1-4201-aed7-6f76b140963e","resolution":{"observed_at":"2026-08-11T04:23:15.169821Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.175109Z","title":"Workflow exception patterns,","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.175109Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:0a56ec0209f1ddcd824ba639d4b896f3643554f276841992d5b63979e3c64b01","observation_id":"4be5b4e4-5b84-4f50-a12d-b876710805d1","resolution":{"observed_at":"2026-08-11T04:23:15.175109Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.180355Z","title":"Garcia-Molina and K","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.180355Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:c28c02ba0edb4578bee867c84cdc39d55180f77412d658daa2936de05b06f5de","observation_id":"17989c0b-d5e4-4d0d-b0d6-2c52b3b4fdf6","resolution":{"observed_at":"2026-08-11T04:23:15.180355Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.185481Z","title":"The application of Petri nets to workflow management,","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.185481Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:a7a767431967bc3139e7a16ceb5500dd4984bb58c68b549c974e1c8025a6d087","observation_id":"7d8a0aac-1ce8-4e43-a342-af25563ac835","resolution":{"observed_at":"2026-08-11T04:23:15.185481Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.191018Z","title":"Semantics and analysis of business process models in BPMN,","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.191018Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:d564a19b3e6223ece35e90fc76278e6f8d7566c4a516f275154378c42eea8e4e","observation_id":"304c87e7-27c5-4008-968b-32adef5fd22e","resolution":{"observed_at":"2026-08-11T04:23:15.191018Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.196045Z","title":"Atomic distributed transactions: A RESTful design,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.196045Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:1327c33db13cb1b24022dcfc69f9b14b7db4df0589a81ed54f62fd04eeafd91a","observation_id":"57299dbe-e656-4a5c-a474-82e431cb5793","resolution":{"observed_at":"2026-08-11T04:23:15.196045Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.201022Z","title":"Fault tolerance via idempotence,","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.201022Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:498869b2ce87a575214ecb4f0b0ef5da651fa7f1dbc3d24b0246b62f363a1cfe","observation_id":"a61f0e1f-e66e-495f-85b1-7c52e7400991","resolution":{"observed_at":"2026-08-11T04:23:15.201022Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.205935Z","title":"Implementing remote procedure calls,","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.205935Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:3c952084e57710a7fbfc17311c9fe384b3cf92391da35d9c23459ac3ca35b6f6","observation_id":"98deef97-2a69-487b-9e5e-a14934055256","resolution":{"observed_at":"2026-08-11T04:23:15.205935Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.211195Z","title":"Implementing linearizability at large scale and low latency,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.211195Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:5e5f20d004570fc71f4f663c0c4ef45adaf4c6202331620a1a4c5b6d1ff03e68","observation_id":"5e3e2599-cf2a-45c9-970a-58333de6909e","resolution":{"observed_at":"2026-08-11T04:23:15.211195Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.216111Z","title":"The theory and practice of first-class prompts,","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.216111Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:7f277cf1d4e2ac7cb459c14474d49e0c85cfc541163755ead711b9e3f812a98e","observation_id":"08b09e38-9c0b-4f70-8908-8b6efe48fece","resolution":{"observed_at":"2026-08-11T04:23:15.216111Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.221452Z","title":"Abstracting control,","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.221452Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:f68803b305766dc53896a772e319a7f033359b40573522d72a917667fda63589","observation_id":"873ca2be-a645-4922-be9f-972d6f91b2cb","resolution":{"observed_at":"2026-08-11T04:23:15.221452Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.226823Z","title":"Handlers of algebraic effects,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.226823Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:0cfbe14a11795a94a4d6c7303ae2c3ec0725a73143f5af850c958f3beb5a2203","observation_id":"cb9c46c0-77cf-4a49-a7f6-0bf94a71cc67","resolution":{"observed_at":"2026-08-11T04:23:15.226823Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.232448Z","title":"The influence of browsers on evaluators or, contin- uations to program web servers,","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.232448Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:53443c73fe0b0c7801829ff32efa490db4486cb2f92aeacb27b0d8bd5ad970fc","observation_id":"ad179ea2-7d5f-41e9-893a-b7eba3938a55","resolution":{"observed_at":"2026-08-11T04:23:15.232448Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:16.162912Z","title":"Ray: A distributed framework for emerging AI applications,","venue":null,"work_id":"74607841-dd34-4192-bbfb-a71200270a7d","year":2018},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.237649Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:9d4ff084610e274df2d1d61196ed6f50d7da2b9fbfd60f8c9d145ff7a5098784","observation_id":"1dccb2b2-2407-403c-8689-125425dafb43","resolution":{"observed_at":"2026-08-11T04:23:16.169723Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.243463Z","title":"Apache Airflow: tasks and retries,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.243463Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:83b3598400d747bab8287fb0590170824799f6c50d6462f45a6ba8ec385766f1","observation_id":"2be55dac-c838-4775-be43-ff1f5d2f14af","resolution":{"observed_at":"2026-08-11T04:23:15.243463Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.248868Z","title":"Prefect: task caching and retries,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.248868Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:3c93aaf78c9f99a58e4a7e94e3e74fbd304949f84c6393bcb95bd1aa4b15532c","observation_id":"81fbdd48-e52a-4014-8cbf-c88d9e4dfd5a","resolution":{"observed_at":"2026-08-11T04:23:15.248868Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.253858Z","title":"Consistency and completeness: Rethinking dis- tributed stream processing in Apache Kafka,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.253858Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:8ad96445acc9b0e36ba2deb0b14f96da4d616e67427e4eb801bc195290ff32f9","observation_id":"3d6637ac-8cbd-4544-b983-178700687525","resolution":{"observed_at":"2026-08-11T04:23:15.253858Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.259174Z","title":"Crash-only software,","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.259174Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:d334b7563d04ba258d04ad3abff7523f93ebe560e028f72262bde3849a7db59c","observation_id":"03563c7b-87ee-4d94-9a9e-457257a730a3","resolution":{"observed_at":"2026-08-11T04:23:15.259174Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.264772Z","title":"Distributed snapshots: Determin- ing global states of distributed systems,","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.264772Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:a767a0321b2605994557f87bd6a9575ef1ee28a28748f9da974416f88e700adb","observation_id":"8c257b62-53e7-4b4d-9cad-a25e4b24c42e","resolution":{"observed_at":"2026-08-11T04:23:15.264772Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.270062Z","title":"MillWheel: Fault-tolerant stream processing at internet scale,","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.270062Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:ffb5a3a2e34ee110daa5cb3d275013607577a3f831dd30dadb0134526d98c450","observation_id":"4bdff578-526f-431d-9771-37331a0c4bb0","resolution":{"observed_at":"2026-08-11T04:23:15.270062Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:16.043635Z","title":"ARIES: A transaction recovery method supporting fine-granularity locking and partial rollbacks using write-ahead logging,","venue":null,"work_id":"0065e3c0-f2a2-4d4c-a48c-05c11fac6a81","year":1992},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.275448Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:1a442d8eebc950b8b3fd5e14656ed8c557bb8c36ae62063ed42acf7112157156","observation_id":"d0819696-0496-4dd7-815e-76a4316987f9","resolution":{"observed_at":"2026-08-11T04:23:16.057492Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.280603Z","title":"All file systems are not created equal: On the complexity of crafting crash-consistent applications,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.280603Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:c290a1c5947ad1e8c562ff914a8b54b86771891cd8e0e6be50b39bb6f94d8629","observation_id":"fbf0900b-271b-4e1e-a173-0e21c25a41ab","resolution":{"observed_at":"2026-08-11T04:23:15.280603Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.286172Z","title":"Finding crash-consistency bugs with bounded black-box crash testing,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.286172Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:1ae1efd5b85c0636f1e90b2aa023158010ed6a2c458d8db1e85964693ba3aeeb","observation_id":"ec802553-1c1c-42bc-8324-0b78f87539ff","resolution":{"observed_at":"2026-08-11T04:23:15.286172Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.291919Z","title":"Jepsen: Distributed systems safety research,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.291919Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:68db3f041dcaec1b2eb2651226d5b8383ab09b281127cf1413efcdaa361e4750","observation_id":"2f4cde9a-6fe2-43dc-a6a5-7206c7fa8e27","resolution":{"observed_at":"2026-08-11T04:23:15.291919Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.297369Z","title":"Model based testing with labelled transition systems,","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.297369Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:58dc7d5cfc833a9a111fc0cdd6e85098d088e7b43fee9d7618fbd1ae39ce906c","observation_id":"bc2a600c-7979-497d-a4a0-1c0072e98928","resolution":{"observed_at":"2026-08-11T04:23:15.297369Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.302722Z","title":"How Amazon Web Services uses formal methods,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.302722Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:a033742f7705dff983abb784119c23f6dac6dbe16952626175a197ba69695e5c","observation_id":"9218430e-c2c6-4f4f-ab07-24b5ecb72aa7","resolution":{"observed_at":"2026-08-11T04:23:15.302722Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.309580Z","title":"Lamport,Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.309580Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:95a08f896f3fcc34d2c54fab5b1d78a3e68d4ba7599c80836c8374dcc11edd92","observation_id":"bc9d313a-393e-4780-b9b6-f440690cba2f","resolution":{"observed_at":"2026-08-11T04:23:15.309580Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.316490Z","title":"Using model checking to generate tests from specifications,","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.316490Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:ecc6d1139c7c4b6191cfc614de23096cd14a23f7297181747607175d854363b0","observation_id":"e1aa2670-8df1-4037-b84c-7565af8877b4","resolution":{"observed_at":"2026-08-11T04:23:15.316490Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.321895Z","title":"Lineage-driven fault injection,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.321895Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:29404f855f2ef4cd82f32b1ccbe2015f001316ceb196ceaa64d04a1518446065","observation_id":"c1ea9034-68a3-4e14-8223-19e64c11c57d","resolution":{"observed_at":"2026-08-11T04:23:15.321895Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.327381Z","title":"Unenforced ordering between put_writes and put in synchronous durability,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.327381Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:a45380a30b98886a150aae108488c01a47f1c5e5e57cf03226624ed6fa519aee","observation_id":"07309a44-8cdb-47b9-813b-25ea28bc9f1d","resolution":{"observed_at":"2026-08-11T04:23:15.327381Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.332882Z","title":"Generalized isolation level definitions,","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.332882Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:3e1113e0ba24454c53c9068f1456920ecd11ba7170bfb9da958f0f05874d4e8c","observation_id":"6b66d132-0bfc-49c6-bb22-6d62d035be3a","resolution":{"observed_at":"2026-08-11T04:23:15.332882Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T04:23:15.338311Z","title":"Elle: Inferring isolation anomalies from experimental observations,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.338311Z"},"links":{"citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:8f43ed262e1407494a6c9c2ea846961d52d62874dd5bc0c0e4325b55e1297460","observation_id":"f8323704-bff8-48c3-88b8-a25371902b65","resolution":{"observed_at":"2026-08-11T04:23:15.338311Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.04056","last_updated":"2026-06-02T10:46:57Z","snapshot_observed_at":"2026-08-04T00:46:08.496217Z","submitted_at":"2026-06-02T10:46:57Z","title":"Token Budgets: An Empirical Catalog of 63 LLM-Agent Budget-Overrun Incidents, with an Affine-Typed Rust Mitigation as a Case Study","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.04056","snapshot_observed_at":"2026-08-11T04:23:15.344030Z","title":"Token budgets: An empirical catalog of budget-overrun incidents in LLM-agent frameworks,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.344030Z"},"links":{"cited_paper":"/paper/2606.04056","citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:ff8606b7e5a52a4041f36bc2f62f819d6a7d8b63171c9254ef62c7f2b8b0a51f","observation_id":"ece43ca9-c717-44d6-8b2d-1a5c0b492e36","resolution":{"observed_at":"2026-08-11T04:23:15.344030Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.17182","last_updated":"2026-06-15T18:19:34Z","snapshot_observed_at":"2026-08-04T04:35:27.820830Z","submitted_at":"2026-06-15T18:19:34Z","title":"Verified Detection and Prevention of Concurrency Anomalies in Multi-Agent Large Language Model Systems","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.17182","snapshot_observed_at":"2026-08-11T04:23:15.350281Z","title":"A consistency lattice for multi-agent memory: Specifi- cation, mechanized proof, and runtime enforcement,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers","version":3},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-11T04:23:15.350281Z"},"links":{"cited_paper":"/paper/2606.17182","citing_paper":"/paper/2608.03836"},"observation_digest":"sha256:f2ff67b3e67761eb1b304a66ff6c227d8f816cc53382d165f9b778bbff3445e6","observation_id":"eb94d742-135f-4154-97e2-01419d0622fe","resolution":{"observed_at":"2026-08-11T04:23:15.350281Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2608.03836","last_updated":"2026-08-08T12:41:44Z","latest_version":3,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-11T08:15:43.855544Z","submitted_at":"2026-08-04T15:45:31Z","title":"Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers"},"reference_resolution":{"displayed":96,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":94,"verified_exact":0,"verified_fuzzy":2},"total_outbound_references":96},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 96 of 96 outbound references and 0 inbound Pith citation observations for arXiv:2608.03836."}