{"id":"https://openalex.org/W7225012704","doi":"https://doi.org/10.5281/zenodo.23847982","title":"Jnana II: Constitutional Transformation Substrate","display_name":"Jnana II: Constitutional Transformation Substrate","publication_year":2026,"publication_date":"2026-10-31","ids":{"openalex":"https://openalex.org/W7225012704","doi":"https://doi.org/10.5281/zenodo.23847982"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23847982","doi":"https://doi.org/10.5281/zenodo.23847982","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23847982","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","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23847982","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.90459387,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"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/T10126","display_name":"Logic, programming, and type systems","score":0.33500000834465027,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.33500000834465027,"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/T11424","display_name":"Security and Verification in Computing","score":0.09719999879598618,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10927","display_name":"Access Control and Trust","score":0.09099999815225601,"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/software-assurance","display_name":"software assurance","score":0.6690000295639038},{"id":"https://openalex.org/keywords/receipts","display_name":"receipts","score":0.5839999914169312},{"id":"https://openalex.org/keywords/admission-rules","display_name":"admission regulations","score":0.5809999704360962},{"id":"https://openalex.org/keywords/deterministic-replay","display_name":"deterministic replay","score":0.871999979019165},{"id":"https://openalex.org/keywords/coverage-testing","display_name":"coverage testing","score":0.5130000114440918},{"id":"https://openalex.org/keywords/failure-atomicity","display_name":"failure atomicity","score":0.9380000233650208},{"id":"https://openalex.org/keywords/recovery","display_name":"recovery","score":0.8130000233650208},{"id":"https://openalex.org/keywords/incremental-adoption","display_name":"incremental adoption","score":0.5270000100135803},{"id":"https://openalex.org/keywords/constitutional-review","display_name":"constitutional review","score":0.4050000011920929}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7616000175476074},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6251999735832214},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.6122999787330627},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5906999707221985},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5202999711036682},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.43619999289512634},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.40529999136924744},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.39259999990463257},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.37380000948905945},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.36629998683929443},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3625999987125397},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.3562999963760376},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.3375000059604645},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.33309999108314514},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.31839999556541443},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3179999887943268},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.31679999828338623},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.29190000891685486},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.2883000075817108},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.28299999237060547},{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.2786000072956085},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.27720001339912415},{"id":"https://openalex.org/C2779227376","wikidata":"https://www.wikidata.org/wiki/Q6505497","display_name":"Layer (electronics)","level":2,"score":0.2757999897003174}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23847982","doi":"https://doi.org/10.5281/zenodo.23847982","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23847982","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.23847983","doi":"https://doi.org/10.5281/zenodo.23847983","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23847983","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.23847982","doi":"https://doi.org/10.5281/zenodo.23847982","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23847982","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":[{"id":"https://metadata.un.org/sdg/16","score":0.5473999977111816,"display_name":"Peace, justice, and strong institutions"}],"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/W7166811551","https://openalex.org/W7167604723","https://openalex.org/W7220857126","https://openalex.org/W7141032949","https://openalex.org/W7204579453","https://openalex.org/W7147519406","https://openalex.org/W7225000331","https://openalex.org/W7224998071","https://openalex.org/W7225013445","https://openalex.org/W7125946873"],"abstract_inverted_index":{"Software":[0],"assurance":[1],"usually":[2],"evaluates":[3],"programs,":[4],"artifacts,":[5],"or":[6,46,178,186,198,237],"executions":[7],"more":[8],"directly":[9],"than":[10],"the":[11,16,106,140],"authority":[12,42,204],"and":[13,30,38,66,91,104,117,130,192,219],"law":[14,159],"governing":[15],"transformations":[17],"that":[18,77,88],"produced":[19],"them.":[20],"Compilers,":[21],"build":[22],"pipelines,":[23],"configuration,":[24],"CI,":[25],"package":[26],"hooks,":[27],"deployment":[28],"systems,":[29],"AI-generated":[31],"rewrites":[32],"may":[33,175,193],"introduce":[34],"dependencies,":[35],"capabilities,":[36],"effects,":[37],"policy":[39],"changes":[40],"whose":[41],"is":[43,75,87,240],"partly":[44],"ambient":[45],"retrospectively":[47],"narrated.":[48],"Jnana":[49,151],"II":[50],"proposes":[51],"a":[52,98,101,133,149,220,226],"constitutional":[53,84],"transformation":[54,58,92,107],"substrate":[55],"in":[56,155],"which":[57],"regimes,":[59],"admission":[60],"rules,":[61],"capability":[62],"grants,":[63],"effect":[64,118],"boundaries,":[65],"receipts":[67],"become":[68],"explicit":[69,190],"governed":[70],"artifacts.":[71],"Its":[72],"strongest":[73],"thesis":[74],"not":[76,153,162,184],"program":[78,89],"correctness":[79,90],"can":[80],"be":[81,176,194],"replaced":[82],"by":[83],"review.":[85],"It":[86,224],"admissibility":[93],"answer":[94],"different":[95],"questions:":[96],"whether":[97,105],"result":[99,239],"satisfies":[100],"technical":[102],"property,":[103],"was":[108],"permitted":[109],"to":[110],"bind":[111],"under":[112],"declared":[113,150],"law,":[114],"authority,":[115],"capability,":[116],"limits.":[119],"The":[120,136,200],"architecture":[121],"organizes":[122],"MCIR,":[123],"MCIR-Law,":[124],"Constitutional":[125],"Invariants,":[126],"PEIR,":[127],"Domain":[128],"Effects,":[129],"ReceiptLog":[131],"into":[132],"proposal-admission-lowering-effect-witness":[134],"path.":[135],"revision":[137],"sharply":[138],"bounds":[139],"claims.":[141],"Canonical":[142],"representation":[143],"gives":[144],"an":[145,203,213],"artifact":[146],"standing":[147],"within":[148],"profile,":[152],"existence":[154],"general.":[156],"A":[157],"decidable":[158],"layer":[160],"does":[161],"make":[163],"arbitrary":[164],"execution":[165],"predictable.":[166],"Effect":[167],"membranes":[168],"govern":[169],"only":[170],"mediated":[171],"paths.":[172],"Actual":[173],"effects":[174],"partial":[177],"irreversible.":[179],"Receipts":[180],"prove":[181],"recorded":[182],"relations,":[183],"truth":[185],"legitimacy.":[187],"Replay":[188],"requires":[189],"closure":[191],"exact,":[195],"deterministic,":[196],"equivalence-class,":[197],"observational.":[199],"paper":[201],"adds":[202],"envelope,":[205],"negative-power":[206],"obligations,":[207],"coverage":[208],"testing,":[209],"failure":[210],"atomicity,":[211],"recovery,":[212],"incremental":[214],"adoption":[215],"ladder,":[216],"GMB/GSM":[217],"integration,":[218],"full":[221],"evaluation":[222],"program.":[223],"remains":[225],"specification":[227],"candidate:":[228],"no":[229],"implementation,":[230],"universal":[231],"containment,":[232],"deterministic":[233],"replay,":[234],"hardware":[235],"adaptation,":[236],"transformation-correctness":[238],"established.":[241]},"counts_by_year":[],"updated_date":"2026-11-02T09:45:03.842371","created_date":"2026-11-01T00:00:00"}