XYPHER_OPEN_FUTURE_PRICE_PROOF CAL-CEF-3 primary=(3,2,2,8,2) agent=LOCAL worlds=12 agents=LOCAL,GLOBAL
G01 PASS grounding -- N_tau(G) >= 1; depth-first counts equal e_h^T L^tau 1 and e_h^T L^R 1; state counts 32/108/344/320
G02 PASS executable rules -- destinations are system states; STEP/REPLAN/WEATHER/FUEL follow section 1.3
G03 PASS reciprocity -- every channel has a reverse in its class; STEP/REPLAN 1:1, WEATHER 1:b_c, FUEL 1:b_h
G04 PASS accounting -- one packet per bridge change with its named store; hot outflow equals cold inflow
G05 PASS undriven world -- undriven graph connected; b_c^(-|G|) stationary with detailed balance on every channel
G06 PASS driven steady state -- driven graph connected; exact p strictly positive; every state balanced
G07 PASS GLOBAL calibration -- GLOBAL steady states are q^|G| with q = 2/(b_c + b_h); H_global and J_global equal their closed forms
G08 PASS second law and the floor -- J > 0; second law in store symbols; nonnegative pair terms; certified eta in (0,1); GLOBAL eta meets its closed form
G09 PASS Xypher slot reading -- slots bound; Ruby empty, Opal absent; rates read only [State, Bridge, Class, StoreRatio] (RateInputs) and equal the section 1.3 rule
G10 PASS frozen values -- section 4.1 and 4.2 values reproduced exactly; Y_global and eta_global decimals match
C01 PASS one-way-fuel observed G03 check 1 G03_REVERSE_IN_CLASS world (3,2,2,8,2) agent LOCAL configuration none expected G03 check 1 G03_REVERSE_IN_CLASS agent LOCAL configuration none -- FUEL bridge {0,1} rate 1 z0[G=none p=000 t=0] -> z3[G={0,1} p=000 t=0]: no reverse FUEL channel
C02 PASS plan-breaking-weather observed G02 check 1 G02_DESTINATION_STATES world (3,2,2,8,2) agent LOCAL configuration {0,1} expected G02 check 1 G02_DESTINATION_STATES agent LOCAL configuration {0,1} -- WEATHER bridge {0,1} rate 8 z6[G={0,1} p=001 t=0] -> [G=none p=001 t=0] (not a system state): plan 001 is not valid in none
C03 PASS equal-stores observed G08 check 1 G08_POSITIVE_FUEL_FLOW world (3,2,2,8,8) agent LOCAL world-level value 0 expected G08 check 1 G08_POSITIVE_FUEL_FLOW agent LOCAL world-level value 0 (J = 0) -- J = 0 is not positive
C04 PASS biased-weather observed G03 check 2 G03_RATE_RATIOS world (3,2,2,8,2) agent LOCAL configuration none expected G03 check 2 G03_RATE_RATIOS agent LOCAL configuration none -- WEATHER bridge {0,1} rate 2 z0[G=none p=000 t=0] -> z3[G={0,1} p=000 t=0]: rates 2 : 8 (forward : reverse), declared 1 : 8
C05 PASS wrong-store observed G03 check 2 G03_RATE_RATIOS world (3,2,2,8,2) agent LOCAL configuration none expected G03 check 2 G03_RATE_RATIOS agent LOCAL configuration none -- FUEL bridge {0,1} rate 1 z0[G=none p=000 t=0] -> z3[G={0,1} p=000 t=0]: rates 1 : 8 (forward : reverse), declared 1 : 2
C06 PASS wrong-calibration observed G07 check 1 G07_PRODUCT_LAW world (3,2,2,8,2) agent GLOBAL configuration none expected G07 check 1 G07_PRODUCT_LAW agent GLOBAL configuration none -- z0[G=none p=000 t=0]: p = 125/1332 differs from q^|G| / Z with q = 1/8
WORLD (3,1,2,3,2) LOCAL states=32 N2_p=189000324707150/51214587512901 ~3.6904 N2_pi_c=55/16 ~3.4375 H=207202882104845/819433400206416 ~0.2529 J=4060661226767/17071529170967 ~0.2379 Y=207202882104845/194911738884816 ~1.0631 eta=[0.439039067605, 0.439039067606] Y_bound=[2.421333599761, 2.421333599762]
WORLD (3,1,2,3,2) GLOBAL states=32 N2_p=2011/539 ~3.7310 N2_pi_c=55/16 ~3.4375 H=2531/8624 ~0.2935 J=29/77 ~0.3766 Y=2531/3248 ~0.7792 eta=[0.449660286786, 0.449660286787] Y_bound=[1.732972182269, 1.732972182270]
WORLD (3,2,2,3,2) LOCAL states=108 N2_p=1779690019007012271791552559470941600438712956/404767525678892987948180144810476581742470153 ~4.3968 N2_pi_c=117/28 ~4.1786 H=50480000566650286127069280048175607110509283/231295728959367421684674368463129475281411516 ~0.2182 J=79504276189998213582412320668710994337569350/404767525678892987948180144810476581742470153 ~0.1964 Y=353360003966552002889484960337229249773564981/318017104759992854329649282674843977350277400 ~1.1111 eta=[0.430677253071, 0.430677253072] Y_bound=[2.579971908770, 2.579971908771]
WORLD (3,2,2,3,2) GLOBAL states=108 N2_p=629/141 ~4.4610 N2_pi_c=117/28 ~4.1786 H=1115/3948 ~0.2824 J=323/987 ~0.3273 Y=1115/1292 ~0.8630 eta=[0.449660286786, 0.449660286787] Y_bound=[1.919233522137, 1.919233522138]
WORLD (3,3,2,3,2) LOCAL states=344 N2_p=7601410388681059552638578785222361427612616909883937421403282987737341278182633233703953317752785307137419866674299037077622540307281/1537502125707990359994472401587209338693112617775107079672741879938990598633126633852793119663661430861050146750458372591962326429292 ~4.9440 N2_pi_c=262/55 ~4.7636 H=1386546767451345552415460361034639252827129471503500300265653798321657587105968162207785011320354273360268565315123038197737290220541/7687510628539951799972362007936046693465563088875535398363709399694952993165633169263965598318307154305250733752291862959811632146460 ~0.1804 J=63852512302244765146839542879763381481530684129065646486752259978589966159958673934850005249315794876323534483245729654369101855825/384375531426997589998618100396802334673278154443776769918185469984747649658281658463198279915915357715262536687614593147990581607323 ~0.1661 Y=1386546767451345552415460361034639252827129471503500300265653798321657587105968162207785011320354273360268565315123038197737290220541/1277050246044895302936790857595267629630613682581312929735045199571799323199173478697000104986315897526470689664914593087382037116500 ~1.0857 eta=[0.423553213550, 0.423553213551] Y_bound=[2.563412846528, 2.563412846529]
WORLD (3,3,2,3,2) GLOBAL states=344 N2_p=10099/2011 ~5.0219 N2_pi_c=262/55 ~4.7636 H=28563/110605 ~0.2582 J=579/2011 ~0.2879 Y=9521/10615 ~0.8969 eta=[0.449660286786, 0.449660286787] Y_bound=[1.994702047795, 1.994702047796]
WORLD (3,1,2,8,2) LOCAL states=32 N2_p=1032899160810696079/386582721620358879 ~2.6719 N2_pi_c=1955/891 ~2.1942 H=1662059914288167656/3479244494583229911 ~0.4777 J=5387311472562710/6136233676513633 ~0.8780 Y=831029957144083828/1527302802471528285 ~0.5441 eta=[0.336060444065, 0.336060444066] Y_bound=[1.619101719579, 1.619101719580]
WORLD (3,1,2,8,2) GLOBAL states=32 N2_p=391/144 ~2.7153 N2_pi_c=1955/891 ~2.1942 H=7429/14256 ~0.5211 J=11/8 ~1.3750 Y=7429/19602 ~0.3790 eta=[0.339035952556, 0.339035952557] Y_bound=[1.117851769820, 1.117851769821]
WORLD (3,2,2,8,2) LOCAL states=108 N2_p=79613033850942196645989023758292552303760157412705873/23753251949131225589405297928228728736234632436840237 ~3.3517 N2_pi_c=3497/1233 ~2.8362 H=1677527630233314730928237715439872511102640495359559180/3254195517030977905748525816167335836864144643847112469 ~0.5155 J=1972704878532985190024110369783464457442168895567172/2639250216570136176600588658692080970692736937426693 ~0.7474 Y=22072731976754141196424180466314111988192638096836305/32004540989883825517101685341355416789818345371504251 ~0.6897 eta=[0.332960603937, 0.332960603938] Y_bound=[2.071341165115, 2.071341165116]
WORLD (3,2,2,8,2) GLOBAL states=108 N2_p=763/222 ~3.4369 N2_pi_c=3497/1233 ~2.8362 H=54815/91242 ~0.6008 J=91/74 ~1.2297 Y=54815/112203 ~0.4885 eta=[0.339035952556, 0.339035952557] Y_bound=[1.440950940400, 1.440950940401]
WORLD (3,3,2,8,2) LOCAL states=344 N2_p=12763173854274917096326632997678671357692994342506670810427128556214692140971265139552095847762084809422133919527752238853758719305918630441257851142989574631/3225044396970136316544014347117165883282839905056955429306045060039768021333707772725938134106252884021161419785086262703116677235372577658890183814085584112 ~3.9575 N2_pi_c=6827/1955 ~3.4921 H=2934626786992342290272581562692911019117855907776706718512666702508226853953600383424367740831487363207802799803971711484920740757182334835415814085782335670981/6304961796076616498843548048614059301817952014386347864293318092377746481707398695679209052177724388261370575679843643584593103995153389323130309356537316938960 ~0.4654 J=8192518595711864645228242374455357169266227712265629719935406837124305783632079523687424477815678990230042247192161547811345655893243432321680682630062631055/12900177587880545266176057388468663533131359620227821717224180240159072085334831090903752536425011536084645679140345050812466708941490310635560735256342336448 ~0.6351 Y=11738507147969369161090326250771644076471423631106826874050666810032907415814401533697470963325949452831211199215886845939682963028729339341663256343129342683924/16016373854616695381421213842060223265915475177479306102473720366578017807000715468808914854129652425899732593260675825971180757271290910188885734541772443712525 ~0.7329 eta=[0.329570510238, 0.329570510239] Y_bound=[2.223823559088, 2.223823559089]
WORLD (3,3,2,8,2) GLOBAL states=344 N2_p=1594/391 ~4.0767 N2_pi_c=6827/1955 ~3.4921 H=1143/1955 ~0.5847 J=429/391 ~1.0972 Y=381/715 ~0.5329 eta=[0.339035952556, 0.339035952557] Y_bound=[1.571712760399, 1.571712760400]
WORLD (3,1,2,6,3) LOCAL states=32 N2_p=70744772818366385/25095537154463271 ~2.8190 N2_pi_c=367/147 ~2.4966 H=132157718734648682/409893773522900093 ~0.3224 J=3980399759819178/8365179051487757 ~0.4758 Y=66078859367324341/97519794115569861 ~0.6776 eta=[0.410544845085, 0.410544845086] Y_bound=[1.650475791333, 1.650475791334]
WORLD (3,1,2,6,3) GLOBAL states=32 N2_p=345/121 ~2.8512 N2_pi_c=367/147 ~2.4966 H=6308/17787 ~0.3546 J=41/55 ~0.7455 Y=31540/66297 ~0.4757 eta=[0.415037499278, 0.415037499279] Y_bound=[1.146252971969, 1.146252971970]
WORLD (3,2,2,6,3) LOCAL states=108 N2_p=124910463385850611212984520364120936802470625126001/35467122004589372863030685374036420075178825767557 ~3.5219 N2_pi_c=99/31 ~3.1935 H=360979286507021034162482279258143453433885627917888/1099480782142270558753951246595129022330543598794267 ~0.3283 J=14292495410939404728189043200688303380751904646478/35467122004589372863030685374036420075178825767557 ~0.4030 Y=180489643253510517081241139629071726716942813958944/221533678869560773286930169610668702401654522020409 ~0.8147 eta=[0.406038781227, 0.406038781228] Y_bound=[2.006527015662, 2.006527015663]
WORLD (3,2,2,6,3) GLOBAL states=108 N2_p=1143/319 ~3.5831 N2_pi_c=99/31 ~3.1935 H=3852/9889 ~0.3895 J=635/957 ~0.6635 Y=11556/19685 ~0.5870 eta=[0.415037499278, 0.415037499279] Y_bound=[1.414440803811, 1.414440803812]
WORLD (3,3,2,6,3) LOCAL states=344 N2_p=1346598808995138924321497580732917981019813382897941975347481548059725032798339049578694384706495236375409541661799310747107332546114202947588060575/326014813637071387172672155309854742047925176388816187435875290791045978420460424262355219927199949199698335467251467865251410636989920894181732097 ~4.1305 N2_pi_c=1411/367 ~3.8447 H=34194860859308257925349200986775858004649087638925064480505692831753211485720772561197623870004623429000950445588525886318650635631134100074394242158/119647436604805199092370680998716690331588539734695540788966231720313874080308975704284365713282381356289289116481288706547267703775300968164695679599 ~0.2858 J=111508925484242357732635202216855243974175860448488822611088052549216620781116298853438707467131087035592785958215678889358518826277202374466170989/326014813637071387172672155309854742047925176388816187435875290791045978420460424262355219927199949199698335467251467865251410636989920894181732097 ~0.3420 Y=34194860859308257925349200986775858004649087638925064480505692831753211485720772561197623870004623429000950445588525886318650635631134100074394242158/40923775652716945287877119213585874538522540784595397898269315285562499826669681679212005640437108942062552446665154152394576409243733271429084752963 ~0.8356 eta=[0.401318724720, 0.401318724721] Y_bound=[2.082071896864, 2.082071896865]
WORLD (3,3,2,6,3) GLOBAL states=344 N2_p=2423/575 ~4.2139 N2_pi_c=1411/367 ~3.8447 H=77916/211025 ~0.3692 J=1019/1725 ~0.5907 Y=233748/373973 ~0.6250 eta=[0.415037499278, 0.415037499279] Y_bound=[1.505983860939, 1.505983860940]
WORLD (4,1,2,3,2) LOCAL states=320 N2_p=808756818221235173429613995857094995/157889320933108423617133931850766867 ~5.1223 N2_pi_c=19/4 ~4.7500 H=235130175155880644992911278263809507/631557283732433694468535727403067468 ~0.3723 J=58902140339977240821392875515084096/157889320933108423617133931850766867 ~0.3731 Y=78376725051960214997637092754603169/78536187119969654428523834020112128 ~0.9980 eta=[0.432400591012, 0.432400591013] Y_bound=[2.307974579155, 2.307974579156]
WORLD (4,1,2,3,2) GLOBAL states=320 N2_p=3337/637 ~5.2386 N2_pi_c=19/4 ~4.7500 H=1245/2548 ~0.4886 J=72/91 ~0.7912 Y=415/672 ~0.6176 eta=[0.449660286786, 0.449660286787] Y_bound=[1.373391295510, 1.373391295511]
WORLD (4,1,2,8,2) LOCAL states=320 N2_p=12319338333773162063597120488826622914843347/3551587265617793928953782146761044947519669 ~3.4687 N2_pi_c=226/81 ~2.7901 H=65069227668668233069270664808986765987621971/95892856171680436081752117962548213583031063 ~0.6786 J=4763379397131605537701315129437439460352116/3551587265617793928953782146761044947519669 ~1.3412 Y=65069227668668233069270664808986765987621971/128611243722553349517935508494810865429507132 ~0.5059 eta=[0.333837581632, 0.333837581633] Y_bound=[1.515519358773, 1.515519358774]
WORLD (4,1,2,8,2) GLOBAL states=320 N2_p=97/27 ~3.5926 N2_pi_c=226/81 ~2.7901 H=65/81 ~0.8025 J=17/6 ~2.8333 Y=130/459 ~0.2832 eta=[0.339035952556, 0.339035952557] Y_bound=[0.835381612881, 0.835381612882]
WORLD (4,1,2,6,3) LOCAL states=320 N2_p=144411748566299157968427631961349208321217/38884440999723099507262231673659615392805 ~3.7139 N2_pi_c=797/245 ~3.2531 H=877995784392796678995354237324768514126516/1905337608986431875855849352009321154247445 ~0.4608 J=28391086077657891013444914094706457006477/38884440999723099507262231673659615392805 ~0.7301 Y=877995784392796678995354237324768514126516/1391163217805236659658800790640616393317373 ~0.6311 eta=[0.407277945710, 0.407277945711] Y_bound=[1.549613712405, 1.549613712406]
WORLD (4,1,2,6,3) GLOBAL states=320 N2_p=7829/2057 ~3.8060 N2_pi_c=797/245 ~3.2531 H=278676/503965 ~0.5530 J=288/187 ~1.5401 Y=7741/21560 ~0.3590 eta=[0.415037499278, 0.415037499279] Y_bound=[0.865089365480, 0.865089365481]
H0 SUPPORTED fuel-buys-open-future H_local>0 in every world failing=none
H1 SUPPORTED targeting-beats-heating Y_local>Y_global in every world failing=none
H2 REFUTED yield-rises-with-horizon Y_local strictly increasing tau=1,2,3 (N=3) for each pair failing=(3,2)
H3 REFUTED foresight-sharpens-targeting Y_local/Y_global strictly increasing tau=1,2,3 (N=3) for each pair failing=(3,2);(8,2);(6,3)
OVERALL PASS