{"as_of":"2026-08-12T03:00:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:be13f13d7967d40adb7cbbe0bc7b0bad98d9a81830e0c5bffb8d6d5930115b75","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-12T02:15:27.718306Z","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:71e248330c02da84c12bcd2e08a19aee489cf1873715c217f0d8940bdabb3d9b","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-12T02:15:27.718306Z","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:c0cff75656b1f4ba93f633dcce0eed151c001a0e2fc15aa5e17511b88be1264b","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-12T02:15:27.718306Z","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:6dcaae306012cedc76b865f6f49f05ebbbc79a73ba41ed281cc4437600e60e5d","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-11T18:05:39.203516Z","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-12T02:15:27.718306Z","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:70f0226ab9c0f6fc3cac915f887fdb45ab118ca920d198a3d206e4794c0af77c","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-12T02:15:27.718306Z","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:8f7903e866f7366e04f31b888c1c6c9491832401260b419763f694abc0e35649","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-12T02:15:27.718306Z","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:ace95ccd117ecb720e043e5fc8923dfc4d7a7c41282dd54a28657a40ddebd4b9","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-12T02:15:27.718306Z","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:7eb04688ee739e993c11ed8c376973fbb2fbba9384179284eaed3f18e7813cc0","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-12T02:15:27.718306Z","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:fb8add3793d80399f54487ab7a193ca15199f9906f24f52ab1c3fd0ed34cb61b","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-12T02:15:27.718306Z","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:687558a47efe281f72df4c85380db89820578dc0b9b7040da838c5db4f6c3327","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-12T02:15:27.718306Z","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:7029cdb1f916ab892556f6fd4635b785d80a5971c70169983fdf8aebc283f6f3","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-12T02:15:27.718306Z","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:50710e23b6eb70115feb4feab5c21a8e2c7abd631ff10b396796008b92cb0dad","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-12T02:15:27.718306Z","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:5a48519a98adf286dd6968f3bcd32c0a42f7fb2db4dac4a84712190fd99dcde4","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-12T02:15:27.718306Z","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:513fc997dfbb1cfde5f576fb51c3414557102f79c21d19b32323fa7079b4dd42","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-12T02:15:27.718306Z","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:b61a202cad9238b33cb3cf77604002702c4e108b259dea1be580339df3388efe","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-12T02:15:27.718306Z","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:e6ebbfb370761096a28a88ff9da6e7b464eab7492f5d010c1de1304afaeb5fe3","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-12T02:15:27.718306Z","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:b98f4f6c5d5186e2d5c3dbb17b2e0bb763970b3b1dbd176162fffc72e2feb84f","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-12T02:13:24.733882Z","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-12T02:15:27.718306Z","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:58525d87c2e6d9692836edd6a6bc4ac4f902e211db2dd3c3ad0371673de8d5ff","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-12T02:15:27.718306Z","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:c57cd6125d127e836b42bdcf7b172dfc9a469266dc7bed29baaffef12f4c3221","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-12T02:15:27.718306Z","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:9ef638e87ae21be6a02b982df80631288865164f2502296fd571028af4c424e2","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-12T02:15:27.718306Z","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:bfc87604707e974d5c9df037fdcd330ae916d38439f4230385b6342109da3cc3","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-12T02:15:27.718306Z","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:437874483c81cb76c90ed79f4ad6529d7691691cf6f356eb92f507101189d262","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-12T02:15:27.718306Z","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:1cfdb9a65a4dbebfc50b3c1f82b3c75fb1afce0dc5587902dcd37fcad4356b1c","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-12T02:15:27.718306Z","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:853fb894f603ffd412c5254a43e7af6784084d0c04538b869311738bf2156ac0","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-12T02:15:27.718306Z","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:7e2dde0f9ae861bec405790dc1a70b823246da364d8d0659dbdbcc4a2f7d134c","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-11T09:53:48.191431Z","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-12T02:15:27.718306Z","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:ad8a58ff8c3ce6a275104336425ba683c1c2d9a6acf9e58a52f7164b129b1991","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-12T02:15:27.718306Z","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:7f6bc0068cedb4610d72b09aaf71fc03a5cf16ecab1d23020402e2a63b39f650","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-12T02:15:27.718306Z","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:a83619b0ea602109a98d57e4596e0a8cce89b0141569967f29510bc65efd26bf","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-12T02:15:27.718306Z","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:09c23edffb778766d256798cae6de4b52245dbe5fdb6fca49f7d684242c29c29","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-12T02:15:27.718306Z","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:430e0a425263fe89a000a66d21eccd6431a8b5a65c08f4f3f2ae7d43a6064922","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-12T02:15:27.718306Z","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:b71f9a24d369e09d29faea19a26ce7d09518af52bec4166cf262e541971f8a9e","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-12T02:15:27.718306Z","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:ddc5b202a0b1cb8a526097b00ff261834c6351714e603b9e29fe75710b9c0e24","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-12T02:15:27.718306Z","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:c22a8cc5ea176ca2ee92a4769e1b7fed18f87eb30c2966d12b774cf8b5ec041e","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-12T02:15:27.718306Z","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:cab214bc24d7781c85b358989fe9f0c2791322ce58566ee2b346a9dce95f026a","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-12T02:15:27.718306Z","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:024c9e2d3e578dc95b1b35675a322508b1b549ce057293ced1ad420ca5fe9293","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-12T02:15:27.718306Z","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:9ecd9d09674110b763a3787e9de99b8a3638daf5096004cdae4e25dee0964d5e","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-12T02:15:27.718306Z","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:875654c9aebbe0c897de35c0dc63aba8601b145ca1d9e39eaafeae4ebe12c5f8","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-12T02:15:27.718306Z","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:0ed45336c8d22897c95755b231d1de9b0906b1ad3ddba2659a1614ab9740b364","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-12T02:15:27.718306Z","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:095beac10a8d4d18eadadf88c378dd2716168dfb8fdfb59169dcc17c88c8ebbf","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-12T02:15:27.718306Z","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:7929912bbb04433e361fdb8f90e28862e05d0058612e90e3217ee571409e4a36","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-12T02:15:27.718306Z","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:b7594fdb76d67ea32b36ede7321572349a50d2b12200b47ee9fabb02b97e97fc","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-12T02:15:27.718306Z","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:4a19a349f72c0f06efa45d77adb371911490852cfb02d96d740225dbbb1571ef","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-12T02:15:27.718306Z","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:e3e6f2c425e9d5a86556b4299ac921c3becec2f3fee1448566664b44b1a3cf3e","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-12T02:15:27.718306Z","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:e4d7f197b34be8c9a260a31caaf6834f7d1b3b30c26dae405826e2900d7253ba","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-12T02:15:27.718306Z","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:25808a9eeae3492c44c7fbffe79b6f8cf6223cc3d662d4f85aea1afc60986ab0","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-12T02:15:27.718306Z","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:f9e1a17481ae787b1b671207c08971b3500d613b4288dcbfaab02c5108f60b37","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-12T02:15:27.718306Z","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:7bb346ca42baa4d7008b6cfc0fb4dfb26b7444b6375fbc5074151565cc80fcbf","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-12T02:15:27.718306Z","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:5bac13bb11bb031aa37bc95fa4d67c2e1a0d81bf5a5b4bf828571c31458da344","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-12T02:15:27.718306Z","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:21048701d590abf249dddd7bef074053fc4db495e1d8e455567c1f0974576650","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-12T02:15:27.718306Z","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:fd14a73c35f719d04c13bd8ecfa324ff7a1d87b02986a2bcf5d2a5afe5d4b02c","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-12T02:15:27.718306Z","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:6ad26a5a47825fc7c70a64050396f3287f33b33117a2af7df45e86bd6ecaf21c","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-12T02:15:27.718306Z","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:f3699ad9c29c2d994e21276962c656dddef8e5e2cd484b53743518a398056829","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-12T02:15:27.718306Z","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:fec4d0e4abdc41ae9aacc6f15bd7e0f1542157bb7934e7a6d45372bff44d910e","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-12T02:15:27.718306Z","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:7dc65dd569138014899782deb822975de45fa965fe759e0695e80bfc5e50b996","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-12T02:15:27.718306Z","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:3af950a452b6f4e339e183dc7272c3545fdfe7fdbd41f79b14d781218976810b","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-12T02:15:27.718306Z","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:a6250ed5e81a6902e6c3fe121b22d2333bdc3bce5745e3282461945cefa2700e","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-12T02:15:27.718306Z","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:51d2012cf2fd373d6fa3b3760a47f569241ce0666d1ce542336c3c1ac46b7eea","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-12T02:15:27.718306Z","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:e9df313d42d91249fe4eba10a262792beb4298b0f9674b8761c341e3c92d90dc","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-12T02:15:27.718306Z","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:687cc51d64036b059ed4294b35b32ae20c8de5f8e3db0a5efced3413aaf644f8","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-12T02:15:27.718306Z","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:bec77a8a9df1833e253fe975cf7cbe97a42ffd5843319441e0a6230d2c62dd03","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-12T02:15:27.718306Z","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:2b6aa4c5a8b1fb74beeb63380dcbe9a1fcbaa28265cf2affbf1d7113c5e26503","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-12T02:15:27.718306Z","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:c3f9e435372c3a513baa055fcadc221890fb5be28871f2b1dae229de8f9156ac","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-12T02:15:27.718306Z","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:25e0a2a42be80b01cf714c35abda7324923d2a12866ad78c552136acdce69ee3","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-12T02:15:27.718306Z","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:a056728fb3dd1d0b1a17adbe478622cb663b6f86c543fa363b680b594f7b7ec3","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-12T02:15:27.718306Z","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:e2297af69eefa8e3666f0d5c639c9f2024c1a1bec24187ec097c3bb98c3721c2","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-12T02:15:27.718306Z","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:7a10606c6d1fa97e2016df8910ca2a992871aff40d00a0ff1e23085ecc1b7ddb","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-12T02:15:27.718306Z","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:e3b41af7048d60379fe083ed57c480337bdd13f73a7d295df26829b9ae41adfb","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-12T02:15:27.718306Z","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:73824d3786534d93ca7dae36ce67dda957f1898101e03947581a3851d7fd99d5","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-12T02:15:27.718306Z","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:e25281de63426f82db03bbb58bff55bfbaeb252e0f8035e2f0a6bbe1f7977ccc","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-12T02:15:27.718306Z","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:360bf44409de7c619fde6648959f2511360d134f9c220a5f59ccf129bc93dee0","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-12T02:15:27.718306Z","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:77bf91a5847ccb376e7bfda8e42b4a04c449460a23d4cd3571c0edb63ff064bd","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-12T02:15:27.718306Z","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:57d9c1a785b0af70741ba4b666ccc1c96a744da8d56a1bc1da0ab505272de36d","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-12T02:15:27.718306Z","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:b36b59fc247418ea2f94c37c9b6fb2d072f5ed43f7d1938f7053beb4a66d06f3","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-12T02:15:27.718306Z","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:c53496d101958b6c9f7cc411f64b1b2515f2b4b3bc4a2f5ebdf9275d81d82e1f","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-12T02:15:27.718306Z","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:a851460f04755a08e416527dfe5dc36036047bbdc9ffbe2ec98414c0937fb1bf","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-12T02:15:27.718306Z","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:09ef6452a5e34a1b262681a86e7e7cfc511b6c40abc748578043060da6a3ef02","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-12T02:15:27.718306Z","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:742a3f94291bfa05cc2bee566beece162d3a6ad0a617fbc21d770eea09236d7e","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-12T02:15:27.718306Z","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:bc4587d8999ff7fa3e0f646d9f2ed7749eb339b03a8f140b0d9b3c7228515502","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-12T02:15:27.718306Z","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:30017be46bb1485cc22c25733bce395516a46a5c3ba74d39457f425f0cc5a883","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-12T02:15:27.718306Z","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:a5026c0ac6653714fe20507cea217c22bbfc6de6da0b177bac42e848ea645ee9","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-12T02:15:27.718306Z","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:944ee187534fd1123b6434852d70c528531365a5fec372176993088410218af1","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-12T02:15:27.718306Z","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:6ab46d865c20fc68a86f563646710df80760a8f8e167095ab4e6e6e6424dd7a3","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-12T02:15:27.718306Z","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:af9c3c789cc3ab536cbd151d8fd45672a482bffb2c655cd0e7aa0073e22b2441","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-12T02:15:27.718306Z","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:1dde1779286f01a685d7788866757b61424966dfc62b0e8993a2e2cbd3c0b777","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-12T02:15:27.718306Z","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:b375a4298c079587602c755b7d155af54280dea792ee951363d7ed79e70c25fc","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-12T02:15:27.718306Z","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:b300e6751e914ddea68f8f4cc999e348f1bc5223bbba04940245cdf3074f073a","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-12T02:15:27.718306Z","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:b5dcef6f7b4538d37be46c6749332d59127d75fe6695523c7a6ec49202e4d255","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-12T02:15:27.718306Z","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:6e98cf59fc1b4bf9e2729258a09bb777ea2bcc501cd482bbcd2c615d7d2bf94a","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-12T02:15:27.718306Z","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:d50838632af5add5c0043d7ec9f1529263c3372e41590108ecf9298ec533fbcd","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-12T02:15:27.718306Z","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:9052748c255ffd4f660431ac99a8d729514dbf0ba33de9781c1ba5ce81cc3bcd","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-12T02:15:27.718306Z","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:9a46f766fa7bf85415893481e5de2497f2c548dd8a5b236d35564c5bca3d2bba","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-12T02:15:27.718306Z","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:8a62fe28af34c0610d7f584246bc7ed2c5d4913a4f9205ee7b56d7f697c69ade","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-12T02:15:27.718306Z","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:c6d66957e6a3cd0d5995be2d5adf1c3e745c1c804a94da2ee5b78b67388d266b","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-12T02:15:27.718306Z","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:0493850000d93f83f8de60597784f0d08705aed47f6539227153918108278afd","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-12T02:15:27.718306Z","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:60a9f578ee705bdb4fb466338c0490637d2cb9f3c95def100f7e26227edf72c7","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-12T02:15:27.718306Z","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:6599270b3e2af00a23fd6fefe52e17db70adfed67ddeed99043fcf5bf1097a38","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-12T02:15:27.718306Z","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:dc43f366348611b5789c6300cffec1c90d8753557fdab357e6b9cef26a7fd011","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-12T02:15:27.718306Z","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 12 August 2026, this Paper Citation Record lists 96 of 96 outbound references and 0 inbound Pith citation observations for arXiv:2608.03836."}