{"id":"https://openalex.org/W7169493856","doi":"https://doi.org/10.48550/arxiv.2607.14890","title":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","display_name":"Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control","publication_year":2026,"publication_date":"2026-07-16","ids":{"openalex":"https://openalex.org/W7169493856","doi":"https://doi.org/10.48550/arxiv.2607.14890"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2607.14890","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.14890","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,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2607.14890","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5139640766","display_name":"Jek Huang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huang, Jek","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5141099325","display_name":"Jeffery Hsia","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hsia, Jeffery","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020266211","display_name":"J F Sun","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sun, Jiayi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5141067612","display_name":"Freddie Shi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shi, Freddie","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102688813","display_name":"W E I-Xing Huang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huang, Wei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5026880270","display_name":"I.H. White","orcid":"https://orcid.org/0000-0002-7368-0305"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"White, Ian H.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"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/T11424","display_name":"Security and Verification in Computing","score":0.2989000082015991,"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/T11424","display_name":"Security and Verification in Computing","score":0.2989000082015991,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.17260000109672546,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.1152999997138977,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/system-lifecycle","display_name":"System lifecycle","score":0.7821999788284302},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.6362000107765198},{"id":"https://openalex.org/keywords/application-lifecycle-management","display_name":"Application lifecycle management","score":0.45579999685287476},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4544999897480011},{"id":"https://openalex.org/keywords/coding","display_name":"Coding (social sciences)","score":0.3497999906539917},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.34619998931884766}],"concepts":[{"id":"https://openalex.org/C35280785","wikidata":"https://www.wikidata.org/wiki/Q559486","display_name":"System lifecycle","level":4,"score":0.7821999788284302},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.6362000107765198},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4869000017642975},{"id":"https://openalex.org/C30452754","wikidata":"https://www.wikidata.org/wiki/Q621590","display_name":"Application lifecycle management","level":3,"score":0.45579999685287476},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4544999897480011},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.3497999906539917},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.34619998931884766},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.34200000762939453},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.31200000643730164},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.2976999878883362},{"id":"https://openalex.org/C78873551","wikidata":"https://www.wikidata.org/wiki/Q5160111","display_name":"Configuration Management (ITSM)","level":2,"score":0.2897000014781952},{"id":"https://openalex.org/C2778979077","wikidata":"https://www.wikidata.org/wiki/Q330190","display_name":"Receipt","level":2,"score":0.289000004529953},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.28369998931884766},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.2786000072956085},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.27790001034736633},{"id":"https://openalex.org/C39743133","wikidata":"https://www.wikidata.org/wiki/Q3262595","display_name":"Signalling","level":2,"score":0.27619999647140503},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.2721000015735626},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.25440001487731934},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.25099998712539673}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2607.14890","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.14890","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,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2607.14890","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.14890","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,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.431530237197876,"id":"https://metadata.un.org/sdg/12","display_name":"Responsible consumption and production"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Autonomous":[0],"coding":[1],"agents":[2],"increasingly":[3],"execute":[4],"multi-step":[5],"software":[6],"work,":[7],"but":[8],"lifecycle":[9,34,56,186,230],"states":[10],"such":[11],"as":[12,52,184,218],"reviewed,":[13],"tested,":[14],"DONE,":[15],"and":[16,58,87,102,200,245],"ready-to-merge":[17],"remain":[18],"claims":[19,53,228],"unless":[20],"supported":[21],"by":[22],"current":[23],"evidence.":[24,90],"We":[25,75],"present":[26],"Proof-or-Stop":[27,217],"Lifecycle":[28],"Control,":[29],"a":[30,67,83,115,134,146,154,185,192,209,219,229,246],"method":[31,48],"that":[32,176],"permits":[33],"transitions":[35],"only":[36],"when":[37],"fresh,":[38],"tracked-source-state-bound,":[39],"mechanically":[40],"verifiable":[41],"evidence":[42,65],"satisfies":[43],"the":[44,118,143,177],"relevant":[45],"gate.":[46],"The":[47,91,194,234],"treats":[49],"agent":[50],"outputs":[51],"rather":[54,188],"than":[55,189],"state,":[57],"uses":[59],"proof":[60],"operationally":[61],"to":[62,138,238],"mean":[63],"gate-admissible":[64],"under":[66,133,142],"stated":[68],"trust":[69],"model,":[70],"not":[71],"semantic":[72],"program":[73],"correctness.":[74],"evaluate":[76],"an":[77],"open-source":[78],"implementation":[79],"through":[80],"mechanism":[81],"tests,":[82],"powered":[84],"control-policy":[85],"ablation,":[86,117],"operated":[88],"self-application":[89,195],"unattended-loop":[92],"engine":[93],"passed":[94],"10":[95,97],"of":[96,129,140,159,169,173],"scenarios":[98],"with":[99,110,153,181,204],"zero":[100,111],"false-DONE,":[101],"local-key":[103],"receipt":[104],"bundles":[105],"rejected":[106],"18":[107],"tamper":[108],"classes":[109],"false":[112],"accepts.":[113],"In":[114],"9,240-cell":[116],"pre-registered":[119],"A4":[120,166],"versus":[121,165,171],"A2-prime":[122],"comparison":[123],"reduced":[124],"visible-pass/hidden-fail":[125],"amplification":[126],"from":[127],"31":[128],"1,800":[130,141,170],"injected":[131],"cells":[132],"compute-budgeted":[135],"naive":[136],"loop":[137],"2":[139,172],"gated":[144],"loop,":[145],"1.6":[147],"percentage-point":[148],"improvement":[149],"in":[150],"not-amplified":[151],"rate":[152],"95":[155],"percent":[156,206],"confidence":[157],"interval":[158],"[0.8,":[160],"2.5].":[161],"A":[162],"near-compute":[163],"A3":[164],"comparison,":[167],"14":[168],"1,800,":[174],"indicates":[175],"gain":[178],"is":[179,236],"associated":[180],"enforcing":[182],"review":[183,202],"gate":[187],"merely":[190],"adding":[191],"reviewer.":[193],"corpus":[196],"contains":[197],"565":[198],"stories":[199],"1,007":[201],"findings,":[203],"94.8":[205],"resolved,":[207],"plus":[208],"68-row":[210],"high/critical":[211],"cross-vendor":[212],"exhibit.":[213],"These":[214],"results":[215],"support":[216],"model-agnostic,":[220],"host-neutral":[221],"control":[222],"layer":[223],"for":[224],"deciding":[225],"which":[226],"autonomous-agent":[227],"may":[231],"act":[232],"on.":[233],"evaluation":[235],"limited":[237],"one":[239],"model":[240],"family,":[241],"24":[242],"ablation":[243],"tasks,":[244],"self-hosted":[247],"corpus.":[248]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-07-18T00:00:00"}