{"id":"https://openalex.org/W7224992248","doi":"https://doi.org/10.5281/zenodo.23847749","title":"From CI/CD to ACG: From Tests to Courts in Agentic Software Development","display_name":"From CI/CD to ACG: From Tests to Courts in Agentic Software Development","publication_year":2026,"publication_date":"2026-10-31","ids":{"openalex":"https://openalex.org/W7224992248","doi":"https://doi.org/10.5281/zenodo.23847749"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23847749","doi":"https://doi.org/10.5281/zenodo.23847749","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23847749","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-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"volume":null,"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23847749","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5160260510","display_name":"Adam Ableman","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Ableman, Adam","raw_affiliation_strings":["Constitutional Computing"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Constitutional Computing","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5160260510"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.89219059,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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.7157999873161316,"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.7157999873161316,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.17419999837875366,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.0333000011742115,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/software-agents","display_name":"software agents","score":0.4860000014305115},{"id":"https://openalex.org/keywords/constitutional-governance","display_name":"constitutional governance","score":0.5569999814033508},{"id":"https://openalex.org/keywords/ci-cd","display_name":"CI/CD","score":0.6639999747276306},{"id":"https://openalex.org/keywords/configuration-manifold","display_name":"configuration manifold","score":0.7400000095367432},{"id":"https://openalex.org/keywords/epistemic-control","display_name":"epistemic control","score":0.6179999709129333}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5997999906539917},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.5856999754905701},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5529999732971191},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4790000021457672},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.42489999532699585},{"id":"https://openalex.org/C39389867","wikidata":"https://www.wikidata.org/wiki/Q380767","display_name":"Corporate governance","level":2,"score":0.40470001101493835},{"id":"https://openalex.org/C2777152325","wikidata":"https://www.wikidata.org/wiki/Q108163","display_name":"Proposition","level":2,"score":0.4032000005245209},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.38190001249313354},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.35910001397132874},{"id":"https://openalex.org/C4478048","wikidata":"https://www.wikidata.org/wiki/Q950250","display_name":"Test-driven development","level":4,"score":0.3564999997615814},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.3529999852180481},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3449999988079071},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.34360000491142273},{"id":"https://openalex.org/C2780513914","wikidata":"https://www.wikidata.org/wiki/Q18210350","display_name":"Bottleneck","level":2,"score":0.3206000030040741},{"id":"https://openalex.org/C190253527","wikidata":"https://www.wikidata.org/wiki/Q295354","display_name":"Law and economics","level":1,"score":0.3154999911785126},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.31310001015663147},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.3019999861717224},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.2930999994277954},{"id":"https://openalex.org/C204495577","wikidata":"https://www.wikidata.org/wiki/Q1205349","display_name":"Callback","level":2,"score":0.2858999967575073},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.28290000557899475},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.27880001068115234},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.2784000039100647},{"id":"https://openalex.org/C180152950","wikidata":"https://www.wikidata.org/wiki/Q2904257","display_name":"Software development process","level":4,"score":0.27649998664855957},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.26739999651908875},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.2671999931335449},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.25870001316070557},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.25130000710487366},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.250900000333786},{"id":"https://openalex.org/C202105479","wikidata":"https://www.wikidata.org/wiki/Q265013","display_name":"Software evolution","level":5,"score":0.25049999356269836}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23847749","doi":"https://doi.org/10.5281/zenodo.23847749","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23847749","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-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},{"id":"doi:10.5281/zenodo.23847750","doi":"https://doi.org/10.5281/zenodo.23847750","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23847750","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-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.5281/zenodo.23847749","doi":"https://doi.org/10.5281/zenodo.23847749","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23847749","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-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"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/W7223576998","https://openalex.org/W7167330661","https://openalex.org/W7211909840","https://openalex.org/W7211899187","https://openalex.org/W7172096079","https://openalex.org/W7138870590","https://openalex.org/W7172328044","https://openalex.org/W7151361684","https://openalex.org/W4390355385","https://openalex.org/W7222847383"],"abstract_inverted_index":{"Continuous":[0],"integration":[1,262,498,748],"and":[2,13,40,60,102,152,192,225,247,285,382,394,439,487,513,544,552,570,584,609,681,712,720,738,767],"continuous":[3,747,750],"delivery":[4],"transformed":[5],"software":[6,34,137,700],"engineering":[7,52],"by":[8],"making":[9],"builds,":[10],"tests,":[11],"packaging,":[12,150],"deployment":[14],"checks":[15],"part":[16,156],"of":[17,20,38,126,157,229,242,367,499,591,633,772],"the":[18,30,50,79,88,136,158,201,230,270,278,295,329,339,365,426,430,497,592,625,643,773],"infrastructure":[19],"change":[21,66],"rather":[22,692],"than":[23,44,565,693],"optional":[24],"developer":[25],"practices.":[26],"Agentic":[27],"coding":[28],"changes":[29,676],"limiting":[31],"problem.":[32],"As":[33],"agents":[35],"become":[36,525,587,769],"capable":[37],"generating":[39],"modifying":[41],"implementation":[42,70,576,729],"faster":[43],"humans":[45],"can":[46,530,554],"directly":[47],"review":[48],"it,":[49],"central":[51],"bottleneck":[53],"shifts":[54],"from":[55,131,205,210,215,352,384,672,746],"code":[56,709],"production":[57],"toward":[58,749],"epistemic":[59],"constitutional":[61,182,221,408,505],"control:":[62],"determining":[63],"what":[64,97,103,532,536,540,545],"a":[65,93,117,122,198,226,237,254,299,353,385,421,464,614,619,634,716,744,753],"means,":[67],"whether":[68,75,82,92],"an":[69,179,567,758],"corresponds":[71],"to":[72,87,168,178,328,363,415,471,686,688],"its":[73],"specification,":[74,724],"available":[76],"evidence":[77,84,187,547],"establishes":[78],"claimed":[80,107,470],"behavior,":[81],"previous":[83],"remains":[85],"applicable":[86],"exact":[89,180],"current":[90,261,431,696],"subject,":[91,181],"transition":[94],"is":[95,129,249,325,334,468,496,561,702],"authorized,":[96,379],"concrete":[98,300],"effect":[99,409,423,442,488,500,558,721,765],"should":[100],"occur,":[101],"may":[104,413,454],"truthfully":[105],"be":[106,169,472,606],"afterward.":[108],"This":[109,323,360,467],"paper":[110,196,612],"introduces":[111],"Ableman":[112],"Constitutional":[113],"Governance":[114],"(ACG)":[115],"as":[116,236,253,289,305,338,475,618,695,707],"software-development":[118],"architecture":[119,400],"in":[120,760],"which":[121,370,761],"constitutionally":[123,217,717],"significant":[124],"subset":[125],"executable":[127,170],"verification":[128,160,219,679],"promoted":[130],"tests":[132,154,711],"into":[133,265,404],"courts.":[134],"Within":[135],"domain":[138],"considered":[139],"here,":[140],"C_{\\mathrm{software}}":[141],"\\subseteq":[142],"V_{\\mathrm{executable}},":[143],"where":[144],"ordinary":[145],"unit,":[146],"integration,":[147],"regression,":[148],"determinism,":[149],"performance,":[151],"recurrence":[153],"remain":[155],"broader":[159,199],"estate.":[161],"Courts":[162],"differ":[163],"not":[164,208,326,469,599,752],"because":[165,173],"they":[166],"cease":[167],"verifications,":[171],"but":[172,757],"selected":[174,296],"predicates":[175],"are":[176,372,443],"bound":[177],"frame,":[183],"proposition":[184],"or":[185,292,308,348,462,477,639,648],"obligation,":[186,638],"topology,":[188],"jurisdiction,":[189],"authority":[190],"relationship,":[191],"typed":[193,218,238,509],"disposition.":[194],"The":[195,260,399,434,493,611,698],"develops":[197],"claim:":[200],"reasoning":[202],"capability":[203,481,580],"obtained":[204],"ACG":[206,388,741],"does":[207,598],"arise":[209],"courts":[211,390],"alone.":[212],"It":[213,333,714],"arises":[214],"combining":[216],"with":[220,502,665],"synchronization,":[222],"governed":[223,258,422,452,516],"effects,":[224,734],"richer":[227],"representation":[228,255,356,361,645],"system.":[231,301],"Ableman's":[232],"Razor,":[233],"originally":[234],"formulated":[235],"grammar":[239],"governing":[240],"migration":[241],"claims":[243],"among":[244,396],"Specification,":[245],"Configuration,":[246,294],"Implementation,":[248],"explicitly":[250],"extended":[251],"here":[252],"lens":[256],"for":[257,298,755],"systems.":[259],"resolves":[263],"Configuration":[264,266,274],"Manifold":[267,275],"1":[268],"(CM1),":[269],"mandatory":[271],"admissible":[272,280,427],"manifold;":[273],"2":[276],"(CM2),":[277],"preferred":[279],"manifold":[281],"under":[282,429],"declared":[283],"criteria;":[284],"IC,":[286],"expanded":[287,303],"interchangeably":[288,304],"Instance":[290,293,306,432],"Constitution":[291],"slice":[297],"IR,":[302],"Realization":[307],"Implementation":[309],"Realization,":[310],"makes":[311],"that":[312,391,642],"selection":[313],"concrete:":[314],"P\\rightarrow":[315],"S\\rightarrow":[316],"CM_1\\rightarrow":[317],"CM_2\\rightarrow":[318],"IC\\rightarrow":[319],"IR\\rightarrow":[320],"E\\rightarrow":[321],"R.":[322],"extension":[324,621],"attributed":[327],"Razor's":[330],"original":[331],"jurisdiction.":[332],"accepted":[335],"only":[336],"insofar":[337],"added":[340],"layers":[341],"yield":[342],"diagnostic,":[343],"governance,":[344,766],"selection,":[345,506],"correspondence,":[346,508,763],"evidence,":[347,731],"revision":[349],"distinctions":[350],"unavailable":[351],"less":[354],"differentiated":[355],"without":[357,650],"equivalent":[358,652],"structure.":[359,654],"connects":[362],"Dynatology,":[364],"study":[366],"possible":[368],"continuation:":[369],"transitions":[371,395],"conceivable,":[373],"specification-valid,":[374],"admissible,":[375],"reachable,":[376],"viable,":[377],"selected,":[378],"realized,":[380],"observed,":[381],"established":[383],"particular":[386],"state.":[387],"supplies":[389],"adjudicate":[392],"relationships":[393],"these":[397],"projections.":[398,740],"also":[401],"extends":[402],"governance":[403],"consequential":[405],"execution":[406],"through":[407],"interposition.":[410],"Application":[411],"logic":[412],"continue":[414],"propose":[416],"familiar":[417],"semantic":[418,520,594,719],"operations":[419],"while":[420,623],"boundary":[424,453],"determines":[425],"realization":[428,537,602,666],"Constitution.":[433],"requested":[435],"operation,":[436],"admitted":[437],"realization,":[438],"actual":[440],"observed":[441,627],"therefore":[444,555,742],"distinct:":[445],"O_r":[446],"\\rightarrow":[447,449],"R_a":[448],"E_a.":[450],"A":[451],"preserve,":[455],"negate,":[456],"constrain,":[457],"transform,":[458],"defer,":[459],"simulate,":[460],"sandbox,":[461],"substitute":[463],"proposed":[465],"effect.":[466],"novel":[473],"merely":[474,706],"interception":[476],"mutation:":[478],"reference":[479],"monitors,":[480],"systems,":[482],"admission":[483],"controllers,":[484],"aspect-oriented":[485],"programming,":[486],"handlers":[489],"provide":[490],"important":[491],"precedents.":[492],"distinguishing":[494],"concern":[495],"mediation":[501],"exact-subject":[503],"binding,":[504],"evidentiary":[507],"dispositions,":[510],"receipts,":[511,735],"lineage,":[512,736],"standing.":[514],"Because":[515],"effects":[517],"cross":[518],"explicit":[519],"boundaries,":[521],"those":[522],"same":[523],"boundaries":[524],"causal":[526],"observation":[527],"points.":[528],"Receipts":[529],"record":[531],"operation":[533],"was":[534,538,670],"proposed,":[535],"admitted,":[539],"executor":[541],"action":[542],"occurred,":[543],"post-effect":[546],"followed.":[548],"Governance,":[549],"behavioral":[550],"adaptation,":[551],"debugging":[553],"share":[556],"one":[557],"topology.":[559],"Documentation":[560],"similarly":[562],"repositioned.":[563],"Rather":[564],"remaining":[566],"independently":[568,607],"authored":[569],"perpetually":[571],"drifting":[572],"artifact,":[573],"documentation,":[574],"glossaries,":[575],"codices,":[577],"agent-orientation":[578],"surfaces,":[579],"references,":[581],"operator":[582],"explanations,":[583],"configuration":[585,725],"views":[586],"deterministic,":[588],"zero-authority":[589],"projections":[590],"retained":[593],"model.":[595],"Projection":[596],"fidelity":[597],"itself":[600],"establish":[601],"fidelity;":[603,667],"correspondence":[604],"must":[605],"witnessed":[608],"adjudicated.":[610],"defines":[613],"reasoning-capability":[615],"gain":[616],"operationally":[617],"representational":[620],"that,":[622],"holding":[624],"underlying":[626],"system":[628],"state":[629,722],"fixed,":[630],"enables":[631],"derivation":[632],"decision-relevant":[635],"distinction,":[636],"contradiction,":[637],"admissible-action":[640],"restriction":[641],"baseline":[644],"cannot":[646],"express":[647],"derive":[649],"introducing":[651],"additional":[653],"Several":[655],"development":[656,774],"episodes":[657],"illustrate":[658],"this":[659],"pattern:":[660],"environmental":[661],"extraction":[662],"safety":[663],"conflicted":[664],"artifact":[668],"reuse":[669],"separated":[671],"effectful":[673],"materialization;":[674],"source":[675,708],"invalidated":[677],"stale":[678],"evidence;":[680],"historical":[682],"verifiers":[683],"were":[684],"made":[685],"testify":[687],"their":[689],"own":[690],"supersession":[691],"masquerade":[694],"authority.":[697],"resulting":[699],"project":[701],"no":[703],"longer":[704],"modeled":[705],"plus":[710],"documentation.":[713],"becomes":[715],"synchronized":[718],"containing":[723],"possibilities,":[726],"instance":[727],"commitments,":[728],"bindings,":[730],"courts,":[732],"authority,":[733],"standing,":[737],"deterministic":[739],"suggests":[743],"progression":[745],"constitutionalization:":[751],"replacement":[754],"CI/CD,":[756],"enlargement":[759],"verification,":[762],"adjudication,":[764],"explanation":[768],"machine-addressable":[770],"parts":[771],"process.":[775]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2026-11-01T00:00:00"}