{"id":"https://openalex.org/W7203717032","doi":"https://doi.org/10.5281/zenodo.21987026","title":"Commit-Time Admissibility Preconditions: Design-Basis Envelope Containment, Contemporaneous Grounds, Verification-Resource Allocation, and State-Action Admissibility","display_name":"Commit-Time Admissibility Preconditions: Design-Basis Envelope Containment, Contemporaneous Grounds, Verification-Resource Allocation, and State-Action Admissibility","publication_year":2026,"publication_date":"2026-08-18","ids":{"openalex":"https://openalex.org/W7203717032","doi":"https://doi.org/10.5281/zenodo.21987026"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.21987026","doi":"https://doi.org/10.5281/zenodo.21987026","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.21987026","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Report"},"volume":null,"type":"report","is_traditional":false,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.21987026","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5133231768","display_name":"Vadym Partasyuk","orcid":"https://orcid.org/0009-0008-3465-1254","observed_orcids":["https://orcid.org/0009-0008-3465-1254"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Partasyuk, Vadym","raw_affiliation_strings":["Independent Research"],"raw_orcid":"https://orcid.org/0009-0008-3465-1254","affiliations":[{"raw_affiliation_string":"Independent Research","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5133231768"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":8,"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/T11357","display_name":"Risk and Safety Analysis","score":0.454800009727478,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.454800009727478,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.25049999356269836,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.12600000202655792,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/degradation-indicators","display_name":"degradation indicators","score":0.6809999942779541}],"concepts":[{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.7386999726295471},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6761999726295471},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.48829999566078186},{"id":"https://openalex.org/C65155139","wikidata":"https://www.wikidata.org/wiki/Q5380912","display_name":"Envelope (radar)","level":3,"score":0.4618000090122223},{"id":"https://openalex.org/C138147947","wikidata":"https://www.wikidata.org/wiki/Q1183659","display_name":"Declaration","level":2,"score":0.4334999918937683},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.42329999804496765},{"id":"https://openalex.org/C44725695","wikidata":"https://www.wikidata.org/wiki/Q288156","display_name":"Normative","level":2,"score":0.4074999988079071},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.39089998602867126},{"id":"https://openalex.org/C2779089604","wikidata":"https://www.wikidata.org/wiki/Q7169333","display_name":"Permission","level":2,"score":0.3752000033855438},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.35030001401901245},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.33000001311302185},{"id":"https://openalex.org/C108650721","wikidata":"https://www.wikidata.org/wiki/Q1783253","display_name":"Counterfactual thinking","level":2,"score":0.2944999933242798},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.27549999952316284},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.27149999141693115},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26919999718666077},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.26339998841285706},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.26010000705718994}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.21987026","doi":"https://doi.org/10.5281/zenodo.21987026","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.21987026","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Report"},{"id":"doi:10.5281/zenodo.21987027","doi":"https://doi.org/10.5281/zenodo.21987027","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.21987027","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Report"}],"best_oa_location":{"id":"doi:10.5281/zenodo.21987026","doi":"https://doi.org/10.5281/zenodo.21987026","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.21987026","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Report"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W7150936493","https://openalex.org/W7151245262","https://openalex.org/W7151302892","https://openalex.org/W7151444777","https://openalex.org/W7151762568","https://openalex.org/W7152096398","https://openalex.org/W7152584789","https://openalex.org/W7152588662","https://openalex.org/W7152968523","https://openalex.org/W7154481730","https://openalex.org/W7154574608","https://openalex.org/W7154826077","https://openalex.org/W7154907154","https://openalex.org/W7155007894","https://openalex.org/W7161553114","https://openalex.org/W7162255048","https://openalex.org/W7162583128","https://openalex.org/W7162942764","https://openalex.org/W7163640225","https://openalex.org/W7163738043","https://openalex.org/W7163827774","https://openalex.org/W7203599068","https://openalex.org/W7203618587"],"related_works":["https://openalex.org/W7203663783","https://openalex.org/W7149305862","https://openalex.org/W7128958104","https://openalex.org/W7160444834","https://openalex.org/W7161477999","https://openalex.org/W7201833225","https://openalex.org/W7204464875","https://openalex.org/W7140225911","https://openalex.org/W7161435573","https://openalex.org/W7161683184"],"abstract_inverted_index":{"This":[0],"record":[1,440,481],"deposits":[2],"Commit-Time":[3,23,401,559],"Admissibility":[4,24,402,560],"Preconditions:":[5],"Design-Basis":[6],"Envelope":[7],"Containment,":[8],"Contemporaneous":[9],"Grounds,":[10],"Verification-Resource":[11],"Allocation,":[12],"and":[13,72,89,119,144,169,207,265,274,284,350,356,380,396,411,431,456,462,468,482,527,553],"State-Action":[14],"Admissibility,":[15],"together":[16],"with":[17,444],"subordinate":[18,368],"Commercial":[19,504],"Companion":[20,363],"Note":[21,364],"11,":[22],"Evidence":[25,403,561],"Readiness.The":[26],"governing":[27,446],"paper":[28,253,296],"consolidates":[29],"six":[30],"bounded":[31,208],"preconditions":[32,339],"that":[33],"must":[34],"be":[35,42,83,85,90,124,231,422,442],"addressed":[36],"before":[37,126,233],"a":[38,51,96,171,187,241,367,400],"consequence-bearing":[39],"commit":[40,221,344],"can":[41],"treated":[43],"as":[44],"having":[45],"an":[46,105,181],"admissible":[47,142],"basis.":[48],"N1":[49],"requires":[50,76,109,213],"declared":[52,199],"design-basis":[53],"or":[54,114,159,175,186,229,250,320,334,534,541],"reachable":[55],"envelope":[56],"to":[57,81,123,166,223,230],"remain":[58,224,353],"within":[59,289],"identified,":[60],"applicable,":[61],"in-force":[62],"tolerance":[63],"envelopes":[64],"after":[65],"typed":[66],"normalization,":[67],"unit":[68],"consistency,":[69],"scope":[70],"resolution,":[71],"authority":[73],"precedence.":[74],"N2":[75],"the":[77,101,127,140,148,196,255,261,280,290,338,385,425,445,453,463,549],"grounds":[78],"relied":[79,87,218],"upon":[80,219],"exist,":[82],"available,":[84],"actually":[86],"upon,":[88],"bound":[91,351],"no":[92,324,408,412],"later":[93,97],"than":[94],"commit;":[95],"explanation":[98],"cannot":[99],"become":[100],"historical":[102],"ground":[103],"of":[104,301,437,497],"earlier":[106],"action.":[107],"N3":[108],"scarce,":[110],"time-bounded,":[111],"independent,":[112],"costly,":[113],"physically":[115],"limited":[116,277],"verification":[117],"resources":[118],"their":[120],"failure":[121],"dispositions":[122,398],"allocated":[125],"relevant":[128],"decision":[129],"window":[130],"closes.":[131],"N4":[132],"fixes":[133],"deterministic":[134],"in":[135,501],"its":[136,285],"normative":[137],"sense":[138],"only:":[139],"same":[141,149],"inputs":[143],"rule":[145,212,288],"version":[146],"produce":[147],"gate":[150],"result,":[151],"without":[152,546],"implying":[153],"physical":[154],"predetermination,":[155],"bit-exact":[156],"model":[157],"replay,":[158],"guaranteed":[160],"safety.":[161],"N5":[162],"limits":[163],"degradation":[164],"indicators":[165],"calibrated":[167],"evidence":[168,389],"prevents":[170],"signal,":[172],"threshold":[173],"crossing,":[174],"verifier":[176],"finding":[177],"from":[178,192],"silently":[179],"becoming":[180],"Assumption":[182],"Collapse":[183],"Event":[184],"declaration":[185],"command.":[188],"N6":[189],"separates":[190],"permission":[191,540],"state-action":[193],"admissibility":[194],"across":[195],"observed":[197],"state,":[198],"uncertainty,":[200],"horizon,":[201],"latency,":[202],"inertia,":[203],"saturation,":[204],"coupled":[205],"loads,":[206],"disturbances.A":[209],"delayed-attachment":[210],"survival":[211,287],"every":[214],"mutable":[215],"load-bearing":[216],"fact":[217],"at":[220],"either":[222],"valid":[225],"through":[226],"consequence":[227],"attachment":[228,249],"re-evaluated":[232],"attachment.":[234],"Later":[235],"loss":[236],"does":[237,297,340,475,483],"not":[238,298,341,358,435,476,484],"automatically":[239],"falsify":[240],"historically":[242],"proper":[243],"commit,":[244],"but":[245],"it":[246],"may":[247,421],"defeat":[248],"continuation.":[251],"The":[252,295],"uses":[254],"six-state":[256,397],"determination":[257],"vocabulary":[258],"fixed":[259],"by":[260],"preceding":[262,465],"Semantic":[263,466],"Crosswalk":[264,467],"Type-Separation":[266,469],"Canon":[267,457,470],"Locks:":[268],"VALID,":[269],"INVALID,":[270],"INSUFFICIENT,":[271],"CONFLICTED,":[272],"EXPIRED,":[273],"NOT":[275],"ESTABLISHED.The":[276],"contribution":[278],"is":[279,366],"N1\u2013N6":[281],"precondition":[282],"bundle":[283],"temporal":[286],"Applicability":[291,447,494],"Boundary":[292,448],"Doctrine":[293,449,495],"corpus.":[294],"claim":[299],"invention":[300],"atomic":[302],"admission,":[303],"non-compensatory":[304],"pre-execution":[305],"gating,":[306],"pre-action":[307],"authorization,":[308],"runtime":[309],"assurance,":[310],"STPA,":[311],"SOTIF,":[312],"reachability":[313],"analysis,":[314],"control":[315,419],"barrier":[316],"functions,":[317],"provenance":[318],"systems,":[319],"governance-by-architecture.":[321],"It":[322,383,406,474],"introduces":[323],"controller,":[325],"universal":[326],"threshold,":[327],"safety":[328],"proof,":[329],"certification":[330],"method,":[331,429],"legal":[332],"presumption,":[333],"implementation":[335,432],"licence.":[336],"Passing":[337],"establish":[342],"overall":[343],"eligibility;":[345],"operative":[346],"capacity,":[347],"claim-specific":[348],"independence,":[349],"re-provability":[352],"separately":[354],"required":[355],"are":[357,434],"absorbed":[359],"into":[360],"this":[361,438,502],"record.Commercial":[362],"11":[365],"buyer-facing":[369],"evidence-readiness":[370],"companion":[371],"for":[372,399,490,532],"procurement,":[373],"audit,":[374],"insurer,":[375],"counsel,":[376],"safety-governance,":[377],"board,":[378],"product-claim,":[379],"deployment-review":[381],"readers.":[382],"defines":[384],"public":[386,491],"review":[387],"surfaces,":[388],"requests,":[390],"red":[391],"flags,":[392],"buyer":[393],"questions,":[394],"deliverables,":[395,517],"Readiness":[404,562],"Review.":[405],"has":[407],"independent":[409,413],"DOI":[410,451,460,472],"doctrinal":[414],"standing.":[415],"An":[416],"optional":[417],"internal":[418],"pack":[420],"licensed":[423],"separately;":[424],"private":[426],"templates,":[427],"scoring":[428],"thresholds,":[430],"instruments":[433],"part":[436],"deposit.This":[439],"should":[441],"read":[443],"baseline":[450],"10.5281/zenodo.19425317,":[452],"Corpus":[454],"Continuity":[455],"Policy":[458],"Record":[459],"10.5281/zenodo.21983371,":[461],"immediately":[464],"Locks":[471],"10.5281/zenodo.21985437.":[473],"replace":[477],"any":[478],"prior":[479],"deposited":[480],"depend":[485],"on":[486,548],"unpublished":[487],"working":[488],"files":[489],"interpretation.Rights:":[492],"GotoCalm":[493],"Terms":[496],"Use.":[498],"See":[499],"terms_of_use.txt":[500],"record.":[503],"implementation,":[505],"operational":[506],"integration,":[507],"productization,":[508],"paid":[509,512,515,518],"assurance":[510],"packaging,":[511],"audit":[513],"products,":[514,526],"procurement":[516],"insurer-facing":[519],"services,":[520],"derivative":[521],"commercial":[522,524,529],"frameworks,":[523],"training":[525],"other":[528],"reuse":[530],"designed":[531],"sale":[533],"service":[535],"delivery":[536],"require":[537],"separate":[538],"written":[539],"licence":[542],"unless":[543],"independently":[544],"established":[545],"reliance":[547],"authored":[550],"framework.Commercial":[551],"application":[552],"confidential":[554],"discussion:":[555],"admin@gotocalm.comSuggested":[556],"subject":[557],"line:":[558],"-":[563],"Inquiry":[564]},"counts_by_year":[{"year":2026,"cited_by_count":8}],"updated_date":"2026-10-07T09:51:55.459714","created_date":"2026-08-19T00:00:00"}