{"id":"https://openalex.org/W7225328447","doi":"https://doi.org/10.5281/zenodo.23967281","title":"Deterministic Admissibility Engineering: Mechanized Type Theory, Bare-Metal Clamps, and the Regeneration Gap","display_name":"Deterministic Admissibility Engineering: Mechanized Type Theory, Bare-Metal Clamps, and the Regeneration Gap","publication_year":2026,"publication_date":"2026-11-05","ids":{"openalex":"https://openalex.org/W7225328447","doi":"https://doi.org/10.5281/zenodo.23967281"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23967281","doi":"https://doi.org/10.5281/zenodo.23967281","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23967281","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.23967281","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5151196566","display_name":"Jesse Ward Tuohy","orcid":"https://orcid.org/0009-0008-4661-1540","observed_orcids":["https://orcid.org/0009-0008-4661-1540"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Tuohy, Jesse","raw_affiliation_strings":["Arcstone Adaptive Science Systems, Inc"],"raw_orcid":"https://orcid.org/0009-0008-4661-1540","affiliations":[{"raw_affiliation_string":"Arcstone Adaptive Science Systems, Inc","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5151196566"],"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9384999871253967,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9384999871253967,"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/T10126","display_name":"Logic, programming, and type systems","score":0.024700000882148743,"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"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.015599999576807022,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/idempotence","display_name":"idempotency","score":0.6439999938011169},{"id":"https://openalex.org/keywords/distributed-systems","display_name":"distributed systems","score":0.49900001287460327},{"id":"https://openalex.org/keywords/join-semilattices","display_name":"join-semilattices","score":0.6620000004768372},{"id":"https://openalex.org/keywords/covariant-functors","display_name":"covariant functors","score":0.6639999747276306},{"id":"https://openalex.org/keywords/autonomous-agents","display_name":"autonomous agents","score":0.42800000309944153},{"id":"https://openalex.org/keywords/generative-models","display_name":"generative models","score":0.574999988079071}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6758999824523926},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.5565000176429749},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.4456000030040741},{"id":"https://openalex.org/C78469957","wikidata":"https://www.wikidata.org/wiki/Q838062","display_name":"occam","level":2,"score":0.4117000102996826},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.3977000117301941},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.39259999990463257},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.3783000111579895},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.37689998745918274},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.3555999994277954},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.35370001196861267},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.319599986076355},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31299999356269836},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3127000033855438},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.3082999885082245},{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.3073999881744385},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.3061999976634979},{"id":"https://openalex.org/C3265923","wikidata":"https://www.wikidata.org/wiki/Q669129","display_name":"Arithmetic underflow","level":2,"score":0.29820001125335693},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2935999929904938},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.2833000123500824},{"id":"https://openalex.org/C22927095","wikidata":"https://www.wikidata.org/wiki/Q1784206","display_name":"Stateful firewall","level":3,"score":0.28139999508857727},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.27799999713897705},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.27090001106262207},{"id":"https://openalex.org/C134757568","wikidata":"https://www.wikidata.org/wiki/Q274089","display_name":"Heap (data structure)","level":2,"score":0.27070000767707825},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.27000001072883606},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.2669999897480011},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.2612999975681305}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23967281","doi":"https://doi.org/10.5281/zenodo.23967281","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23967281","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.23967282","doi":"https://doi.org/10.5281/zenodo.23967282","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23967282","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.23967281","doi":"https://doi.org/10.5281/zenodo.23967281","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23967281","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":[],"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/W7171362574","https://openalex.org/W7204565441","https://openalex.org/W7208785276","https://openalex.org/W7169786050","https://openalex.org/W7215124795","https://openalex.org/W7211939354","https://openalex.org/W7214440902","https://openalex.org/W7214525104","https://openalex.org/W7162879329","https://openalex.org/W7204103328"],"abstract_inverted_index":{"Autonomous":[0],"agent":[1],"frameworks":[2],"driving":[3],"non-deterministic":[4],"generative":[5,26,93],"models":[6],"systematically":[7],"undermine":[8],"classical":[9],"distributed":[10,43],"systems":[11],"idempotency.":[12],"While":[13],"conventional":[14],"network":[15,32],"architectures":[16],"assume":[17],"that":[18],"retry":[19],"loops":[20],"replay":[21],"identical":[22,53],"request":[23],"payloads,":[24],"autoregressive":[25],"agents":[27],"re-synthesize":[28],"arguments":[29],"upon":[30],"encountering":[31],"timeouts":[33],"or":[34],"ambiguous":[35],"states.":[36],"This":[37,65],"semantic":[38],"drift":[39],"creates":[40],"a":[41,138,142],"critical":[42],"failure:":[44],"The":[45],"Regeneration":[46],"Gap,":[47],"wherein":[48],"syntactically":[49],"divergent":[50],"requests":[51],"representing":[52],"underlying":[54],"business":[55],"intents":[56],"bypass":[57],"transport-layer":[58],"deduplication":[59],"keys,":[60],"inducing":[61],"catastrophic":[62],"duplicate":[63],"mutations.":[64],"specification":[66],"formalizes":[67],"Deterministic":[68],"Admissibility":[69],"Engineering":[70],"(DAE)\u2014a":[71],"mathematical,":[72],"microarchitectural,":[73],"and":[74,96,180],"operational":[75,144],"framework":[76],"built":[77],"on":[78,239],"the":[79,113],"governing":[80],"axiom:":[81],"Existence":[82],"\u2260":[83],"Permission.":[84],"Under":[85],"DAE,":[86],"execution":[87],"authority":[88],"is":[89],"fully":[90],"decoupled":[91],"from":[92],"proposal":[94],"synthesis":[95],"anchored":[97],"into":[98],"an":[99,152],"unbroken,":[100],"4-tier":[101],"mechanically":[102],"checked":[103],"continuum:":[104],"Tier":[105,125,163,185],"1":[106],"(Proof":[107],"Theory):":[108],"Empty-axiom":[109],"inductive":[110],"proofs":[111],"in":[112,212],"Coq":[114],"Interactive":[115],"Theorem":[116],"Prover":[117],"(Print":[118],"Assumptions":[119],"\u2261":[120,123],"\u2205,":[121],"Admitted":[122],"0).":[124],"2":[126],"(Functorial":[127],"Bridge):":[128],"Order-preserving":[129],"covariant":[130],"functor":[131],"(\u03a6":[132],":":[133],"L":[134],"\u2192":[135],"E)":[136],"mapping":[137],"5-element":[139],"join-semilattice":[140],"to":[141,229],"6-tier":[143],"dominance":[145],"hierarchy,":[146],"enforcing":[147],"POSIX":[148],"10":[149],"(FREEZE)":[150],"as":[151],"internal":[153],"endofunctorial":[154],"scheduling":[155],"yield":[156],"(\u03c4_override":[157],"\u2264":[158,175],"11.99":[159],"ms)":[160],"outside":[161],"Im(\u03a6).":[162],"3":[164],"(Bare-Metal":[165],"Membrane):":[166],"Zero-allocation":[167],"(M_alloc":[168],"=":[169,202,206],"0),":[170],"bounded":[171],"static":[172],"stack":[173],"(S_max":[174],"4096":[176],"B),":[177],"#[no_std]":[178],"Rust":[179],"eBPF/XDP":[181],"wire-speed":[182],"ingress":[183],"filters.":[184],"4":[186],"(Physical":[187],"Clamps):":[188],"Fail-closed":[189],"hardware":[190],"actuator":[191],"interlocks":[192],"ensuring":[193],"unauthorized":[194],"proposals":[195],"guarantee":[196],"zero":[197],"external":[198],"state":[199],"mutation:":[200],"D(a)":[201],"DENY":[203],"\u21d2":[204],"\u0394_external(a)":[205],"0.":[207],"By":[208],"automating":[209],"invariant":[210],"checks":[211],"headless":[213],"CI":[214],"pipelines":[215],"running":[216],"under":[217],"25":[218],"seconds,":[219],"DAE":[220],"establishes":[221],"Verification-Cost":[222],"Inversion":[223],"(VCI):":[224],"amortizing":[225],"machine":[226],"verification":[227],"friction":[228],"O(1)":[230],"constant":[231],"time":[232],"while":[233],"imposing":[234],"O(exp(N))":[235],"cognitive":[236],"refutation":[237],"drag":[238],"permissive":[240],"architectural":[241],"paradigms.":[242],"Document":[243],"Reference:":[244],"ARC-PUB-2026-DAE-01":[245],"Master":[246],"Hash":[247],"Anchor:":[248],"A-77-DELTA-SHIELD-LOCKED":[249],"Target":[250],"Baseline:":[251],"Phase":[252],"7":[253],"Realization":[254],"(v1.3.1-exec)":[255],"Canonical":[256],"Web":[257],"Root:":[258],"https://admissibilityscience.com":[259],"Primary":[260],"Repository:":[261],"https://github.com/trencinodin-stack/arcstone-continuity-core":[262]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-11-06T00:00:00"}