{"id":"https://openalex.org/W7224220985","doi":"https://doi.org/10.5281/zenodo.23777834","title":"The ORIGAS Red Line: Source Recoverability, Four-Sector History, and the Limits of Algorithmic Completion Cabin 1/2","display_name":"The ORIGAS Red Line: Source Recoverability, Four-Sector History, and the Limits of Algorithmic Completion Cabin 1/2","publication_year":2026,"publication_date":"2026-10-29","ids":{"openalex":"https://openalex.org/W7224220985","doi":"https://doi.org/10.5281/zenodo.23777834"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23777834","doi":"https://doi.org/10.5281/zenodo.23777834","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23777834","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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23777834","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5135722829","display_name":"thierry origas","orcid":"https://orcid.org/0009-0009-2226-7033","observed_orcids":["https://orcid.org/0009-0009-2226-7033"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Origas, Thierry","raw_affiliation_strings":["Independent Researcher, France"],"raw_orcid":"https://orcid.org/0009-0009-2226-7033","affiliations":[{"raw_affiliation_string":"Independent Researcher, France","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5135722829"],"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.7451000213623047,"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"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.7451000213623047,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.18209999799728394,"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/T11567","display_name":"semigroups and automata theory","score":0.021400000900030136,"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":[{"id":"https://openalex.org/keywords/p-versus-np","display_name":"P versus NP","score":0.7710000276565552},{"id":"https://openalex.org/keywords/exponential-time-hypothesis","display_name":"Exponential Time Hypothesis","score":0.8040000200271606},{"id":"https://openalex.org/keywords/navier-stokes-equations","display_name":"Navier-Stokes equations","score":0.6200000047683716},{"id":"https://openalex.org/keywords/ordered-binary-decision-diagrams","display_name":"ordered binary decision diagrams","score":0.45899999141693115},{"id":"https://openalex.org/keywords/circuit-complexity","display_name":"circuit complexity","score":0.7590000033378601},{"id":"https://openalex.org/keywords/computational-acceleration","display_name":"computational acceleration","score":0.48500001430511475},{"id":"https://openalex.org/keywords/provenance","display_name":"provenance","score":0.3319999873638153}],"concepts":[{"id":"https://openalex.org/C68797384","wikidata":"https://www.wikidata.org/wiki/Q2746792","display_name":"Noncommutative geometry","level":2,"score":0.6922000050544739},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6694999933242798},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4740999937057495},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.46470001339912415},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4505999982357025},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.42989999055862427},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.42910000681877136},{"id":"https://openalex.org/C43169469","wikidata":"https://www.wikidata.org/wiki/Q580922","display_name":"Preprint","level":2,"score":0.39629998803138733},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39570000767707825},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.3846000134944916},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.37630000710487366},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3628999888896942},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3582000136375427},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3580000102519989},{"id":"https://openalex.org/C198352243","wikidata":"https://www.wikidata.org/wiki/Q37105","display_name":"Line (geometry)","level":2,"score":0.3569999933242798},{"id":"https://openalex.org/C154775046","wikidata":"https://www.wikidata.org/wiki/Q188","display_name":"German","level":2,"score":0.3517000079154968},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.34880000352859497},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.34880000352859497},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.34150001406669617},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.34060001373291016},{"id":"https://openalex.org/C2777855551","wikidata":"https://www.wikidata.org/wiki/Q12310021","display_name":"Subject (documents)","level":2,"score":0.3398999869823456},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.3303000032901764},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3179999887943268},{"id":"https://openalex.org/C3018397939","wikidata":"https://www.wikidata.org/wiki/Q3644502","display_name":"Open source","level":3,"score":0.2856999933719635},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.2847000062465668},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.28220000863075256},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.28119999170303345},{"id":"https://openalex.org/C117896860","wikidata":"https://www.wikidata.org/wiki/Q11376","display_name":"Acceleration","level":2,"score":0.26409998536109924}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23777834","doi":"https://doi.org/10.5281/zenodo.23777834","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23777834","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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23777835","doi":"https://doi.org/10.5281/zenodo.23777835","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23777835","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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.23777834","doi":"https://doi.org/10.5281/zenodo.23777834","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23777834","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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","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":4,"referenced_works":["https://openalex.org/W7160979656","https://openalex.org/W7170946157","https://openalex.org/W7214341357","https://openalex.org/W7215111524"],"related_works":["https://openalex.org/W7221105649","https://openalex.org/W7214341357","https://openalex.org/W7210273703","https://openalex.org/W7204158035","https://openalex.org/W7212066204","https://openalex.org/W7204494598","https://openalex.org/W7134167583","https://openalex.org/W7202354659","https://openalex.org/W7223745266","https://openalex.org/W3149690645"],"abstract_inverted_index":{"The":[0,46,138,169,231,247,301,304,334,356,377,463,521,654,705],"ORIGAS":[1,21,294,306,518,706],"Red":[2,24,573,578],"Line":[3,574,579],"Cabin":[4,22,605],"1/2":[5,23,606],"Thierry":[6],"Origas":[7],"Independent":[8],"Researcher,":[9],"FranceORCID:":[10],"0009-0009-2226-7033Published":[11],"version":[12],"DOI:":[13],"10.5281/zenodo.23777835":[14],"Abstract":[15],"This":[16,418,507,626],"technical":[17,261,630],"preprint":[18],"presents":[19],"the":[20,41,88,91,120,141,158,165,172,178,183,201,216,264,279,287,293,454,486,497,501,527,618,650,703,728],"Line,":[25],"a":[26,64,75,79,84,196,309,347,353,381,390,396,441,482,514,629,699,710,713],"research":[27,458,519,631],"programme":[28,139,236,307,584,592,707],"concerned":[29],"with":[30,164,286],"source":[31,76,117,311],"recoverability,":[32],"task-relative":[33,288],"mathematical":[34,378,487,636],"completeness,":[35,369],"noncommutative":[36,153,370],"order,":[37],"four-sector":[38,151,335],"history,":[39,154],"and":[40,83,102,157,189,245,326,332,374,412,440,460,488,516,545,556,611,624,649,657,668,674],"limits":[42],"of":[43,112,143,186,203,255,269,282,380,389,395,485,513,604,617,723,730],"algorithmic":[44],"completion.":[45],"central":[47],"question":[48],"is:":[49],"When":[50,114],"does":[51,249,717],"an":[52,207,252],"exact":[53,498,635],"representation":[54,349],"for":[55,63,146,227],"one":[56,510],"declared":[57,80,197,280],"task":[58,66,86,126,700],"cease":[59],"to":[60,131,220,239,339,352,533],"be":[61,96,344,494],"sufficient":[62],"different":[65,125],"because":[67],"source-dependent":[68],"distinctions":[69,341],"have":[70,119],"been":[71],"projected":[72],"away?":[73],"For":[74],"space":[77],"Q,":[78],"readout":[81,122,133],"P,":[82],"target":[85],"J,":[87],"manuscript":[89,170,248,423],"develops":[90],"fibre":[92,111],"criterion:":[93],"J":[94,105],"can":[95,134],"universally":[97,135],"recovered":[98],"from":[99,200,206,224],"P":[100,233,256],"if":[101,104],"only":[103],"is":[106,337,350,384,525,628],"constant":[107],"on":[108,537],"every":[109],"nonempty":[110],"P.":[113],"two":[115],"admissible":[116],"descriptions":[118],"same":[121],"but":[123],"require":[124,407],"outputs,":[127],"no":[128],"computation":[129],"restricted":[130],"that":[132,283,342,359],"distinguish":[136],"them.":[137],"investigates":[140],"consequences":[142],"this":[144,360],"distinction":[145],"complexity":[147,223],"theory,":[148],"Karchmer\u2013Wigderson":[149],"relations,":[150],"representations,":[152],"catalytic":[155],"computation,":[156],"proposed":[159,382,619],"A+B\u2013K\u2013T":[160,302],"conservative":[161,538,595],"bridge.":[162],"Confrontation":[163],"2026":[166,174,266],"scientific":[167,402,479,639,660],"results":[168,185,661],"examines":[171],"October":[173],"OpenAI":[175,267,689],"result":[176],"concerning":[177,367],"Exponential":[179],"Time":[180],"Hypothesis,":[181],"alongside":[182],"catalytic-memory":[184],"Orozco,":[187],"Sheffield":[188],"Williams.":[190],"It":[191,210,277,633],"distinguishes":[192,634],"computational":[193,715],"acceleration":[194],"within":[195],"machine":[198],"model":[199],"recovery":[202],"information":[204,372],"absent":[205],"input":[208],"representation.":[209],"also":[211],"provides":[212],"negative":[213],"controls,":[214],"including":[215,243],"equality-function":[217],"OBDD":[218],"example,":[219],"prevent":[221],"representation-specific":[222],"being":[225],"mistaken":[226],"unrestricted":[228],"circuit":[229],"complexity.":[230],"conditional":[232,431,541],"versus":[234,257],"NP":[235],"remains":[237],"subject":[238],"explicit":[240],"open":[241,643],"obligations,":[242,433,645],"H6'":[244],"H7'.":[246],"not":[250,561,614,678],"claim":[251],"unconditional":[253],"resolution":[254],"NP.":[258],"A":[259,446],"separate":[260],"section":[262],"addresses":[263],"September":[265],"construction":[268],"finite-time":[270],"blow-up":[271],"in":[272,292,500],"forced":[273],"three-dimensional":[274],"Navier\u2013Stokes":[275,436],"equations.":[276],"compares":[278],"scope":[281],"dynamical":[284],"theorem":[285],"source/readout":[289],"limitation":[290],"studied":[291],"framework.":[295],"These":[296,607],"are":[297,465,531],"mathematically":[298],"distinct":[299,401],"results.":[300],"framework":[303,361],"wider":[305],"proposes":[308,358,709],"structured":[310],"description":[312],"containing":[313],"observable":[314],"sector":[315,318],"A,":[316],"complementary":[317,416],"B,":[319,734],"coupling":[320,383],"K,":[321],"ordered":[322],"history":[323,329],"directions":[324],"+t":[325],"-t,":[327],"common":[328],"coordinate":[330],"T,":[331],"provenance.":[333],"structure":[336],"intended":[338,523],"preserve":[340],"may":[343,362,697],"lost":[345],"when":[346],"richer":[348],"reduced":[351],"single":[354],"observable.":[355],"author":[357],"provide":[363],"experimentally":[364],"testable":[365],"questions":[366,530],"EPR":[368,540,599],"geometry,":[371],"preservation,":[373],"physical":[375,391,405,620,647,725],"measurement.":[376],"consistency":[379],"not,":[385,718],"by":[386,686,719],"itself,":[387,720],"evidence":[388],"World":[392],"B":[393,473],"or":[394,684,690,727],"universal":[397],"quantum":[398],"connection":[399],"among":[400],"domains.":[403],"Such":[404],"claims":[406,555,722],"independent":[408,469,615],"measurements,":[409],"quantitative":[410],"predictions":[411],"falsifiable":[413],"controls.":[414],"Three":[415],"documents":[417],"Zenodo":[419,666],"record":[420,627],"contains:":[421],"Main":[422],"84":[424],"pages,":[425,448,475],"English.":[426],"Mathematical":[427],"foundations,":[428],"complexity-theoretic":[429],"comparisons,":[430],"proof":[432,644,696],"data":[434],"registers,":[435],"analysis,":[437],"authorial":[438],"conclusions,":[439],"final":[442],"reviewer":[443],"compass.":[444],"Annex":[445,472],"20":[447],"French.":[449,476],"An":[450,477],"illustrated":[451],"manifesto":[452],"presenting":[453],"author's":[455,522,651],"conceptual":[456],"architecture,":[457],"aims":[459],"precautionary":[461,711],"position.":[462],"diagrams":[464],"explanatory":[466],"rather":[467],"than":[468],"experimental":[470,682],"evidence.":[471],"11":[474],"interpretive":[478],"report":[480],"offering":[481],"transversal":[483],"reading":[484,524],"philosophical":[489],"programme.":[490],"Its":[491],"interpretations":[492],"should":[493],"evaluated":[495],"against":[496],"arguments":[499],"principal":[502],"manuscript.":[503],"Cumulative":[504],"DOI":[505,535],"architecture":[506],"publication":[508],"constitutes":[509],"limited":[511],"component":[512],"cumulative":[515],"versioned":[517],"corpus.":[520],"transversal:":[526],"present":[528],"source-recoverability":[529],"linked":[532,568],"earlier":[534],"records":[536,569],"lifting,":[539],"completion,":[542],"source-sensitive":[543,583],"observables,":[544],"representational":[546],"jurisdiction.":[547],"Earlier":[548,582],"deposits":[549],"retain":[550,662],"their":[551,663],"original":[552,664],"timestamps,":[553],"definitions,":[554],"restrictions.":[557],"Later":[558],"formulations":[559],"must":[560],"silently":[562],"rewrite":[563],"those":[564],"historical":[565],"records.":[566],"Key":[567],"include:":[570],"10.5281/zenodo.22680828":[571],"Three-volume":[572],"corpus":[575],"10.5281/zenodo.22640293":[576],"Prior":[577],"formalization":[580],"10.5281/zenodo.22549313":[581],"10.5281/zenodo.22237277":[585],"Linked":[586],"representational-jurisdiction":[587],"work":[588],"10.5281/zenodo.22123940":[589],"Natural":[590],"Chance":[591],"10.5281/zenodo.22100628":[593],"Four-path":[594],"lifting":[596],"10.5281/zenodo.22966540":[597],"Complete":[598],"Framework":[600],"10.5281/zenodo.23087504":[601],"Fibre":[602],"Geometry":[603],"identifiers":[608],"establish":[609,671],"provenance":[610],"intellectual":[612],"continuity,":[613],"validation":[616],"mechanisms.":[621],"Scientific":[622],"status":[623],"attribution":[625],"preprint.":[632],"results,":[637,640],"external":[638,659],"model-conditional":[641],"consequences,":[642],"prospective":[646],"hypotheses,":[648],"normative":[652],"proposals.":[653],"OpenAI,":[655],"MIT":[656],"other":[658,691],"attribution.":[665],"registration":[667],"file":[669],"integrity":[670],"archival":[672],"identification":[673],"provenance;":[675],"they":[676],"do":[677],"constitute":[679],"peer":[680],"review,":[681],"confirmation,":[683],"endorsement":[685],"Zenodo,":[687],"CERN,":[688],"institutions.":[692],"Authorial":[693],"statement:":[694],"\u201cA":[695],"close":[698],"without":[701],"closing":[702],"source.\u201d":[704],"further":[708],"principle:":[712],"demonstrated":[714],"capability":[716],"authorize":[721],"complete":[724],"knowledge":[726],"safety":[729],"irreversible":[731],"interventions.":[732],"Annexe":[733],"page":[735],"4":[736],"La":[737],"coquille":[738],"\\(J(q_1)=J(q_2)\\)":[739],"doit":[740],"\u00eatre":[741],"corrig\u00e9e":[742],"en":[743],"\\(J(q_1)\\neq":[744],"J(q_2)\\)":[745],"dans":[746],"le":[747],"contexte":[748],"de":[749],"la":[750],"non-identifiabilit\u00e9":[751]},"counts_by_year":[],"updated_date":"2026-10-31T12:09:11.096373","created_date":"2026-10-30T00:00:00"}