{"id":"https://openalex.org/W7204178351","doi":"https://doi.org/10.5281/zenodo.22096255","title":"Super Moon 39","display_name":"Super Moon 39","publication_year":2026,"publication_date":"2026-08-25","ids":{"openalex":"https://openalex.org/W7204178351","doi":"https://doi.org/10.5281/zenodo.22096255"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.22096255","doi":"https://doi.org/10.5281/zenodo.22096255","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22096255","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":"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.22096255","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5124214527","display_name":"Luan Barbosa","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Barbosa, Luan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5124214527"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.68855558,"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/T10126","display_name":"Logic, programming, and type systems","score":0.7235999703407288,"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/T10126","display_name":"Logic, programming, and type systems","score":0.7235999703407288,"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/T11986","display_name":"Scientific Computing and Data Management","score":0.09560000151395798,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13806","display_name":"Mathematical and Computational Methods","score":0.06379999965429306,"subfield":{"id":"https://openalex.org/subfields/2611","display_name":"Modeling and Simulation"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/formal-reasoning","display_name":"formal reasoning","score":0.5839999914169312},{"id":"https://openalex.org/keywords/sat-solving","display_name":"SAT solving","score":0.5350000262260437},{"id":"https://openalex.org/keywords/dpll-algorithm","display_name":"DPLL algorithm","score":0.8629999756813049},{"id":"https://openalex.org/keywords/abstract-syntax-tree","display_name":"abstract syntax tree","score":0.6990000009536743},{"id":"https://openalex.org/keywords/symbolic-differentiation","display_name":"symbolic differentiation","score":0.7250000238418579},{"id":"https://openalex.org/keywords/merkle-root","display_name":"Merkle root","score":0.6819999814033508},{"id":"https://openalex.org/keywords/deterministic-execution","display_name":"deterministic execution","score":0.32899999618530273},{"id":"https://openalex.org/keywords/mathematical-computation","display_name":"mathematical computation","score":0.3619999885559082},{"id":"https://openalex.org/keywords/workflow-orchestration","display_name":"workflow orchestration","score":0.7889999747276306}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6244999766349792},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.453900009393692},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.439300000667572},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4381999969482422},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.41429999470710754},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.3862000107765198},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.38429999351501465},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3544999957084656},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.3393000066280365},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.33820000290870667},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.3278000056743622},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.325300008058548},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.32499998807907104},{"id":"https://openalex.org/C34862557","wikidata":"https://www.wikidata.org/wiki/Q178985","display_name":"Ode","level":2,"score":0.3091999888420105},{"id":"https://openalex.org/C173856430","wikidata":"https://www.wikidata.org/wiki/Q3257964","display_name":"Separation logic","level":2,"score":0.30480000376701355},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.3046000003814697},{"id":"https://openalex.org/C143936061","wikidata":"https://www.wikidata.org/wiki/Q2030088","display_name":"DPLL algorithm","level":4,"score":0.2939999997615814},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.29260000586509705},{"id":"https://openalex.org/C200415742","wikidata":"https://www.wikidata.org/wiki/Q1350285","display_name":"True quantified Boolean formula","level":2,"score":0.29030001163482666},{"id":"https://openalex.org/C206470798","wikidata":"https://www.wikidata.org/wiki/Q2634506","display_name":"Kleene algebra","level":2,"score":0.289900004863739},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.2897000014781952},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.2847000062465668},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.27959999442100525},{"id":"https://openalex.org/C32155586","wikidata":"https://www.wikidata.org/wiki/Q212569","display_name":"Simula","level":2,"score":0.2784000039100647},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.2777000069618225},{"id":"https://openalex.org/C16311509","wikidata":"https://www.wikidata.org/wiki/Q4148050","display_name":"Dependency graph","level":3,"score":0.2773999869823456},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.27570000290870667},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.27300000190734863},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.2705000042915344},{"id":"https://openalex.org/C205711294","wikidata":"https://www.wikidata.org/wiki/Q176953","display_name":"Rendering (computer graphics)","level":2,"score":0.2702000141143799},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.2581999897956848},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.2565999925136566},{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.2551000118255615},{"id":"https://openalex.org/C203265346","wikidata":"https://www.wikidata.org/wiki/Q11387554","display_name":"Proof assistant","level":3,"score":0.25360000133514404},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.2531000077724457},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2529999911785126}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.22096255","doi":"https://doi.org/10.5281/zenodo.22096255","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22096255","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":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"doi:10.5281/zenodo.22096256","doi":"https://doi.org/10.5281/zenodo.22096256","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22096256","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":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.5281/zenodo.22096255","doi":"https://doi.org/10.5281/zenodo.22096255","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22096255","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":"article-journal"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Super":[0,4,37,132,283,348,352,402,510],"Moon":[1,5,38,133,284,349,353,403,511],"39":[2,6,134,285,354,404,512],"Omega":[3,7,405],"is":[8,357,373,429,465,480],"a":[9,48,89,137,376,417,466,472,481,487,514],"deterministic,":[10,90],"network-free,":[11],"software-only":[12],"computational":[13,51,522],"research":[14],"platform":[15,206],"designed":[16],"for":[17,520],"formal":[18],"reasoning,":[19],"mathematical":[20,153,483],"computation,":[21,181],"algorithm":[22,530],"execution,":[23,147,197],"workflow":[24],"orchestration,":[25],"evidence":[26,233],"tracking,":[27],"and":[28,85,88,129,148,154,182,201,230,239,264,303,340,368,392,439,491,516,535],"reproducible":[29,149,529],"software":[30,555],"packaging.":[31],"Built":[32],"additively":[33],"from":[34,275],"the":[35,317],"frozen":[36],"38":[39,350],"baseline,":[40],"it":[41],"preserves":[42],"inherited":[43],"source":[44,109,286,293,319],"namespaces":[45],"while":[46],"introducing":[47],"new":[49],"hybrid":[50,524],"core":[52],"with":[53,142,328],"35":[54],"callable":[55],"runtime":[56,334,344],"contracts.":[57],"Its":[58,100,152,242,397,425,462],"formal-reasoning":[59],"subsystem":[60,102],"provides":[61,513],"immutable":[62,232],"propositional":[63],"abstract":[64],"syntax":[65],"trees,":[66],"canonical":[67,117,347],"identifiers,":[68],"Boolean":[69],"logic,":[70,73,76],"Kleene":[71],"three-valued":[72],"Belnap":[74],"four-valued":[75],"fuzzy":[77],"semantics,":[78],"Tseitin":[79],"CNF":[80],"transformation,":[81],"Horn":[82],"inference,":[83],"tautology":[84],"counterexample":[86],"analysis,":[87,221],"resource-bounded":[91],"DPLL":[92,463],"solver":[93,469],"producing":[94],"SAT,":[95],"UNSAT,":[96],"or":[97,301,338,420,459,475,503],"UNKNOWN":[98],"results.":[99],"EquationIR":[101,479],"safely":[103],"represents":[104],"equations":[105],"without":[106],"executing":[107],"arbitrary":[108],"text,":[110],"supporting":[111,238],"declared":[112,508],"units,":[113],"tensor":[114],"shapes,":[115],"assumptions,":[116],"intermediate":[118],"representations,":[119],"residual":[120],"construction,":[121],"bounded":[122,467],"numerical":[123,173],"evaluation,":[124,531],"symbolic":[125],"differentiation,":[126],"equation":[127],"systems,":[128],"Jacobian":[130],"generation.":[131],"also":[135],"incorporates":[136],"verified":[138],"typed":[139],"stack-bytecode":[140],"architecture":[141],"static":[143,322],"validation,":[144],"deterministic":[145,191,222,361,377,521],"fuel-bounded":[146],"execution":[150],"receipts.":[151],"algorithmic":[155],"capabilities":[156,186,266],"include":[157],"exact":[158,217,251,255],"rational":[159],"Gaussian":[160],"elimination,":[161],"Bareiss":[162],"determinants,":[163],"number-theoretic":[164],"operations,":[165],"string":[166],"matching,":[167],"edit":[168],"distance,":[169],"graph":[170,234],"algorithms,":[171],"adaptive":[172],"integration,":[174],"statistics,":[175],"signal":[176],"processing,":[177],"geometry,":[178],"optimization,":[179],"maximum-flow":[180],"Poisson-system":[183],"operations.":[184],"These":[185],"operate":[187],"through":[188],"explicit":[189,224],"contracts,":[190],"resource":[192],"envelopes,":[193],"cancellation":[194],"controls,":[195],"seeded":[196],"task":[198],"dependency":[199],"graphs,":[200],"auditable":[202,518],"result":[203],"records.":[204,371],"The":[205,281,332,346,446],"includes":[207],"capability-rooted":[208],"storage,":[209],"content-addressed":[210],"objects,":[211],"hash-linked":[212],"journals,":[213],"snapshots,":[214],"Merkle":[215],"roots,":[216],"component":[218],"registration,":[219],"compatibility":[220],"planning,":[223],"fallback":[225],"behavior,":[226],"arbitration,":[227],"dissent":[228],"recording,":[229],"an":[231,410],"that":[235],"records":[236],"both":[237],"countervailing":[240],"evidence.":[241],"complete":[243,307],"catalog":[244],"contains":[245,287],"1,547":[246],"classified":[247],"capability":[248],"seeds:":[249],"36":[250],"native":[252,501],"implementations,":[253],"four":[254],"lineage-reused":[256],"capabilities,":[257],"1,502":[258],"specified":[259],"but":[260],"not":[261,415,449,496],"implemented":[262],"entries,":[263],"five":[265,436],"explicitly":[267],"marked":[268],"unavailable.":[269],"This":[270],"classification":[271],"prevents":[272],"architectural":[273],"specifications":[274],"being":[276],"misrepresented":[277],"as":[278,359,375,409,416],"operational":[279],"implementations.":[280],"audited":[282],"179":[288],"Python":[289,336],"files,":[290],"56,086":[291],"physical":[292],"lines,":[294,298],"46,741":[295],"non-comment":[296],"logical":[297,363],"2,690":[299],"functions":[300],"methods,":[302],"850":[304],"classes.":[305],"Two":[306],"local":[308,412,553],"verification":[309],"runs":[310],"each":[311],"passed":[312],"all":[313],"771":[314],"tests":[315],"against":[316],"same":[318],"manifest.":[320],"Targeted":[321],"security":[323],"analysis":[324],"covered":[325],"198":[326],"files":[327],"no":[329,342],"blocking":[330],"findings.":[331],"standalone":[333],"requires":[335],"3.11":[337],"later":[339],"declares":[341],"third-party":[343],"dependencies.":[345],"plus":[351],"merged":[355],"release":[356,427],"represented":[358],"one":[360,393],"UTF-8":[362],"stream":[364],"containing":[365],"2,705,998,451":[366],"bytes":[367],"6,944,463":[369],"newline-delimited":[370],"It":[372],"packaged":[374],"single-member":[378],"gzip":[379],"archive":[380],"of":[381],"795,482,396":[382],"bytes,":[383],"divided":[384],"into":[385],"ten":[386],"transport":[387],"parts:":[388],"nine":[389],"80,000,000-byte":[390],"parts":[391],"final":[394],"75,482,396-byte":[395],"part.":[396],"SHA-256":[398],"digest":[399],"is:":[400],"3bab3fbf9c5f9d2832ec8c312756b94950689c2e51dfc890a5326dbe176bafad":[401],"should":[406],"be":[407],"understood":[408],"evidence-backed":[411],"implementation":[413,540],"candidate,":[414],"universally":[418],"qualified":[419],"independently":[421],"certified":[422],"production":[423],"system.":[424],"strict":[426],"state":[428],"IMPLEMENTATION_CANDIDATE_NOT_QUALIFIED.":[430],"Thirteen":[431],"qualification":[432,537,543],"gates":[433],"are":[434,441],"satisfied,":[435],"remain":[437],"unexecuted,":[438],"two":[440],"blocked":[442],"by":[443],"excluded":[444],"infrastructure.":[445],"system":[447,533],"does":[448,495],"claim":[450],"network,":[451],"cloud,":[452],"GPU,":[453],"MPI,":[454],"cluster,":[455],"industrial-device,":[456],"hardware-in-the-loop,":[457],"physical-backend,":[458],"certification":[460],"execution.":[461,505],"engine":[464],"reference":[468],"rather":[470,485],"than":[471,486],"CDCL,":[473],"QBF,":[474],"general":[476,488],"SMT":[477],"solver;":[478],"controlled":[482],"representation":[484],"computer-algebra":[489],"system;":[490],"its":[492],"virtual":[493],"machine":[494],"provide":[497],"WASM,":[498],"LLVM,":[499],"JIT,":[500],"FFI,":[502],"arbitrary-code":[504],"Within":[506],"these":[507],"boundaries,":[509],"broad":[515],"strongly":[517],"foundation":[519],"research,":[523],"symbolic-numerical":[525],"experimentation,":[526],"formal-logic":[527],"studies,":[528],"capability-governed":[532],"design,":[534],"future":[536],"work.":[538],"Diagnostic":[539],"grade:":[541,544],"8.13/10Strict":[542],"0.0":[545],"\u2014":[546],"Not":[547],"QualifiedRelease":[548],"version:":[549],"39.0.0Execution":[550],"scope:":[551],"Standalone":[552],"CPU,":[554],"onlyNetwork":[556],"requirement:":[557],"NoneRuntime":[558],"dependencies:":[559],"None":[560],"declaredCanonical":[561],"archive:":[562],"SUPER_MOON_38_PLUS_39_OMEGA_STANDALONE_HYBRID_FULL_MERGED.txt.gz":[563],"https://github.com/sunsetarise/Super-Moon/tree/main":[564]},"counts_by_year":[],"updated_date":"2026-10-07T09:51:55.459714","created_date":"2026-08-26T00:00:00"}