Rights in the Ledger: A Five-Axis Calculus of Delegated Collapse with a Typestate Adequacy Theorem and a Hardware Consistency Check

{"We":[0,127],"present":[1],"the":[2,35,46,58,70,81,84,88,95,99,109,125,141,144,157,169,205,211,219,226,230,234,242,247,261,275,278,283,290,297,303,313,321,339],"formal":[3],"core":[4,107],"of":[5,34,51,57,64,72,108,124,161,221,229,246,268,274,286],"Ma":[6],"(間,":[7],"\\"the":[8],"between\\"),":[9],"a":[10,19,32,42,49,55,62,113,135,196,201,222,265],"one-sided":[11],"calculus":[12,276,304],"in":[13,26,103,252,320,332],"which":[14,27],"one":[15],"party":[16],"acts":[17,208],"on":[18,45,77,98,134,233,250],"quantum":[20,243],"state":[21,100],"shared":[22],"with":[23,94,116,188,204,210,216],"another,":[24],"and":[25,67,69,83,138,155,167,172,184,209,264,282,295,327,336],"who":[28],"may":[29],"collapse":[30],"is":[31,112,193,225,329,343],"component":[33],"state.":[36,237],"A":[37,191],"field":[38,182],"has":[39],"five":[40,206],"axes:":[41],"density":[43,89],"operator":[44],"joint":[47],"space,":[48],"pair":[50,224],"reading":[52],"bases":[53],"(stances),":[54],"holder":[56,82],"right":[59,145],"to":[60,319],"collapse,":[61],"ledger":[63,85],"irreversible":[65],"events":[66],"declarations,":[68],"sequence":[71],"acts.":[73],"Nine":[74],"letters":[75,93],"act":[76],"fields;":[78],"typing":[79],"reads":[80],"rather":[86],"than":[87],"operator,":[90],"so":[91],"two":[92,122,129,231,293],"same":[96],"action":[97],"can":[101],"differ":[102],"type.":[104],"The":[105,238,271,316],"error":[106],"composition":[110],"grammar":[111],"typestate":[114],"automaton":[115],"three":[117],"live":[118],"states,":[119],"read":[120],"from":[121],"bits":[123],"ledger.":[126],"define":[128],"semantic":[130],"violations":[131],"—":[132,146,288],"acting":[133],"collapsed":[136],"field,":[137],"collapsing":[139],"while":[140],"other":[142],"holds":[143],"prove":[147],"that":[148,156,175,198],"along":[149],"every":[150,162],"accepted":[151],"word":[152,164],"neither":[153],"occurs":[154],"first":[158],"rejected":[159,163],"letter":[160],"produces":[165],"one,":[166],"check":[168],"implemented":[170],"oracle":[171],"checker":[173],"against":[174,255],"theorem":[176],"by":[177,195],"exhaustive":[178],"enumeration":[179],"over":[180],"eight":[181],"sizes":[183],"sixteen":[185],"argument":[186],"configurations,":[187],"no":[189],"mismatch.":[190],"stance":[192,223,263],"set":[194],"declaration":[197],"commutes,":[199],"as":[200],"coordinate":[202],"update,":[203],"non-collapsing":[207],"basis-preserving":[212],"hand-over,":[213],"but":[214],"not":[215,330],"either":[217],"collapse;":[218],"reach":[220],"agreement":[227],"rate":[228],"parties":[232],"maximally":[235],"entangled":[236],"hardware":[239],"section":[240],"checks":[241],"probability":[244],"targets":[245],"circuit":[248],"fragment":[249],"ibm_fez":[251],"four":[253],"runs":[254],"bands":[256],"frozen":[257],"before":[258],"submission,":[259],"including":[260],"fractional-Fourier":[262],"two-day":[266],"repetition":[267],"twelve":[269],"circuits.":[270],"design":[272],"sources":[273],"are":[277],"Japanese":[279],"particle":[280],"system":[281],"body":[284],"knowledge":[285],"aikido":[287],"ma-ai,":[289],"interval":[291],"between":[292],"stances,":[294],"zanshin,":[296],"poised":[298],"after-state.":[299],"Patent":[300],"applications":[301],"covering":[302],"have":[305],"been":[306],"filed":[307],"(Japan,":[308],"2026).":[309],"This":[310],"deposit":[311,335],"contains":[312],"paper":[314,322],"only.":[315],"artifact":[317],"referred":[318],"(records,":[323],"circuits,":[324],"generator":[325],"scripts":[326],"checkers)":[328],"included":[331],"this":[333],"preprint":[334],"will":[337],"accompany":[338],"manuscript":[340],"when":[341],"it":[342],"submitted":[344],"for":[345],"peer":[346],"review.":[347]}