{"id":"https://openalex.org/W7204198880","doi":"https://doi.org/10.48550/arxiv.2608.22928","title":"When Can Agents Safely Checkpoint, Fork, Restore, and Merge? Exact Checking for Execution Edits","display_name":"When Can Agents Safely Checkpoint, Fork, Restore, and Merge? Exact Checking for Execution Edits","publication_year":2026,"publication_date":"2026-08-24","ids":{"openalex":"https://openalex.org/W7204198880","doi":"https://doi.org/10.48550/arxiv.2608.22928"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.22928","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.22928","pdf_url":"https://arxiv.org/pdf/2608.22928","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2608.22928","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5147141094","display_name":"Yusheng Zheng","orcid":"https://orcid.org/0009-0004-3193-4356","observed_orcids":["https://orcid.org/0009-0004-3193-4356"]},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zheng, Yusheng","raw_affiliation_strings":["University of California , Santa Cruz"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California , Santa Cruz","institution_ids":["https://openalex.org/I185103710"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Song, Xiaoyu","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Song, Xiaoyu","raw_affiliation_strings":["University of Texas at Dallas"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102799039","display_name":"Yanpeng Hu","orcid":"https://orcid.org/0000-0002-1003-6475","observed_orcids":["https://orcid.org/0000-0002-1003-6475"]},"institutions":[{"id":"https://openalex.org/I30809798","display_name":"ShanghaiTech University","ror":"https://ror.org/030bhh786","country_code":"CN","type":"education","lineage":["https://openalex.org/I30809798"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hu, Yanpeng","raw_affiliation_strings":["ShanghaiTech University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ShanghaiTech University","institution_ids":["https://openalex.org/I30809798"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066222933","display_name":"Lebin Cheng","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cheng, Lebin","raw_affiliation_strings":["RailXia \u00b6 Eunomia Labs"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RailXia \u00b6 Eunomia Labs","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5148138479","display_name":"Yuxi Huang","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huang, Yuxi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5148117222","display_name":"Wei Zhang","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I140172145","display_name":"University of Connecticut","ror":"https://ror.org/02der9h97","country_code":"US","type":"education","lineage":["https://openalex.org/I140172145"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhang, Wei","raw_affiliation_strings":["University of Connecticut"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Connecticut","institution_ids":["https://openalex.org/I140172145"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.4993000030517578,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.4993000030517578,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.18520000576972961,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.133200004696846,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/checkpointing","display_name":"checkpointing","score":0.8090000152587891},{"id":"https://openalex.org/keywords/forking","display_name":"forking","score":0.6150000095367432},{"id":"https://openalex.org/keywords/safety-verification","display_name":"safety verification","score":0.5879999995231628}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8909000158309937},{"id":"https://openalex.org/C2780154230","wikidata":"https://www.wikidata.org/wiki/Q513420","display_name":"Undo","level":2,"score":0.8737999796867371},{"id":"https://openalex.org/C197129107","wikidata":"https://www.wikidata.org/wiki/Q1921621","display_name":"Merge (version control)","level":2,"score":0.659500002861023},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5527999997138977},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.47269999980926514},{"id":"https://openalex.org/C108759981","wikidata":"https://www.wikidata.org/wiki/Q788590","display_name":"Authorization","level":2,"score":0.3425000011920929},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3278000056743622},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3215999901294708},{"id":"https://openalex.org/C44359876","wikidata":"https://www.wikidata.org/wiki/Q5338467","display_name":"Edit distance","level":2,"score":0.30410000681877136},{"id":"https://openalex.org/C40523978","wikidata":"https://www.wikidata.org/wiki/Q14675","display_name":"Fork (system call)","level":2,"score":0.29019999504089355},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.2879999876022339},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.28769999742507935},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.2703000009059906},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.25529998540878296},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.2551000118255615},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.25380000472068787}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.22928","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.22928","pdf_url":"https://arxiv.org/pdf/2608.22928","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2608.22928","doi":"https://doi.org/10.48550/arxiv.2608.22928","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.22928","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2608.22928","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.22928","pdf_url":"https://arxiv.org/pdf/2608.22928","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7204198880.pdf","grobid_xml":"https://content.openalex.org/works/W7204198880.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7204911647","https://openalex.org/W7214281183","https://openalex.org/W7167739238","https://openalex.org/W7215849533","https://openalex.org/W7221773781","https://openalex.org/W7213894922","https://openalex.org/W7158689076","https://openalex.org/W7172425115","https://openalex.org/W7206209849","https://openalex.org/W7167735516"],"abstract_inverted_index":{"Agent":[0,41,88,123],"runtimes":[1],"can":[2,62,186],"Checkpoint":[3,25,233],"an":[4,50,103,153,159],"execution,":[5,138],"Fork":[6],"it,":[7],"Restore":[8],"a":[9,16,54,71,80,198,210],"checkpoint,":[10],"or":[11,53,77,170],"Merge":[12,37],"branches":[13],"without":[14,128,188],"restarting":[15],"task.":[17],"We":[18,151],"call":[19,81],"these":[20],"operations":[21,127],"execution":[22,29,46,96,119],"edits,":[23],"with":[24,79,244],"recording":[26],"the":[27,40,65,73,85,92,117,136,179,184,219,225,235,249,257,281],"current":[28],"for":[30,107,142],"later":[31],"use":[32],"and":[33,36,108,234,241,248,260,263,275],"Fork,":[34,239],"Restore,":[35,240],"changing":[38],"what":[39,130,224],"will":[42],"do":[43],"next.":[44],"An":[45,59],"edit":[47,61,104,132,160,268],"cannot":[48],"undo":[49],"earlier":[51],"authorization":[52],"tool":[55,67],"request":[56],"already":[57],"sent.":[58],"unsafe":[60],"therefore":[63],"authorize":[64],"same":[66],"action":[68],"twice,":[69],"discard":[70],"result":[72,200],"task":[74,185],"still":[75],"requires,":[76],"conflict":[78],"that":[82,147,155,172,195,213],"began":[83],"before":[84],"edit.":[86],"The":[87,270],"is":[89,161],"untrusted,":[90],"so":[91],"runtime":[93,226,261],"uses":[94],"its":[95],"record":[97],"to":[98,115,168,202],"determine":[99],"which":[100,109],"past":[101],"actions":[102],"must":[105,113,133],"account":[106],"required":[110],"results":[111,231],"it":[112,208],"preserve":[114,134],"keep":[116],"subsequent":[118],"safe.":[120,162],"Yet":[121],"existing":[122],"systems":[124],"support":[125],"such":[126],"deriving":[129],"each":[131],"from":[135],"running":[137],"whereas":[139],"prior":[140],"methods":[141],"computing":[143],"safe":[144,166,215],"behavior":[145],"take":[146],"requirement":[148],"as":[149],"input.":[150],"give":[152],"algorithm":[154,180],"decides":[156],"exactly":[157,223],"whether":[158],"It":[163,191],"returns":[164,209],"all":[165,266],"ways":[167,221],"continue,":[169],"proves":[171],"none":[173,206],"exists.":[174,217],"To":[175],"make":[176,197],"this":[177],"decision,":[178],"lists":[181],"every":[182,251],"way":[183,194],"finish":[187,203],"violating":[189],"policy.":[190],"removes":[192],"any":[193],"could":[196],"still-required":[199],"impossible":[201],"later.":[204],"If":[205],"remain,":[207],"checkable":[211],"proof":[212],"no":[214],"implementation":[216],"Otherwise,":[218],"remaining":[220],"describe":[222],"may":[227],"allow.":[228],"Our":[229],"formal":[230],"cover":[232],"six":[236,267],"forms":[237],"of":[238],"Merge,":[242],"together":[243],"extensions,":[245],"atomic":[246],"enforcement,":[247],"information":[250],"exact":[252],"checker":[253,259],"needs.":[254],"Lean":[255,273],"mechanizes":[256],"finite":[258],"invariant,":[262],"tests":[264,277],"validate":[265],"forms.":[269],"source":[271],"code,":[272],"proofs,":[274],"executable":[276],"are":[278],"available":[279],"in":[280],"public":[282],"GitHub":[283],"repository":[284],"at":[285],"https://github.com/eunomia-bpf/agent-check-restore-safety.":[286]},"counts_by_year":[],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2026-08-26T00:00:00"}