{"id":"https://openalex.org/W7225628630","doi":"https://doi.org/10.5281/zenodo.24091600","title":"The Verdict That Made It True: When Verification Becomes an Enterprise Intervention","display_name":"The Verdict That Made It True: When Verification Becomes an Enterprise Intervention","publication_year":2026,"publication_date":"2026-11-09","ids":{"openalex":"https://openalex.org/W7225628630","doi":"https://doi.org/10.5281/zenodo.24091600"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24091600","doi":"https://doi.org/10.5281/zenodo.24091600","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24091600","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24091600","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5133610272","display_name":"Rog\u00e9rio Figurelli","orcid":"https://orcid.org/0009-0002-5726-1765","observed_orcids":["https://orcid.org/0009-0002-5726-1765"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Figurelli, Rog\u00e9rio","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0002-5726-1765","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5133610272"],"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/T10927","display_name":"Access Control and Trust","score":0.17880000174045563,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10927","display_name":"Access Control and Trust","score":0.17880000174045563,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10142","display_name":"Formal Methods in Verification","score":0.1517000049352646,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.10189999639987946,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/causal-attribution","display_name":"causal attribution","score":0.48500001430511475},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"runtime verification","score":0.6010000109672546},{"id":"https://openalex.org/keywords/access-control","display_name":"access control","score":0.8460000157356262},{"id":"https://openalex.org/keywords/transaction-processing","display_name":"transaction processing","score":0.8830000162124634},{"id":"https://openalex.org/keywords/specification-consistency","display_name":"specification consistency","score":0.5080000162124634},{"id":"https://openalex.org/keywords/enterprise-evaluation","display_name":"enterprise evaluation","score":0.35499998927116394}],"concepts":[{"id":"https://openalex.org/C2776213154","wikidata":"https://www.wikidata.org/wiki/Q13370881","display_name":"Verdict","level":2,"score":0.6680999994277954},{"id":"https://openalex.org/C199521495","wikidata":"https://www.wikidata.org/wiki/Q181487","display_name":"Audit","level":2,"score":0.5056999921798706},{"id":"https://openalex.org/C2780665704","wikidata":"https://www.wikidata.org/wiki/Q959298","display_name":"Intervention (counseling)","level":2,"score":0.4941999912261963},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.484499990940094},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.4625999927520752},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.39169999957084656},{"id":"https://openalex.org/C190253527","wikidata":"https://www.wikidata.org/wiki/Q295354","display_name":"Law and economics","level":1,"score":0.3901999890804291},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.3815999925136566},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.36079999804496765},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.35920000076293945},{"id":"https://openalex.org/C148220186","wikidata":"https://www.wikidata.org/wiki/Q7111912","display_name":"Outcome (game theory)","level":2,"score":0.32710000872612},{"id":"https://openalex.org/C18296254","wikidata":"https://www.wikidata.org/wiki/Q1395219","display_name":"Skepticism","level":2,"score":0.31290000677108765},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.31049999594688416},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3061000108718872},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.30570000410079956},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.30230000615119934},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.3018999993801117},{"id":"https://openalex.org/C120936955","wikidata":"https://www.wikidata.org/wiki/Q2155640","display_name":"Empirical research","level":2,"score":0.29910001158714294},{"id":"https://openalex.org/C166052673","wikidata":"https://www.wikidata.org/wiki/Q83021","display_name":"Empirical evidence","level":2,"score":0.298799991607666},{"id":"https://openalex.org/C29122968","wikidata":"https://www.wikidata.org/wiki/Q1414816","display_name":"Incentive","level":2,"score":0.29820001125335693},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.29670000076293945},{"id":"https://openalex.org/C107101626","wikidata":"https://www.wikidata.org/wiki/Q842234","display_name":"Full disclosure","level":2,"score":0.2944999933242798},{"id":"https://openalex.org/C2777438998","wikidata":"https://www.wikidata.org/wiki/Q1412224","display_name":"Tribunal","level":2,"score":0.2897000014781952},{"id":"https://openalex.org/C46934059","wikidata":"https://www.wikidata.org/wiki/Q61515","display_name":"Outsourcing","level":2,"score":0.2842999994754791},{"id":"https://openalex.org/C39549134","wikidata":"https://www.wikidata.org/wiki/Q133080","display_name":"Public relations","level":1,"score":0.28110000491142273},{"id":"https://openalex.org/C2776007630","wikidata":"https://www.wikidata.org/wiki/Q2798912","display_name":"Accountability","level":2,"score":0.2741999924182892},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.2728999853134155},{"id":"https://openalex.org/C128595289","wikidata":"https://www.wikidata.org/wiki/Q131140","display_name":"COBOL","level":2,"score":0.2680000066757202},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.258899986743927},{"id":"https://openalex.org/C162118730","wikidata":"https://www.wikidata.org/wiki/Q1128453","display_name":"Actuarial science","level":1,"score":0.2540000081062317},{"id":"https://openalex.org/C2777152325","wikidata":"https://www.wikidata.org/wiki/Q108163","display_name":"Proposition","level":2,"score":0.2538999915122986},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.25200000405311584}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24091600","doi":"https://doi.org/10.5281/zenodo.24091600","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24091600","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},{"id":"doi:10.5281/zenodo.24091601","doi":"https://doi.org/10.5281/zenodo.24091601","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24091601","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"doi:10.5281/zenodo.24091600","doi":"https://doi.org/10.5281/zenodo.24091600","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24091600","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, justice, and strong institutions","score":0.8046000003814697}],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7225631654","https://openalex.org/W7165177831","https://openalex.org/W7161741859","https://openalex.org/W7216187885","https://openalex.org/W7207833704","https://openalex.org/W7225621171","https://openalex.org/W7215077464","https://openalex.org/W7224128110","https://openalex.org/W7155402668","https://openalex.org/W7203777085"],"abstract_inverted_index":{"Agentic":[0],"enterprise":[1,250],"systems":[2],"increasingly":[3],"transform":[4],"verification":[5],"results":[6],"into":[7,128],"operational":[8],"commands:":[9],"an":[10,18,25],"acceptance":[11],"verdict":[12,40,61],"may":[13,231],"release":[14],"a":[15,21,44,90,112,189,222,229,245],"payment,":[16],"activate":[17],"account,":[19],"publish":[20],"status,":[22],"or":[23,66,213],"initiate":[24],"external":[26],"obligation.":[27],"The":[28,219],"resulting":[29],"state":[30,47,54,97],"can":[31,200],"then":[32],"be":[33,201],"observed":[34,101],"as":[35,111],"evidence":[36,80,215],"that":[37,51,59,67],"the":[38,52,57,60,68,235],"original":[39],"was":[41,62,70],"correct.":[42],"Yet":[43],"true":[45],"post-verdict":[46],"does":[48],"not":[49,207],"establish":[50],"same":[53],"held":[55],"before":[56],"verdict,":[58],"its":[63,242],"necessary":[64],"cause,":[65],"intervention":[69],"institutionally":[71],"authorized.":[72],"Building":[73],"on":[74,161],"earlier":[75],"studies":[76],"of":[77,175,209,216],"outcome":[78],"verification,":[79,133],"continuity,":[81],"cross-Field":[82],"composition,":[83],"and":[84,105,115,119,125,136,152,157,172,240],"oracle":[85],"independence,":[86],"this":[87],"paper":[88],"formulates":[89],"claim-relative":[91],"certification\u2013intervention":[92],"boundary.":[93],"It":[94],"distinguishes":[95],"retrospective":[96],"certification,":[98],"prospective":[99,246],"authorization,":[100],"postcondition,":[102],"causal":[103,130],"attribution,":[104],"warranted":[106],"public":[107],"completion;":[108],"treats":[109],"each":[110],"separately":[113],"evidenced":[114],"temporally":[116],"addressed":[117],"claim;":[118,190],"develops":[120],"conditional":[121],"non-entailment":[122],"propositions,":[123],"counterexamples,":[124],"reduction":[126],"routes":[127],"conventional":[129],"inference,":[131],"runtime":[132],"transaction":[134],"processing,":[135],"access":[137],"control.":[138],"An":[139],"executable":[140],"finite":[141],"reference":[142],"audit":[143],"enumerates":[144],"16,384":[145],"author-constructed":[146],"episodes":[147],"over":[148],"four":[149,173],"claim":[150],"types":[151],"twelve":[153],"Boolean":[154],"factors.":[155],"Conventional":[156],"Field-labelled":[158],"adjudicators":[159],"agree":[160],"every":[162],"constructed":[163],"episode,":[164],"with":[165],"matching":[166],"SQL":[167],"re-evaluation;":[168],"10,000":[169],"seeded":[170],"perturbations":[171],"classes":[174],"negative":[176],"control":[177],"test":[178],"robustness.":[179],"Under":[180],"untampered,":[181],"scope-complete":[182],"witnesses":[183],"neither":[184],"full":[185],"adjudicator":[186],"falsely":[187],"promotes":[188],"when":[191],"semantically":[192],"corrupted":[193],"observations":[194,208],"retain":[195],"apparently":[196],"valid":[197],"metadata,":[198],"both":[199],"deceived.":[202],"These":[203],"are":[204],"specification-consistency":[205],"results,":[206],"live":[210],"agent":[211],"performance":[212],"empirical":[214],"Field-specific":[217],"advantage.":[218],"contribution":[220],"is":[221],"falsifiable":[223],"research":[224],"boundary":[225],"for":[226,248],"deciding":[227],"what":[228],"verifier":[230],"legitimately":[232],"say":[233],"about":[234],"world":[236],"before,":[237],"because":[238],"of,":[239],"after":[241],"own":[243],"intervention\u2014and":[244],"design":[247],"independent":[249],"evaluation.":[251]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-10T00:00:00"}