No Spooky-to-Signal Compiler: Why EPR Correlations Cannot be Total-Effectively Upgraded to FTL Paper 47 of the NEMS Suite

{"Papers":[0],"45–46":[1],"showed":[2],"that":[3,90,157],"under":[4],"PSC":[5],"and":[6,13],"diagonal":[7],"capability,":[8],"semantics":[9],"is":[10,18,115,130,139,160],"glued":[11,48,147],"globally":[12,47],"total-effective":[14,29,35,143],"local":[15],"semantic":[16],"determinacy":[17],"impossible.":[19],"This":[20],"paper":[21],"proves":[22],"a":[23,34,38,41,59,67,72,76,140],"theorem-grade":[24],"constraint":[25,129],"on":[26,131],"FTL:":[27],"no":[28,91],"internal":[30,53,144],"procedure":[31],"can":[32],"implement":[33],"signalling":[36,68,93,154],"extractor—i.e.":[37],"decider":[39,78],"for":[40,70,79,146],"nontrivial":[42],"extensional":[43],"predicate":[44,73],"of":[45,108,125],"the":[46,63,84,128],"semantics—without":[49],"amounting":[50],"to":[51,103],"an":[52],"oracle":[54],"or":[55],"selector.":[56],"We":[57],"define":[58],"spooky-to-signal":[60],"compiler":[61],"(informally:":[62],"same":[64],"object":[65],"as":[66,75],"extractor)":[69],"such":[71,92],"T":[74,80],"total":[77],"(not":[81],"merely":[82],"correlated);":[83],"barrier":[85],"(Paper":[86],"29)":[87],"then":[88],"yields":[89],"extractor":[94],"exists.":[95],"So":[96],"EPR-style":[97],"correlations":[98],"cannot":[99],"be":[100],"total-effectively":[101],"upgraded":[102],"controllable":[104],"signalling—a":[105],"NEMS-native":[106],"reframing":[107],"\\"why":[109],"EPR":[110],"\\\\neq":[111],"FTL.\\"":[112],"The":[113,136],"result":[114,138],"mechanized":[116],"in":[117],"Lean":[118],"4":[119],"(FTLConstraints);":[120],"0":[121],"axioms.":[122],"No":[123],"claim":[124],"superluminal":[126],"kinematics;":[127],"effective":[132],"conversion.":[133],"Trust":[134],"boundary.":[135],"no-spooky-to-signal":[137],"theorem":[141],"about":[142],"extractors/deciders":[145],"semantics;":[148],"it":[149],"does":[150],"not":[151],"analyze":[152],"experimental":[153],"protocols":[155],"outside":[156],"formalization.":[158],"Mechanization":[159],"nems-lean":[161],".":[162,164],"See":[163]}