{"id":"https://openalex.org/W7225798189","doi":"https://doi.org/10.5281/zenodo.24139786","title":"The Physical Grounding Fault: Why Software Audit Sidecars Fail in Embodied Agents","display_name":"The Physical Grounding Fault: Why Software Audit Sidecars Fail in Embodied Agents","publication_year":2026,"publication_date":"2026-11-11","ids":{"openalex":"https://openalex.org/W7225798189","doi":"https://doi.org/10.5281/zenodo.24139786"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24139786","doi":"https://doi.org/10.5281/zenodo.24139786","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24139786","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.24139786","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5160330577","display_name":"zhizhi(\u5ed6\u81f3\u667a) liao","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Liao, Zhizhi (\u5ed6\u81f3\u667a)","raw_affiliation_strings":["Independent Researcher"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Independent Researcher","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5160330577"],"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.3928000032901764,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.3928000032901764,"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/T10126","display_name":"Logic, programming, and type systems","score":0.08190000057220459,"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/T10142","display_name":"Formal Methods in Verification","score":0.06620000302791595,"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"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6043999791145325},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5530999898910522},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.535099983215332},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.40709999203681946},{"id":"https://openalex.org/C199521495","wikidata":"https://www.wikidata.org/wiki/Q181487","display_name":"Audit","level":2,"score":0.3846000134944916},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.3707999885082245},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36320000886917114},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.3402999937534332},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.33009999990463257},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.31360000371932983},{"id":"https://openalex.org/C71745522","wikidata":"https://www.wikidata.org/wiki/Q2476929","display_name":"Confidentiality","level":2,"score":0.2962000072002411},{"id":"https://openalex.org/C50712370","wikidata":"https://www.wikidata.org/wiki/Q4269346","display_name":"Software fault tolerance","level":3,"score":0.26910001039505005},{"id":"https://openalex.org/C2778971194","wikidata":"https://www.wikidata.org/wiki/Q1664551","display_name":"Insider","level":2,"score":0.2678999900817871},{"id":"https://openalex.org/C147494362","wikidata":"https://www.wikidata.org/wiki/Q2078905","display_name":"Troubleshooting","level":2,"score":0.26100000739097595},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.2526000142097473}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24139786","doi":"https://doi.org/10.5281/zenodo.24139786","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24139786","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.24139787","doi":"https://doi.org/10.5281/zenodo.24139787","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24139787","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.24139786","doi":"https://doi.org/10.5281/zenodo.24139786","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24139786","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"False":[0],"completion":[1],"in":[2,12],"large":[3],"language":[4],"model":[5],"(LLM)":[6],"software":[7,22,43,103],"agents":[8,259],"can":[9,45,77,206],"be":[10],"audited,":[11],"the":[13,81,97,102,108,124,127,149,169,180,208,224,237,244,249,263],"digital":[14,258],"regime,":[15],"by":[16],"a":[17,21,27,48,55,70,94,141,158,162,174,186,202,252,266,269,276,279,284,293,314,325,335],"four-valued":[18,210],"verdict":[19],"and":[20,130,137,220,283,305,328],"sidecar":[23,105,125,160,181,253,332],"that":[24,147,157,183,254,273],"records":[25,58],"whether":[26],"claimed":[28],"effect":[29,264],"was":[30],"delivered":[31],"[8].":[32],"The":[33,271,297],"same":[34],"pattern":[35],"does":[36,154],"not":[37,60,155,235,313],"transfer":[38],"to":[39,301],"embodied":[40],"agents.":[41],"A":[42],"exception":[44,136],"roll":[46,53],"back":[47,54],"file":[49],"write;":[50],"it":[51,323],"cannot":[52],"crash.":[56],"Harness-written":[57],"are":[59],"evidentiary":[61],"[5].":[62],"Vision\u2013language\u2013action":[63],"(VLA)":[64],"stacks":[65],"collapse":[66,232],"modular":[67],"contracts":[68],"into":[69],"stochastic":[71],"control":[72],"surface":[73],"[6].":[74],"Independent":[75],"hardware":[76],"take":[78],"refusal":[79,133],"off":[80],"host":[82,150],"for":[83,257],"access":[84],"governance":[85],"[2].":[86],"None":[87],"of":[88,116,226,233,236,268,317,320,331],"these":[89],"results,":[90],"taken":[91],"alone,":[92],"is":[93,138,151,161,172,195,265,275,292,299,312,324],"theorem":[95],"about":[96],"sidecar.":[98],"This":[99,246],"paper":[100,247],"treats":[101],"audit":[104],"itself":[106],"as":[107],"failing":[109],"object.":[110],"We":[111],"formalise":[112],"three":[113],"structural":[114],"faults":[115],"physical":[117,142,170,228,336],"grounding.":[118],"Fault":[119,165,198],"I":[120],"(shared-scheduler":[121],"refusal):":[122],"when":[123],"shares":[126],"controller\u2019s":[128],"scheduler":[129],"fault":[131],"domain,":[132],"remains":[134,274],"an":[135],"unreachable":[139],"on":[140,290,334],"timescale;":[143],"NVIDIA":[144],"Sentry":[145],"shows":[146],"leaving":[148],"feasible,":[152],"but":[153],"show":[156],"co-scheduled":[159],"Simplex":[163],"shield.":[164],"II":[166],"(physical-oracle":[167],"substitution):":[168],"world":[171],"nearly":[173],"free":[175],"outcome":[176],"oracle":[177,184],"[11],":[178],"yet":[179],"replaces":[182],"with":[185],"homologous":[187],"shadow":[188],"(logs,":[189],"self-reports,":[190],"hashes),":[191],"so":[192],"temporal":[193],"witness":[194],"colluded":[196],"away.":[197],"III":[199],"(assurance-coverage":[200],"collapse):":[201],"Lean":[203],"4":[204],"development":[205],"close":[207],"discrete":[209],"lattice,":[211],"while":[212],"worst-case":[213],"execution":[214],"time":[215],"(WCET),":[216],"allocation":[217],"freedom,":[218],"interrupts,":[219],"sensor":[221],"timing":[222],"drive":[223],"fraction":[225],"discharged":[227],"objectives":[229],"toward":[230],"zero\u2014a":[231],"coverage,":[234],"VLA":[238],"module":[239],"graph.":[240],"Prior":[241],"work":[242],"established":[243],"ingredients.":[245],"supplies":[248],"unified":[250,326],"critique:":[251],"already":[255],"works":[256],"fails":[260],"structurally":[261],"once":[262],"state":[267],"body.":[270],"architecture":[272],"split":[277],"between":[278],"slow":[280],"record":[281],"layer":[282,287],"fast":[285],"enable":[286],"whose":[288],"default,":[289],"silence,":[291],"predetermined":[294],"safe":[295],"state.":[296],"discussion":[298],"restricted":[300],"civil":[302],"special-use":[303],"robots":[304],"unmanned":[306],"aircraft":[307],"(inspection,":[308],"firefighting,":[309],"logistics).":[310],"It":[311],"first":[315],"discovery":[316],"watchdogs":[318],"or":[319],"stack":[321],"collapse;":[322],"framework":[327],"formal":[329],"critique":[330],"failure":[333],"timescale.":[337]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2026-11-12T00:00:00"}