{"id":"https://openalex.org/W7225587976","doi":"https://doi.org/10.5281/zenodo.24050141","title":"Conditional Reconstruction Closure A: Typed Closure and Composable Loss Budget for Local Constraint Networks","display_name":"Conditional Reconstruction Closure A: Typed Closure and Composable Loss Budget for Local Constraint Networks","publication_year":2026,"publication_date":"2026-11-08","ids":{"openalex":"https://openalex.org/W7225587976","doi":"https://doi.org/10.5281/zenodo.24050141"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24050141","doi":"https://doi.org/10.5281/zenodo.24050141","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24050141","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.24050141","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108680601","display_name":"changzheng zhou","orcid":"https://orcid.org/0009-0002-4186-7877","observed_orcids":["https://orcid.org/0009-0002-4186-7877"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"zhou, changzheng","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0002-4186-7877","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5136242336","display_name":"ziqing zhou","orcid":"https://orcid.org/0009-0005-6883-6300","observed_orcids":["https://orcid.org/0009-0005-6883-6300"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"zhou, ziqing","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0005-6883-6300","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.8125,"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"}},"topics":[{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.8125,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.039900001138448715,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.02979999966919422,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/closure-operators","display_name":"closure operators","score":0.7509999871253967},{"id":"https://openalex.org/keywords/least-fixed-point","display_name":"least fixed point","score":0.6499999761581421},{"id":"https://openalex.org/keywords/complete-lattices","display_name":"complete lattices","score":0.9549999833106995},{"id":"https://openalex.org/keywords/moore-penrose-inverse","display_name":"Moore-Penrose inverse","score":0.7889999747276306},{"id":"https://openalex.org/keywords/path-independence","display_name":"path independence","score":0.5270000100135803}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7085000276565552},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.6093999743461609},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4880000054836273},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.4832000136375427},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4131999909877777},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.38960000872612},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.374099999666214},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.3634999990463257},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3555999994277954},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.33070001006126404},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.3294000029563904},{"id":"https://openalex.org/C110546421","wikidata":"https://www.wikidata.org/wiki/Q1315869","display_name":"Arity","level":2,"score":0.32690000534057617},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.3050999939441681},{"id":"https://openalex.org/C192606457","wikidata":"https://www.wikidata.org/wiki/Q2363730","display_name":"Distributive lattice","level":3,"score":0.29580000042915344},{"id":"https://openalex.org/C201640847","wikidata":"https://www.wikidata.org/wiki/Q2362924","display_name":"Complete lattice","level":3,"score":0.2946999967098236},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.2890999913215637},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.2881999909877777},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.27709999680519104},{"id":"https://openalex.org/C2781315470","wikidata":"https://www.wikidata.org/wiki/Q193623","display_name":"Binomial (polynomial)","level":2,"score":0.2759999930858612},{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.27090001106262207},{"id":"https://openalex.org/C137105694","wikidata":"https://www.wikidata.org/wiki/Q3407510","display_name":"Local consistency","level":4,"score":0.263700008392334},{"id":"https://openalex.org/C164953516","wikidata":"https://www.wikidata.org/wiki/Q320357","display_name":"Closed set","level":2,"score":0.2635999917984009},{"id":"https://openalex.org/C138390121","wikidata":"https://www.wikidata.org/wiki/Q5283219","display_name":"Distributivity","level":3,"score":0.2606000006198883},{"id":"https://openalex.org/C207405024","wikidata":"https://www.wikidata.org/wiki/Q207348","display_name":"Semigroup","level":2,"score":0.2572999894618988},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.25600001215934753},{"id":"https://openalex.org/C17327563","wikidata":"https://www.wikidata.org/wiki/Q1991405","display_name":"Nowhere dense set","level":3,"score":0.25540000200271606}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24050141","doi":"https://doi.org/10.5281/zenodo.24050141","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24050141","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.24050142","doi":"https://doi.org/10.5281/zenodo.24050142","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24050142","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.24050141","doi":"https://doi.org/10.5281/zenodo.24050141","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24050141","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/W7221507714","https://openalex.org/W7224563485","https://openalex.org/W7224361488","https://openalex.org/W1563047767","https://openalex.org/W1557377862","https://openalex.org/W2173530240","https://openalex.org/W2186112877","https://openalex.org/W6981854810","https://openalex.org/W577326140","https://openalex.org/W7172503568"],"abstract_inverted_index":{"The":[0,26],"typed":[1],"foundation":[2],"of":[3,14,19,86,132,137,150,163,184,213],"local":[4],"constraint":[5,30,87],"networks":[6],"converts":[7],"three":[8],"common":[9],"failure":[10],"modes\u2014object-type":[11],"confusion,":[12],"non-composability":[13],"loss":[15],"budgets,":[16],"and":[17,44,54,65,135,193,197,201,230,236,255,282],"non-commutativity":[18],"structuraloperators\u2014into":[20],"separately":[21],"statable,":[22],"machine-checkable":[23],"theorem":[24,91],"obligations.":[25],"entire":[27],"papertakes":[28],"a":[29,79,97,105,141,166,169],"network":[31,99],"with":[32,145],"type":[33],"labels":[34,257],"as":[35,78],"its":[36],"substrate:":[37],"the":[38,47,57,63,74,84,89,109,112,130,160,176,187,190,194,210,217,223,226,261],"res-track":[39],"carries":[40,49],"nonnegativeweights,":[41],"probability":[42],"normalization,":[43],"budget":[45,115],"bookkeeping;":[46],"alg-track":[48],"signed":[50],"weights,Abelian":[51],"group":[52],"operations,":[53],"cochain":[55],"structure;":[56],"two":[58],"tracks":[59],"are":[60,205,239,252],"separated":[61],"at":[62],"definitionallevel,":[64],"cross-track":[66],"mixed":[67],"computation":[68],"is":[69,116,154,168,179],"forbidden.":[70],"On":[71],"this":[72],"substrate,":[73],"closure":[75,177],"operatoris":[76],"instantiated":[77],"monotone":[80],"propagation":[81],"operator":[82],"on":[83,92,118],"lattice":[85,107,188],"sets;":[88],"leastfixed-point":[90],"complete":[93,106],"lattices":[94],"thereby":[95],"acquires":[96],"concrete":[98],"semantics,":[100],"andthe":[101],"fixed-point":[102],"set":[103],"forms":[104],"under":[108,216],"induced":[110,120],"order;":[111],"minimal":[113],"informationloss":[114],"defined":[117],"channels":[119],"by":[121,156,208],"deterministic":[122],"restricted":[123,133],"morphisms,":[124,134],"composablesubadditivity":[125],"holds":[126],"along":[127,165],"composition":[128],"in":[129,263],"category":[131],"conservativeaddition":[136],"feasible":[138],"budgets":[139],"yields":[140],"cross-scale":[142],"bookkeeping":[143,287],"rule":[144],"known":[146],"direction;":[147],"thenoncommutative":[148],"residual":[149],"projective":[151],"structural":[152],"maps":[153],"witnessed":[155],"explicit":[157],"rational":[158,242],"matrices,and":[159],"edge-by-edge":[161],"vanishing":[162],"commutators":[164],"path":[167,174],"sufficient":[170],"condition":[171],"for":[172,222],"multistep":[173],"independence;":[175],"process":[178],"divided":[180],"into":[181],"five":[182],"types":[183],"outcomes":[185],"accordingto":[186],"layer,":[189,192,196],"pro-system":[191],"presheaf-gluing":[195],"their":[198,264],"respectivevalidity":[199],"conditions":[200],"mutual":[202],"non-implication":[203],"relations":[204],"registered":[206],"item":[207],"item;":[209],"finitedimensional":[211],"prototype":[212],"hard-constraint":[214],"condensation":[215],"block-diagonal":[218],"assumptionyields":[219],"exact":[220],"identities":[221],"nullity":[224],"jump,":[225],"Moore\u2013Penrose":[227],"pseudoinverse":[228],"limit,":[229],"thepenalty-rescaling":[231],"degeneration.":[232],"All":[233],"finite":[234],"examples":[235],"parametric":[237],"enumerations":[238],"verified":[240],"byexact":[241],"arithmetic":[243],"or":[244],"60-digit":[245],"arbitrary-precision":[246],"comparison;":[247],"definitional":[248],"assertions":[249],"andstructural":[250],"arguments":[251],"marked":[253],"truthfully,":[254],"machine-check":[256],"do":[258],"not":[259,270,276,284],"overflow":[260],"scopestated":[262],"entry":[265],"text.":[266],"This":[267],"paper":[268],"does":[269,275,283],"derive":[271],"physical":[272],"field":[273],"equations,":[274],"claimthat":[277],"all":[278],"closures":[279],"terminate":[280],"finitely,":[281],"extrapolate":[285],"finite-dimensional":[286],"intoinfinite-dimensional":[288],"theorems.":[289]},"counts_by_year":[],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2026-11-09T00:00:00"}