{"id":"https://openalex.org/W7225338604","doi":"https://doi.org/10.6084/m9.figshare.34922532","title":"AetherGit: Scalable Source Control for Autonomous AI Agents \u2014 A Formal Architecture for Lock-Free, Incrementally Derived Version Control at Agent Scale","display_name":"AetherGit: Scalable Source Control for Autonomous AI Agents \u2014 A Formal Architecture for Lock-Free, Incrementally Derived Version Control at Agent Scale","publication_year":2026,"publication_date":"2026-11-05","ids":{"openalex":"https://openalex.org/W7225338604","doi":"https://doi.org/10.6084/m9.figshare.34922532"},"language":"en","primary_location":{"id":"doi:10.6084/m9.figshare.34922532","doi":"https://doi.org/10.6084/m9.figshare.34922532","is_oa":true,"landing_page_url":"https://doi.org/10.6084/m9.figshare.34922532","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"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.6084/m9.figshare.34922532","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5134452892","display_name":"Samir Baladi","orcid":"https://orcid.org/0009-0003-8903-0029","observed_orcids":["https://orcid.org/0009-0003-8903-0029"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Samir Baladi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5134452892"],"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/T10430","display_name":"Software Engineering Techniques and Practices","score":0.5849999785423279,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10430","display_name":"Software Engineering Techniques and Practices","score":0.5849999785423279,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.2151000052690506,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.08009999990463257,"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/source-control","display_name":"source control","score":0.6320000290870667},{"id":"https://openalex.org/keywords/version-control","display_name":"version control","score":0.734000027179718},{"id":"https://openalex.org/keywords/autonomous-ai-agents","display_name":"autonomous AI agents","score":0.9729999899864197},{"id":"https://openalex.org/keywords/derived-data","display_name":"derived data","score":0.5220000147819519},{"id":"https://openalex.org/keywords/cache-hit-probability","display_name":"cache hit probability","score":0.6190000176429749},{"id":"https://openalex.org/keywords/scion","display_name":"scion","score":0.6600000262260437},{"id":"https://openalex.org/keywords/agentic-software-engineering","display_name":"agentic software engineering","score":0.7990000247955322}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7742999792098999},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5936999917030334},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5127999782562256},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4828000068664551},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.47269999980926514},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.47189998626708984},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.4408999979496002},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.44029998779296875},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.42570000886917114},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.41760000586509705},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.41100001335144043},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.40310001373291016},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.4004000127315521},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.36820000410079956},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.3497999906539917},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.336899995803833},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3224000036716461},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.32010000944137573},{"id":"https://openalex.org/C98025372","wikidata":"https://www.wikidata.org/wiki/Q477538","display_name":"Systems architecture","level":3,"score":0.3050999939441681},{"id":"https://openalex.org/C94461902","wikidata":"https://www.wikidata.org/wiki/Q2762418","display_name":"Formal proof","level":3,"score":0.3005000054836273},{"id":"https://openalex.org/C13687954","wikidata":"https://www.wikidata.org/wiki/Q4826847","display_name":"Autonomous agent","level":2,"score":0.2985999882221222},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.2937000095844269},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2833000123500824},{"id":"https://openalex.org/C55356503","wikidata":"https://www.wikidata.org/wiki/Q2136675","display_name":"Reference architecture","level":4,"score":0.275299996137619},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2689000070095062},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2676999866962433},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.26649999618530273},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.26579999923706055},{"id":"https://openalex.org/C108010975","wikidata":"https://www.wikidata.org/wiki/Q500094","display_name":"Pruning","level":2,"score":0.262800008058548},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.25769999623298645},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.2551000118255615},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.25130000710487366}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.6084/m9.figshare.34922532","doi":"https://doi.org/10.6084/m9.figshare.34922532","is_oa":true,"landing_page_url":"https://doi.org/10.6084/m9.figshare.34922532","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"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.6084/m9.figshare.34922532.v1","doi":"https://doi.org/10.6084/m9.figshare.34922532.v1","is_oa":true,"landing_page_url":"https://doi.org/10.6084/m9.figshare.34922532.v1","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"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.6084/m9.figshare.34922532","doi":"https://doi.org/10.6084/m9.figshare.34922532","is_oa":true,"landing_page_url":"https://doi.org/10.6084/m9.figshare.34922532","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"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":["https://openalex.org/W7225248810","https://openalex.org/W7225227496","https://openalex.org/W7196966448","https://openalex.org/W7202164907","https://openalex.org/W7223415424","https://openalex.org/W7138260137","https://openalex.org/W7148654158","https://openalex.org/W7168269777","https://openalex.org/W7154109118","https://openalex.org/W4412944213"],"abstract_inverted_index":{"AetherGit":[0,129],"is":[1,30,130,184,206],"a":[2,45,133,159,198,207,211,219,224],"proposed":[3],"formal":[4,53,190,208],"architecture":[5,29,135],"for":[6,176],"source":[7],"control":[8],"at":[9],"agent":[10],"scale,":[11],"designed":[12],"to":[13,143],"meet":[14],"the":[15,56,66,74,84,100,189],"requirements":[16],"of":[17,148,188,200,213],"high-velocity,":[18],"algorithmically":[19],"driven":[20],"development":[21],"carried":[22],"out":[23],"by":[24],"autonomous":[25],"AI":[26],"agents.":[27],"The":[28,49,203],"built":[31,169],"on":[32],"four":[33,52],"pillars:":[34],"client-server":[35],"asymmetry,":[36],"sparse":[37],"and":[38,44,82,124,136,170,210],"virtualized":[39],"checkouts,":[40],"lock-free":[41],"incremental":[42,67],"changesets,":[43],"tiered":[46],"cache":[47],"topology.":[48],"paper":[50],"gives":[51],"definitions:":[54],"(1)":[55],"changeset":[57],"tuple":[58],"c\u1d62":[59],"=":[60,71,79,108,111],"\u27e8\u03b4\u1d62,":[61],"P(c\u1d62),":[62],"\u03c4\u1d62,":[63],"\u03c3\u1d62\u27e9;":[64],"(2)":[65],"cost":[68],"model":[69],"Cost(c\u1d62)":[70],"O(|\u03b4\u1d62|);":[72],"(3)":[73],"recursive":[75],"derived-data":[76],"operator":[77],"Deriv(c\u1d62)":[78],"\u2295_D(\u03b4\u1d62,":[80],"{Deriv(p)});":[81],"(4)":[83],"cache-hit":[85,101],"probability":[86],"bound":[87,102],"P(Hit)":[88],"\u2265":[89],"1":[90],"\u2212":[91],"(\u03bb_miss/\u03bc_cache)^K":[92],"\u00b7":[93],"e^(\u2212\u03b3\u00b7T_ttl).":[94],"An":[95],"illustrative":[96,186],"worked":[97],"example":[98,180],"applies":[99],"under":[103,192],"stated":[104],"hypothetical":[105],"parameters":[106],"(\u03c1":[107],"0.6,":[109],"\u03b3":[110],"0.15).":[112],"A":[113],"comparative":[114],"table":[115],"positions":[116],"AetherGit's":[117],"specified":[118],"properties":[119],"against":[120,222],"Git's":[121],"documented":[122],"design":[123],"Scion's":[125],"publicly":[126],"disclosed":[127],"architecture.":[128],"presented":[131],"as":[132,218],"theoretical":[134],"formalization":[137],"exercise,":[138],"developed":[139],"in":[140],"direct":[141],"response":[142],"Anthropic's":[144],"2026":[145],"operational":[146],"disclosure":[147],"its":[149],"internal":[150],"Scion":[151],"system.":[152],"It":[153],"does":[154],"not":[155,197],"report":[156,199],"an":[157,185],"implementation,":[158,226],"benchmark,":[160],"or":[161,227],"empirically":[162],"measured":[163,201],"performance.":[164,202],"No":[165],"implementation":[166],"has":[167,173],"been":[168,174],"no":[171],"benchmark":[172],"executed":[175],"this":[177],"manuscript.":[178],"Worked":[179],"status:":[181],"Section":[182],"6":[183],"application":[187],"bounds":[191],"stated,":[193],"clearly":[194],"labeled":[195],"parameters,":[196],"paper's":[204],"contribution":[205],"vocabulary":[209],"set":[212],"provable":[214],"structural":[215],"claims,":[216],"offered":[217],"reference":[220],"point":[221],"which":[223],"future":[225],"other":[228],"systems":[229],"serving":[230],"agentic":[231],"software-engineering":[232],"workloads,":[233],"can":[234],"be":[235],"evaluated.":[236],"Version":[237],"1.0.0":[238],"\u2014":[239],"November":[240],"2026.":[241]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-11-06T00:00:00"}