{"id":"https://openalex.org/W7224601785","doi":"https://doi.org/10.5281/zenodo.23753304","title":"SMPDL: EC Command-Driven Round-1 Phase-1 Seal (Method Layer + Execution Outputs; Case Library v2.0 136 Cases Dual-Axis + Action-Sample Anchor Index + Task Card v1.6 + Three S01 Executions)","display_name":"SMPDL: EC Command-Driven Round-1 Phase-1 Seal (Method Layer + Execution Outputs; Case Library v2.0 136 Cases Dual-Axis + Action-Sample Anchor Index + Task Card v1.6 + Three S01 Executions)","publication_year":2026,"publication_date":"2026-10-29","ids":{"openalex":"https://openalex.org/W7224601785","doi":"https://doi.org/10.5281/zenodo.23753304"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23753304","doi":"https://doi.org/10.5281/zenodo.23753304","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23753304","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-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"volume":null,"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23753304","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5159937520","display_name":"Coffee (SMPDL Project)","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Coffee (SMPDL Project)","raw_affiliation_strings":["independent researcher"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"independent researcher","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5159937520"],"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":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/hahn-banach-theorem","display_name":"Hahn-Banach theorem","score":0.7379999756813049},{"id":"https://openalex.org/keywords/naming","display_name":"naming","score":0.35899999737739563},{"id":"https://openalex.org/keywords/case-library","display_name":"case library","score":0.5440000295639038}],"concepts":[{"id":"https://openalex.org/C3265923","wikidata":"https://www.wikidata.org/wiki/Q669129","display_name":"Arithmetic underflow","level":2,"score":0.5228000283241272},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5169000029563904},{"id":"https://openalex.org/C2777601683","wikidata":"https://www.wikidata.org/wiki/Q6499736","display_name":"Vocabulary","level":2,"score":0.43380001187324524},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4221000075340271},{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.40299999713897705},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3855000138282776},{"id":"https://openalex.org/C157172786","wikidata":"https://www.wikidata.org/wiki/Q185235","display_name":"MD5","level":3,"score":0.34060001373291016},{"id":"https://openalex.org/C2777382242","wikidata":"https://www.wikidata.org/wiki/Q6017816","display_name":"Index (typography)","level":2,"score":0.3357999920845032},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.3336000144481659},{"id":"https://openalex.org/C199004533","wikidata":"https://www.wikidata.org/wiki/Q210127","display_name":"Balanced scorecard","level":2,"score":0.3319999873638153},{"id":"https://openalex.org/C2779227376","wikidata":"https://www.wikidata.org/wiki/Q6505497","display_name":"Layer (electronics)","level":2,"score":0.32989999651908875},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3118000030517578},{"id":"https://openalex.org/C2777755289","wikidata":"https://www.wikidata.org/wiki/Q162919","display_name":"Seal (emblem)","level":2,"score":0.2971000075340271},{"id":"https://openalex.org/C134066672","wikidata":"https://www.wikidata.org/wiki/Q1424639","display_name":"Payload (computing)","level":3,"score":0.29260000586509705},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2854999899864197},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.28290000557899475},{"id":"https://openalex.org/C177284502","wikidata":"https://www.wikidata.org/wiki/Q1005390","display_name":"Adapter (computing)","level":2,"score":0.28119999170303345},{"id":"https://openalex.org/C2781018962","wikidata":"https://www.wikidata.org/wiki/Q5164884","display_name":"Container (type theory)","level":2,"score":0.2712000012397766},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.2653000056743622},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.2556999921798706},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.25209999084472656}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.23753304","doi":"https://doi.org/10.5281/zenodo.23753304","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23753304","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-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.5281/zenodo.23753304","doi":"https://doi.org/10.5281/zenodo.23753304","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23753304","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-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"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/W7224204088","https://openalex.org/W7224275470","https://openalex.org/W7224516254","https://openalex.org/W7224581497","https://openalex.org/W7223903833","https://openalex.org/W7224403701","https://openalex.org/W7224152592","https://openalex.org/W7224422981","https://openalex.org/W7224159580","https://openalex.org/W7206187848"],"abstract_inverted_index":{"Corrigendum-and-republication":[0],"of":[1,29,39,157,328],"v5.0":[2,24,266],"(record":[3],"23685095":[4],"uploaded":[5],"a":[6,12],"truncated":[7],"22-byte":[8],"archive":[9],"due":[10],"to":[11,600,624,636,666,671,758],"coordinator-side":[13],"packaging":[14],"fault;":[15],"this":[16],"v5.1":[17,269],"re-seals":[18],"the":[19,23,40,145,154,167,549,553,582,669,746],"intended":[20],"full":[21,122,201],"payload;":[22],"record":[25],"is":[26,548,675,745],"superseded,":[27],"DOIs":[28],"both":[30,127,142],"remain":[31],"resolvable":[32],"for":[33,581,749],"audit-trail":[34],"integrity).":[35],"Full":[36],"closeout":[37],"seal":[38,775],"SMPDL":[41],"EC-series":[42],"round":[43,451],"one,":[44],"frozen":[45],"at":[46],"commit":[47,433,587,779],"2e04633":[48],"(2026-10-27).":[49],"Round:":[50],"3":[51,516],"targets":[52],"x":[53,365,618],"4":[54,62,482],"vendors":[55],"=":[56,174,182,468],"12":[57,75,217,220,633],"main-arm":[58],"blind":[59,151],"candidates":[60,65],"+":[61,73,76,135,138,185,731],"recurrence-allowed":[63],"control":[64],"(16":[66],"total),":[67],"35":[68],"Zone-C":[69],"sessions":[70,152],"(PFE":[71],"11":[72,214],"MR":[74,218],"judgment":[77,223],"12).":[78],"RESULTS:":[79],"H-C1":[80],"confirmed":[81,96,119],"(2/3":[82],"literal;":[83],"alpha":[84],"unanimous":[85],"on":[86,91,537,613,766],"guarantee/identity":[87],"removals,":[88],"beta":[89],"unpredictable":[90],"constitutive":[92],"removal);":[93],"H-C2":[94],"partially":[95],"in":[97,552],"converted":[98],"form":[99,513],"with":[100,166,200,321,356,391,515,539,640,682,706],"prototype":[101],"refuted":[102,140],"(bang-type":[103],"marking-domain":[104],"zero":[105],"everywhere;":[106],"local-criterion":[107],"~12/16":[108],"and":[109,125,564],"criterion-characterization":[110],"4/4":[111],"--":[112,150],"morphology":[113],"determined":[114],"by":[115,567],"removal":[116,129],"type);":[117],"H-C3":[118],"3/3":[120],"(only":[121],"hit:":[123],"modality":[124],"disposal":[126],"mirror":[128],"type).":[130],"14":[131],"fields:":[132],"6":[133],"fulfilled":[134],"5":[136],"partial":[137],"2":[139],"(78.6%);":[141],"refutations":[143],"are":[144],"historically":[146],"slowest":[147],"events":[148],"(52y/48y)":[149],"replicate":[153],"temporal":[155],"boundary":[156],"historical":[158,620],"thinkability.":[159],"EC-3":[160],"(5-year":[161],"span)":[162],"sweeps":[163],"top-three":[164],"90.1/89.0/86.9":[165],"round's":[168],"only":[169,349,550],"anchor-core":[170],"mechanism":[171],"arrival":[172],"(C4":[173],"Hahn-Banach":[175],"1927":[176],"controlled-extension":[177],"reconstruction).":[178],"Equivalent-recurrence":[179],"attraction":[180],"baseline":[181,445],"0":[183],"(0/24":[184],"0/4":[186],"permission-arm":[187],"reversions);":[188],"honest":[189],"degradation":[190],"12/12;":[191],"naming":[192],"36/36;":[193],"D-EC-R1":[194,240],"ruled":[195,241],"option":[196],"A.":[197],"Two-pass":[198],"scorecard":[199,235],"correction":[202],"disclosure.":[203],"Archive":[204],"payload":[205],"(86":[206],"files,":[207],"md5":[208],"3896c590c2e87d2ab2c67e2ad0ab9253):":[209],"three":[210,222,226],"freeze-files,":[211],"nine":[212],"prompts,":[213],"PFE":[215],"reviews,":[216,219],"judgments,":[221],"matrices":[224],"v1.1,":[225,231,236],"comparison":[227],"studies,":[228],"vocabulary":[229],"registry":[230],"B1":[232],"inversion":[233],"report,":[234],"three-target":[237],"final":[238],"adjudication,":[239],"edition,":[242],"work":[243],"order":[244],"v1.0,":[245],"G-recross":[246],"observation":[247],"order.":[248],"Version":[249],"chain:":[250],"v3.6":[251],"->":[252,254,256,258,265,268,414,656,659,678],"v3.7":[253],"v3.8":[255],"v3.9":[257],"v4.0":[259],"(preregistration,":[260],"predictions":[261],"sealed":[262,330,347,444],"BEFORE":[263],"generation)":[264],"(superseded)":[267],"(this":[270],"record).":[271],"Concept":[272],"chain":[273],"10.5281/zenodo.23318734;":[274],"no":[275,351,399],"new":[276,483],"predictions.":[277],"v5.2":[278],"VLT":[279,436],"Special":[280],"Line":[281],"(2026-10-29):":[282,439],"Five-dimension":[283],"variation-particulars":[284],"system":[285],"sealed.":[286],"(1)":[287,440,605],"Case-record":[288,441],"library":[289,442,480,607],"v1.0:":[290],"50":[291],"cases":[292,367,454,518,611],"across":[293,471],"7":[294,363,472,535,616],"open":[295,473],"types":[296,617],"(A":[297],"concept-emergence":[298],"/":[299,302,306,309,312,315,369,371,373,375,377,379,385,388,456,458,460,462,464,466,503,506,522,527],"B":[300],"proof-completion":[301],"C":[303],"number-system":[304],"self-completion":[305],"D":[307],"unclosed":[308],"E":[310],"axiomatic-refoundation":[311],"F":[313],"counterexample-falsification":[314],"G":[316],"unification),":[317],"five":[318],"dimensions":[319],"S/M/L/D/T":[320],"T=Translatability":[322],"replacing":[323],"P=Programming":[324],"(programming":[325],"as":[326,576,773],"sub-item":[327],"translation);":[329],"2026-10-29":[331],"08:06":[332],"per":[333],"coffee":[334],"ruling,":[335],"forward-only":[336],"append":[337,450],"policy.":[338],"(2)":[339,478,627],"Sub-item":[340,479],"library:":[341],"39":[342],"sub-items":[343,484],"(S7/M8/L9/D8/T7)":[344],"induced":[345,485],"from":[346,406,486,756],"records":[348,488],"-":[350,396,489,532,572,609,632,752],"a-priori":[352],"enumeration;":[353],"each":[354,596,639],"tagged":[355],"first-appearance":[357],"case.":[358],"(3)":[359,508,650],"Translatability-form":[360],"spectrum":[361,554],"v0.3:":[362],"forms":[364],"34":[366],"(arithmetization":[368],"computation":[370],"machine-verification":[372],"relation":[374],"typing":[376,512],"axiomatization":[378],"quantification),":[380],"three-precision":[381],"framework":[382],"P1":[383],"discern-amplify":[384],"P2":[386,556],"preservation":[387,557],"P3":[389],"decidability":[390],"SMP-style":[392],"binary":[393],"pass/fail":[394],"adjudication":[395,664],"core":[397],"thesis:":[398],"correct":[400],"translation":[401,403,573],"exists;":[402],"value":[404],"derives":[405],"descriptive":[407],"precision":[408],"(coffee":[409],"2026-10-29).":[410],"Translation-probe":[411],"mechanism:":[412],"fail":[413],"diagnose":[415],"proof-side":[416],"incompleteness,":[417],"mirroring":[418],"SMP":[419],"S/P-layer":[420],"shoot-down":[421],"patterns.":[422],"(4)":[423,685],"EC":[424],"command-driven":[425],"protocol":[426],"v0.2":[427],"adds":[428,452],"translation-probe":[429],"section.":[430],"GitHub":[431,585,777],"anchor:":[432,586,778],"6d07639.":[434],"v5.3":[435],"Append":[437],"Round":[438],"v1.1:":[443],"v1.0":[446,631],"(50":[447],"cases)":[448],"untouched;":[449],"18":[453],"(A-9..A-13":[455],"B-10..B-12":[457],"C-5b,C-7":[459],"D-10..D-11":[461],"E-6..E-7":[463],"F-6..F-7":[465],"G-9..G-10)":[467],"68":[469],"total":[470,542],"types;":[474],"append-only":[475],"discipline":[476],"preserved.":[477],"v0.2:":[481],"appended":[487],"M9":[490],"proof-operationalization":[491],"(Gentzen":[492,519],"cut-elimination),":[493],"M10":[494],"connective-splitting":[495],"(linear":[496],"logic),":[497],"L10":[498],"structural-rule-control,":[499],"D9":[500],"parallel-foundations":[501],"(p-adics":[502],"nonstandard":[504],"analysis":[505],"constructivism).":[507],"Translatability":[509],"spectrum:":[510],"T-e":[511,533],"completed":[514],"dedicated":[517],"1934":[520],"cut-elimination":[521],"Martin-Lof":[523],"1971-1984":[524],"type":[525],"theory":[526],"Girard":[528],"1987":[529],"linear":[530],"logic)":[531],"now":[534],"cases,":[536],"par":[538],"other":[540],"forms;":[541],"37":[543],"cases.":[544],"Notable":[545],"registration:":[546],"MLTT":[547],"case":[551],"where":[555],"COLLAPSED":[558],"first":[559],"(Girard":[560],"paradox":[561],"1972,":[562],"Type:Type)":[563],"was":[565],"REPAIRED":[566],"restructuring":[568],"(predicative":[569],"universes":[570],"1984)":[571],"failure":[574],"itself":[575],"evolution":[577,652],"driver,":[578],"further":[579],"evidence":[580],"no-correct-translation":[583],"thesis.":[584],"e58cb14.":[588],"v5.4":[589],"Phase-1":[590],"Seal":[591],"(2026-10-29,":[592],"coffee-ratified":[593],"phase-isolation":[594],"protocol:":[595],"phase":[597,771],"archived":[598],"independently":[599],"prevent":[601],"cross-contamination):":[602],"METHOD":[603],"LAYER:":[604],"Case":[606],"v2.0":[608],"136":[610],"(A28/B21/C17/D19/E15/F15/G21)":[612],"dual":[614],"axes:":[615],"8":[619],"stages":[621],"(ST1":[622],"ancient":[623],"ST8":[625],"contemporary).":[626],"Action-Sample":[628],"Anchor":[629],"Index":[630],"commands":[634],"anchored":[635],"S2/M2/L3/D2/T3":[637],"dimensions,":[638],"4-7":[641],"reference":[642],"samples":[643],"giving":[644],"OPERATIONAL":[645],"FORMS":[646],"ONLY":[647],"(no":[648],"answers).":[649],"Protocol":[651],"v1.3":[653],"rotation":[654],"regime":[655],"v1.4":[657],"sample-reference":[658],"v1.5":[660],"implementation-level":[661,759],"liberation":[662,743],"(correctness":[663],"moved":[665],"audit":[667],"side;":[668],"right":[670],"create":[672],"wrong":[673],"structures":[674],"not":[676],"revoked)":[677],"v1.6":[679],"unlimited":[680],"rounds":[681],"3-round":[683],"anti-spin.":[684],"R2":[686],"composite":[687],"coding":[688],"R2-dimension-action.":[689],"EXECUTION":[690],"LAYER":[691],"(three":[692],"S01":[693,697],"outputs,":[694],"Hilbert-Polya":[695],"target):":[696],"Kimi(v1.5":[698],"card):":[699,714,723],"cmd":[700,715,724],"11->2->7->6,":[701],"IMPLEMENTATION-LEVEL":[702,726],"normal":[703],"operator":[704,729],"N":[705],"self-adjointness":[707],"iff":[708],"RH":[709],"equivalence":[710],"registered;":[711],"S01b":[712],"GPT(v1.4":[713],"11->5->3->6,":[716],"derivation-level":[717,757],"counting":[718],"measure":[719],"only;":[720],"S01c":[721],"GPT(v1.5":[722],"7->11->6,":[725],"self-adjoint":[727],"diagonal":[728],"A":[730],"Target-A/B":[732],"dichotomy":[733],"(literal":[734],"vs":[735],"independent-structure":[736],"realization).":[737],"ATTRIBUTION":[738],"RESULT:":[739],"card":[740,761],"version":[741],"(v1.5":[742],"clause)":[744],"decisive":[747],"factor":[748],"construction":[750],"level":[751],"same":[753],"model":[754],"jumped":[755],"when":[760],"changed.":[762],"Independent":[763],"cross-model":[764],"convergence":[765],"non-circular-carrier":[767],"blocking":[768],"point.":[769],"Audit":[770],"follows":[772],"separate":[774],"(v5.5).":[776],"d1e5240.":[780]},"counts_by_year":[],"updated_date":"2026-10-31T12:09:11.096373","created_date":"2026-10-30T00:00:00"}