diff --git a/.github/workflows/r420-static44-composition.yml b/.github/workflows/r420-static44-composition.yml new file mode 100644 index 0000000000..e955d63349 --- /dev/null +++ b/.github/workflows/r420-static44-composition.yml @@ -0,0 +1,22 @@ +name: Verify R420 static44 exact composition +on: + pull_request: + paths: + - 'research/r420-static44-composition/**' + - '.github/workflows/r420-static44-composition.yml' + workflow_dispatch: +permissions: + contents: read +jobs: + verify: + runs-on: ubuntu-latest + strategy: + fail-fast: false + matrix: + python: ['3.11', '3.14'] + steps: + - uses: actions/checkout@v4 + - uses: actions/setup-python@v5 + with: + python-version: ${{ matrix.python }} + - run: python -B research/r420-static44-composition/verify.py "${RUNNER_TEMP}/r420-static44.json" diff --git a/research/r420-static44-composition/EXPECTED.json b/research/r420-static44-composition/EXPECTED.json new file mode 100644 index 0000000000..15fa433192 --- /dev/null +++ b/research/r420-static44-composition/EXPECTED.json @@ -0,0 +1,154 @@ +{ + "status": "PASS_EXACT_CITED_R420_STATIC44_COMPOSITION", + "kappa": "49718254847979/31250000000000000", + "kappa_decimal": "0.001590984155135328", + "complex_lower": "796759709641153381751/500000000000000000000000", + "complex_decimal": "0.001593519419282306763502", + "bit_lower": "413456747036699736067/250000000000000000000000", + "bit_decimal": "0.001653826988146798944268", + "binding": "complex", + "gain_over_previous547_percent": "0.0171593107587460688586416000609078438492882168991091152294411", + "gain_over548_percent": "0.0247118431433693012674859111625623616362439652600179171202640", + "moments": [ + { + "side": "bit", + "endpoint": "413456747036699736067/250000000000000000000000", + "accept": true, + "mercator": [ + "-6043813583626134311169770662156174867615397/13479973333575319897333507543509815336818572211270286240551805124608", + "-12087627167252268622339541324312349735230793/26959946667150639794667015087019630673637144422540572481103610249216" + ], + "base_two": [ + "-1120888283015460284783/2500000000000000000000000000000000000000000000", + "-4483543132061841139029/10000000000000000000000000000000000000000000000" + ] + }, + { + "side": "bit", + "endpoint": "1653826988146798944269/1000000000000000000000000", + "accept": false, + "mercator": [ + "70925594433828721229860776023154018035852861/26959946667150639794667015087019630673637144422540572481103610249216", + "70925594433828721229860776023154018035852863/26959946667150639794667015087019630673637144422540572481103610249216" + ], + "base_two": [ + "13153878434097279887307/5000000000000000000000000000000000000000000000", + "6576941717048639943679/2500000000000000000000000000000000000000000000" + ] + }, + { + "side": "complex", + "endpoint": "796759709641153381751/500000000000000000000000", + "accept": true, + "mercator": [ + "-10246507538028892741779540016732299675699989/3369993333393829974333376885877453834204643052817571560137951281152", + "-40986030152115570967118160066929198702799955/13479973333575319897333507543509815336818572211270286240551805124608" + ], + "base_two": [ + "-15202564279224733388737/5000000000000000000000000000000000000000000000", + "-30405118558449466777339/10000000000000000000000000000000000000000000000" + ] + }, + { + "side": "complex", + "endpoint": "1593519419282306763503/1000000000000000000000000", + "accept": false, + "mercator": [ + "1037234393320446805449126419505793920849445/26959946667150639794667015087019630673637144422540572481103610249216", + "1037234393320446805449126419505793920849447/26959946667150639794667015087019630673637144422540572481103610249216" + ], + "base_two": [ + "76946288382579091269/2000000000000000000000000000000000000000000000", + "384741441912895456481/10000000000000000000000000000000000000000000000" + ] + } + ], + "bootstrap": [ + { + "exponent": "397760350435047649330451002387195702930242050312630390881122588000151256460173999/250000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "619504385529041146419142792227606194257949687369609118877411999848743539826001/250000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "5862647033544" + }, + { + "exponent": "199189433814154009698468905032996771092418811824239014677904446825618533041998315265707662313303818529537941464091268707751/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "493596134335539966167556714883469831188175760985322095553174381466958001684734292337686696181470462058535908731292249/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "2308761263390147923" + }, + { + "exponent": "99594963311866659946036974138395469974978826076673606685133475647464363957527262514192923280348914592045105635394675275454417987824710291263104431631454402644347999/62500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "393277512673180562156460357306146173923326393314866524352535636042472737485807076719651085407954894364605324724545582012175289708736895568368545597355652001/62500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "909210215254766291985379" + }, + { + "exponent": "49797481852258738632802889783716188711899780093600929149125944808018631690657158250315928409650625999093190974437740683152133943105518680299303786294654877994763835677491658279551156485713546392514660033751/31250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "313347676805878363711724928662719906399070850874055191981368309342841749684071590349374000906809025562259316847866056894481319700696213705345122005236164322508341720448843514286453607485339966249/31250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "358054870649449254692504219945" + }, + { + "exponent": "24898740926285793492000395492096998381346177895286117491248281155558810658914408003695580398133718063050999637462738644618290598054150377259717794905559216604896530615531217238696729963073465726147173978725116830486470062822903747848057462552521999/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "249662803988581616958438935072104713882508751718844441189341085591996304419601866281936949000362537261355381709401945849622740282205094440783395103469384468782761303270036926534273852826021274883169513529937177096252151942537447478001/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "141005114378164445943590957094692848" + }, + { + "exponent": "12449370463143021378480928822718499083915293711037870443887655832212442416126479235800990290121065950897740611789698464515337209575886961645827217092759256467028407657914667630812815228270866099327582013928925081111061389077775143108243949965196613200397181986952416323078440184887327359751/7812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "198921263214138479326225331288962129556112344167787557583873520764199009709878934049102259388210301535484662790424113038354172782907240743532971592342085332369187184771729133900672417986071074918888938610922224856891756050034803386799602818013047583676921559815112672640249/7812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "55529037336472887111099907436878587591551" + } + ], + "outer": { + "bit_positive": "12449370463143021378480928822718499083915293711037870443887655832212442416126479235800990290121065950897740611789698464515337209575886961645827217092759256467028407657914667630812815228270866099327582013928925081111061389077775143108243949965196613200397181986952416323078440184887327359751/7812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "complex_above_bit": "211378446177281500916084706288962129556112344167787557583873520764199009709878934049102259388210301535484662790424113038354172782907240743532971592342085332369187184771729133900672417986071074918888938610922224856891756050034803386799602818013047583676921559815112672640249/7812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "complex_below_one_over32": "14828240290358846618249/500000000000000000000000", + "beta_positive": "1/1000000000000000000", + "beta_below_one": "999999999999999999/1000000000000000000", + "leaf_saving_above_bit": "198929075714138479326225331288962129556112344167787557583873520764199009709878934049102259388210301535484662790424113038354172782907240743532971592342085332369187184771729133900672417986071074918888938610922224856891756050034803386799602818013047583676921559815112672640249/7812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_positive": "6224685231571510676791093948216228163476718032800436138028534205068350764175583785688052728934053739647880015773783281359927992998245016307576398970492666587686986736198077348377999956220765418850975778693596441227948680609962490443060585904823163491954641028279594961142038105491247356797059815112672640249/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_internal": "12449370463143021378480928822718499083915293711037870443887655832212442416126479235800990290121065950897740611789698464515337209575886961645827217092759256467028407657914667630812815228270866099327582013928925081111061389077775143108243949965196613200397181986952416323078440184887327359751/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_leaf": "111913908320212261041593594467199563861971465794931649235824416214311947271065946260352119984226216718640072007001754983692423601029507333412313013263801922651622000043779234581149024221306403558772051319390037509556939414095176836508045358971720405038857961894508752643202940184887327359751/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "c_positive": "6224685231571511653353593948216228163476718032800436138028534205068350764175583785688052728934053739647880015773783281359927992998245016307576398970492666587686986736198077348377999956220765418850975778693596441227948680609962490443060585904823163491954641028279594961142038105491247356797059815112672640249/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "c_below_one": "3900025314768428488346646406051783771836523281967199563861971465794931649235824416214311947271065946260352119984226216718640072007001754983692423601029507333412313013263801922651622000043779234581149024221306403558772051319390037509556939414095176836508045358971720405038857961894508752643202940184887327359751/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_reservations": "1/4000000000000000000", + "lambda_above_tau": "12449370463143021378480928822718499083915293711037870443887655832212442416126479235800990290121065950897740611789698464515337209575886961645827217092759256467028407657914667630812815228270866099327582013928925081111061389077775143108243949965196613200397181986952416323078440184887327359751/7812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_above_sigma": "223827816640424522294565635111680628640027637878825428027761176596411452126005413284903249678331367486382403402213811502869509992483127705178798809434844588836215592429643801531485233214341941018216520624851149938002817439112578529907846767978244196877318741802065088963327440184887327359751/7812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_above_internal": "12449370463143021378480928822718499083915293711037870443887655832212442416126479235800990290121065950897740611789698464515337209575886961645827217092759256467028407657914667630812815228270866099327582013928925081111061389077775143108243949965196613200397181986952416323078440184887327359751/7812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_prime_above_lambda": "12449370463143021378480928822718499083915293711037870443887655832212442416126479235800990290121065950897740611789698464515337209575886961645827217092759256467028407657914667630812815228270866099327582013928925081111061389077775143108243949965196613200397181986952416323078440184887327359751/7812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_leaf": "111913908320212261041593594467199563861971465794931649235824416214311947271065946260352119984226216718640072007001754983692423601029507333412313013263801922651622000043779234581149024221306403558772051319390037509556939414095176836508045358971720405038857961894508752643202940184887327359751/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_reservations": "1/4000000000000000000", + "lambda_prime_below_one": "6224685231571510676791093948216228163476718032800436138028534205068350764175583785688052728934053739647880015773783281359927992998245016307576398970492666587686986736198077348377999956220765418850975778693596441227948680609962490443060585904823163491954641028279594961142038105491247356797059815112672640249/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "epsilon_positive": "3906249999999999996093750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/3912474685231571510676791093948216228163476718032800436138028534205068350764175583785688052728934053739647880015773783281359927992998245016307576398970492666587686986736198077348377999956220765418850975778693596441227948680609962490443060585904823163491954641028279594961142038105491247356797059815112672640249", + "epsilon_below_one": "6224685231571514583041093948216228163476718032800436138028534205068350764175583785688052728934053739647880015773783281359927992998245016307576398970492666587686986736198077348377999956220765418850975778693596441227948680609962490443060585904823163491954641028279594961142038105491247356797059815112672640249/3912474685231571510676791093948216228163476718032800436138028534205068350764175583785688052728934053739647880015773783281359927992998245016307576398970492666587686986736198077348377999956220765418850975778693596441227948680609962490443060585904823163491954641028279594961142038105491247356797059815112672640249", + "guard_width": "6224685231571514583041093948216228163476718032800436138028534205068350764175583785688052728934053739647880015773783281359927992998245016307576398970492666587686986736198077348377999956220765418850975778693596441227948680609962490443060585904823163491954641028279594961142038105491247356797059815112672640249/3912474685231571510676791093948216228163476718032800436138028534205068350764175583785688052728934053739647880015773783281359927992998245016307576398970492666587686986736198077348377999956220765418850975778693596441227948680609962490443060585904823163491954641028279594961142038105491247356797059815112672640249", + "K_geometry": "2935912185231571511653353593948216228163476718032800436138028534205068350764175583785688052728934053739647880015773783281359927992998245016307576398970492666587686986736198077348377999956220765418850975778693596441227948680609962490443060585904823163491954641028279594961142038105491247356797059815112672640249/3912474685231571510676791093948216228163476718032800436138028534205068350764175583785688052728934053739647880015773783281359927992998245016307576398970492666587686986736198077348377999956220765418850975778693596441227948680609962490443060585904823163491954641028279594961142038105491247356797059815112672640249000000000000000000", + "K_dominates_log": "6224685231571511647128908716644716510123124084584207974551816172267914626147049580619701964758469953959827286839729541712047977224461734947648405972247650280110587765705410760691013220022688070472975822472831022376972901916366049215111905294860673048894055123456431469187397077211652395655021709621425283451940184887327359751/3912474685231571510676791093948216228163476718032800436138028534205068350764175583785688052728934053739647880015773783281359927992998245016307576398970492666587686986736198077348377999956220765418850975778693596441227948680609962490443060585904823163491954641028279594961142038105491247356797059815112672640249000000000000000000", + "record_suffix": "6224685231571514583041093948216228163476718032800436138028534205068350764175583785688052728934053739647880015773783281359927992998245016307576398970492666587686986736198077348377999956220765418850975778693596441227948680609962490443060585904823163491954641028279594961142038105491247356797059815112672640249/3912474685231571510676791093948216228163476718032800436138028534205068350764175583785688052728934053739647880015773783281359927992998245016307576398970492666587686986736198077348377999956220765418850975778693596441227948680609962490443060585904823163491954641028279594961142038105491247356797059815112672640249", + "phase_local": "49797481852572112751854066354158314631022650314187260940751555607746369975376136080436071067296846131494987397256212511231543928212176849100683198765696316393919494919091952199337012913568046002429806273328006110972613666186103482316536006628622817492576542321413596197181663815650383893234440415410133765194940184887327359751/31299797481852572085414328751585729825307813744262403489104228273640546806113404670285504421831472429917183040126190266250879423943985960130460611191763941332701495893889584618787023999649766123350807806229548771529823589444879699923544484687238585307935637128226236759689136304843929978854376478520901381121992000000000000000000", + "phase_boundary": "9959496370514419420391065085574454384771654904264469657368936695308925084652399852032533602118902197748555296303999510528004773023408744732194245354543250232722779807424257169717813193755147321783561289688988887113742110282343543480948256837754571144066839740424188445872619940506400809733257598689028867601340184887327359751/6259959496370514417082865750317145965061562748852480697820845654728109361222680934057100884366294485983436608025238053250175884788797192026092122238352788266540299178777916923757404799929953224670161561245909754305964717888975939984708896937447717061587127425645247351937827260968785995770875295704180276224398400000000000000000", + "gamma_sublinear": "1/2000000000000000000", + "cell_above_band": "7812499999999999988275025314768428489323208906051783771836523281967199563861971465794931649235824416214311947271065946260352119984226216718640072007001754983692423601029507333412313013263801922651622000043779234581149024221306403558772051319390037509556939414095176836508045358971720405038857961894508752643202940184887327359751/15649898740926286042707164375792864912653906872131201744552114136820273403056702335142752210915736214958591520063095133125439711971992980065230305595881970666350747946944792309393511999824883061675403903114774385764911794722439849961772242343619292653967818564113118379844568152421964989427188239260450690560996000000000000000000", + "prime_interval_packing": "6224685231571514583041093948216228163476718032800436138028534205068350764175583785688052728934053739647880015773783281359927992998245016307576398970492666587686986736198077348377999956220765418850975778693596441227948680609962490443060585904823163491954641028279594961142038105491247356797059815112672640249/3912474685231571510676791093948216228163476718032800436138028534205068350764175583785688052728934053739647880015773783281359927992998245016307576398970492666587686986736198077348377999956220765418850975778693596441227948680609962490443060585904823163491954641028279594961142038105491247356797059815112672640249", + "alpha_positive": "12449370463143025253607502664860945650162342117384644112580350377336265390322633366307754693692523693607707302613512823071975970222706751255224804942740316867797574501903488109069013176243453489323951601166427463604921582526328539658172491199683836540848696151736026430329435182702899752452081524734097923700940184887327359751/7824949370463143021353582187896432456326953436065600872276057068410136701528351167571376105457868107479295760031547566562719855985996490032615152797940985333175373973472396154696755999912441530837701951557387192882455897361219924980886121171809646326983909282056559189922284076210982494713594119630225345280498000000000000000000", + "alpha_below_one": "7812499999999999996099974685231571510676791093948216228163476718032800436138028534205068350764175583785688052728934053739647880015773783281359927992998245016307576398970492666587686986736198077348377999956220765418850975778693596441227948680609962490443060585904823163491954641028279594961142038105491247356797059815112672640249/7824949370463143021353582187896432456326953436065600872276057068410136701528351167571376105457868107479295760031547566562719855985996490032615152797940985333175373973472396154696755999912441530837701951557387192882455897361219924980886121171809646326983909282056559189922284076210982494713594119630225345280498000000000000000000", + "alpha_below_one_fourth": "1943787972152642730084788044309247168431576016899015573956433916725197909991765158526536271670774503176216232705273378817607988026276415756898563394542506016426045918866195550565119986801866929220101536288180370757009052757778652705563357801752727745205128624362403771050241583870042723925946448382822238396423559815112672640249/7824949370463143021353582187896432456326953436065600872276057068410136701528351167571376105457868107479295760031547566562719855985996490032615152797940985333175373973472396154696755999912441530837701951557387192882455897361219924980886121171809646326983909282056559189922284076210982494713594119630225345280498000000000000000000", + "delta_positive": "1/8000000000000000000", + "delta_below_one_eighth": "999999999999999999/8000000000000000000", + "short_record_fallback": "30468870278215883253279576385364532732501670532054930236730291264531415191303829624880314156895148329578287646407701177952181558600149151720480279878020145229631299529137622536237963913415925087003022379847444803154980707552295752642067358713357209231161476014693978419757322637271444912597387973966467538246869896905259154146207131668614652102140322278108288048679377406665366384500590940190812457489959423297112423326559462289838186067046949018736044869001563526775907238826720794193014810894386572535497537722641249762098375215459044124873602554155964233448960109584254509043276554611730680574782001/30566208478371652427162430421470439282527161859631253407328347923477096490345121748325687911944797294840999062623232681885624437445298789189902940616956973957716304583876547479284203124657974729834773248271043722197093349067265331956586410827381430964780895633033434335633922172699150369974977029805567755001945312500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "small_field_exposure": "1/1000000000000000000", + "artificial_boundary": "219148379854820576726302054068380553134492883235943876597324256343222775757321322964899240426944306190694528479196324291225979031599209030887764673513106265710534696348028154950059252957406723218851596449705052468495141642895118388712039723539738569934814278783524363567988954361836278615718437942483684791046327179445338017920747/31299797481852572085414328751585729825307813744262403489104228273640546806113404670285504421831472429917183040126190266250879423943985960130460611191763941332701495893889584618787023999649766123350807806229548771529823589444879699923544484687238585307935637128226236759689136304843929978854376478520901381121992000000000000000000", + "literal_scalar_guard": "1", + "row_product_gap": "23971789/25", + "balanced_prefix_above_kappa": "138425058996315707217774779300592935653017434331149641386623152962514841680245842673665890017367652092930878306442673249412762089431615993210740074999706784766807319685310263318419048015443150121182494111828023762142080367268094902968681019962979870311905874008160440722938389691933560641125875070561948293229/122264833913486609708649721685881757130108647438525013629313391693908385961380486993302751647779189179363996250492930727542497749781195156759611762467827895830865218335506189917136812498631898919339092993084174888788373396269061327826345643309525723859123582532133737342535688690796601479899908119222271020007781250000000000000", + "coordinate_movement_above_kappa": "19806751148271378480928822718499083915293711037870443887655832212442416126479235800990290121065950897740611789698464515337209575886961645827217092759256467028407657914667630812815228270866099327582013928925081111061389077775143108243949965196613200397181986952416323078440184887327359751/7812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_phase_layer_above_kappa": "517127202650531120292001843670757712733081180563988088233912360595406583003691381771620427826830813234140225790391760699848458868813466766436106001020124445950147243193730348841031536537960038458988835799803163947318623071969074404554732052910532686489033327232854508172886432036382693159230942442869672743079/3912474685231571510676791093948216228163476718032800436138028534205068350764175583785688052728934053739647880015773783281359927992998245016307576398970492666587686986736198077348377999956220765418850975778693596441227948680609962490443060585904823163491954641028279594961142038105491247356797059815112672640249000000000000000000", + "bulk_exposure_above_kappa": "19806751148271378480928822718499083915293711037870443887655832212442416126479235800990290121065950897740611789698464515337209575886961645827217092759256467028407657914667630812815228270866099327582013928925081111061389077775143108243949965196613200397181986952416323078440184887327359751/7812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "Gaussian_arithmetic_above_kappa": "15874441676898963494366388031210710386355079598610306014285384487378457716322057805530027580801448667092065446370455435442867454929502469180411577205072473567364238905758437022773386292172342603928463613734506100902232830617582482707767038180998730982388130540947674850266517570607535287344238718988295399865379/31299797481852572085414328751585729825307813744262403489104228273640546806113404670285504421831472429917183040126190266250879423943985960130460611191763941332701495893889584618787023999649766123350807806229548771529823589444879699923544484687238585307935637128226236759689136304843929978854376478520901381121992000000000000000000", + "scalar_work_above_kappa": "252194723342601996296588419256028602392071891765932062070699988993589848955030081125382238333737479056405255731468404548546457335211963593965135062407635553869719894821625834657335186335977805324830940134794243893337157002720178661356314244196944189090847592840486345840888685784236002214171415665989968723411/250398379854820576683314630012685838602462509954099227912833826189124374448907237362284035374651779439337464321009522130007035391551887681043684889534111530661611967151116676950296191997198128986806462449836390172238588715559037599388355877497908682463485097025809894077513090438751439830835011828167211048975936000000000000000", + "dimension_above_kappa": "121875791086513390185634712310433950087666131862067922023704042637241255425242665969212090032466653494301893766874721365388380556661478092653150326963788097379874856664200594849670507186678364399079955022358975232394120715558962434315734723958569179109557437430846132969370185317363839243038481572711289621118093820561948293229/122264833913486609708649721685881757130108647438525013629313391693908385961380486993302751647779189179363996250492930727542497749781195156759611762467827895830865218335506189917136812498631898919339092993084174888788373396269061327826345643309525723859123582532133737342535688690796601479899908119222271020007781250000000000000" + }, + "controls": [ + "next_grid", + "zero_eta", + "zero_beta", + "unit_beta" + ], + "scope": "Exact arithmetic composition of PR543 bit and PR548 complex, with completed independent finite replays retained separately. This verifier does not rebuild either physical operator. Inherited all-size compiler, common-label/mutable-source, hosting, precision/tape and analytic interfaces remain conditional. R420 interleaved phase-B source writes rely on its stated H1-H5 interface argument." +} diff --git a/research/r420-static44-composition/LICENSE b/research/r420-static44-composition/LICENSE new file mode 100644 index 0000000000..261eeb9e9f --- /dev/null +++ b/research/r420-static44-composition/LICENSE @@ -0,0 +1,201 @@ + Apache License + Version 2.0, January 2004 + http://www.apache.org/licenses/ + + TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION + + 1. Definitions. + + "License" shall mean the terms and conditions for use, reproduction, + and distribution as defined by Sections 1 through 9 of this document. + + "Licensor" shall mean the copyright owner or entity authorized by + the copyright owner that is granting the License. + + "Legal Entity" shall mean the union of the acting entity and all + other entities that control, are controlled by, or are under common + control with that entity. For the purposes of this definition, + "control" means (i) the power, direct or indirect, to cause the + direction or management of such entity, whether by contract or + otherwise, or (ii) ownership of fifty percent (50%) or more of the + outstanding shares, or (iii) beneficial ownership of such entity. + + "You" (or "Your") shall mean an individual or Legal Entity + exercising permissions granted by this License. + + "Source" form shall mean the preferred form for making modifications, + including but not limited to software source code, documentation + source, and configuration files. + + "Object" form shall mean any form resulting from mechanical + transformation or translation of a Source form, including but + not limited to compiled object code, generated documentation, + and conversions to other media types. + + "Work" shall mean the work of authorship, whether in Source or + Object form, made available under the License, as indicated by a + copyright notice that is included in or attached to the work + (an example is provided in the Appendix below). + + "Derivative Works" shall mean any work, whether in Source or Object + form, that is based on (or derived from) the Work and for which the + editorial revisions, annotations, elaborations, or other modifications + represent, as a whole, an original work of authorship. For the purposes + of this License, Derivative Works shall not include works that remain + separable from, or merely link (or bind by name) to the interfaces of, + the Work and Derivative Works thereof. + + "Contribution" shall mean any work of authorship, including + the original version of the Work and any modifications or additions + to that Work or Derivative Works thereof, that is intentionally + submitted to Licensor for inclusion in the Work by the copyright owner + or by an individual or Legal Entity authorized to submit on behalf of + the copyright owner. For the purposes of this definition, "submitted" + means any form of electronic, verbal, or written communication sent + to the Licensor or its representatives, including but not limited to + communication on electronic mailing lists, source code control systems, + and issue tracking systems that are managed by, or on behalf of, the + Licensor for the purpose of discussing and improving the Work, but + excluding communication that is conspicuously marked or otherwise + designated in writing by the copyright owner as "Not a Contribution." + + "Contributor" shall mean Licensor and any individual or Legal Entity + on behalf of whom a Contribution has been received by Licensor and + subsequently incorporated within the Work. + + 2. Grant of Copyright License. Subject to the terms and conditions of + this License, each Contributor hereby grants to You a perpetual, + worldwide, non-exclusive, no-charge, royalty-free, irrevocable + copyright license to reproduce, prepare Derivative Works of, + publicly display, publicly perform, sublicense, and distribute the + Work and such Derivative Works in Source or Object form. + + 3. Grant of Patent License. Subject to the terms and conditions of + this License, each Contributor hereby grants to You a perpetual, + worldwide, non-exclusive, no-charge, royalty-free, irrevocable + (except as stated in this section) patent license to make, have made, + use, offer to sell, sell, import, and otherwise transfer the Work, + where such license applies only to those patent claims licensable + by such Contributor that are necessarily infringed by their + Contribution(s) alone or by combination of their Contribution(s) + with the Work to which such Contribution(s) was submitted. If You + institute patent litigation against any entity (including a + cross-claim or counterclaim in a lawsuit) alleging that the Work + or a Contribution incorporated within the Work constitutes direct + or contributory patent infringement, then any patent licenses + granted to You under this License for that Work shall terminate + as of the date such litigation is filed. + + 4. Redistribution. You may reproduce and distribute copies of the + Work or Derivative Works thereof in any medium, with or without + modifications, and in Source or Object form, provided that You + meet the following conditions: + + (a) You must give any other recipients of the Work or + Derivative Works a copy of this License; and + + (b) You must cause any modified files to carry prominent notices + stating that You changed the files; and + + (c) You must retain, in the Source form of any Derivative Works + that You distribute, all copyright, patent, trademark, and + attribution notices from the Source form of the Work, + excluding those notices that do not pertain to any part of + the Derivative Works; and + + (d) If the Work includes a "NOTICE" text file as part of its + distribution, then any Derivative Works that You distribute must + include a readable copy of the attribution notices contained + within such NOTICE file, excluding those notices that do not + pertain to any part of the Derivative Works, in at least one + of the following places: within a NOTICE text file distributed + as part of the Derivative Works; within the Source form or + documentation, if provided along with the Derivative Works; or, + within a display generated by the Derivative Works, if and + wherever such third-party notices normally appear. The contents + of the NOTICE file are for informational purposes only and + do not modify the License. You may add Your own attribution + notices within Derivative Works that You distribute, alongside + or as an addendum to the NOTICE text from the Work, provided + that such additional attribution notices cannot be construed + as modifying the License. + + You may add Your own copyright statement to Your modifications and + may provide additional or different license terms and conditions + for use, reproduction, or distribution of Your modifications, or + for any such Derivative Works as a whole, provided Your use, + reproduction, and distribution of the Work otherwise complies with + the conditions stated in this License. + + 5. Submission of Contributions. Unless You explicitly state otherwise, + any Contribution intentionally submitted for inclusion in the Work + by You to the Licensor shall be under the terms and conditions of + this License, without any additional terms or conditions. + Notwithstanding the above, nothing herein shall supersede or modify + the terms of any separate license agreement you may have executed + with Licensor regarding such Contributions. + + 6. Trademarks. This License does not grant permission to use the trade + names, trademarks, service marks, or product names of the Licensor, + except as required for reasonable and customary use in describing the + origin of the Work and reproducing the content of the NOTICE file. + + 7. Disclaimer of Warranty. Unless required by applicable law or + agreed to in writing, Licensor provides the Work (and each + Contributor provides its Contributions) on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or + implied, including, without limitation, any warranties or conditions + of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A + PARTICULAR PURPOSE. You are solely responsible for determining the + appropriateness of using or redistributing the Work and assume any + risks associated with Your exercise of permissions under this License. + + 8. Limitation of Liability. In no event and under no legal theory, + whether in tort (including negligence), contract, or otherwise, + unless required by applicable law (such as deliberate and grossly + negligent acts) or agreed to in writing, shall any Contributor be + liable to You for damages, including any direct, indirect, special, + incidental, or consequential damages of any character arising as a + result of this License or out of the use or inability to use the + Work (including but not limited to damages for loss of goodwill, + work stoppage, computer failure or malfunction, or any and all + other commercial damages or losses), even if such Contributor + has been advised of the possibility of such damages. + + 9. Accepting Warranty or Additional Liability. While redistributing + the Work or Derivative Works thereof, You may choose to offer, + and charge a fee for, acceptance of support, warranty, indemnity, + or other liability obligations and/or rights consistent with this + License. However, in accepting such obligations, You may act only + on Your own behalf and on Your sole responsibility, not on behalf + of any other Contributor, and only if You agree to indemnify, + defend, and hold each Contributor harmless for any liability + incurred by, or claims asserted against, such Contributor by reason + of your accepting any such warranty or additional liability. + + END OF TERMS AND CONDITIONS + + APPENDIX: How to apply the Apache License to your work. + + To apply the Apache License to your work, attach the following + boilerplate notice, with the fields enclosed by brackets "[]" + replaced with your own identifying information. (Don't include + the brackets!) The text should be enclosed in the appropriate + comment syntax for the file format. We also recommend that a + file or class name and description of purpose be included on the + same "printed page" as the copyright notice for easier + identification within third-party archives. + + Copyright [yyyy] [name of copyright owner] + + Licensed under the Apache License, Version 2.0 (the "License"); + you may not use this file except in compliance with the License. + You may obtain a copy of the License at + + http://www.apache.org/licenses/LICENSE-2.0 + + Unless required by applicable law or agreed to in writing, software + distributed under the License is distributed on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + See the License for the specific language governing permissions and + limitations under the License. diff --git a/research/r420-static44-composition/MANIFEST.json b/research/r420-static44-composition/MANIFEST.json new file mode 100644 index 0000000000..4ffb20bf21 --- /dev/null +++ b/research/r420-static44-composition/MANIFEST.json @@ -0,0 +1,50 @@ +{ + "EXPECTED.json": "9b0c9375fc5db1ddda35f14c9f18bffd47067e4a7284940759adabc52c9b3382", + "LICENSE": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4", + "README.md": "7b0277097a121f9d66244283e591945fd724f1e7fb50bee65d672daed4590063", + "engines/base_two_moment.py": "aee70c242a2f1d225528fabe2002e1564d1dc884797c07d28a831c7878ee9098", + "engines/moment.py": "81cbc864e106418fc7854322746f72180cb8110ff39f74450a3b8d55a82c1482", + "engines/outer.py": "c1ebb52163a7219504c728a5c2b098bf1e50bf20148a2879c5a74c3cadc7c03c", + "evidence/PR543-COMPLETE-SUMMARY.log": "d30a5364e115dec511533562dd8f33ddd89e92c25e4e7ecc3eb7c7618dfb64e8", + "evidence/PR543-COMPLETED.json": "8191a8f3edb7f209ed7848524c549921781ca9a4849b21dab82ca19cb9e8d2d5", + "evidence/PR543-INDEPENDENT-INTERFACE.json": "957c926bea5ca5aa52c5e0d3b1623c813e1338e3ed7402c5f188edfbaed6eb7d", + "evidence/PR543-INITIAL-MISSING-SCIPY.log": "3812100f49eca4c04a63a47e84fc8e250c48133f86028183621c2b14cebfa2ec", + "evidence/PR543-INITIAL-PATH-FAILURE.log": "285dd6867d0afef59ee40801dfbaed1c01e06eb8284bfcb8e17672f5d0bb41f7", + "evidence/PR543-MUTANTS.json": "fa7c2b880d9f45b797b0894fd402e6b041b5f5318770497322f7673e16362c1e", + "evidence/PR543-NINE-HOSTED.json": "e1960e5b58f22664ef70e92cef39b658b97c3869b2de4b678e3d784a5fb385aa", + "evidence/PR543-NINE-RESULT.json": "f2a326be2a501ec6cac7c04719d31bf3b0007175c1a549538a11ec617128ae1e", + "evidence/PR543-PATH-REPAIRS.json": "036163e461d2cc95e394c9c76c99d8f46a1eeb384bafc07caf2156fe73a207dc", + "evidence/PR543-RESUME-DRIVER.py": "6633c9e2d6fc4bcdff7163514bf0a794b9492c7cef69a52bbef0a0e2548d91bd", + "evidence/PR543-RESUME.log": "a70e3273e255188568516e904668ea27fa4f9625a9cf3486222a06cd5a4941fd", + "evidence/PR543-SSD-ADAPTER.sh": "c75b57b5b53b6ce0eee968cfd7b9166f8a712c28843ff4b64094c95e46c7fb1b", + "evidence/PR544-COMPLEX-INVOICE.json": "ed3548659c59ec7d9785c4acfc85643ca042025d10aaa7f0c54edc6edb13be96", + "evidence/PR544-COMPLEX-OWNERS.json": "5df38f4b68a38107cb61c6b76cd18206a59831c5094bcd2adb7f6ba0c938b1a6", + "evidence/PR544-COMPLEX-PHASES.json": "e6669c16b6a5ad39a3446c65ed5905a300b6d54cee961afdcb304471aa499587", + "evidence/PR544-RECEIPT.json": "a24de6d257a3ff07eaf381a035529ec2113fcdf2ae201d648e41d8d52e174c50", + "evidence/PR544-RESULT.json": "fd8356f4e2dde0b0472404a9ce8b8dff4a4de87718b3bdbb1d4ea29cf84faf4c", + "evidence/PR548-COMPONENT.json": "0fc438b16cc4b53bddc716800a8bbb506607555dfb0fc423535853c336aab6d3", + "evidence/PR548-LOCAL-SCALAR.json": "b5c2235fc371d3e4c8dfa6787695780dfdce6c81cb1ea4f66897d7819c5ff662", + "evidence/PR548-OWNER-CONTROLS.json": "82282f9667068706a3a76811856bb639907a0fa9f8d56fad2d69c4642c50c5d2", + "evidence/PR548-PHASES.json": "c167df1cbbf568c0d7741f5554cf9e726b9f8455d9301e37ecf77e696bef46a9", + "evidence/PR548-REPLAY-DRIVER.py": "a71b265958ffe0f049a22d19a612ff1da3aa2f16f36bdac1bd87ee781202ee14", + "evidence/PR548-REPLAY.log": "de499c42bd776119bc285f5ed3ad839036a7836491c18d642b6d58de3749e383", + "evidence/PUBLICATION-PREPARATION-FAILURE.json": "8c5d29a2016ed35ae126b0f57dc7a5d1cef9dcf8c7cbd76842b925ae6affc53b", + "history/PR547-initial-EXPECTED.json": "e9a2c95c479fb9ef65aaad86d5819c14bb88191ae914eb6079258d8b8358c916", + "history/PR547-initial-README.md": "077ccda7cd805733b5bfebfde30d623d5de7d6089cd3295834a298f3c5e2b5ad", + "history/PR547-initial-verify.py": "28ab4525b465e2c6ab76ad7b403e24ad3474766b1a5dc00ee0a8ba1b7446ae6e", + "inputs/PR543-ACQUISITION.json": "77b69cf892405ba9761bef06de6f5a955230ed2256022739408772fc061cb5cf", + "inputs/PR543-EXPECTED.json": "06eccee9f6b77e140833df83407e7996dc948c17d49b0779ab171fbe463fd28d", + "inputs/PR543-NOTICE.md": "12ba6e0845f222e9940b00f6c60d261db104246a8d3143da267682973479f811", + "inputs/PR543-README.md": "9807be57c6adf26b30e4f54e2f8160075bbc05091f1a6d157e43d2a4620c1c9f", + "inputs/PR544-ACQUISITION.json": "7eed6ef089987e8044acf879362c8a9f1516999894b54494e6af4cb85ee4fc73", + "inputs/PR544-EXPECTED.json": "8f48531cb1ccc6c1fe7c80ba5990f8aea4278dbe9394bcc4d3f471a3e8d75f1c", + "inputs/PR544-NOTICE.md": "9217b11e4ad37d5a414ef90823b4e834c027078a24497f3ed7f86179f4cb3240", + "inputs/PR544-README.md": "0c9ac7e68d974e8fe0fe7aa40a164758a7c2e57a424d4d82290a141437cb0a40", + "inputs/PR548-ACQUISITION.json": "4159c958954bd25812d80e30ba720acff0dc4c4d287919c0a9cbbc8c9eda627a", + "inputs/PR548-EXPECTED.json": "2e458dd9880d001b63153e37ef7954c6bcfceae378ab4b225cfa1c94ea8e23ce", + "inputs/PR548-INVOICE.json": "17fb3b6f504f063442e2ea8e3987009b0acea4f8a010c66d8f64731f2f1bb347", + "inputs/PR548-LINEAGE.md": "5da58a79e16072498e9059740505318fa084ef0df81d82cc3563356e98fad8d9", + "inputs/PR548-OWNERS.json": "1a0367f3e633a203f0653fcc7f76ed45c05c1838f5b4d318fe89c15fc44a9c7a", + "inputs/PR548-README.md": "35d9ff10c94b5ff61d3c04e3f135bd2b6aaf682f3ed5b965dfb36cf25e02c1ea", + "verify.py": "f86755c2ed74ae5dfdc52561af232b9d14940aa7a8e3ee7dfb6521d1d0bcf3ef" +} diff --git a/research/r420-static44-composition/README.md b/research/r420-static44-composition/README.md new file mode 100644 index 0000000000..db9d990771 --- /dev/null +++ b/research/r420-static44-composition/README.md @@ -0,0 +1,33 @@ +# R420 bit supplier with the PR548 complex supplier + +**Conditional kappa = 0.001590984155135328**, **0.0171593% above the previous PR547 result**. This composes the unchanged R420 bit supplier of PR543 with PR548's static44 complex word, 477 frame lifts, cold-dirt source substitution and whole-owner allocation. The complex supplier binds. + +- PR543 bit c = 0.001653826988146798944268 at `2065fe4f72a914d907f1046603f5a36f17018535`. +- PR548 complex b = 0.001593519419282306763502 at `66dbc2bffc1bfa8d50b3f9a2ac7ccba8fd9f6f36`. +- Previous PR547 used PR544 complex b and reached kappa=0.001590711200057236. Its exact result, verifier and narrative are retained under history/; its input and evidence files are retained as historical dependencies. + +## Contribution + +This is an exact two-supplier composition. Neither source word nor owner map is altered. We reprice the actual global profiles and recompute the supplier minimum, all six finite bootstrap levels and the full outer assembly. Separate percentage gains are never added. PR548's bit word is not used; the independently verified PR543 R420 word remains the bit input. + +## Verification + +```sh +python -B research/r420-static44-composition/verify.py /absolute/new/receipt.json +``` + +Python standard library only. The output must not exist and must be outside the package. The manifest pins every input, engine and notice. Two rational engines check both savings, including rejection of the next 10^-24 grid point. Rank deficits, halving bounds, six explicit finite cutoffs, 47 strict outer inequalities and four invalid-parameter/grid controls pass. The retained bit two-level coefficient charge is 512 and row allowance 20161. + +This one-command verifier is arithmetic-only; physical operators are separately pinned dependencies. Independent Python 3.14 replays have completed for PR543's native/interface/mutation checks, both stage counts, complete hosting/invoices and baseline regressions; and now for PR548's complex construction, frames, changed local phase edges, residual wrappers, complete owner/controller checks and finite invoice. The PR548 component replay checks its final canonical word, complete global template and profile against its published exact expected hashes. It does not redundantly rebuild PR548's unused bit supplier. Unchanged local phase/data certificates remain hash-bound reused dependencies. Source acquisition validates all 243 package Git blobs. + +The previous PR544 complete cold replay also remains in evidence as historical support, not as a substitute for the changed PR548 component. GitHub CI is separate and is not claimed passed. + +## Failures and scope + +All earlier failures and repairs remain in evidence/: missing SciPy, our relative SSD symlink adaptation and its absolute-target repair, and a publication-metadata schema lookup that correctly triggered manifest rejection until repaired. No mathematical checker was relaxed. Source-specific all-size assumptions remain. + +PR543 rewrites sources in phase B after targets have read them. Its scalar argument requires H1-H5: no target feeds background registers, frame-zero compensation has the stated form, phase A is background-only, cleanup reverses every background gate, and the target-to-target block is identity. Its arbitrary-dirt identity and mutation checks pass; these finite checks do not independently prove an all-size interleaved-source compiler. + +All inherited compiler, common-label/mutable-source realization, whole-call hosting, precision/tape and analytic-transfer obligations remain conditional. No unconditional multiplication theorem, full Lean proof or measured speedup is claimed. + +Credits: eumemic PR543 (Claude assistance), Dugongue PR548 and PR541 (OpenAI assistance), chafreaky PR544, rohanarun/Claude PR534 frame lifts, icekylinx PR535/531 and phase/compiler ancestry, DreamingOfClouds PR484 and the original authors retained in inputs/ and engines/. Our exact composition and independent replay were prepared for Rohan Arun with OpenAI Codex assistance. diff --git a/research/r420-static44-composition/engines/base_two_moment.py b/research/r420-static44-composition/engines/base_two_moment.py new file mode 100644 index 0000000000..14a90fa0e7 --- /dev/null +++ b/research/r420-static44-composition/engines/base_two_moment.py @@ -0,0 +1,63 @@ +#!/usr/bin/env python3 +"""Maintainer arithmetic cross-check of the pinned PR39 certificate. + +Uses no producer/checker imports. Counts are inputs, not proved by this script. +80-term rational logarithms and 12-term exponentials independently enclose +the two moments. The accompanying written review addresses their realization. +""" +import argparse +from fractions import Fraction as Q +from hashlib import sha256 +import json +from pathlib import Path + +ROOT = Path(__file__).resolve().parents[1] +GRID = 10**30 + + +def require(condition, message): + if not condition: + raise ValueError(message) + + +def log_unit(x): + require(1 <= x <= 2, "logarithm range") + z = (x-1)/(x+1) + lo = 2*sum((z**(2*j+1)/(2*j+1) for j in range(80)), Q(0)) + return lo, lo+2*z**161/(161*(1-z*z)) + + +def log_bounds(x): + k = 0 + while x > 2: + x /= 2 + k += 1 + lo, hi = log_unit(x) + l2, u2 = log_unit(Q(2)) + lo, hi = lo+k*l2, hi+k*u2 + # Outward rational rounding keeps later certificates compact. + return Q((lo*GRID).__floor__(), GRID), Q((hi*GRID).__ceil__(), GRID) + + +def exp_bounds(x): + require(0 <= x < 1, "exponential range") + term = total = Q(1) + for j in range(1, 13): + term *= x/j + total += term + tail = term*x/13/(1-x/14) + return total, total+tail + + +def moment(m, W, entries, saving): + lo = hi = Q(0) + for t, count in entries: + t, count = int(t), int(count) + require(0 < t < m and count > 0, "improper child") + l, u = log_bounds(Q(m, t)) + lower = exp_bounds(saving*l)[0] + upper = exp_bounds(saving*u)[1] + lo += Q(t*count, m*W)*lower + hi += Q(t*count, m*W)*upper + return Q((lo*GRID).__floor__(), GRID), Q((hi*GRID).__ceil__(), GRID) + diff --git a/research/r420-static44-composition/engines/moment.py b/research/r420-static44-composition/engines/moment.py new file mode 100644 index 0000000000..7d697cb452 --- /dev/null +++ b/research/r420-static44-composition/engines/moment.py @@ -0,0 +1,113 @@ +"""Independent prospective ordinary five-stage cost, never supplier admission. + +Consumes a raw one-invocation ledger made from the actual source/internal/target +paths. No packed profile is used as an input. Missing physical/finite/compiler +obligations must remain explicit in the accompanying report. +""" +from collections import Counter +from decimal import Decimal, localcontext, ROUND_FLOOR +from fractions import Fraction as F +from functools import lru_cache +from math import factorial +import hashlib, json, sys +from pathlib import Path + +DYAD = 1 << 224 + +def floor(x): return F(x.numerator*DYAD//x.denominator, DYAD) +def ceil(x): return -floor(-x) + +@lru_cache(None) +def logarithm(x): + """Mercator bounds after binary reduction; ln(2) via two Mercator sums. + + For 1 <= y < 2, log(y) is an alternating series in z=y-1. + We instead reduce to 1 <= y < 3/2, and bound log(3/2) and + log(2) by the same alternating series at z=1/2 and z=1/3, + using log(2)=log(3/2)+log(4/3). All sums are exact rationals. + """ + assert x >= 1 + k = 0 + while x >= 2: x /= 2; k += 1 + j = int(x >= F(3, 2)) + if j: x /= F(3, 2) + def mercator(y): + z=y-1 + assert 0 <= z <= F(1,2) + # An even partial sum is below log; the next term bounds its tail. + t=z; s=F(0) + for n in range(1, 225): + s += (t if n & 1 else -t)/n + t *= z + return s, s+t/225 + a,b=mercator(x); c,d=mercator(F(3,2)); e,f=mercator(F(4,3)) + return floor(a+(k+j)*c+k*e), ceil(b+(k+j)*d+k*f) + +def exponential(l,u): + assert 0 <= l <= u < F(1,10) + def poly(x): + s=t=F(1) + for j in range(1,25): t=t*x/j; s+=t + return s,t + lo,_=poly(l);hi,last=poly(u) + return floor(lo),ceil(hi+last*u/25/(1-u/26)) + +def moment(H,m,W,a,bad=False): + lo=hi=F(0) + for r,n in H.items(): + assert 0 < r < m and n > 0 + l,u=logarithm(F(m,r)); e,f=exponential(a*l,a*u) + p=F(r*n,m*W);lo+=p*e;hi+=p*f + if bad: + # Existing envelope shape, only conditionally portable to the new cover. + l,u=logarithm(F(m));e,f=exponential(a*l,a*u) + p=F(32*m*sum(H.values()),10**16*W) + lo+=p*e;hi+=p*f + return floor(lo),ceil(hi) + +def decimal(x): + with localcontext() as c: + c.prec=70 + return str(Decimal(x.numerator)/Decimal(x.denominator)) + +def certify(H,m,W,bad=False): + with localcontext() as c: + c.prec=70 + terms=[(Decimal(r*n)/Decimal(m*W),(Decimal(m)/Decimal(r)).ln()) for r,n in H.items()] + fallback=Decimal(32*m*sum(H.values()))/Decimal(10**16*W) if bad else Decimal(0) + lm=Decimal(m).ln();lo=Decimal(0);hi=Decimal('.003') + for _ in range(210): + a=(lo+hi)/2 + if sum(p*(a*l).exp() for p,l in terms)+fallback*(a*lm).exp()<1:lo=a + else:hi=a + q=int(((lo+hi)/2*10**24).to_integral_value(rounding=ROUND_FLOOR)) + lo=F(q,10**24);hi=lo+F(1,10**24) + lv=moment(H,m,W,lo,bad);hv=moment(H,m,W,hi,bad) + assert lv[1]<10 for v in slacks.values()),{k:str(v) for k,v in slacks.items() if v<=0} + assert min(margins.values())==minimum + assert margins['balanced_prefix']-minimum==eta and 1-eps-r==eta/2 + assert 1-eps*(1+c)==eta-eps*eta/4 + return dict(parameters=dict(a_bit=a,a_complex=b,tau=tau,sigma=sigma, + eta=eta,beta=beta,q=q,c=c,epsilon=eps,lambda_=lam, + lambda_prime=lp,alpha_squared_power=r,delta=delta, + C0=bridge['semantic']['C0'],C1=1,kappa=kappa), + strict_constraints=slacks,margins=margins,minimum_margin=minimum, + absorption_gap=minimum-kappa, + recurrence=dict(internal=internal,leaf=leaf,reservations=1-c)) diff --git a/research/r420-static44-composition/evidence/PR543-COMPLETE-SUMMARY.log b/research/r420-static44-composition/evidence/PR543-COMPLETE-SUMMARY.log new file mode 100644 index 0000000000..d8321421d9 --- /dev/null +++ b/research/r420-static44-composition/evidence/PR543-COMPLETE-SUMMARY.log @@ -0,0 +1,7 @@ +PASS bit c, nine stages (PR #510's pipeline, 32 replicas, all 120960 residuals hosted whole, 0 banks) = 413456747036699736067/250000000000000000000000 = 0.001653826988146798944268 + +4.1815% over PR #510's R480 (0.001587447106092548137108), +5.6460% over PR #493's R489 at eleven stages +PASS bit c, eleven stages (PR #493's pipeline) = 82015816228313440961/50000000000000000000000 = 0.00164031632456626881922 (+4.7829% over PR #493's R489, same pipeline) +PASS kappa with PR #535's complex b = 1589991533606044174031/1000000000000000000000000: 793733736881443/500000000000000000 = 0.001587467473762886 (complex-bound; the same with the nine- and the eleven-stage c); the PR's own kappa is 1584931111785787/1000000000000000000 (bit-bound), change +0.1600% +PASS kappa with PR #531's complex b = 304013615566499291631/200000000000000000000000: 1517760977820331/1000000000000000000 = 0.001517760977820331 (complex-bound; the same with the nine- and the eleven-stage c); the PR's own kappa is 1517760977820331/1000000000000000000 (complex-bound), change +0.0000% + controls reproduced exactly: PR #510's R480 c 0.001587447106092548137108 and, with PR #535's b, PR #535's kappa 0.001584931111785787 (bit-bound); + PR #493's R489 c 0.001565442026981656908596, with PR #531's b PR #531's kappa 0.001517760977820331 (complex-bound), with PR #535's b PR #535's control kappa 0.001562995248531632 (bit-bound) diff --git a/research/r420-static44-composition/evidence/PR543-COMPLETED.json b/research/r420-static44-composition/evidence/PR543-COMPLETED.json new file mode 100644 index 0000000000..6715411499 --- /dev/null +++ b/research/r420-static44-composition/evidence/PR543-COMPLETED.json @@ -0,0 +1,62 @@ +{ + "status": "PASS_PR543_ALL_CHECKS_WITH_SSD_PATH_REPAIR", + "steps": [ + { + "name": "r420-hosted-audit", + "exit": 0, + "seconds": 19.167111959075555 + }, + { + "name": "r420-assemble9", + "exit": 0, + "seconds": 0.1431133340811357 + }, + { + "name": "control480-hosted-audit", + "exit": 0, + "seconds": 23.07808591693174 + }, + { + "name": "control480-assemble9", + "exit": 0, + "seconds": 0.13795270898845047 + }, + { + "name": "eleven-hosting-rediscovery", + "exit": 0, + "seconds": 0.5208971670363098 + }, + { + "name": "eleven-audit-adaptation", + "exit": 0, + "seconds": 0.02147362509276718 + }, + { + "name": "eleven-emission", + "exit": 0, + "seconds": 5.417052916949615 + }, + { + "name": "eleven-audit", + "exit": 0, + "seconds": 9.928223541937768 + }, + { + "name": "eleven-assembly", + "exit": 0, + "seconds": 0.16360595903825015 + }, + { + "name": "control489-assembly", + "exit": 0, + "seconds": 0.16267758305184543 + }, + { + "name": "complete-summary", + "exit": 0, + "seconds": 0.02990291698370129 + } + ], + "original_log": "pr543-independent314-retry.log", + "scope": "Fresh author pipeline mathematical checks completed; independent workspace path adaptation repaired symlinks. No supplier source/check modified. Source and all-size interface assumptions remain conditional." +} diff --git a/research/r420-static44-composition/evidence/PR543-INDEPENDENT-INTERFACE.json b/research/r420-static44-composition/evidence/PR543-INDEPENDENT-INTERFACE.json new file mode 100644 index 0000000000..9937764a51 --- /dev/null +++ b/research/r420-static44-composition/evidence/PR543-INDEPENDENT-INTERFACE.json @@ -0,0 +1,47 @@ +{ + "status": "PASS_EXACT_REPLAY_AND_INTERLEAVED_INTERFACE", + "hypotheses": { + "H1_no_target_feeds_z": true, + "H2_D_frame0_targets_from_helpers": true, + "H3_A_z_only_scatter_targets_B_split": true, + "H4_C_literal_reverse_at_full": true, + "H5_V_identity": true + }, + "conclusion": { + "U_block_form": true, + "J_identity": true, + "K_equals_D": true, + "C_is_U_inverse": true + }, + "interleaving": { + "z_gates_A": 2064, + "source_writes_A": 0, + "z_gates_B": 597, + "source_writes_B": 597, + "helper_writes_B": 0, + "sources_rewritten_B": 120, + "B_z_write_frame_dims": { + "4": 477, + "6": 120 + }, + "B_z_operand_kinds": { + "source<-helper": 120, + "source<-source": 477 + }, + "B_z_operand_kinds_by_dim": { + "dim4:source<-source": 477, + "dim6:source<-helper": 120 + }, + "B_z_writes_after_a_target_read_of_the_same_register": 597, + "B_target_reads_of_registers_rewritten_earlier_in_B": 120, + "target_reads_of_targets": 0, + "cleanup_gates": 2661 + }, + "gates": { + "D": 120, + "A": 2064, + "B": 837, + "C": 2661 + }, + "columns": 660 +} \ No newline at end of file diff --git a/research/r420-static44-composition/evidence/PR543-INITIAL-MISSING-SCIPY.log b/research/r420-static44-composition/evidence/PR543-INITIAL-MISSING-SCIPY.log new file mode 100644 index 0000000000..6609e4d1e8 --- /dev/null +++ b/research/r420-static44-composition/evidence/PR543-INITIAL-MISSING-SCIPY.log @@ -0,0 +1,76 @@ +== 0. manifest, provenance (vendored files by blob id, main's files by sha256), cited receipts [0s] + all files match MANIFEST.sha256 + 19 files byte-identical to PR #510 at 64edee1 (DreamingOfClouds/integer-mult-bounds) + 2 files byte-identical to PR #535 at 8b758a1 (icekylinx/integer-mult-bounds) + main (commit db0e57b): 2 pinned files unchanged; PR #493's package matches its MANIFEST.sha256 (93 files) + 7 of PR #510's vendored files are also byte-identical to PR #493's copies on main + PR #535 (icekylinx) b = 1589991533606044174031/1000000000000000000000000 = 1.589991533606044e-03 [primary] + PR #531 (icekylinx) b = 304013615566499291631/200000000000000000000000 = 1.520068077832496e-03 [merged] + PR #484 (DreamingOfClouds) b = 663394767670133/500000000000000000 = 1.326789535340266e-03 [control] + PR #471 (Dugongue) b = 1305231506267591/1000000000000000000 = 1.305231506267591e-03 [control] + PR #458 (chafreaky) b = 1297203880559577927527/1000000000000000000000000 = 1.297203880559578e-03 [control] + PR #535 receipt: kappa 1584931111785787/1000000000000000000, bit-bound at PR #510's c = 396861776523137034277/250000000000000000000000; with PR #493's c: kappa 97687203033227/62500000000000000, bit-bound + PR #531 receipt: kappa 1517760977820331/1000000000000000000, complex-bound (main's headline) +== 1. the word, rebuilt from the frozen plan [0s] + R 420 gates D/A/B/C 120 2064 837 2661 + rebuilt word is byte-identical to the shipped word (content sha256 e597e3885c0a8daa...) +== 2. independent exact replay, the interleaved interface lemma, mutation controls [2s] + labels: 120 E8 root lines (even unimodular lattice of rank 8, Gram det 1); 672 frames, every one closed + legality and exact F2 replay on all 660 columns (sources, targets, 420 dirty helpers as symbolic inputs): PASS; gates D/A/B/C = 120/2064/837/2661 + H1_no_target_feeds_z holds + H2_D_frame0_targets_from_helpers holds + H3_A_z_only_scatter_targets_B_split holds + H4_C_literal_reverse_at_full holds + H5_V_identity holds + U_block_form holds + J_identity holds + K_equals_D holds + C_is_U_inverse holds + {"z_gates_A": 2064, "source_writes_A": 0, "z_gates_B": 597, "source_writes_B": 597, "helper_writes_B": 0, "sources_rewritten_B": 120, "B_z_write_frame_dims": {"4": 477, "6": 120}, "B_z_operand_kinds": {"source<-helper": 120, "source<-source": 477}, "B_z_operand_kinds_by_dim": {"dim4:source<-source": 477, "dim6:source<-helper": 120}, "B_z_writes_after_a_target_read_of_the_same_register": 597, "B_target_reads_of_registers_rewritten_earlier_in_B": 120, "target_reads_of_targets": 0, "cleanup_gates": 2661} + PASS interleaved interface lemma: hypotheses H1-H5 hold and the conclusion decomposes as U, J = I, D = K, C = U^-1 + REJECTED target feeds a source (cancelled pair, F2-neutral) :: interface: fails H1_no_target_feeds_z,H3_A_z_only_scatter_targets_B_split,H4_C_literal_reverse_at_full + REJECTED target feeds a helper (cancelled pair, F2-neutral) :: interface: fails H1_no_target_feeds_z,H3_A_z_only_scatter_targets_B_split,H4_C_literal_reverse_at_full + REJECTED drop a cleanup gate (inverse of the last phase-B source write) :: replay: sources not restored: [11, 41, 44, 83, 86] + REJECTED corrupt a phase-B source write (operand 10 -> 6, cleanup changed alike) :: replay: targets not y + x: [0, 66, 67, 68, 69] + REJECTED phase-B source write moved down to the destination's own line frame :: replay: climb not nested: register 5 from frame 123 (dim 2) to frame 7 (dim 1) + REJECTED a target reads another target (single read, V != I) :: replay: targets not y + x: [0] + REJECTED frame-0 preconditioner corrupted (one helper read dropped) :: replay: targets not y + x: [0] + REJECTED phase-B source write moved before the target read of that register :: replay: climb not nested: register 5 from frame 542 (dim 4) to frame 123 (dim 2) + REJECTED cleanup gate moved off the full frame (to the frame of the gate it inverts) :: replay: climb not nested: register 240 from frame 1 (dim 8) to frame 2 (dim 1) + accepted cancelled pair of target-to-target reads at frame 0 (V = I) :: accepted + PASS mutation controls: 9/9 negative controls rejected, 1/1 positive control accepted + [bitE8mut-r480.json.gz: B writes only targets, the lemma's special case] PASS interleaved interface lemma: hypotheses H1-H5 hold and the conclusion decomposes as U, J = I, D = K, C = U^-1 + [bitE8mut-r489.json.gz: B writes only targets, the lemma's special case] PASS interleaved interface lemma: hypotheses H1-H5 hold and the conclusion decomposes as U, J = I, D = K, C = U^-1 +== 3. hub checkers: PR #370's stock checker refuses and its relaxed copy passes; PR #493's interface.py refuses (B writes sources) [10s] + stock checker refuses, as expected: AssertionError: ('x register written', 'B', 120) + labels: 120 distinct lines of norm 2 (pairwise |ip| <= 1), spanning rank 8 + legality + exact F2 on all 660 columns: PASS (gates D/A/B/C = 120/2064/837/2661) + relaxed check: 1194 gates have a source register as destination; all 120 sources restored exactly + nondegeneracy: 671 used frames, all Gram dets > 0 (positive-definite form); primes in dets: [2] + histogram {1: 6600, 2: 7200, 4: 540, 5: 600, 7: 240, 8: 45, 14: 240, 18: 240} m 40 W 900 mass 35880 deficit 120 (4v-5L = 120 ) maxchild 18 + no envelope saving in [0.00134297722850147798, 0.00134297722850147798] + bad envelope saving in [0.00134297722759884759, 0.00134297722759884759] + PR #493 interface.py refuses, as expected: its check (4) requires phase B to write only targets +== 4. official cohort checkers: legality (NCOPY = 9), formal columns at five, nine and eleven stages, Gram witnesses [12s] + exported 29874 records, 672 frames, n 660 ZERO 0 + legality PASS: 29874 records, 26916 common-frame ADDs, rank mass 5112 , 9 COPY/ERASE at the full frame + five-stage formal columns PASS: 900 physical columns over F2; prefix payload 100 bits < 104 + nine-stage formal columns PASS (columns_k, KPAIRS = 4): 1380 columns, 2160 bridge additions, 18/18 omitted-bridge controls rejected, payload 100 bits + eleven-stage formal columns PASS (columns_k, KPAIRS = 5): 1620 columns, 2880 bridge additions, 24/24 omitted-bridge controls rejected, payload 100 bits + regression: columns_k at KPAIRS = 2 reproduces the five-stage receipt field for field + PASS all 6 record-level negative controls rejected + PASS all 3 record-level phase-B source mutants rejected by every column checker (legality unchanged) + PASS e8ham Gram: 672 frames checked, all nondegenerate and positive definite; prime witnesses valid; max determinant bits 17; primes [2]; by dim {0: 1, 1: 120, 2: 180, 4: 70, 6: 180, 7: 120, 8: 1} +== 5. geometry (PR #386 nine-stage, PR #445 eleven-stage); controls start in the background [18s] + adapted audit_parent_k.py with 2 listed edits (each anchor found exactly once) +== 6. nine-stage whole-residual hosting and price (PR #510's chain: PR #463 template and audits, 32 replicas) [22s] +Traceback (most recent call last): + File "/Volumes/SP AI 01_16/CodexWorkspaces/imb-retime2/frontier390/pr543-run-layout/research/e8-bit-r420/vendor/pr510/e8-r480-nine-stage/vendor/e8-r715-eleven-stage-whole/code/emit_k.py", line 130, in + a = ap.parse_args(); main(a.parent, a.local, a.out, a) + ~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + File "/Volumes/SP AI 01_16/CodexWorkspaces/imb-retime2/frontier390/pr543-run-layout/research/e8-bit-r420/vendor/pr510/e8-r480-nine-stage/vendor/e8-r715-eleven-stage-whole/code/emit_k.py", line 45, in main + ys, zs, val = HK.solve(win, 2 * V, dict(avail), M, group=group, host_all=a.host_all, max_remainder=a.cap) + ~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + File "/Volumes/SP AI 01_16/CodexWorkspaces/imb-retime2/frontier390/pr543-run-layout/research/e8-bit-r420/vendor/pr510/e8-r480-nine-stage/vendor/e8-r715-eleven-stage-whole/code/hosting_k.py", line 20, in solve + from scipy.optimize import milp, LinearConstraint, Bounds +ModuleNotFoundError: No module named 'scipy' diff --git a/research/r420-static44-composition/evidence/PR543-INITIAL-PATH-FAILURE.log b/research/r420-static44-composition/evidence/PR543-INITIAL-PATH-FAILURE.log new file mode 100644 index 0000000000..5c6c1763dd --- /dev/null +++ b/research/r420-static44-composition/evidence/PR543-INITIAL-PATH-FAILURE.log @@ -0,0 +1,83 @@ +== 0. manifest, provenance (vendored files by blob id, main's files by sha256), cited receipts [0s] + all files match MANIFEST.sha256 + 19 files byte-identical to PR #510 at 64edee1 (DreamingOfClouds/integer-mult-bounds) + 2 files byte-identical to PR #535 at 8b758a1 (icekylinx/integer-mult-bounds) + main (commit db0e57b): 2 pinned files unchanged; PR #493's package matches its MANIFEST.sha256 (93 files) + 7 of PR #510's vendored files are also byte-identical to PR #493's copies on main + PR #535 (icekylinx) b = 1589991533606044174031/1000000000000000000000000 = 1.589991533606044e-03 [primary] + PR #531 (icekylinx) b = 304013615566499291631/200000000000000000000000 = 1.520068077832496e-03 [merged] + PR #484 (DreamingOfClouds) b = 663394767670133/500000000000000000 = 1.326789535340266e-03 [control] + PR #471 (Dugongue) b = 1305231506267591/1000000000000000000 = 1.305231506267591e-03 [control] + PR #458 (chafreaky) b = 1297203880559577927527/1000000000000000000000000 = 1.297203880559578e-03 [control] + PR #535 receipt: kappa 1584931111785787/1000000000000000000, bit-bound at PR #510's c = 396861776523137034277/250000000000000000000000; with PR #493's c: kappa 97687203033227/62500000000000000, bit-bound + PR #531 receipt: kappa 1517760977820331/1000000000000000000, complex-bound (main's headline) +== 1. the word, rebuilt from the frozen plan [0s] + R 420 gates D/A/B/C 120 2064 837 2661 + rebuilt word is byte-identical to the shipped word (content sha256 e597e3885c0a8daa...) +== 2. independent exact replay, the interleaved interface lemma, mutation controls [2s] + labels: 120 E8 root lines (even unimodular lattice of rank 8, Gram det 1); 672 frames, every one closed + legality and exact F2 replay on all 660 columns (sources, targets, 420 dirty helpers as symbolic inputs): PASS; gates D/A/B/C = 120/2064/837/2661 + H1_no_target_feeds_z holds + H2_D_frame0_targets_from_helpers holds + H3_A_z_only_scatter_targets_B_split holds + H4_C_literal_reverse_at_full holds + H5_V_identity holds + U_block_form holds + J_identity holds + K_equals_D holds + C_is_U_inverse holds + {"z_gates_A": 2064, "source_writes_A": 0, "z_gates_B": 597, "source_writes_B": 597, "helper_writes_B": 0, "sources_rewritten_B": 120, "B_z_write_frame_dims": {"4": 477, "6": 120}, "B_z_operand_kinds": {"source<-helper": 120, "source<-source": 477}, "B_z_operand_kinds_by_dim": {"dim4:source<-source": 477, "dim6:source<-helper": 120}, "B_z_writes_after_a_target_read_of_the_same_register": 597, "B_target_reads_of_registers_rewritten_earlier_in_B": 120, "target_reads_of_targets": 0, "cleanup_gates": 2661} + PASS interleaved interface lemma: hypotheses H1-H5 hold and the conclusion decomposes as U, J = I, D = K, C = U^-1 + REJECTED target feeds a source (cancelled pair, F2-neutral) :: interface: fails H1_no_target_feeds_z,H3_A_z_only_scatter_targets_B_split,H4_C_literal_reverse_at_full + REJECTED target feeds a helper (cancelled pair, F2-neutral) :: interface: fails H1_no_target_feeds_z,H3_A_z_only_scatter_targets_B_split,H4_C_literal_reverse_at_full + REJECTED drop a cleanup gate (inverse of the last phase-B source write) :: replay: sources not restored: [11, 41, 44, 83, 86] + REJECTED corrupt a phase-B source write (operand 10 -> 6, cleanup changed alike) :: replay: targets not y + x: [0, 66, 67, 68, 69] + REJECTED phase-B source write moved down to the destination's own line frame :: replay: climb not nested: register 5 from frame 123 (dim 2) to frame 7 (dim 1) + REJECTED a target reads another target (single read, V != I) :: replay: targets not y + x: [0] + REJECTED frame-0 preconditioner corrupted (one helper read dropped) :: replay: targets not y + x: [0] + REJECTED phase-B source write moved before the target read of that register :: replay: climb not nested: register 5 from frame 542 (dim 4) to frame 123 (dim 2) + REJECTED cleanup gate moved off the full frame (to the frame of the gate it inverts) :: replay: climb not nested: register 240 from frame 1 (dim 8) to frame 2 (dim 1) + accepted cancelled pair of target-to-target reads at frame 0 (V = I) :: accepted + PASS mutation controls: 9/9 negative controls rejected, 1/1 positive control accepted + [bitE8mut-r480.json.gz: B writes only targets, the lemma's special case] PASS interleaved interface lemma: hypotheses H1-H5 hold and the conclusion decomposes as U, J = I, D = K, C = U^-1 + [bitE8mut-r489.json.gz: B writes only targets, the lemma's special case] PASS interleaved interface lemma: hypotheses H1-H5 hold and the conclusion decomposes as U, J = I, D = K, C = U^-1 +== 3. hub checkers: PR #370's stock checker refuses and its relaxed copy passes; PR #493's interface.py refuses (B writes sources) [10s] + stock checker refuses, as expected: AssertionError: ('x register written', 'B', 120) + labels: 120 distinct lines of norm 2 (pairwise |ip| <= 1), spanning rank 8 + legality + exact F2 on all 660 columns: PASS (gates D/A/B/C = 120/2064/837/2661) + relaxed check: 1194 gates have a source register as destination; all 120 sources restored exactly + nondegeneracy: 671 used frames, all Gram dets > 0 (positive-definite form); primes in dets: [2] + histogram {1: 6600, 2: 7200, 4: 540, 5: 600, 7: 240, 8: 45, 14: 240, 18: 240} m 40 W 900 mass 35880 deficit 120 (4v-5L = 120 ) maxchild 18 + no envelope saving in [0.00134297722850147798, 0.00134297722850147798] + bad envelope saving in [0.00134297722759884759, 0.00134297722759884759] + PR #493 interface.py refuses, as expected: its check (4) requires phase B to write only targets +== 4. official cohort checkers: legality (NCOPY = 9), formal columns at five, nine and eleven stages, Gram witnesses [12s] + exported 29874 records, 672 frames, n 660 ZERO 0 + legality PASS: 29874 records, 26916 common-frame ADDs, rank mass 5112 , 9 COPY/ERASE at the full frame + five-stage formal columns PASS: 900 physical columns over F2; prefix payload 100 bits < 104 + nine-stage formal columns PASS (columns_k, KPAIRS = 4): 1380 columns, 2160 bridge additions, 18/18 omitted-bridge controls rejected, payload 100 bits + eleven-stage formal columns PASS (columns_k, KPAIRS = 5): 1620 columns, 2880 bridge additions, 24/24 omitted-bridge controls rejected, payload 100 bits + regression: columns_k at KPAIRS = 2 reproduces the five-stage receipt field for field + PASS all 6 record-level negative controls rejected + PASS all 3 record-level phase-B source mutants rejected by every column checker (legality unchanged) + PASS e8ham Gram: 672 frames checked, all nondegenerate and positive definite; prime witnesses valid; max determinant bits 17; primes [2]; by dim {0: 1, 1: 120, 2: 180, 4: 70, 6: 180, 7: 120, 8: 1} +== 5. geometry (PR #386 nine-stage, PR #445 eleven-stage); controls start in the background [17s] + adapted audit_parent_k.py with 2 listed edits (each anchor found exactly once) +== 6. nine-stage whole-residual hosting and price (PR #510's chain: PR #463 template and audits, 32 replicas) [22s] + the hosting programme rediscovers the frozen nine-stage selection (selection9-r420.json) exactly +Traceback (most recent call last): + File "/Volumes/SP AI 01_16/CodexWorkspaces/imb-retime2/frontier390/pr543-run-layout/research/e8-bit-r420/vendor/pr510/e8-r480-nine-stage/vendor/e8-r715-eleven-stage-whole/code/audit_hosted_k.py", line 157, in + if __name__=='__main__':main() + ~~~~^^ + File "/Volumes/SP AI 01_16/CodexWorkspaces/imb-retime2/frontier390/pr543-run-layout/research/e8-bit-r420/vendor/pr510/e8-r480-nine-stage/vendor/e8-r715-eleven-stage-whole/code/audit_hosted_k.py", line 111, in main + st=read(par/'records/249-states.json');frames=read(par/'records/frames.json')['frames'] + File "/Volumes/SP AI 01_16/CodexWorkspaces/imb-retime2/frontier390/pr543-run-layout/research/e8-bit-r420/vendor/pr510/e8-r480-nine-stage/vendor/e8-r715-eleven-stage-whole/code/audit_hosted_k.py", line 13, in + read=lambda p:json.loads(Path(p).read_text()) + ~~~~~~~~~~~~~~~~~^^ + File "/opt/homebrew/Cellar/python@3.14/3.14.8/Frameworks/Python.framework/Versions/3.14/lib/python3.14/pathlib/__init__.py", line 787, in read_text + with self.open(mode='r', encoding=encoding, errors=errors, newline=newline) as f: + ~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + File "/opt/homebrew/Cellar/python@3.14/3.14.8/Frameworks/Python.framework/Versions/3.14/lib/python3.14/pathlib/__init__.py", line 771, in open + return io.open(self, mode, buffering, encoding, errors, newline) + ~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ +FileNotFoundError: [Errno 2] No such file or directory: 'pr543-independent314-retry/v9/records/249-states.json' diff --git a/research/r420-static44-composition/evidence/PR543-MUTANTS.json b/research/r420-static44-composition/evidence/PR543-MUTANTS.json new file mode 100644 index 0000000000..b25c426e6b --- /dev/null +++ b/research/r420-static44-composition/evidence/PR543-MUTANTS.json @@ -0,0 +1,65 @@ +{ + "status": "PASS_INTERLEAVED_INTERFACE_MUTATION_CONTROLS", + "controls": [ + { + "control": "m1", + "mutation": "target feeds a source (cancelled pair, F2-neutral)", + "rejected": true, + "by": "interface: fails H1_no_target_feeds_z,H3_A_z_only_scatter_targets_B_split,H4_C_literal_reverse_at_full" + }, + { + "control": "m2", + "mutation": "target feeds a helper (cancelled pair, F2-neutral)", + "rejected": true, + "by": "interface: fails H1_no_target_feeds_z,H3_A_z_only_scatter_targets_B_split,H4_C_literal_reverse_at_full" + }, + { + "control": "m3", + "mutation": "drop a cleanup gate (inverse of the last phase-B source write)", + "rejected": true, + "by": "replay: sources not restored: [11, 41, 44, 83, 86]" + }, + { + "control": "m4", + "mutation": "corrupt a phase-B source write (operand 10 -> 6, cleanup changed alike)", + "rejected": true, + "by": "replay: targets not y + x: [0, 66, 67, 68, 69]" + }, + { + "control": "m5", + "mutation": "phase-B source write moved down to the destination's own line frame", + "rejected": true, + "by": "replay: climb not nested: register 5 from frame 123 (dim 2) to frame 7 (dim 1)" + }, + { + "control": "m6", + "mutation": "a target reads another target (single read, V != I)", + "rejected": true, + "by": "replay: targets not y + x: [0]" + }, + { + "control": "m7", + "mutation": "frame-0 preconditioner corrupted (one helper read dropped)", + "rejected": true, + "by": "replay: targets not y + x: [0]" + }, + { + "control": "m8", + "mutation": "phase-B source write moved before the target read of that register", + "rejected": true, + "by": "replay: climb not nested: register 5 from frame 542 (dim 4) to frame 123 (dim 2)" + }, + { + "control": "m9", + "mutation": "cleanup gate moved off the full frame (to the frame of the gate it inverts)", + "rejected": true, + "by": "replay: climb not nested: register 240 from frame 1 (dim 8) to frame 2 (dim 1)" + }, + { + "control": "positive", + "mutation": "cancelled pair of target-to-target reads at frame 0 (V = I)", + "rejected": false, + "by": "accepted" + } + ] +} \ No newline at end of file diff --git a/research/r420-static44-composition/evidence/PR543-NINE-HOSTED.json b/research/r420-static44-composition/evidence/PR543-NINE-HOSTED.json new file mode 100644 index 0000000000..453b6c2229 --- /dev/null +++ b/research/r420-static44-composition/evidence/PR543-NINE-HOSTED.json @@ -0,0 +1,41 @@ +{ + "status": "PASS_INDEPENDENT_REPLICATED_HOSTING_AUDIT", + "template_sha256": "ec9afd368862549c42237250f38440afbb13eae1a957791e170f2311fe536adb", + "emitted_program_sha256": "2d219ab9a59aaf8f7163f28cac55a3d7a010dd9aa93ec53108491c1e5d434ab5", + "emitted_events": 8603712, + "profile": { + "1": 380160, + "2": 426624, + "4": 32640, + "5": 34560, + "6": 15360, + "7": 23040, + "8": 2592, + "42": 3456 + }, + "live": 30720, + "physical": 30729, + "hosted_residuals": 120960, + "bank_assignments": 0, + "rank_mass": 1956096, + "deficit": 9984, + "maxchild": 42, + "mutations_rejected": [ + "slot outside window", + "copy index outside family", + "negative slot offset", + "wrong residual width", + "duplicate helper", + "omitted helper", + "hosted owner in another replica or outside the data stock", + "hosted owner on a wrong data family", + "wrong call orientation", + "duplicate call", + "changed idle rank", + "understated live stock", + "missing remainder summary", + "stale stage count", + "hosted coordinate beyond the pending set", + "overlapping hosted coordinates" + ] +} diff --git a/research/r420-static44-composition/evidence/PR543-NINE-RESULT.json b/research/r420-static44-composition/evidence/PR543-NINE-RESULT.json new file mode 100644 index 0000000000..cb88fd02f7 --- /dev/null +++ b/research/r420-static44-composition/evidence/PR543-NINE-RESULT.json @@ -0,0 +1,63 @@ +{ + "status": "PASS_NINE_STAGE_WHOLE_HOSTED_BIT_PRICE_AND_CITED_ASSEMBLY", + "R": 420, + "stages": 9, + "replicas": 32, + "bit_lower": "413456747036699736067/250000000000000000000000", + "bit_lower_decimal": "0.001653826988146798944268", + "next_grid_point_rejected": "1653826988146798944269/1000000000000000000000000", + "bit": { + "live": 30720, + "physical": 30729, + "maxchild": 42, + "rank_mass": 1956096, + "hosted_residuals": 120960, + "bank_assignments": 0, + "prefix_bits": 189, + "charged_prefix_bits": 192, + "coefficient_bits": 189, + "two_level_coefficient_bits": 416, + "charged_two_level_coefficient_bits": 512, + "row_coefficient": 18355, + "halving_depth": 2 + }, + "bit_profile": { + "1": 380160, + "2": 426624, + "4": 32640, + "5": 34560, + "6": 15360, + "7": 23040, + "8": 2592, + "42": 3456 + }, + "emitted_program_sha256": "2d219ab9a59aaf8f7163f28cac55a3d7a010dd9aa93ec53108491c1e5d434ab5", + "kappa": { + "pr535": { + "complex_lower": "1589991533606044174031/1000000000000000000000000", + "kappa": "793733736881443/500000000000000000", + "kappa_decimal": "0.001587467473762886", + "binding_component": "complex", + "strict_outer_constraints": 47, + "outer_controls": [ + "next_grid", + "zero_eta", + "zero_beta", + "unit_beta" + ] + }, + "pr531": { + "complex_lower": "304013615566499291631/200000000000000000000000", + "kappa": "1517760977820331/1000000000000000000", + "kappa_decimal": "0.001517760977820331", + "binding_component": "complex", + "strict_outer_constraints": 47, + "outer_controls": [ + "next_grid", + "zero_eta", + "zero_beta", + "unit_beta" + ] + } + } +} diff --git a/research/r420-static44-composition/evidence/PR543-PATH-REPAIRS.json b/research/r420-static44-composition/evidence/PR543-PATH-REPAIRS.json new file mode 100644 index 0000000000..d8fc281678 --- /dev/null +++ b/research/r420-static44-composition/evidence/PR543-PATH-REPAIRS.json @@ -0,0 +1,17 @@ +[ + { + "link": "pr543-independent314-retry/root/code", + "old": "pr543-run-layout/research/e8-bit-carrier-skeleton/code", + "new": "/Volumes/SP AI 01_16/CodexWorkspaces/imb-retime2/frontier390/pr543-run-layout/research/e8-bit-carrier-skeleton/code" + }, + { + "link": "pr543-independent314-retry/v9/records", + "old": "pr543-independent314-retry/records", + "new": "/Volumes/SP AI 01_16/CodexWorkspaces/imb-retime2/frontier390/pr543-independent314-retry/records" + }, + { + "link": "pr543-independent314-retry/c480/v9/records", + "old": "pr543-independent314-retry/c480/records", + "new": "/Volumes/SP AI 01_16/CodexWorkspaces/imb-retime2/frontier390/pr543-independent314-retry/c480/records" + } +] diff --git a/research/r420-static44-composition/evidence/PR543-RESUME-DRIVER.py b/research/r420-static44-composition/evidence/PR543-RESUME-DRIVER.py new file mode 100644 index 0000000000..4a381bdf6a --- /dev/null +++ b/research/r420-static44-composition/evidence/PR543-RESUME-DRIVER.py @@ -0,0 +1,28 @@ +"""Resume terminal PR543 replay after correcting SSD-relative symlink adaptation. +No mathematical check is changed; successful native/emission stages are retained. +""" +from pathlib import Path +import os,json,subprocess,sys,time +R=Path(__file__).resolve().parent;W=R/'pr543-independent314-retry';H=R/'pr543-run-layout/research/e8-bit-r420';P=H.parent/'e8-bit-carrier-skeleton';C=H/'code';V=H/'vendor/pr510/e8-r480-nine-stage';K=V/'vendor/e8-r715-eleven-stage-whole/code';PC=P/'code';repairs=[] +for link,target in [(W/'root/code',PC),(W/'v9/records',W/'records'),(W/'c480/v9/records',W/'c480/records')]: + assert link.is_symlink()and not link.exists();repairs.append(dict(link=str(link.relative_to(R)),old=os.readlink(link),new=str(target)));link.unlink();link.symlink_to(target) +(W/'PATH-REPAIRS.json').write_text(json.dumps(repairs,indent=2)+'\n') +f=R/'verify_r420_ssd_paths.sh';old=f.read_text();(W/'INITIAL-SSD-ADAPTER.sh').write_text(old);f.write_text(old.replace('ln -sfn $PC $WD/root/code','ln -sfn "$(cd "$PC" && pwd)" "$WD/root/code"').replace('ln -sfn $lc/records $o/v9/records','ln -sfn "$(cd "$lc/records" && pwd)" "$o/v9/records"')) +steps=[];env=dict(os.environ,PYTHONDONTWRITEBYTECODE='1',PYTHONINTMAXSTRDIGITS='0',TMPDIR=str(R)) +def run(name,script,*args): + start=time.monotonic() + with (W/(name+'.resume.log')).open('w')as out:r=subprocess.run([sys.executable,'-E','-s','-B',str(script),*map(str,args)],cwd=R,env=env,stdout=out,stderr=subprocess.STDOUT) + steps.append(dict(name=name,exit=r.returncode,seconds=time.monotonic()-start));(W/'RESUME-STEPS.json').write_text(json.dumps(steps,indent=2)+'\n') + if r.returncode:print((W/(name+'.resume.log')).read_text());raise SystemExit(name+' failed') + print('PASS',name,flush=True) +for name,dest,sup in [('r420',W,'pr535,pr531'),('control480',W/'c480','pr535,pr531,pr484,pr471,pr458')]: + run(name+'-hosted-audit',K/'audit_hosted_k.py',dest/'v9',dest/'v9/hosted',dest/'v9/hosted/AUDIT.json') + run(name+'-assemble9',V/'code/assemble9.py',dest/'v9',dest/'v9/hosted',dest/'v9/hosted/AUDIT.json',W/'root',dest/'RESULT9.json',sup) +word=H/'data/bitE8mut-r420.json.gz';run('eleven-hosting-rediscovery',P/'discovery/host_select.py',word,W/'hosting11.json') +run('eleven-audit-adaptation',C/'adapt11.py',P,word,420,W/'adapted11') +run('eleven-emission',PC/'eleven/emit.py','--word',word,'--local-check',W,'--out',W/'bit','--isometries',P/'data/eleven/residual-isometries.json','--hosting',H/'data/hosting11-r420.json') +run('eleven-audit',W/'adapted11/audit.py',W,W/'nine',W/'bit') +run('eleven-assembly',PC/'eleven/assemble.py',W/'bit',420,W/'root',W/'RESULT11.json','pr535,pr531') +run('control489-assembly',PC/'eleven/assemble.py',W/'c489/bit',489,W/'root',W/'c489/RESULT11.json','pr535,pr531,pr484,pr471,pr458') +run('complete-summary',C/'summary.py',H,W) +(W/'COMPLETED.json').write_text(json.dumps(dict(status='PASS_PR543_ALL_CHECKS_WITH_SSD_PATH_REPAIR',steps=steps,original_log='pr543-independent314-retry.log',scope='Fresh author pipeline mathematical checks completed; independent workspace path adaptation repaired symlinks. No supplier source/check modified. Source and all-size interface assumptions remain conditional.'),indent=2)+'\n') diff --git a/research/r420-static44-composition/evidence/PR543-RESUME.log b/research/r420-static44-composition/evidence/PR543-RESUME.log new file mode 100644 index 0000000000..e6539c5bff --- /dev/null +++ b/research/r420-static44-composition/evidence/PR543-RESUME.log @@ -0,0 +1,11 @@ +PASS r420-hosted-audit +PASS r420-assemble9 +PASS control480-hosted-audit +PASS control480-assemble9 +PASS eleven-hosting-rediscovery +PASS eleven-audit-adaptation +PASS eleven-emission +PASS eleven-audit +PASS eleven-assembly +PASS control489-assembly +PASS complete-summary diff --git a/research/r420-static44-composition/evidence/PR543-SSD-ADAPTER.sh b/research/r420-static44-composition/evidence/PR543-SSD-ADAPTER.sh new file mode 100644 index 0000000000..7a0b4dfce5 --- /dev/null +++ b/research/r420-static44-composition/evidence/PR543-SSD-ADAPTER.sh @@ -0,0 +1,175 @@ +#!/usr/bin/env bash +# One-command verification of research/e8-bit-r420: an E8 bit word (h = 8, v = 120, 9 retained totals, R = 420 +# helpers) whose source registers are rewritten in phase B after targets have read them. The word is rebuilt from a +# frozen plan, replayed exactly by an independent checker that also audits the interleaved scalar-interface lemma (with +# mutation controls), passed through the hub's official cohort checkers, and priced by two hub pipelines: PR #510's +# nine-stage chain (PR #463 template, 32 replicas, PR #442 hosting) and PR #493's eleven-stage chain (PR #445 geometry, +# PR #472 emitter and audit). Both feed PR #493's six-level, 47-inequality outer assembly with cited complex b. +# Controls: PR #510's R480 word and PR #493's R489 word reproduce their published c and the published kappa values. +# Runs on top of the repository's main branch: it uses research/e8-bit-carrier-skeleton (PR #493) and +# research/direct-delivery504-global/EXPECTED.json (PR #531), both pinned (DEPENDS.json). +# usage: bash verify.sh /fresh/output/dir +# needs python3 >= 3.11 with numpy, sympy and scipy (requirements.txt), a C++17 compiler (CXX, default c++) and +# Boost headers (BOOST_INCLUDE, default /usr/include). +set -euo pipefail +HERE=pr543-run-layout/research/e8-bit-r420; WD="$1"; mkdir -p "$WD" +P=pr543-run-layout/research/e8-bit-carrier-skeleton +case "$WD/" in "$HERE"/*|"$P"/*) echo "output dir must be outside the packages"; exit 2;; esac +export PYTHONDONTWRITEBYTECODE=1 +PY="${PYTHON:-python3} -I -B" +PYS="${PYTHON:-python3} -E -s -B" # hub scripts that import siblings from their own directory +CXX=${CXX:-c++}; BI=${BOOST_INCLUDE:-/usr/include} +C=$HERE/code; D=$HERE/data; R=420; WORD=$D/bitE8mut-r420.json.gz; EXP=$HERE/EXPECTED.json +PC=$P/code; B=$PC/bit; CK=$B/checkers; HUB=$PC/hub; INC="-I$P/portable-include -I$CK -I$BI" +V510=$HERE/vendor/pr510/e8-r480-nine-stage; VK=$V510/vendor/e8-r715-eleven-stage-whole/code +W480=$HERE/vendor/pr510/e8-r480-dead-totals/data/bitE8mut-r480.json.gz; W489=$P/data/bit/bitE8mut-r489.json.gz +ISO=$P/data/eleven/residual-isometries.json; BIN=$WD/bin; mkdir -p "$BIN" +T0=$SECONDS +step() { echo "== $1 [$((SECONDS - T0))s]"; } + +step "0. manifest, provenance (vendored files by blob id, main's files by sha256), cited receipts" +(cd "$HERE" && $PY -c " +import hashlib,os,sys +bad=0;listed=set() +for line in open('MANIFEST.sha256'): + h,p=line.rstrip('\n').split(' ',1);listed.add(p) + if hashlib.sha256(open(p,'rb').read()).hexdigest()!=h: print('MISMATCH',p);bad+=1 +files={os.path.relpath(os.path.join(r,f)) for r,_,fs in os.walk('.') for f in fs if '__pycache__' not in r}-{'MANIFEST.sha256'} +if files-listed: print('UNLISTED',sorted(files-listed));bad+=1 +sys.exit(1 if bad else 0)") && echo " all files match MANIFEST.sha256" +$PY $C/provenance.py $HERE +$PY $C/cited.py $HERE +mkdir -p $WD/root/data && ln -sfn "$(cd "$PC" && pwd)" "$WD/root/code" && cp $D/complex-b.json $WD/root/data/ # assembly root: PR #493's code, our cited b + +step "1. the word, rebuilt from the frozen plan" +NODEOPT=2000 $PY $C/gen_l3.py $D/plan-l3.json $WD/word.json.gz 0 dead last | tail -1 | sed 's/^/ /' +cmp $WD/word.json.gz $WORD +$PY -c " +import json,gzip,hashlib +w=json.load(gzip.open('$WORD','rt'));e=json.load(open('$EXP'))['word'] +h=hashlib.sha256(json.dumps(w,sort_keys=True,separators=(',',':')).encode()).hexdigest() +assert h==e['content_sha256'] and w['R']==e['R']==420 and len(w['ret'])==9 and {k:len(w[k]) for k in 'DABC'}==e['gates'] +print(' rebuilt word is byte-identical to the shipped word (content sha256',h[:16]+'...)')" + +step "2. independent exact replay, the interleaved interface lemma, mutation controls" +$PY $C/xcheck.py $WORD --json $WD/xcheck.json | sed 's/^/ /' +$PY $C/mutants.py $C/xcheck.py $WORD --json $WD/mutants.json | sed 's/^/ /' +for w in $W480 $W489; do $PY $C/xcheck.py $w | tail -1 | sed "s|^| [$(basename $w): B writes only targets, the lemma's special case] |"; done + +step "3. hub checkers: PR #370's stock checker refuses and its relaxed copy passes; PR #493's interface.py refuses (B writes sources)" +if $PY $B/independent/checkword.py $WORD $PC/pricing > $WD/stock.out 2> $WD/stock.err; then echo "stock checker accepted"; exit 1; fi +grep -q "x register written" $WD/stock.err && echo " stock checker refuses, as expected: $(tail -1 $WD/stock.err)" +$PY $B/independent/relax.py $WD/rchk > /dev/null +$PY $WD/rchk/checkword_mut.py $WORD $PC/pricing | tee $WD/checkword_mut.txt | sed 's/^/ /' +if $PY $B/independent/interface.py $WORD > $WD/iface493.out 2> $WD/iface493.err; then echo "PR #493 interface.py accepted"; exit 1; fi +grep -q "phase B writes a z register" $WD/iface493.err && echo " PR #493 interface.py refuses, as expected: its check (4) requires phase B to write only targets" + +step "4. official cohort checkers: legality (NCOPY = 9), formal columns at five, nine and eleven stages, Gram witnesses" +$PY $B/export_records.py $WORD $WD/records | sed 's/^/ /' +$PY $B/regression/stage_cohort.py $WD/records $WD/records $WD/cin $WD/cout +$CXX -O2 -std=c++17 -DHDIM=8 -DNCOPY=9 $INC -o $BIN/legality $CK/legality_h.cpp & +$CXX -O2 -std=c++17 -DHDIM=8 $INC -o $BIN/legality_ncopy_h $CK/legality_h.cpp & +for r in 420 480 489; do $CXX -O2 -std=c++17 -DHDIM=8 -DNCOPY=9 -DVPORTS=120 -DRHELP=$r $INC -o $BIN/columns_h$r $CK/columns_h.cpp & done +wait +for K in 2 4 5; do $CXX -O2 -std=c++17 -DHDIM=8 -DNCOPY=9 -DVPORTS=120 -DRHELP=$R -DKPAIRS=$K $INC -o $BIN/columns_k$K $CK/columns_k.cpp & done +wait +for b in legality legality_ncopy_h columns_h420 columns_h480 columns_h489 columns_k2 columns_k4 columns_k5; do test -x $BIN/$b; done +$BIN/legality $WD/cin $WD/cout $WD/cout/legality.json > /dev/null +$BIN/columns_h$R $WD/cout/COHORT249-RECORDS.bin $WD/cout/columns.json > /dev/null 2> $WD/cout/columns.log +for K in 2 4 5; do $BIN/columns_k$K $WD/cout/COHORT249-RECORDS.bin $WD/cout/columns_k$K.json > /dev/null 2> $WD/cout/columns_k$K.log; done +$PY -c " +import json +R=$R +l=json.load(open('$WD/cout/legality.json'));c=json.load(open('$WD/cout/columns.json')) +k4=json.load(open('$WD/cout/columns_k4.json'));k5=json.load(open('$WD/cout/columns_k5.json'));k2=json.load(open('$WD/cout/columns_k2.json')) +assert l['status']=='PASS_INDEPENDENT_COHORT_LEGALITY_SOURCE_OWNERS_AND_LIFECYCLE' and l['copies']==l['erasures']==9 +print(' legality PASS:',l['records'],'records,',l['common_frame_ADDs'],'common-frame ADDs, rank mass',l['rank_mass'],', 9 COPY/ERASE at the full frame') +assert c['status']=='PASS_NEW_COHORT249_ALL_FIVE_STAGE_FORMAL_COLUMNS_AND_PREFIX_BILL' and c['formal_columns_checked']==4*120+R +print(' five-stage formal columns PASS:',c['formal_columns_checked'],'physical columns over F2; prefix payload',c['payload_prefix_bits'],'bits < 104') +for k,S,nb in ((k4,9,18),(k5,11,24)): + assert k['status']=='PASS_NEW_COHORT249_ALL_BRIDGED_STAGE_FORMAL_COLUMNS_AND_PREFIX_BILL' + assert k['formal_columns_checked']==(S-1)*120+R and len(k['stages'])==S and k['bridge_additions']==nb*120 + assert len(k['negative_controls'])==nb and all(x['rejected'] for x in k['negative_controls']) + assert dict(map(tuple,k['local_raw_H']))==dict(map(tuple,c['local_raw_H'])) + print(' %s-stage formal columns PASS (columns_k, KPAIRS = %d): %d columns, %d bridge additions, %d/%d omitted-bridge controls rejected, payload %d bits'%(['nine','eleven'][S==11],(S-1)//2,k['formal_columns_checked'],k['bridge_additions'],nb,nb,k['payload_prefix_bits'])) +for d in (c,k2): d.pop('seconds') +assert c==k2;print(' regression: columns_k at KPAIRS = 2 reproduces the five-stage receipt field for field')" +$PY $B/mutate_records.py $WD/records $WD/cin $WD/cout $BIN/legality $BIN/columns_k5 $BIN/legality_ncopy_h | tail -1 | sed 's/^/ /' +$PY $C/mutrec_b.py $WORD $WD/records $WD/cin $WD/cout $BIN/legality $BIN/columns_h$R $BIN/columns_k4 $BIN/columns_k5 | tail -1 | sed 's/^/ /' +$PY $CK/gram_frames.py $WD/records --gram e8ham --h 8 --positive | sed 's/^/ /' + +step "5. geometry (PR #386 nine-stage, PR #445 eleven-stage); controls start in the background" +mkdir -p $WD/nine $WD/bit +$PY $PC/nine/geometry.py --source $P --out $WD/nine > /dev/null +$PY $HUB/r740-hosted-eleven/code/geometry.py --source $P --out $WD/bit > /dev/null +$PYS $V510/code/adapt.py $VK $WD/adapted9 | sed 's/^/ /' +nine() { # word R local_check_dir out_dir frozen_selection suppliers + local w=$1 r=$2 lc=$3 o=$4 sel=$5 sup=$6 + mkdir -p $o/v9/nine; cp $WD/nine/GEOMETRY.json $o/v9/nine/; ln -sfn "$(cd "$lc/records" && pwd)" "$o/v9/records" + $PYS $VK/global_k.py --word $w --local-check $lc --out $o/v9/nine --isometries $ISO > $o/v9/global.log + $PYS $WD/adapted9/audit_parent_k.py --local-check $lc --out $o/v9/nine --word $w > $o/v9/audit_parent.log + # PR #442's hosting programme rediscovers the selection; the frozen selection is used if the programme returns another + $PYS $VK/emit_k.py $o/v9/nine $lc $o/v9/hosted --selection $o/selection9.json --key bit --discover > $o/v9/emit.log + if ! $PY -c " +import json,sys +a=json.load(open('$o/selection9.json'))['bit'];b=json.load(open('$sel'))['bit'] +sys.exit(0 if a['patterns']==b['patterns'] and a['stages']==b['stages'] and abs(a['proxy_saving']-b['proxy_saving'])<=1e-9*abs(b['proxy_saving']) else 1)"; then + echo " NOTE: the hosting programme returned another selection here; pricing the frozen one" + cp $sel $o/selection9.json; rm -rf $o/v9/hosted + $PYS $VK/emit_k.py $o/v9/nine $lc $o/v9/hosted --selection $o/selection9.json --key bit > $o/v9/emit.log + else echo " the hosting programme rediscovers the frozen nine-stage selection ($(basename $sel)) exactly"; fi + $PYS $VK/audit_hosted_k.py $o/v9 $o/v9/hosted $o/v9/hosted/AUDIT.json > $o/v9/audit_hosted.log + $PYS $V510/code/assemble9.py $o/v9 $o/v9/hosted $o/v9/hosted/AUDIT.json $WD/root $o/RESULT9.json $sup + $PY -c " +import json +g=json.load(open('$o/v9/nine/GLOBAL.json'));ap=json.load(open('$o/v9/nine/AUDIT.json'));au=json.load(open('$o/v9/hosted/AUDIT.json')) +assert g['R']==$r and g['replicas']==32 and g['m']==64 and g['local_invocations']==9*32 +assert ap['status']=='PASS_INDEPENDENT_COMPRESSED_BIT_TEMPLATE_AUDIT' and au['status']=='PASS_INDEPENDENT_REPLICATED_HOSTING_AUDIT' +assert au['hosted_residuals']==9*32*$r and au['bank_assignments']==0 +print(' template %s: %d unbanked scalar columns, %d omitted bridge shears rejected; parent audit: %d template mutations rejected'%(g['status'],g['independent_unbanked_scalar_columns'],len(g['omitted_bridge_shears_rejected']),len(ap['mutations_rejected']))) +print(' hosted audit PASS: %d of %d helper residuals hosted whole, %d banks, %d renamed instructions, %d mutations rejected'%(au['hosted_residuals'],9*32*$r,au['bank_assignments'],au['emitted_events'],len(au['mutations_rejected'])))" +} +local_check() { # word R out_dir: records, legality and five-stage columns (the local check the pipelines read) + $PY $B/export_records.py $1 $3/records > /dev/null + $PY $B/regression/stage_cohort.py $3/records $3/records $3/cin $3/cout + $BIN/legality $3/cin $3/cout $3/cout/legality.json > /dev/null + $BIN/columns_h$2 $3/cout/COHORT249-RECORDS.bin $3/cout/columns.json > /dev/null 2> $3/cout/columns.log +} +( set -e; mkdir -p $WD/c480; local_check $W480 480 $WD/c480 + echo "== control: PR #510's R480 word through PR #510's nine-stage chain" + nine $W480 480 $WD/c480 $WD/c480 $V510/data/selection9-r480.json pr535,pr531,pr484,pr471,pr458 ) > $WD/c480.log 2>&1 & +PID480=$! +( set -e; mkdir -p $WD/c489/bit; local_check $W489 489 $WD/c489; cp $WD/bit/GEOMETRY.json $WD/c489/bit/ + echo "== control: PR #493's R489 word through PR #493's eleven-stage files, unmodified" + $PYS $PC/eleven/emit.py --word $W489 --local-check $WD/c489 --out $WD/c489/bit --isometries $ISO --hosting $P/data/eleven/hosting.json > $WD/c489/bit/emit.log + $PYS $PC/eleven/audit.py $WD/c489 $WD/nine $WD/c489/bit > $WD/c489/bit/audit.log + $PY $PC/eleven/assemble.py $WD/c489/bit 489 $WD/root $WD/c489/RESULT11.json pr535,pr531,pr484,pr471,pr458 ) > $WD/c489.log 2>&1 & +PID489=$! + +step "6. nine-stage whole-residual hosting and price (PR #510's chain: PR #463 template and audits, 32 replicas)" +nine $WORD $R $WD $WD $D/selection9-r420.json pr535,pr531 + +step "7. eleven-stage whole-residual hosting and price (PR #493's chain; audit adapted to R = 420)" +$PY $P/discovery/host_select.py $WORD $WD/hosting11.json > /dev/null +$PY -c " +import json +a=json.load(open('$WD/hosting11.json'))['bit'];b=json.load(open('$D/hosting11-r420.json'))['bit'] +same=a['patterns']==b['patterns'] and a['stages']==b['stages'] +print(' PR #442 hosting programme (PR #493 discovery/host_select.py)',('rediscovers the frozen eleven-stage selection exactly' if same else 'returns another selection here; the frozen one is priced'))" +$PY $C/adapt11.py $P $WORD $R $WD/adapted11 +$PYS $PC/eleven/emit.py --word $WORD --local-check $WD --out $WD/bit --isometries $ISO --hosting $D/hosting11-r420.json > $WD/bit/emit.log +$PYS $WD/adapted11/audit.py $WD $WD/nine $WD/bit > $WD/bit/audit.log +$PY $PC/eleven/assemble.py $WD/bit $R $WD/root $WD/RESULT11.json pr535,pr531 +$PY -c " +import json;g=json.load(open('$WD/bit/GLOBAL.json'));a=json.load(open('$WD/bit/AUDIT.json')) +print(' template: 88 calls,',g['hosted_residuals'],'whole helper residuals hosted on idle data families (no banks),',g['independent_unbanked_scalar_columns'],'unbanked scalar columns restored,',len(g['omitted_bridge_shears_rejected']),'omitted bridge shears rejected') +print(' independent audit PASS:',a['emitted_events'],'renamed instructions,',len(a['mutations_rejected']),'template mutations rejected, physical prefix',a['physical_prefix_bits'],'bits')" + +step "8. controls (background jobs)" +wait $PID480 || { cat $WD/c480.log; exit 1; } +wait $PID489 || { cat $WD/c489.log; exit 1; } +cat $WD/c480.log $WD/c489.log + +step "9. summary against EXPECTED.json and the cited receipts" +$PY $C/summary.py $HERE $WD +echo "== done [$((SECONDS - T0))s]" diff --git a/research/r420-static44-composition/evidence/PR544-COMPLEX-INVOICE.json b/research/r420-static44-composition/evidence/PR544-COMPLEX-INVOICE.json new file mode 100644 index 0000000000..d63741b61e --- /dev/null +++ b/research/r420-static44-composition/evidence/PR544-COMPLEX-INVOICE.json @@ -0,0 +1,106 @@ +{ + "status": "PASS_INDEPENDENT_ASYNC_SCALAR_PREFIX_AND_FINITE_INVOICE", + "template_sha256": "7460157d9add0bf66616009d32e25f58f8b1a30edb9f13eb730bf532b61dbf8b", + "parent_template_sha256": "9da5ae54fa032b2731c08cc006101a908236a0100841559ee709d85283c388e3", + "owner_audit_sha256": "5df38f4b68a38107cb61c6b76cd18206a59831c5094bcd2adb7f6ba0c938b1a6", + "controller_audit_sha256": "bcbf4f82bfaf42c9b6f9c43b44132f4cffe6d15d24fce0e02db34b3e87af476f", + "independent_local_replay_sha256": "3bc0417372614ad75dce16b77c628878361bdd16134db1aa7e20ca0a32b3e86e", + "canonical_word_sha256": "9fc4a1445b2dc49d6331ecc7638a95289feb0b1cf94d8ee74daa285a234ccd49", + "local_programs_sha256": "c88fe1770b76cf0dc1c3a90a95baefd898e95012248984c69bf0ca87cf3fafba", + "local_checks_sha256": "87d911fbf6c9ba23e1a0fc385b9b3168d894320c86b2c04219303afafd3cb223", + "global_prefix_bits": 225, + "charged_prefix_bits": 512, + "complete_invocation_sweeps": 72, + "bridge_sweeps": 72, + "row_prefix_extra": 1024, + "local": { + "backward": { + "events": 22111, + "macros": 16918, + "real_component_primitives": 168324, + "prefix_l1": "1014379822882", + "prefix_bits": 40, + "coefficient_work_primitive_count": 83390, + "all_exact_columns": 728, + "dirty_helper_columns": 504, + "all_dirty_helper_columns_restored": true, + "private_centres_and_coefficient_work_cleared": true, + "pre_wrappers": 212, + "post_wrappers": 212, + "endpoint_evidence": "Hash-bound fresh INDEPENDENT-LOCAL-REPLAY.json" + }, + "forward": { + "events": 22111, + "macros": 16918, + "real_component_primitives": 168276, + "prefix_l1": "86491024246", + "prefix_bits": 37, + "coefficient_work_primitive_count": 83358, + "all_exact_columns": 728, + "dirty_helper_columns": 504, + "all_dirty_helper_columns_restored": true, + "private_centres_and_coefficient_work_cleared": true, + "pre_wrappers": 212, + "post_wrappers": 212, + "endpoint_evidence": "Hash-bound fresh INDEPENDENT-LOCAL-REPLAY.json" + } + }, + "helpers": 504, + "centres": 8, + "live": 7168, + "physical": 7682, + "physical_stock_identity": { + "data_and_owner_families": 7168, + "local_helpers": 504, + "private_centres": 8, + "coefficient_work": 2 + }, + "entering_helpers": 212, + "entrance_rank": 380, + "width_inventory": { + "5": 56, + "8": 156, + "9": 292 + }, + "local_adapters": 343392, + "local_primitive_bound": 8905643676036, + "wrapper_elementary_factors_charged": 4396032, + "factors_per_wrapper": 144, + "compiler": 25934336, + "unhosted_pervertex": 1593316402662104, + "hosted_rebased_pervertex": 1593316402362728, + "conservative_pervertex_used": 3109608246274904, + "retained_prior_overcharge": { + "sha256": "bb43ef04791037a37d2596c395e81191991fde6581326118995cf4318ee472a3", + "previous_pervertex_allowance": 1516291843612800, + "added_complete_new_pervertex": 1593316402662104, + "policy": "Retain old allowance and add the entire fresh recount." + }, + "finite": { + "physical_stock_bits": 2641, + "router_bits": 7985, + "literal_bits": 35282, + "physical_row_coefficient": 16467, + "retained_row_coefficient": 20161, + "required_C0_bits": 200012, + "halving_integer_inequality": [ + 5329, + 4608 + ], + "G_exponent": 30000, + "E_exponent": 100000, + "C0_exponent": 210000 + }, + "strict_checks": { + "local_primitive_bound": true, + "logical": true, + "router": true, + "literal": true, + "mass": true, + "precision": true, + "tape": true, + "row": true, + "halving": true + }, + "scope": "Fresh emitted primitive/Horner, prefix, wrapper and finite recount, using the hash-bound independent local all-column/frame replay and actual whole-owner audit. No old INTEGRATION receipt is used to certify the changed word. The inherited all-size compiler, precision/tape and analytic-transfer contracts remain conditional. Retained payload 512 and physical row allowance 20161 are unchanged." +} diff --git a/research/r420-static44-composition/evidence/PR544-COMPLEX-OWNERS.json b/research/r420-static44-composition/evidence/PR544-COMPLEX-OWNERS.json new file mode 100644 index 0000000000..9145eae585 --- /dev/null +++ b/research/r420-static44-composition/evidence/PR544-COMPLEX-OWNERS.json @@ -0,0 +1,40 @@ +{ + "status": "PASS_INDEPENDENT_ASYNC_OWNERS_AND_PROFILE", + "template_sha256": "7460157d9add0bf66616009d32e25f58f8b1a30edb9f13eb730bf532b61dbf8b", + "paid_profile": { + "1": 158688, + "2": 52864, + "3": 15171, + "4": 20160, + "5": 4032, + "6": 4032, + "7": 208, + "8": 576, + "39": 1, + "48": 1660 + }, + "live": 7168, + "physical": 7682, + "rank_mass": 520704, + "deficit": 2560, + "hosted_residuals": 36288, + "banked_residuals": 0, + "all_live_owners_per_call_distinct": true, + "owners_per_call": 728, + "actual_helper_owner_charts": 36288, + "actual_73column_sigmas": 3024, + "cross_replica_helper_roles": 28194, + "explicit_idle_remainder_children": 4240, + "source_idle_children_charged": 16128, + "source_artifacts": { + "split-centres/CANONICAL-WORD.json.gz": "9fc4a1445b2dc49d6331ecc7638a95289feb0b1cf94d8ee74daa285a234ccd49", + "split-centres/LOCAL-PROGRAMS.json.gz": "c88fe1770b76cf0dc1c3a90a95baefd898e95012248984c69bf0ca87cf3fafba", + "split-centres/LOCAL-CHECKS.json": "87d911fbf6c9ba23e1a0fc385b9b3168d894320c86b2c04219303afafd3cb223", + "split-centres/RESIDUAL-ADAPTERS.json": "e4fce8ca73ad20a86711837dd6fe1efad5a335689352791a635969e4d1be4391", + "split-centres/CLIFFORD-RECIPES.json": "9ca2571e17012130b8b3359339f235df9c995dd3b92f86c44e45a2c2da77ac31", + "split-centres/CLIFFORD-REVIEW.json": "e6669c16b6a5ad39a3446c65ed5905a300b6d54cee961afdcb304471aa499587", + "split-centres/INDEPENDENT-LOCAL-REPLAY.json": "3bc0417372614ad75dce16b77c628878361bdd16134db1aa7e20ca0a32b3e86e", + "work/complex-nine-native/DATA-PHASES.json": "c5916ff312678f12aba403847643fbbc29f643acec60bdf836fa56cd3e8251fa" + }, + "controller_audit_sha256": "bcbf4f82bfaf42c9b6f9c43b44132f4cffe6d15d24fce0e02db34b3e87af476f" +} diff --git a/research/r420-static44-composition/evidence/PR544-COMPLEX-PHASES.json b/research/r420-static44-composition/evidence/PR544-COMPLEX-PHASES.json new file mode 100644 index 0000000000..cc1a66e5d1 --- /dev/null +++ b/research/r420-static44-composition/evidence/PR544-COMPLEX-PHASES.json @@ -0,0 +1,20 @@ +{ + "status": "PASS_NEW_WORD_EXACT_LOCAL_PHASE_RECIPES", + "canonical_word_sha256": "9fc4a1445b2dc49d6331ecc7638a95289feb0b1cf94d8ee74daa285a234ccd49", + "frames": 999, + "directed_edges": 2929, + "ranks": { + "1": 1751, + "2": 670, + "8": 16, + "3": 142, + "4": 280, + "5": 14, + "6": 56 + }, + "endpoint_adapters": 224, + "all_child_equalities_include_global_phase": true, + "recipe_sha256": "9ca2571e17012130b8b3359339f235df9c995dd3b92f86c44e45a2c2da77ac31", + "seconds": 97.79332045896444, + "scope": "Every local frame and center transition. Expanded scalar-interface integration and global emitted program are separate obligations." +} diff --git a/research/r420-static44-composition/evidence/PR544-RECEIPT.json b/research/r420-static44-composition/evidence/PR544-RECEIPT.json new file mode 100644 index 0000000000..3f86493acd --- /dev/null +++ b/research/r420-static44-composition/evidence/PR544-RECEIPT.json @@ -0,0 +1,111 @@ +{ + "status": "PASS_STATIC44_SELECTIVE_BOTH_SUPPLIERS", + "stages": [ + { + "name": "bit-preloads", + "exit_code": 0, + "seconds": 0.9183704999741167, + "log_sha256": "782bf2d65d4c3378fdb46b0b48d8690a919536ec460b70470f87f6706b253071" + }, + { + "name": "bit-slice-and-frame-recipe", + "exit_code": 0, + "seconds": 2.156284083961509, + "log_sha256": "9336356e773640e19d54bf0d313b61d9cea74cd231c06898cc0680660c93e2f6" + }, + { + "name": "bit-native-physical-and-controls", + "exit_code": 0, + "seconds": 5.134671750012785, + "log_sha256": "33dc62aa6894b0a3f7fb3dd3cde608df27cf97f1a09aa4d2eb1e74081c9ef4ae" + }, + { + "name": "bit-global-owners-and-invoice", + "exit_code": 0, + "seconds": 68.03213616705034, + "log_sha256": "68b0b682b41b63faf6e98998665c3cbf66086dbaa3137e65933bd39d466771e9" + }, + { + "name": "complex-static44-construction-and-controls", + "exit_code": 0, + "seconds": 4.254391666036099, + "log_sha256": "710d00e4459f1986cc56699cfdbf25e20b16c4fbebf485475f725c8edf7e47d7" + }, + { + "name": "complex-scalar-frame-transport", + "exit_code": 0, + "seconds": 0.45787104207556695, + "log_sha256": "02453e394e18db3460084e8ae4f91a1ede365e43d0318c64e62b82151a676327" + }, + { + "name": "complex-emit-local", + "exit_code": 0, + "seconds": 0.4251288330415264, + "log_sha256": "bafe3eefa5f0be32c9d9e6ef0fca3a74d9a6f71dbd0e125fe3c84a577227c62f" + }, + { + "name": "complex-independent-local", + "exit_code": 0, + "seconds": 1.4088053749874234, + "log_sha256": "b694b4b22abb9d1de9a70bbbdf9e9b0e030ec00a7eddc264e4c18376dd859cee" + }, + { + "name": "complex-normalized-wrappers", + "exit_code": 0, + "seconds": 0.8633275829488412, + "log_sha256": "4638570164b60b9d83753f6fd3a6359713fc062971e022bdea919f8d479b298a" + }, + { + "name": "complex-every-local-phase", + "exit_code": 0, + "seconds": 97.83431175001897, + "log_sha256": "10bd27b11c8a32bd61726ec8b95d92d010652f1725b9a7fc876b41659831f913" + }, + { + "name": "complex-bind-retained-data", + "exit_code": 0, + "seconds": 0.9279788329731673, + "log_sha256": "afcbc7484189a58a7eb441101f523d91da2346ef69e4eb80fbf27cf0da775432" + }, + { + "name": "complex-emit-whole-owners", + "exit_code": 0, + "seconds": 1.8371979580260813, + "log_sha256": "96cf4ee7f4c70ab19ef014fe5abc922306270846b2cf425d6c770983d45bc8e5" + }, + { + "name": "complex-independent-owners-and-controls", + "exit_code": 0, + "seconds": 4.102415791945532, + "log_sha256": "bcbf4f82bfaf42c9b6f9c43b44132f4cffe6d15d24fce0e02db34b3e87af476f" + }, + { + "name": "complex-finite-invoice", + "exit_code": 0, + "seconds": 0.3810719589237124, + "log_sha256": "ed3548659c59ec7d9785c4acfc85643ca042025d10aaa7f0c54edc6edb13be96" + }, + { + "name": "both-moments-and-outer-assembly", + "exit_code": 0, + "seconds": 0.2362968340748921, + "log_sha256": "ad5788bc94b378964df5786e653d22e6b4040be7e468149a233a26f0d3b64f89" + } + ], + "artifacts": { + "RESULT.json": "fd8356f4e2dde0b0472404a9ce8b8dff4a4de87718b3bdbb1d4ea29cf84faf4c", + "bit-word/BUILD.json": "917a7c0c3b4e2ac8207a4368aee16ad32abd285c53682cc036d7d022f31d8a43", + "bit-native/NATIVE-REVIEW.json": "b1cd61bced1c782e265aefd16f3547cc60caaa4a882751f7fdeb581d2624ac57", + "bit-global/RESOURCE-RESULT.json": "62a65d1bf09c0670beddac3c98abe48216781f98a3196db85404346bdbb48930", + "bit-global/INVOICE.json": "7746beb3112a4eb03de4489f32a51b1dead4c229b00fdb04324f5f6aa5493a49", + "static44/SCALAR-AUDIT.json": "9436f9b92196015e357e4974011cf1d0f960abb7f26b95eedac339a02c919624", + "complex-local/INDEPENDENT-LOCAL-REPLAY.json": "3bc0417372614ad75dce16b77c628878361bdd16134db1aa7e20ca0a32b3e86e", + "complex-local/CLIFFORD-REVIEW.json": "e6669c16b6a5ad39a3446c65ed5905a300b6d54cee961afdcb304471aa499587", + "complex-local/LEMMA-A.json": "bc9d150517bae20490620f6d18b1af68a7d57ca5efe772613a9ee5ccd09107d8", + "complex-audit/ASYNC-AUDIT.json": "bcbf4f82bfaf42c9b6f9c43b44132f4cffe6d15d24fce0e02db34b3e87af476f", + "complex-audit/OWNERS-AND-PROFILE.json": "5df38f4b68a38107cb61c6b76cd18206a59831c5094bcd2adb7f6ba0c938b1a6", + "complex-audit/PREFIX-AND-INVOICE.json": "ed3548659c59ec7d9785c4acfc85643ca042025d10aaa7f0c54edc6edb13be96", + "assembly/EXACT-ASSEMBLY.json": "92bfffcf3c94c9c949eacfa4bd2bc56c5c6ee28d6af4db3743113def164ec499" + }, + "manifest_sha256": "9cbdd9329a903b9b0f2b967ec7df5d7cac17f0288b480bfb81448f764b14a7e1" +} diff --git a/research/r420-static44-composition/evidence/PR544-RESULT.json b/research/r420-static44-composition/evidence/PR544-RESULT.json new file mode 100644 index 0000000000..980e9dc0b8 --- /dev/null +++ b/research/r420-static44-composition/evidence/PR544-RESULT.json @@ -0,0 +1,70 @@ +{ + "kappa": "397150561665803/250000000000000000", + "kappa_decimal": "0.001588602246663212", + "complex_lower": "31864911873350496687/20000000000000000000000", + "bit_lower": "1591129919227630331373/1000000000000000000000000", + "binding_component": "bit", + "status": "PASS_STATIC44_SELECTIVE_BOTH_SUPPLIERS", + "bit_local_profile": { + "1": 1270, + "2": 1320, + "3": 50, + "4": 170, + "6": 130, + "8": 9 + }, + "bit_global_profile": { + "1": 365760, + "2": 395520, + "3": 14400, + "4": 64320, + "6": 52800, + "7": 23040, + "8": 2592 + }, + "bit_word_sha256": "275447d211596b5a7bc1435bb1597cf70300679b27a127a78eb1efbf83506af0", + "bit_template_sha256": "e24da8e68fed26ea2045632b43c20c7e73be4b49f803565097ad7575074f13b2", + "bit_program_sha256": "4d8c9875292c2134832ec46534ad160b4503f3c967cf1bee2d6a5cb75c2d102d", + "bit_payload_prefix_bits": 101, + "bit_prefix_bits": 191, + "bit_charged_prefix_bits": 192, + "bit_two_level_bits": 421, + "bit_charged_two_level_bits": 512, + "complex_local_profile": { + "1": 2204, + "2": 728, + "3": 184, + "4": 280, + "5": 56, + "6": 56, + "8": 8 + }, + "complex_global_profile": { + "1": 158688, + "2": 52864, + "3": 15171, + "4": 20160, + "5": 4032, + "6": 4032, + "7": 208, + "8": 576, + "39": 1, + "48": 1660 + }, + "complex_word_sha256": "9fc4a1445b2dc49d6331ecc7638a95289feb0b1cf94d8ee74daa285a234ccd49", + "complex_program_sha256": "c88fe1770b76cf0dc1c3a90a95baefd898e95012248984c69bf0ca87cf3fafba", + "complex_phase_sha256": "9ca2571e17012130b8b3359339f235df9c995dd3b92f86c44e45a2c2da77ac31", + "complex_template_sha256": "7460157d9add0bf66616009d32e25f58f8b1a30edb9f13eb730bf532b61dbf8b", + "complex_live": 7168, + "complex_physical": 7682, + "complex_deficit": 2560, + "complex_helper_roles": 36288, + "complex_prefix_bits": 225, + "complex_charged_prefix_bits": 512, + "phase_edges": 2929, + "endpoint_adapters": 224, + "seconds": 189.04131883301307, + "python": "3.14.8 (main, Sep 30 2026, 17:55:09) [Clang 21.0.0 (clang-2100.3.34.2)]", + "manifest_sha256": "9cbdd9329a903b9b0f2b967ec7df5d7cac17f0288b480bfb81448f764b14a7e1", + "scope": "Conditional finite witness under the retained all-size compiler, common-label/mutable-basis, whole-call hosting, restored-work, precision/tape and analytic-transfer contracts. Fresh changed-bit admission and complex admission and finite invoices are separately hash-bound. The unchanged complex data controller remains a cited dependency. No unconditional theorem is claimed." +} diff --git a/research/r420-static44-composition/evidence/PR548-COMPONENT.json b/research/r420-static44-composition/evidence/PR548-COMPONENT.json new file mode 100644 index 0000000000..f030f2cd2a --- /dev/null +++ b/research/r420-static44-composition/evidence/PR548-COMPONENT.json @@ -0,0 +1,43 @@ +{ + "status": "PASS_FRESH_PR548_COMPLEX_COMPONENT_ADMISSION", + "source_head": "66dbc2bffc1bfa8d50b3f9a2ac7ccba8fd9f6f36", + "steps": [ + { + "name": "local", + "exit": 0, + "seconds": 10.736627083970234 + }, + { + "name": "global", + "exit": 0, + "seconds": 7.709029791993089 + } + ], + "profile": { + "1": 164448, + "2": 33280, + "3": 37059, + "4": 12096, + "5": 4032, + "6": 4032, + "7": 208, + "8": 576, + "39": 1, + "48": 1660 + }, + "template_sha256": "51c23adc2c714ac6d889401edd752f6e1f276b87410739946b2864a48df584c6", + "canonical_word_sha256": "401a994b1504b5e0ed653744321fdf524262ed2b2935c89eb7cdb7c4edc3d974", + "prefix_bits": 225, + "live": 7168, + "physical": 7682, + "deficit": 2560, + "seconds": 18.446438707993366, + "artifacts": { + "complex-global/audit/OWNERS-AND-PROFILE.json": "1a0367f3e633a203f0653fcc7f76ed45c05c1838f5b4d318fe89c15fc44a9c7a", + "complex-global/audit/PREFIX-AND-INVOICE.json": "17fb3b6f504f063442e2ea8e3987009b0acea4f8a010c66d8f64731f2f1bb347", + "complex-global/audit/ASYNC-AUDIT.json": "82282f9667068706a3a76811856bb639907a0fa9f8d56fad2d69c4642c50c5d2", + "complex-local/local/CLIFFORD-REVIEW.json": "c167df1cbbf568c0d7741f5554cf9e726b9f8455d9301e37ecf77e696bef46a9", + "complex-local/local/INDEPENDENT-LOCAL-REPLAY.json": "b5c2235fc371d3e4c8dfa6787695780dfdce6c81cb1ea4f66897d7819c5ff662" + }, + "scope": "Fresh PR548 complex construction, frames, changed local phase edges, residual wrappers, whole-owner controller, mutations and finite invoice. Pinned unchanged phase/data dependencies retained. PR548 bit supplier not rebuilt or used; intended bit supplier is previously independently verified PR543. All-size assumptions remain conditional." +} diff --git a/research/r420-static44-composition/evidence/PR548-LOCAL-SCALAR.json b/research/r420-static44-composition/evidence/PR548-LOCAL-SCALAR.json new file mode 100644 index 0000000000..8887f6624e --- /dev/null +++ b/research/r420-static44-composition/evidence/PR548-LOCAL-SCALAR.json @@ -0,0 +1,58 @@ +{ + "status": "PASS_INDEPENDENT_LOCAL_SCALAR_FRAME_AND_WRAPPER_REPLAY", + "canonical_word_sha256": "401a994b1504b5e0ed653744321fdf524262ed2b2935c89eb7cdb7c4edc3d974", + "local_programs_sha256": "c06296a1abfb11ba74595eefa30dac5494370cf87566e268243071768e980357", + "v": 112, + "helpers": 504, + "local": { + "forward": { + "all_exact_columns": 728, + "prefix_l1_upper": "86491024246", + "prefix_bits_upper": 37, + "charged_payload_bits": 192, + "private_work_erased": true + }, + "backward": { + "all_exact_columns": 728, + "prefix_l1_upper": "1014379822882", + "prefix_bits_upper": 40, + "charged_payload_bits": 192, + "private_work_erased": true + } + }, + "paid_profiles": { + "forward": { + "1": 2284, + "4": 168, + "8": 8, + "3": 488, + "2": 456, + "6": 56, + "5": 56 + }, + "backward": { + "1": 2284, + "4": 168, + "8": 8, + "3": 488, + "2": 456, + "6": 56, + "5": 56 + } + }, + "entering_helpers": 212, + "negative_controls_rejected": [ + "wrong_scale", + "missing_center", + "wrong_common_frame", + "wrong_child_rank", + "missing_pre_wrapper", + "missing_post_wrapper", + "wrapper_with_wrong_frame", + "wrapper_in_wrong_phase", + "wrapper_on_a_data_register", + "wrapper_on_a_target_register", + "wrapper_on_a_centre_register" + ], + "scope": "Literal forward and inverse-transpose replay on every arbitrary data/helper column, physical frame incidence, ordered paid wrappers, cleared private work and prefix coefficients. Global hosting and outer exponent are separate." +} diff --git a/research/r420-static44-composition/evidence/PR548-OWNER-CONTROLS.json b/research/r420-static44-composition/evidence/PR548-OWNER-CONTROLS.json new file mode 100644 index 0000000000..fdb102c0e4 --- /dev/null +++ b/research/r420-static44-composition/evidence/PR548-OWNER-CONTROLS.json @@ -0,0 +1,47 @@ +{ + "status": "PASS_INDEPENDENT_ASYNC_WHOLE_OWNER_CONTROLLER_PHASES_AND_SPECTATORS", + "template_sha256": "51c23adc2c714ac6d889401edd752f6e1f276b87410739946b2864a48df584c6", + "complex_template_sha256": "51c23adc2c714ac6d889401edd752f6e1f276b87410739946b2864a48df584c6", + "complex_live": 7168, + "complex_profile": { + "1": 164448, + "2": 33280, + "3": 37059, + "4": 12096, + "5": 4032, + "6": 4032, + "7": 208, + "8": 576, + "39": 1, + "48": 1660 + }, + "complex_hosted_residuals": 36288, + "physical": 7682, + "rank_mass": 520704, + "deficit": 2560, + "entering_helper_roles": 15264, + "cross_replica_helper_roles": 28243, + "one_owner_per_complete_invocation": true, + "helper_busy_family_window_checks": 36288, + "complete_invocations": 72, + "actual_orthogonal_73column_maps": 2972, + "actual_sigma_stream_sha256": "8298988ef1499bdb213d932b42a10312ef3184a93558feb4e1b1a91bed68b8b9", + "all_actual_residual_and_spectator_charts": true, + "idle_remainders": 4240, + "mutations_rejected": [ + "alias two whole owners", + "helper on active data family", + "owner in private namespace", + "wrong residual width", + "wrong spectator coordinate", + "omit idle remainder", + "understate physical reserve" + ], + "mutation_controls_run": true, + "widths": { + "5": 56, + "8": 156, + "9": 292 + }, + "scope": "Independent exact asynchronous chronology, per-replica phase projection, owner/chart/paid-profile audit. Uses the new selected local program bound by fresh scalar, phase and residual-wrapper receipts; all-size compilation and complete coefficient invoice are separate inherited obligations." +} diff --git a/research/r420-static44-composition/evidence/PR548-PHASES.json b/research/r420-static44-composition/evidence/PR548-PHASES.json new file mode 100644 index 0000000000..cfdbdb4c68 --- /dev/null +++ b/research/r420-static44-composition/evidence/PR548-PHASES.json @@ -0,0 +1,4233 @@ +{ + "status": "PASS_REUSED_AND_FRESH_EXACT_LOCAL_PHASE_RECIPES", + "canonical_word_sha256": "401a994b1504b5e0ed653744321fdf524262ed2b2935c89eb7cdb7c4edc3d974", + "frames": 999, + "directed_edges": 2929, + "reused_edges": 1878, + "fresh_edges": 1051, + "ranks": { + "1": 1831, + "2": 398, + "8": 16, + "3": 446, + "4": 168, + "5": 14, + "6": 56 + }, + "endpoint_adapters": 224, + "reused_endpoint_adapters": 224, + "all_child_equalities_include_global_phase": true, + "recipe_sha256": "ae733110fc6639099f7db4086636cfe646952bde76c5459a4e0fb28100051938", + "baseline_recipe_sha256": "577a1be13f5140d9c3997637784b2f812f46b24c61877699430b02de4f662102", + "baseline_review_sha256": "cd48fe6882a39c57021c4614747cc5c2c88ec07e806cebb914cf533997b73d9b", + "compiler_sha256": "2982ead07721e83358dc67c6f49c2b4c16a236a6bebdfd72f58221be1f5d0962", + "seconds": 2.496414666995406, + "vector_arithmetic": "Exact checked int64 Gaussian dyadics; cached permutations and Z4 phase actions. No floating-point equality.", + "fresh_edge_ids": [ + [ + 0, + 2 + ], + [ + 0, + 3 + ], + [ + 0, + 4 + ], + [ + 0, + 5 + ], + [ + 2, + 86 + ], + [ + 2, + 87 + ], + [ + 2, + 92 + ], + [ + 2, + 93 + ], + [ + 2, + 117 + ], + [ + 2, + 118 + ], + [ + 2, + 119 + ], + [ + 2, + 120 + ], + [ + 2, + 206 + ], + [ + 2, + 207 + ], + [ + 2, + 233 + ], + [ + 2, + 234 + ], + [ + 2, + 235 + ], + [ + 2, + 236 + ], + [ + 2, + 322 + ], + [ + 2, + 323 + ], + [ + 3, + 88 + ], + [ + 3, + 89 + ], + [ + 3, + 90 + ], + [ + 3, + 91 + ], + [ + 3, + 146 + ], + [ + 3, + 147 + ], + [ + 3, + 148 + ], + [ + 3, + 149 + ], + [ + 3, + 177 + ], + [ + 3, + 178 + ], + [ + 3, + 262 + ], + [ + 3, + 263 + ], + [ + 3, + 264 + ], + [ + 3, + 265 + ], + [ + 3, + 293 + ], + [ + 3, + 294 + ], + [ + 4, + 57 + ], + [ + 4, + 58 + ], + [ + 4, + 63 + ], + [ + 4, + 64 + ], + [ + 4, + 115 + ], + [ + 4, + 116 + ], + [ + 4, + 121 + ], + [ + 4, + 122 + ], + [ + 4, + 179 + ], + [ + 4, + 180 + ], + [ + 4, + 260 + ], + [ + 4, + 261 + ], + [ + 4, + 266 + ], + [ + 4, + 267 + ], + [ + 4, + 324 + ], + [ + 4, + 325 + ], + [ + 5, + 59 + ], + [ + 5, + 60 + ], + [ + 5, + 61 + ], + [ + 5, + 62 + ], + [ + 5, + 144 + ], + [ + 5, + 145 + ], + [ + 5, + 150 + ], + [ + 5, + 151 + ], + [ + 5, + 208 + ], + [ + 5, + 209 + ], + [ + 5, + 231 + ], + [ + 5, + 232 + ], + [ + 5, + 237 + ], + [ + 5, + 238 + ], + [ + 5, + 295 + ], + [ + 5, + 296 + ], + [ + 57, + 631 + ], + [ + 57, + 647 + ], + [ + 58, + 632 + ], + [ + 58, + 648 + ], + [ + 59, + 639 + ], + [ + 59, + 655 + ], + [ + 60, + 640 + ], + [ + 60, + 656 + ], + [ + 61, + 663 + ], + [ + 61, + 679 + ], + [ + 62, + 664 + ], + [ + 62, + 680 + ], + [ + 63, + 671 + ], + [ + 63, + 687 + ], + [ + 64, + 672 + ], + [ + 64, + 688 + ], + [ + 86, + 633 + ], + [ + 86, + 657 + ], + [ + 87, + 634 + ], + [ + 87, + 658 + ], + [ + 88, + 641 + ], + [ + 88, + 649 + ], + [ + 89, + 642 + ], + [ + 89, + 650 + ], + [ + 90, + 673 + ], + [ + 90, + 681 + ], + [ + 91, + 674 + ], + [ + 91, + 682 + ], + [ + 92, + 665 + ], + [ + 92, + 689 + ], + [ + 93, + 666 + ], + [ + 93, + 690 + ], + [ + 103, + 522 + ], + [ + 113, + 525 + ], + [ + 114, + 523 + ], + [ + 115, + 615 + ], + [ + 115, + 647 + ], + [ + 116, + 616 + ], + [ + 116, + 648 + ], + [ + 117, + 623 + ], + [ + 117, + 657 + ], + [ + 118, + 624 + ], + [ + 118, + 658 + ], + [ + 119, + 667 + ], + [ + 119, + 695 + ], + [ + 120, + 668 + ], + [ + 120, + 696 + ], + [ + 121, + 677 + ], + [ + 121, + 703 + ], + [ + 122, + 678 + ], + [ + 122, + 704 + ], + [ + 142, + 533 + ], + [ + 143, + 531 + ], + [ + 144, + 617 + ], + [ + 144, + 655 + ], + [ + 145, + 618 + ], + [ + 145, + 656 + ], + [ + 146, + 625 + ], + [ + 146, + 649 + ], + [ + 147, + 626 + ], + [ + 147, + 650 + ], + [ + 148, + 675 + ], + [ + 148, + 697 + ], + [ + 149, + 676 + ], + [ + 149, + 698 + ], + [ + 150, + 669 + ], + [ + 150, + 705 + ], + [ + 151, + 670 + ], + [ + 151, + 706 + ], + [ + 161, + 538 + ], + [ + 171, + 536 + ], + [ + 171, + 541 + ], + [ + 172, + 539 + ], + [ + 173, + 615 + ], + [ + 173, + 631 + ], + [ + 174, + 616 + ], + [ + 174, + 632 + ], + [ + 175, + 625 + ], + [ + 175, + 641 + ], + [ + 176, + 626 + ], + [ + 176, + 642 + ], + [ + 177, + 683 + ], + [ + 177, + 699 + ], + [ + 178, + 684 + ], + [ + 178, + 700 + ], + [ + 179, + 693 + ], + [ + 179, + 709 + ], + [ + 180, + 694 + ], + [ + 180, + 710 + ], + [ + 190, + 546 + ], + [ + 200, + 544 + ], + [ + 200, + 549 + ], + [ + 201, + 547 + ], + [ + 202, + 617 + ], + [ + 202, + 639 + ], + [ + 203, + 618 + ], + [ + 203, + 640 + ], + [ + 204, + 623 + ], + [ + 204, + 633 + ], + [ + 205, + 624 + ], + [ + 205, + 634 + ], + [ + 206, + 691 + ], + [ + 206, + 701 + ], + [ + 207, + 692 + ], + [ + 207, + 702 + ], + [ + 208, + 685 + ], + [ + 208, + 707 + ], + [ + 209, + 686 + ], + [ + 209, + 708 + ], + [ + 219, + 554 + ], + [ + 229, + 552 + ], + [ + 229, + 557 + ], + [ + 230, + 555 + ], + [ + 231, + 619 + ], + [ + 231, + 679 + ], + [ + 232, + 620 + ], + [ + 232, + 680 + ], + [ + 233, + 629 + ], + [ + 233, + 689 + ], + [ + 234, + 630 + ], + [ + 234, + 690 + ], + [ + 235, + 635 + ], + [ + 235, + 695 + ], + [ + 236, + 636 + ], + [ + 236, + 696 + ], + [ + 237, + 645 + ], + [ + 237, + 705 + ], + [ + 238, + 646 + ], + [ + 238, + 706 + ], + [ + 248, + 562 + ], + [ + 258, + 560 + ], + [ + 258, + 565 + ], + [ + 259, + 563 + ], + [ + 260, + 621 + ], + [ + 260, + 687 + ], + [ + 261, + 622 + ], + [ + 261, + 688 + ], + [ + 262, + 627 + ], + [ + 262, + 681 + ], + [ + 263, + 628 + ], + [ + 263, + 682 + ], + [ + 264, + 643 + ], + [ + 264, + 697 + ], + [ + 265, + 644 + ], + [ + 265, + 698 + ], + [ + 266, + 637 + ], + [ + 266, + 703 + ], + [ + 267, + 638 + ], + [ + 267, + 704 + ], + [ + 277, + 570 + ], + [ + 287, + 568 + ], + [ + 287, + 573 + ], + [ + 288, + 571 + ], + [ + 289, + 619 + ], + [ + 289, + 663 + ], + [ + 290, + 620 + ], + [ + 290, + 664 + ], + [ + 291, + 627 + ], + [ + 291, + 673 + ], + [ + 292, + 628 + ], + [ + 292, + 674 + ], + [ + 293, + 651 + ], + [ + 293, + 699 + ], + [ + 294, + 652 + ], + [ + 294, + 700 + ], + [ + 295, + 661 + ], + [ + 295, + 707 + ], + [ + 296, + 662 + ], + [ + 296, + 708 + ], + [ + 306, + 578 + ], + [ + 316, + 576 + ], + [ + 316, + 581 + ], + [ + 317, + 579 + ], + [ + 318, + 621 + ], + [ + 318, + 671 + ], + [ + 319, + 622 + ], + [ + 319, + 672 + ], + [ + 320, + 629 + ], + [ + 320, + 665 + ], + [ + 321, + 630 + ], + [ + 321, + 666 + ], + [ + 322, + 659 + ], + [ + 322, + 701 + ], + [ + 323, + 660 + ], + [ + 323, + 702 + ], + [ + 324, + 653 + ], + [ + 324, + 709 + ], + [ + 325, + 654 + ], + [ + 325, + 710 + ], + [ + 347, + 635 + ], + [ + 347, + 667 + ], + [ + 348, + 636 + ], + [ + 348, + 668 + ], + [ + 349, + 643 + ], + [ + 349, + 675 + ], + [ + 350, + 644 + ], + [ + 350, + 676 + ], + [ + 351, + 651 + ], + [ + 351, + 683 + ], + [ + 352, + 652 + ], + [ + 352, + 684 + ], + [ + 353, + 659 + ], + [ + 353, + 691 + ], + [ + 354, + 660 + ], + [ + 354, + 692 + ], + [ + 376, + 637 + ], + [ + 376, + 677 + ], + [ + 377, + 638 + ], + [ + 377, + 678 + ], + [ + 378, + 645 + ], + [ + 378, + 669 + ], + [ + 379, + 646 + ], + [ + 379, + 670 + ], + [ + 380, + 661 + ], + [ + 380, + 685 + ], + [ + 381, + 662 + ], + [ + 381, + 686 + ], + [ + 382, + 653 + ], + [ + 382, + 693 + ], + [ + 383, + 654 + ], + [ + 383, + 694 + ], + [ + 425, + 687 + ], + [ + 425, + 688 + ], + [ + 425, + 689 + ], + [ + 425, + 690 + ], + [ + 425, + 691 + ], + [ + 425, + 692 + ], + [ + 425, + 693 + ], + [ + 425, + 694 + ], + [ + 426, + 695 + ], + [ + 426, + 696 + ], + [ + 426, + 697 + ], + [ + 426, + 698 + ], + [ + 426, + 699 + ], + [ + 426, + 700 + ], + [ + 426, + 701 + ], + [ + 426, + 702 + ], + [ + 427, + 711 + ], + [ + 427, + 712 + ], + [ + 427, + 713 + ], + [ + 427, + 714 + ], + [ + 427, + 715 + ], + [ + 427, + 716 + ], + [ + 427, + 717 + ], + [ + 427, + 718 + ], + [ + 428, + 703 + ], + [ + 428, + 704 + ], + [ + 428, + 705 + ], + [ + 428, + 706 + ], + [ + 428, + 707 + ], + [ + 428, + 708 + ], + [ + 428, + 709 + ], + [ + 428, + 710 + ], + [ + 429, + 679 + ], + [ + 429, + 680 + ], + [ + 429, + 681 + ], + [ + 429, + 682 + ], + [ + 429, + 683 + ], + [ + 429, + 684 + ], + [ + 429, + 685 + ], + [ + 429, + 686 + ], + [ + 430, + 671 + ], + [ + 430, + 672 + ], + [ + 430, + 673 + ], + [ + 430, + 674 + ], + [ + 430, + 675 + ], + [ + 430, + 676 + ], + [ + 430, + 677 + ], + [ + 430, + 678 + ], + [ + 431, + 663 + ], + [ + 431, + 664 + ], + [ + 431, + 665 + ], + [ + 431, + 666 + ], + [ + 431, + 667 + ], + [ + 431, + 668 + ], + [ + 431, + 669 + ], + [ + 431, + 670 + ], + [ + 432, + 655 + ], + [ + 432, + 656 + ], + [ + 432, + 657 + ], + [ + 432, + 658 + ], + [ + 432, + 659 + ], + [ + 432, + 660 + ], + [ + 432, + 661 + ], + [ + 432, + 662 + ], + [ + 433, + 647 + ], + [ + 433, + 648 + ], + [ + 433, + 649 + ], + [ + 433, + 650 + ], + [ + 433, + 651 + ], + [ + 433, + 652 + ], + [ + 433, + 653 + ], + [ + 433, + 654 + ], + [ + 434, + 639 + ], + [ + 434, + 640 + ], + [ + 434, + 641 + ], + [ + 434, + 642 + ], + [ + 434, + 643 + ], + [ + 434, + 644 + ], + [ + 434, + 645 + ], + [ + 434, + 646 + ], + [ + 435, + 631 + ], + [ + 435, + 632 + ], + [ + 435, + 633 + ], + [ + 435, + 634 + ], + [ + 435, + 635 + ], + [ + 435, + 636 + ], + [ + 435, + 637 + ], + [ + 435, + 638 + ], + [ + 436, + 615 + ], + [ + 436, + 616 + ], + [ + 436, + 617 + ], + [ + 436, + 618 + ], + [ + 436, + 619 + ], + [ + 436, + 620 + ], + [ + 436, + 621 + ], + [ + 436, + 622 + ], + [ + 437, + 623 + ], + [ + 437, + 624 + ], + [ + 437, + 625 + ], + [ + 437, + 626 + ], + [ + 437, + 627 + ], + [ + 437, + 628 + ], + [ + 437, + 629 + ], + [ + 437, + 630 + ], + [ + 438, + 607 + ], + [ + 438, + 608 + ], + [ + 438, + 609 + ], + [ + 438, + 610 + ], + [ + 438, + 611 + ], + [ + 438, + 612 + ], + [ + 438, + 613 + ], + [ + 438, + 614 + ], + [ + 453, + 571 + ], + [ + 454, + 573 + ], + [ + 456, + 522 + ], + [ + 457, + 579 + ], + [ + 458, + 581 + ], + [ + 459, + 544 + ], + [ + 460, + 546 + ], + [ + 461, + 555 + ], + [ + 462, + 557 + ], + [ + 463, + 536 + ], + [ + 464, + 538 + ], + [ + 465, + 563 + ], + [ + 466, + 565 + ], + [ + 467, + 560 + ], + [ + 468, + 562 + ], + [ + 469, + 539 + ], + [ + 470, + 541 + ], + [ + 471, + 552 + ], + [ + 472, + 554 + ], + [ + 473, + 547 + ], + [ + 474, + 549 + ], + [ + 475, + 576 + ], + [ + 476, + 578 + ], + [ + 477, + 523 + ], + [ + 478, + 525 + ], + [ + 479, + 568 + ], + [ + 480, + 570 + ], + [ + 481, + 531 + ], + [ + 482, + 533 + ], + [ + 520, + 607 + ], + [ + 522, + 608 + ], + [ + 522, + 734 + ], + [ + 523, + 711 + ], + [ + 523, + 734 + ], + [ + 525, + 712 + ], + [ + 525, + 733 + ], + [ + 528, + 607 + ], + [ + 530, + 608 + ], + [ + 531, + 717 + ], + [ + 531, + 738 + ], + [ + 533, + 718 + ], + [ + 533, + 737 + ], + [ + 536, + 609 + ], + [ + 536, + 740 + ], + [ + 538, + 610 + ], + [ + 538, + 742 + ], + [ + 539, + 713 + ], + [ + 539, + 742 + ], + [ + 541, + 714 + ], + [ + 541, + 741 + ], + [ + 544, + 609 + ], + [ + 544, + 744 + ], + [ + 546, + 610 + ], + [ + 546, + 746 + ], + [ + 547, + 715 + ], + [ + 547, + 746 + ], + [ + 549, + 716 + ], + [ + 549, + 745 + ], + [ + 552, + 611 + ], + [ + 552, + 748 + ], + [ + 554, + 612 + ], + [ + 554, + 750 + ], + [ + 555, + 713 + ], + [ + 555, + 750 + ], + [ + 557, + 714 + ], + [ + 557, + 749 + ], + [ + 560, + 611 + ], + [ + 560, + 752 + ], + [ + 562, + 612 + ], + [ + 562, + 754 + ], + [ + 563, + 715 + ], + [ + 563, + 754 + ], + [ + 565, + 716 + ], + [ + 565, + 753 + ], + [ + 568, + 613 + ], + [ + 568, + 756 + ], + [ + 570, + 614 + ], + [ + 570, + 758 + ], + [ + 571, + 711 + ], + [ + 571, + 758 + ], + [ + 573, + 712 + ], + [ + 573, + 757 + ], + [ + 576, + 613 + ], + [ + 576, + 760 + ], + [ + 578, + 614 + ], + [ + 578, + 762 + ], + [ + 579, + 717 + ], + [ + 579, + 762 + ], + [ + 581, + 718 + ], + [ + 581, + 761 + ], + [ + 607, + 1 + ], + [ + 607, + 831 + ], + [ + 607, + 837 + ], + [ + 608, + 1 + ], + [ + 608, + 832 + ], + [ + 608, + 838 + ], + [ + 609, + 1 + ], + [ + 609, + 835 + ], + [ + 609, + 841 + ], + [ + 610, + 1 + ], + [ + 610, + 836 + ], + [ + 610, + 842 + ], + [ + 611, + 1 + ], + [ + 611, + 835 + ], + [ + 611, + 842 + ], + [ + 612, + 1 + ], + [ + 612, + 836 + ], + [ + 612, + 841 + ], + [ + 613, + 1 + ], + [ + 613, + 831 + ], + [ + 613, + 838 + ], + [ + 614, + 1 + ], + [ + 614, + 832 + ], + [ + 614, + 837 + ], + [ + 615, + 1 + ], + [ + 615, + 843 + ], + [ + 615, + 849 + ], + [ + 616, + 1 + ], + [ + 616, + 844 + ], + [ + 616, + 850 + ], + [ + 617, + 1 + ], + [ + 617, + 847 + ], + [ + 617, + 853 + ], + [ + 618, + 1 + ], + [ + 618, + 848 + ], + [ + 618, + 854 + ], + [ + 619, + 1 + ], + [ + 619, + 847 + ], + [ + 619, + 854 + ], + [ + 620, + 1 + ], + [ + 620, + 848 + ], + [ + 620, + 853 + ], + [ + 621, + 1 + ], + [ + 621, + 843 + ], + [ + 621, + 850 + ], + [ + 622, + 1 + ], + [ + 622, + 844 + ], + [ + 622, + 849 + ], + [ + 623, + 1 + ], + [ + 623, + 855 + ], + [ + 623, + 861 + ], + [ + 624, + 1 + ], + [ + 624, + 856 + ], + [ + 624, + 862 + ], + [ + 625, + 1 + ], + [ + 625, + 859 + ], + [ + 625, + 865 + ], + [ + 626, + 1 + ], + [ + 626, + 860 + ], + [ + 626, + 866 + ], + [ + 627, + 1 + ], + [ + 627, + 859 + ], + [ + 627, + 866 + ], + [ + 628, + 1 + ], + [ + 628, + 860 + ], + [ + 628, + 865 + ], + [ + 629, + 1 + ], + [ + 629, + 855 + ], + [ + 629, + 862 + ], + [ + 630, + 1 + ], + [ + 630, + 856 + ], + [ + 630, + 861 + ], + [ + 631, + 1 + ], + [ + 631, + 867 + ], + [ + 631, + 873 + ], + [ + 632, + 1 + ], + [ + 632, + 868 + ], + [ + 632, + 874 + ], + [ + 633, + 1 + ], + [ + 633, + 871 + ], + [ + 633, + 877 + ], + [ + 634, + 1 + ], + [ + 634, + 872 + ], + [ + 634, + 878 + ], + [ + 635, + 1 + ], + [ + 635, + 871 + ], + [ + 635, + 878 + ], + [ + 636, + 1 + ], + [ + 636, + 872 + ], + [ + 636, + 877 + ], + [ + 637, + 1 + ], + [ + 637, + 867 + ], + [ + 637, + 874 + ], + [ + 638, + 1 + ], + [ + 638, + 868 + ], + [ + 638, + 873 + ], + [ + 639, + 1 + ], + [ + 639, + 879 + ], + [ + 639, + 885 + ], + [ + 640, + 1 + ], + [ + 640, + 880 + ], + [ + 640, + 886 + ], + [ + 641, + 1 + ], + [ + 641, + 883 + ], + [ + 641, + 889 + ], + [ + 642, + 1 + ], + [ + 642, + 884 + ], + [ + 642, + 890 + ], + [ + 643, + 1 + ], + [ + 643, + 883 + ], + [ + 643, + 890 + ], + [ + 644, + 1 + ], + [ + 644, + 884 + ], + [ + 644, + 889 + ], + [ + 645, + 1 + ], + [ + 645, + 879 + ], + [ + 645, + 886 + ], + [ + 646, + 1 + ], + [ + 646, + 880 + ], + [ + 646, + 885 + ], + [ + 647, + 1 + ], + [ + 647, + 891 + ], + [ + 647, + 897 + ], + [ + 648, + 1 + ], + [ + 648, + 892 + ], + [ + 648, + 898 + ], + [ + 649, + 1 + ], + [ + 649, + 895 + ], + [ + 649, + 901 + ], + [ + 650, + 1 + ], + [ + 650, + 896 + ], + [ + 650, + 902 + ], + [ + 651, + 1 + ], + [ + 651, + 895 + ], + [ + 651, + 902 + ], + [ + 652, + 1 + ], + [ + 652, + 896 + ], + [ + 652, + 901 + ], + [ + 653, + 1 + ], + [ + 653, + 891 + ], + [ + 653, + 898 + ], + [ + 654, + 1 + ], + [ + 654, + 892 + ], + [ + 654, + 897 + ], + [ + 655, + 1 + ], + [ + 655, + 903 + ], + [ + 655, + 909 + ], + [ + 656, + 1 + ], + [ + 656, + 904 + ], + [ + 656, + 910 + ], + [ + 657, + 1 + ], + [ + 657, + 907 + ], + [ + 657, + 913 + ], + [ + 658, + 1 + ], + [ + 658, + 908 + ], + [ + 658, + 914 + ], + [ + 659, + 1 + ], + [ + 659, + 907 + ], + [ + 659, + 914 + ], + [ + 660, + 1 + ], + [ + 660, + 908 + ], + [ + 660, + 913 + ], + [ + 661, + 1 + ], + [ + 661, + 903 + ], + [ + 661, + 910 + ], + [ + 662, + 1 + ], + [ + 662, + 904 + ], + [ + 662, + 909 + ], + [ + 663, + 1 + ], + [ + 663, + 915 + ], + [ + 663, + 921 + ], + [ + 664, + 1 + ], + [ + 664, + 916 + ], + [ + 664, + 922 + ], + [ + 665, + 1 + ], + [ + 665, + 919 + ], + [ + 665, + 925 + ], + [ + 666, + 1 + ], + [ + 666, + 920 + ], + [ + 666, + 926 + ], + [ + 667, + 1 + ], + [ + 667, + 919 + ], + [ + 667, + 926 + ], + [ + 668, + 1 + ], + [ + 668, + 920 + ], + [ + 668, + 925 + ], + [ + 669, + 1 + ], + [ + 669, + 915 + ], + [ + 669, + 922 + ], + [ + 670, + 1 + ], + [ + 670, + 916 + ], + [ + 670, + 921 + ], + [ + 671, + 1 + ], + [ + 671, + 927 + ], + [ + 671, + 933 + ], + [ + 672, + 1 + ], + [ + 672, + 928 + ], + [ + 672, + 934 + ], + [ + 673, + 1 + ], + [ + 673, + 931 + ], + [ + 673, + 937 + ], + [ + 674, + 1 + ], + [ + 674, + 932 + ], + [ + 674, + 938 + ], + [ + 675, + 1 + ], + [ + 675, + 931 + ], + [ + 675, + 938 + ], + [ + 676, + 1 + ], + [ + 676, + 932 + ], + [ + 676, + 937 + ], + [ + 677, + 1 + ], + [ + 677, + 927 + ], + [ + 677, + 934 + ], + [ + 678, + 1 + ], + [ + 678, + 928 + ], + [ + 678, + 933 + ], + [ + 679, + 1 + ], + [ + 679, + 939 + ], + [ + 679, + 945 + ], + [ + 680, + 1 + ], + [ + 680, + 940 + ], + [ + 680, + 946 + ], + [ + 681, + 1 + ], + [ + 681, + 943 + ], + [ + 681, + 949 + ], + [ + 682, + 1 + ], + [ + 682, + 944 + ], + [ + 682, + 950 + ], + [ + 683, + 1 + ], + [ + 683, + 943 + ], + [ + 683, + 950 + ], + [ + 684, + 1 + ], + [ + 684, + 944 + ], + [ + 684, + 949 + ], + [ + 685, + 1 + ], + [ + 685, + 939 + ], + [ + 685, + 946 + ], + [ + 686, + 1 + ], + [ + 686, + 940 + ], + [ + 686, + 945 + ], + [ + 687, + 1 + ], + [ + 687, + 951 + ], + [ + 687, + 957 + ], + [ + 688, + 1 + ], + [ + 688, + 952 + ], + [ + 688, + 958 + ], + [ + 689, + 1 + ], + [ + 689, + 955 + ], + [ + 689, + 961 + ], + [ + 690, + 1 + ], + [ + 690, + 956 + ], + [ + 690, + 962 + ], + [ + 691, + 1 + ], + [ + 691, + 955 + ], + [ + 691, + 962 + ], + [ + 692, + 1 + ], + [ + 692, + 956 + ], + [ + 692, + 961 + ], + [ + 693, + 1 + ], + [ + 693, + 951 + ], + [ + 693, + 958 + ], + [ + 694, + 1 + ], + [ + 694, + 952 + ], + [ + 694, + 957 + ], + [ + 695, + 1 + ], + [ + 695, + 963 + ], + [ + 695, + 969 + ], + [ + 696, + 1 + ], + [ + 696, + 964 + ], + [ + 696, + 970 + ], + [ + 697, + 1 + ], + [ + 697, + 967 + ], + [ + 697, + 973 + ], + [ + 698, + 1 + ], + [ + 698, + 968 + ], + [ + 698, + 974 + ], + [ + 699, + 1 + ], + [ + 699, + 967 + ], + [ + 699, + 974 + ], + [ + 700, + 1 + ], + [ + 700, + 968 + ], + [ + 700, + 973 + ], + [ + 701, + 1 + ], + [ + 701, + 963 + ], + [ + 701, + 970 + ], + [ + 702, + 1 + ], + [ + 702, + 964 + ], + [ + 702, + 969 + ], + [ + 703, + 1 + ], + [ + 703, + 975 + ], + [ + 703, + 981 + ], + [ + 704, + 1 + ], + [ + 704, + 976 + ], + [ + 704, + 982 + ], + [ + 705, + 1 + ], + [ + 705, + 979 + ], + [ + 705, + 985 + ], + [ + 706, + 1 + ], + [ + 706, + 980 + ], + [ + 706, + 986 + ], + [ + 707, + 1 + ], + [ + 707, + 979 + ], + [ + 707, + 986 + ], + [ + 708, + 1 + ], + [ + 708, + 980 + ], + [ + 708, + 985 + ], + [ + 709, + 1 + ], + [ + 709, + 975 + ], + [ + 709, + 982 + ], + [ + 710, + 1 + ], + [ + 710, + 976 + ], + [ + 710, + 981 + ], + [ + 711, + 1 + ], + [ + 711, + 987 + ], + [ + 711, + 993 + ], + [ + 712, + 1 + ], + [ + 712, + 988 + ], + [ + 712, + 994 + ], + [ + 713, + 1 + ], + [ + 713, + 991 + ], + [ + 713, + 997 + ], + [ + 714, + 1 + ], + [ + 714, + 992 + ], + [ + 714, + 998 + ], + [ + 715, + 1 + ], + [ + 715, + 991 + ], + [ + 715, + 998 + ], + [ + 716, + 1 + ], + [ + 716, + 992 + ], + [ + 716, + 997 + ], + [ + 717, + 1 + ], + [ + 717, + 987 + ], + [ + 717, + 994 + ], + [ + 718, + 1 + ], + [ + 718, + 988 + ], + [ + 718, + 993 + ], + [ + 831, + 775 + ], + [ + 831, + 776 + ], + [ + 832, + 833 + ], + [ + 832, + 834 + ], + [ + 835, + 776 + ], + [ + 835, + 834 + ], + [ + 836, + 775 + ], + [ + 836, + 833 + ], + [ + 837, + 777 + ], + [ + 837, + 778 + ], + [ + 838, + 839 + ], + [ + 838, + 840 + ], + [ + 841, + 777 + ], + [ + 841, + 839 + ], + [ + 842, + 778 + ], + [ + 842, + 840 + ], + [ + 843, + 779 + ], + [ + 843, + 780 + ], + [ + 844, + 845 + ], + [ + 844, + 846 + ], + [ + 847, + 780 + ], + [ + 847, + 846 + ], + [ + 848, + 779 + ], + [ + 848, + 845 + ], + [ + 849, + 781 + ], + [ + 849, + 782 + ], + [ + 850, + 851 + ], + [ + 850, + 852 + ], + [ + 853, + 781 + ], + [ + 853, + 851 + ], + [ + 854, + 782 + ], + [ + 854, + 852 + ], + [ + 855, + 783 + ], + [ + 855, + 784 + ], + [ + 856, + 857 + ], + [ + 856, + 858 + ], + [ + 859, + 784 + ], + [ + 859, + 858 + ], + [ + 860, + 783 + ], + [ + 860, + 857 + ], + [ + 861, + 785 + ], + [ + 861, + 786 + ], + [ + 862, + 863 + ], + [ + 862, + 864 + ], + [ + 865, + 785 + ], + [ + 865, + 863 + ], + [ + 866, + 786 + ], + [ + 866, + 864 + ], + [ + 867, + 787 + ], + [ + 867, + 788 + ], + [ + 868, + 869 + ], + [ + 868, + 870 + ], + [ + 871, + 788 + ], + [ + 871, + 870 + ], + [ + 872, + 787 + ], + [ + 872, + 869 + ], + [ + 873, + 789 + ], + [ + 873, + 790 + ], + [ + 874, + 875 + ], + [ + 874, + 876 + ], + [ + 877, + 789 + ], + [ + 877, + 875 + ], + [ + 878, + 790 + ], + [ + 878, + 876 + ], + [ + 879, + 791 + ], + [ + 879, + 792 + ], + [ + 880, + 881 + ], + [ + 880, + 882 + ], + [ + 883, + 792 + ], + [ + 883, + 882 + ], + [ + 884, + 791 + ], + [ + 884, + 881 + ], + [ + 885, + 793 + ], + [ + 885, + 794 + ], + [ + 886, + 887 + ], + [ + 886, + 888 + ], + [ + 889, + 793 + ], + [ + 889, + 887 + ], + [ + 890, + 794 + ], + [ + 890, + 888 + ], + [ + 891, + 795 + ], + [ + 891, + 796 + ], + [ + 892, + 893 + ], + [ + 892, + 894 + ], + [ + 895, + 796 + ], + [ + 895, + 894 + ], + [ + 896, + 795 + ], + [ + 896, + 893 + ], + [ + 897, + 797 + ], + [ + 897, + 798 + ], + [ + 898, + 899 + ], + [ + 898, + 900 + ], + [ + 901, + 797 + ], + [ + 901, + 899 + ], + [ + 902, + 798 + ], + [ + 902, + 900 + ], + [ + 903, + 799 + ], + [ + 903, + 800 + ], + [ + 904, + 905 + ], + [ + 904, + 906 + ], + [ + 907, + 800 + ], + [ + 907, + 906 + ], + [ + 908, + 799 + ], + [ + 908, + 905 + ], + [ + 909, + 801 + ], + [ + 909, + 802 + ], + [ + 910, + 911 + ], + [ + 910, + 912 + ], + [ + 913, + 801 + ], + [ + 913, + 911 + ], + [ + 914, + 802 + ], + [ + 914, + 912 + ], + [ + 915, + 803 + ], + [ + 915, + 804 + ], + [ + 916, + 917 + ], + [ + 916, + 918 + ], + [ + 919, + 804 + ], + [ + 919, + 918 + ], + [ + 920, + 803 + ], + [ + 920, + 917 + ], + [ + 921, + 805 + ], + [ + 921, + 806 + ], + [ + 922, + 923 + ], + [ + 922, + 924 + ], + [ + 925, + 805 + ], + [ + 925, + 923 + ], + [ + 926, + 806 + ], + [ + 926, + 924 + ], + [ + 927, + 807 + ], + [ + 927, + 808 + ], + [ + 928, + 929 + ], + [ + 928, + 930 + ], + [ + 931, + 808 + ], + [ + 931, + 930 + ], + [ + 932, + 807 + ], + [ + 932, + 929 + ], + [ + 933, + 809 + ], + [ + 933, + 810 + ], + [ + 934, + 935 + ], + [ + 934, + 936 + ], + [ + 937, + 809 + ], + [ + 937, + 935 + ], + [ + 938, + 810 + ], + [ + 938, + 936 + ], + [ + 939, + 811 + ], + [ + 939, + 812 + ], + [ + 940, + 941 + ], + [ + 940, + 942 + ], + [ + 943, + 812 + ], + [ + 943, + 942 + ], + [ + 944, + 811 + ], + [ + 944, + 941 + ], + [ + 945, + 813 + ], + [ + 945, + 814 + ], + [ + 946, + 947 + ], + [ + 946, + 948 + ], + [ + 949, + 813 + ], + [ + 949, + 947 + ], + [ + 950, + 814 + ], + [ + 950, + 948 + ], + [ + 951, + 815 + ], + [ + 951, + 816 + ], + [ + 952, + 953 + ], + [ + 952, + 954 + ], + [ + 955, + 816 + ], + [ + 955, + 954 + ], + [ + 956, + 815 + ], + [ + 956, + 953 + ], + [ + 957, + 817 + ], + [ + 957, + 818 + ], + [ + 958, + 959 + ], + [ + 958, + 960 + ], + [ + 961, + 817 + ], + [ + 961, + 959 + ], + [ + 962, + 818 + ], + [ + 962, + 960 + ], + [ + 963, + 819 + ], + [ + 963, + 820 + ], + [ + 964, + 965 + ], + [ + 964, + 966 + ], + [ + 967, + 820 + ], + [ + 967, + 966 + ], + [ + 968, + 819 + ], + [ + 968, + 965 + ], + [ + 969, + 821 + ], + [ + 969, + 822 + ], + [ + 970, + 971 + ], + [ + 970, + 972 + ], + [ + 973, + 821 + ], + [ + 973, + 971 + ], + [ + 974, + 822 + ], + [ + 974, + 972 + ], + [ + 975, + 823 + ], + [ + 975, + 824 + ], + [ + 976, + 977 + ], + [ + 976, + 978 + ], + [ + 979, + 824 + ], + [ + 979, + 978 + ], + [ + 980, + 823 + ], + [ + 980, + 977 + ], + [ + 981, + 825 + ], + [ + 981, + 826 + ], + [ + 982, + 983 + ], + [ + 982, + 984 + ], + [ + 985, + 825 + ], + [ + 985, + 983 + ], + [ + 986, + 826 + ], + [ + 986, + 984 + ], + [ + 987, + 827 + ], + [ + 987, + 828 + ], + [ + 988, + 989 + ], + [ + 988, + 990 + ], + [ + 991, + 828 + ], + [ + 991, + 990 + ], + [ + 992, + 827 + ], + [ + 992, + 989 + ], + [ + 993, + 829 + ], + [ + 993, + 830 + ], + [ + 994, + 995 + ], + [ + 994, + 996 + ], + [ + 997, + 829 + ], + [ + 997, + 995 + ], + [ + 998, + 830 + ], + [ + 998, + 996 + ] + ], + "scope": "Only previously unseen ordered pairs of actual canonical subspaces were freshly lowered. Identical baseline pairs and all endpoint adapters reuse the pinned phase certificates; no full cold replay was performed." +} diff --git a/research/r420-static44-composition/evidence/PR548-REPLAY-DRIVER.py b/research/r420-static44-composition/evidence/PR548-REPLAY-DRIVER.py new file mode 100644 index 0000000000..aaa8626d70 --- /dev/null +++ b/research/r420-static44-composition/evidence/PR548-REPLAY-DRIVER.py @@ -0,0 +1,20 @@ +"""Rebuild only the PR548 complex supplier used for an R420 composition. +No PR548 bit result is used. Unchanged source auditors retain their notices. +Prepared for Rohan Arun with OpenAI Codex assistance. +""" +from pathlib import Path +import json,hashlib,subprocess,os,sys,time +R=Path(__file__).resolve().parent;P=R/'source548-review';O=R/'pr548-complex314';assert not O.exists();manifest=json.loads((P/'MANIFEST.json').read_text());present={f.relative_to(P).as_posix()for f in P.rglob('*')if f.is_file()and '__pycache__'not in f.parts};assert present==set(manifest['files'])|{'MANIFEST.json'} +for rel,item in manifest['files'].items(): + raw=(P/rel).read_bytes();raw=raw.replace(b'\r\n',b'\n')if item['mode']=='lf-text'else raw;assert hashlib.sha256(raw).hexdigest()==item['sha256'],rel +O.mkdir();(O/'tmp').mkdir();env=dict(os.environ,PYTHONDONTWRITEBYTECODE='1',PYTHONINTMAXSTRDIGITS='0',TMPDIR=str(O/'tmp'));steps=[];start=time.monotonic() +for name,script,args in [('local',P/'complex-local/run_local.py',['--out',O/'complex-local','--vendor',P/'complex-global/vendor531']),('global',P/'complex-global/replay.py',['--local',O/'complex-local/local','--out',O/'complex-global'])]: + t=time.monotonic() + with(O/(name+'.log')).open('w')as f:r=subprocess.run([sys.executable,'-B',str(script),*map(str,args)],env=env,cwd=O,stdout=f,stderr=subprocess.STDOUT) + steps.append(dict(name=name,exit=r.returncode,seconds=time.monotonic()-t));(O/'STEPS.json').write_text(json.dumps(steps,indent=2)+'\n') + if r.returncode:print((O/(name+'.log')).read_text()[-5000:]);raise SystemExit(name+' failed') + print('PASS',name,flush=True) +def read(path):return json.loads(path.read_text()) +e=read(P/'EXPECTED.json');A=O/'complex-global/audit';owner=read(A/'OWNERS-AND-PROFILE.json');inv=read(A/'PREFIX-AND-INVOICE.json');host=read(O/'complex-global/hosted/HOSTED.json');assert owner['template_sha256']==inv['template_sha256']==host['template_sha256']==e['complex_template_sha256'];assert inv['canonical_word_sha256']==e['complex_canonical_word_sha256'];assert owner['paid_profile']==e['complex_global_profile'];assert inv['global_prefix_bits']==e['complex_prefix_bits'];assert all(inv['strict_checks'].values());assert inv['finite']['physical_row_coefficient']<20161 +r=dict(status='PASS_FRESH_PR548_COMPLEX_COMPONENT_ADMISSION',source_head='66dbc2bffc1bfa8d50b3f9a2ac7ccba8fd9f6f36',steps=steps,profile=owner['paid_profile'],template_sha256=owner['template_sha256'],canonical_word_sha256=inv['canonical_word_sha256'],prefix_bits=inv['global_prefix_bits'],live=owner['live'],physical=owner['physical'],deficit=owner['deficit'],seconds=time.monotonic()-start,artifacts={f.relative_to(O).as_posix():hashlib.sha256(f.read_bytes()).hexdigest()for f in [A/'OWNERS-AND-PROFILE.json',A/'PREFIX-AND-INVOICE.json',A/'ASYNC-AUDIT.json',O/'complex-local/local/CLIFFORD-REVIEW.json',O/'complex-local/local/INDEPENDENT-LOCAL-REPLAY.json']},scope='Fresh PR548 complex construction, frames, changed local phase edges, residual wrappers, whole-owner controller, mutations and finite invoice. Pinned unchanged phase/data dependencies retained. PR548 bit supplier not rebuilt or used; intended bit supplier is previously independently verified PR543. All-size assumptions remain conditional.') +(O/'RESULT.json').write_text(json.dumps(r,indent=2)+'\n');print(r['status'],r['seconds'],flush=True) diff --git a/research/r420-static44-composition/evidence/PR548-REPLAY.log b/research/r420-static44-composition/evidence/PR548-REPLAY.log new file mode 100644 index 0000000000..b038376307 --- /dev/null +++ b/research/r420-static44-composition/evidence/PR548-REPLAY.log @@ -0,0 +1,3 @@ +PASS local +PASS global +PASS_FRESH_PR548_COMPLEX_COMPONENT_ADMISSION 18.446438707993366 diff --git a/research/r420-static44-composition/evidence/PUBLICATION-PREPARATION-FAILURE.json b/research/r420-static44-composition/evidence/PUBLICATION-PREPARATION-FAILURE.json new file mode 100644 index 0000000000..6ae63ece25 --- /dev/null +++ b/research/r420-static44-composition/evidence/PUBLICATION-PREPARATION-FAILURE.json @@ -0,0 +1,6 @@ +{ + "status": "REPAIRED_METADATA_SCHEMA_LOOKUP", + "failure": "Preparation read profile rather than bit_profile from PR543 RESULT9; KeyError interrupted manifest refresh. Both subsequent arithmetic invocations correctly rejected the stale manifest before doing work.", + "repair": "Compare bit_profile to expected profile, then regenerate complete manifest.", + "evidence_scope": "Reconstructed from observed command output; no standalone raw log retained." +} diff --git a/research/r420-static44-composition/history/PR547-initial-EXPECTED.json b/research/r420-static44-composition/history/PR547-initial-EXPECTED.json new file mode 100644 index 0000000000..5b786e190a --- /dev/null +++ b/research/r420-static44-composition/history/PR547-initial-EXPECTED.json @@ -0,0 +1,153 @@ +{ + "status": "PASS_EXACT_CITED_R420_STATIC44_COMPOSITION", + "kappa": "397677800014309/250000000000000000", + "kappa_decimal": "0.001590711200057236", + "complex_lower": "31864911873350496687/20000000000000000000000", + "complex_decimal": "0.00159324559366752483435", + "bit_lower": "413456747036699736067/250000000000000000000000", + "bit_decimal": "0.001653826988146798944268", + "binding": "complex", + "gain_over544_percent": "0.132755282101215853277276829127856262391596916140041908295861", + "moments": [ + { + "side": "bit", + "endpoint": "413456747036699736067/250000000000000000000000", + "accept": true, + "mercator": [ + "-6043813583626134311169770662156174867615397/13479973333575319897333507543509815336818572211270286240551805124608", + "-12087627167252268622339541324312349735230793/26959946667150639794667015087019630673637144422540572481103610249216" + ], + "base_two": [ + "-1120888283015460284783/2500000000000000000000000000000000000000000000", + "-4483543132061841139029/10000000000000000000000000000000000000000000000" + ] + }, + { + "side": "bit", + "endpoint": "1653826988146798944269/1000000000000000000000000", + "accept": false, + "mercator": [ + "70925594433828721229860776023154018035852861/26959946667150639794667015087019630673637144422540572481103610249216", + "70925594433828721229860776023154018035852863/26959946667150639794667015087019630673637144422540572481103610249216" + ], + "base_two": [ + "13153878434097279887307/5000000000000000000000000000000000000000000000", + "6576941717048639943679/2500000000000000000000000000000000000000000000" + ] + }, + { + "side": "complex", + "endpoint": "31864911873350496687/20000000000000000000000", + "accept": true, + "mercator": [ + "-5828437493451975866073536608490779414606081/13479973333575319897333507543509815336818572211270286240551805124608", + "-22767333958796780726849752376917107088305/52656145834278593348959013841835216159447547700274555627155488768" + ], + "base_two": [ + "-4323783538606397171921/10000000000000000000000000000000000000000000000", + "-2161886769303198585893/5000000000000000000000000000000000000000000000" + ] + }, + { + "side": "complex", + "endpoint": "1593245593667524834351/1000000000000000000000000", + "accept": false, + "mercator": [ + "71366765605997290665181971332725038784158651/26959946667150639794667015087019630673637144422540572481103610249216", + "71366765605997290665181971332725038784158653/26959946667150639794667015087019630673637144422540572481103610249216" + ], + "base_two": [ + "26471396461755964636181/10000000000000000000000000000000000000000000000", + "26471406461755964636317/10000000000000000000000000000000000000000000000" + ] + } + ], + "bootstrap": [ + { + "exponent": "636307375284796697099444713784985031767961564923687868471855330222570402024031/400000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "990862182213236002857048748005034492038435076312131528144669777429597975969/400000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "5866728318624" + }, + { + "exponent": "12745933175604083801518829514249041234065187483788809257727103717369054820925006820151080296169824585838246256040114703/8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "31573736114860527205736410760091134812516211190742272896282630945179074993179848919703830175414161753743959885297/8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "2311162727210467549" + }, + { + "exponent": "254919293980709654428466111018341284848434869929620721858802540860414869680820187286572742435963570681479386194133260946549939074648082785272401217338498511039/160000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "1006094318812454593994854741655565130070379278141197459139585130319179812713427257564036429318520613805866739053450060925351917214727598782661501488961/160000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "910468810135699953784734" + }, + { + "exponent": "5098385899704020358013176635917986430303789821798192291103799998674306002233376700696693791170662080940151665623657449023974077295562831812148134828209783357861076469530644948773960856648279397572207/3200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "32059106805237464345934099776210178201807708896200001325693997766623299303306208829337919059848334376342550976025922704437168187851865171790216642138923530469355051226039143351720602427793/3200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "358673772499978562276745714877" + }, + { + "exponent": "101967717994720567735755194782292488218834487270862013385880586716711577252579570226758950073309244488551146920354958049481669231805334843757146370855961437504734541204517138949342019721377950940579508321251312592655983954797786874603221791/64000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "1021560613087222985922382765512729137986614119413283288422747420429773241049926690755511448853079645041950518330768194665156242853629144038562495265458795482861050657980278622049059420491678748687407344016045202213125396778209/64000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "141297399369663555402284225116015137" + }, + { + "exponent": "2039354359894431753375426730795303725430963181738828538771029607188990472504291373425267678416789214141890189100320061273809022454732476536908585635767533511900903409873419544458561581811783716211164600770297437881769318875231570870572450834103611985281230095714611261779728293583/1280000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "32551938909310264486601036818261171461228970392811009527495708626574732321583210785858109810899679938726190977545267523463091414364232466488099096590126580455541438418188216283788835399229702562118230681124768429129427549165896388014718769904285388738220271706417/1280000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "55663270078191714442406932142641032024361" + } + ], + "outer": { + "bit_positive": "2039354359894431753375426730795303725430963181738828538771029607188990472504291373425267678416789214141890189100320061273809022454732476536908585635767533511900903409873419544458561581811783716211164600770297437881769318875231570870572450834103611985281230095714611261779728293583/1280000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "complex_above_bit": "34592573269204696274569036818261171461228970392811009527495708626574732321583210785858109810899679938726190977545267523463091414364232466488099096590126580455541438418188216283788835399229702562118230681124768429129427549165896388014718769904285388738220271706417/1280000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "complex_below_one_over32": "593135088126649503313/20000000000000000000000", + "beta_positive": "1/1000000000000000000", + "beta_below_one": "999999999999999999/1000000000000000000", + "leaf_saving_above_bit": "32553218909310264486601036818261171461228970392811009527495708626574732321583210785858109810899679938726190977545267523463091414364232466488099096590126580455541438418188216283788835399229702562118230681124768429129427549165896388014718769904285388738220271706417/1280000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_positive": "1019677179947215874648359005503220109340054860074110543954551621855666697481116079523643366704103233645677416133370816495014322127046176994645270363151290219041866069169176260328377381032472313647020718573365002729720058667318347553516906541820235122068164213753693645608634051076888738220271706417/640000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_internal": "2039354359894431753375426730795303725430963181738828538771029607188990472504291373425267678416789214141890189100320061273809022454732476536908585635767533511900903409873419544458561581811783716211164600770297437881769318875231570870572450834103611985281230095714611261779728293583/640000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_leaf": "18315963814549563996675945139925889456045448378144333302518883920476356633295896766354322583866629183504985677872953823005354729636848709780958133930830823739671622618967527686352979281426634997270279941332681652446483093458179764877931835786246306354391365948923111261779728293583/640000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "c_positive": "1019677179947216034648359005503220109340054860074110543954551621855666697481116079523643366704103233645677416133370816495014322127046176994645270363151290219041866069169176260328377381032472313647020718573365002729720058667318347553516906541820235122068164213753693645608634051076888738220271706417/640000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "c_below_one": "638980322820052783965351640994496779890659945139925889456045448378144333302518883920476356633295896766354322583866629183504985677872953823005354729636848709780958133930830823739671622618967527686352979281426634997270279941332681652446483093458179764877931835786246306354391365948923111261779728293583/640000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_reservations": "1/4000000000000000000", + "lambda_above_tau": "2039354359894431753375426730795303725430963181738828538771029607188990472504291373425267678416789214141890189100320061273809022454732476536908585635767533511900903409873419544458561581811783716211164600770297437881769318875231570870572450834103611985281230095714611261779728293583/1280000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_above_sigma": "36631927629099128027944463549056475186659933574549838066266738233763722794087502159283377489316469152868081166645587584736900436818964943025007682225894113967442341828061635828247396981041486278329395281895065867011196868041127958885291220738389000723501501802131611261779728293583/1280000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_above_internal": "2039354359894431753375426730795303725430963181738828538771029607188990472504291373425267678416789214141890189100320061273809022454732476536908585635767533511900903409873419544458561581811783716211164600770297437881769318875231570870572450834103611985281230095714611261779728293583/1280000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_prime_above_lambda": "2039354359894431753375426730795303725430963181738828538771029607188990472504291373425267678416789214141890189100320061273809022454732476536908585635767533511900903409873419544458561581811783716211164600770297437881769318875231570870572450834103611985281230095714611261779728293583/1280000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_leaf": "18315963814549563996675945139925889456045448378144333302518883920476356633295896766354322583866629183504985677872953823005354729636848709780958133930830823739671622618967527686352979281426634997270279941332681652446483093458179764877931835786246306354391365948923111261779728293583/640000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_reservations": "1/4000000000000000000", + "lambda_prime_below_one": "1019677179947215874648359005503220109340054860074110543954551621855666697481116079523643366704103233645677416133370816495014322127046176994645270363151290219041866069169176260328377381032472313647020718573365002729720058667318347553516906541820235122068164213753693645608634051076888738220271706417/640000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "epsilon_positive": "639999999999999999360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/641019677179947215874648359005503220109340054860074110543954551621855666697481116079523643366704103233645677416133370816495014322127046176994645270363151290219041866069169176260328377381032472313647020718573365002729720058667318347553516906541820235122068164213753693645608634051076888738220271706417", + "epsilon_below_one": "1019677179947216514648359005503220109340054860074110543954551621855666697481116079523643366704103233645677416133370816495014322127046176994645270363151290219041866069169176260328377381032472313647020718573365002729720058667318347553516906541820235122068164213753693645608634051076888738220271706417/641019677179947215874648359005503220109340054860074110543954551621855666697481116079523643366704103233645677416133370816495014322127046176994645270363151290219041866069169176260328377381032472313647020718573365002729720058667318347553516906541820235122068164213753693645608634051076888738220271706417", + "guard_width": "1019677179947216514648359005503220109340054860074110543954551621855666697481116079523643366704103233645677416133370816495014322127046176994645270363151290219041866069169176260328377381032472313647020718573365002729720058667318347553516906541820235122068164213753693645608634051076888738220271706417/641019677179947215874648359005503220109340054860074110543954551621855666697481116079523643366704103233645677416133370816495014322127046176994645270363151290219041866069169176260328377381032472313647020718573365002729720058667318347553516906541820235122068164213753693645608634051076888738220271706417", + "K_geometry": "481019677179947216034648359005503220109340054860074110543954551621855666697481116079523643366704103233645677416133370816495014322127046176994645270363151290219041866069169176260328377381032472313647020718573365002729720058667318347553516906541820235122068164213753693645608634051076888738220271706417/641019677179947215874648359005503220109340054860074110543954551621855666697481116079523643366704103233645677416133370816495014322127046176994645270363151290219041866069169176260328377381032472313647020718573365002729720058667318347553516906541820235122068164213753693645608634051076888738220271706417000000000000000000", + "K_dominates_log": "1019677179947216033628681825556004074691695854570890434614496761781556153526564457667976669222987154122034049429267582849336905993675360499630948236105113224396595706017886041286511311863296053318643337540892689082699340093953344823796847874501887568551257671933458523540469837323195092611637655340111261779728293583/641019677179947215874648359005503220109340054860074110543954551621855666697481116079523643366704103233645677416133370816495014322127046176994645270363151290219041866069169176260328377381032472313647020718573365002729720058667318347553516906541820235122068164213753693645608634051076888738220271706417000000000000000000", + "record_suffix": "1019677179947216514648359005503220109340054860074110543954551621855666697481116079523643366704103233645677416133370816495014322127046176994645270363151290219041866069169176260328377381032472313647020718573365002729720058667318347553516906541820235122068164213753693645608634051076888738220271706417/641019677179947215874648359005503220109340054860074110543954551621855666697481116079523643366704103233645677416133370816495014322127046176994645270363151290219041866069169176260328377381032472313647020718573365002729720058667318347553516906541820235122068164213753693645608634051076888738220271706417", + "phase_local": "8157417439577731476167194864078545000072079875089664242296358114771223035894377014333480236151709789641775962362863298314437160882998599462147840778164144757689658190202119863585152979090602248847788367554447708190739750765181777698415193667243533423028407168209314042800908194861416260153539600259111261779728293583/5128157417439577726997186872044025760874720438880592884351636412974845333579848928636189146933632825869165419329066966531960114577016369415957162162905210321752334928553353410082627019048259778509176165748586920021837760469338546780428135252334561880976545313710029549164869072408615109905762173651336000000000000000000", + "phase_boundary": "1631483487915545782417697228857936300295728770615356760987227734894956172015234105382162689245449094309440499109290072746345499269903066696418110453995887355821715347519391797483537740482779441506855768684911690720531375294344353355906991799594028641792156200185674710905650267969328335543800679190311261779728293583/1025631483487915545399437374408805152174944087776118576870327282594969066715969785727237829386726565173833083865813393306392022915403273883191432432581042064350466985710670682016525403809651955701835233149717384004367552093867709356085627050466912376195309062742005909832973814481723021981152434730267200000000000000000", + "gamma_sublinear": "1/2000000000000000000", + "cell_above_band": "1279999999999999998078980322820052784125351640994496779890659945139925889456045448378144333302518883920476356633295896766354322583866629183504985677872953823005354729636848709780958133930830823739671622618967527686352979281426634997270279941332681652446483093458179764877931835786246306354391365948923111261779728293583/2564078708719788863498593436022012880437360219440296442175818206487422666789924464318094573466816412934582709664533483265980057288508184707978581081452605160876167464276676705041313509524129889254588082874293460010918880234669273390214067626167280940488272656855014774582434536204307554952881086825668000000000000000000", + "prime_interval_packing": "1019677179947216514648359005503220109340054860074110543954551621855666697481116079523643366704103233645677416133370816495014322127046176994645270363151290219041866069169176260328377381032472313647020718573365002729720058667318347553516906541820235122068164213753693645608634051076888738220271706417/641019677179947215874648359005503220109340054860074110543954551621855666697481116079523643366704103233645677416133370816495014322127046176994645270363151290219041866069169176260328377381032472313647020718573365002729720058667318347553516906541820235122068164213753693645608634051076888738220271706417", + "alpha_positive": "2039354359894432388277040831059224344031750714645000978569048383637222851007680537191620035927090387767711465562638399344351228120721537494276218599256403443438461775187062301614888692895768366965664056114257691812419398761271692377313754416322122690619421885687152169149103888400083830831909361757111261779728293583/1282039354359894431749296718011006440218680109720148221087909103243711333394962232159047286733408206467291354832266741632990028644254092353989290540726302580438083732138338352520656754762064944627294041437146730005459440117334636695107033813083640470244136328427507387291217268102153777476440543412834000000000000000000", + "alpha_below_one": "1279999999999999999361019677179947215874648359005503220109340054860074110543954551621855666697481116079523643366704103233645677416133370816495014322127046176994645270363151290219041866069169176260328377381032472313647020718573365002729720058667318347553516906541820235122068164213753693645608634051076888738220271706417/1282039354359894431749296718011006440218680109720148221087909103243711333394962232159047286733408206467291354832266741632990028644254092353989290540726302580438083732138338352520656754762064944627294041437146730005459440117334636695107033813083640470244136328427507387291217268102153777476440543412834000000000000000000", + "alpha_below_one_fourth": "318470484230079175549047138671692385710638276715392054293408227427290610497732877502570201647424961229055127242504047008903155932942801551003046416582319241666082471259397525828549299997620467789857846303172424809552440630572387481399444698854587994870414660221189694653655213137138360538278226491451388738220271706417/1282039354359894431749296718011006440218680109720148221087909103243711333394962232159047286733408206467291354832266741632990028644254092353989290540726302580438083732138338352520656754762064944627294041437146730005459440117334636695107033813083640470244136328427507387291217268102153777476440543412834000000000000000000", + "delta_positive": "1/8000000000000000000", + "delta_below_one_eighth": "999999999999999999/8000000000000000000", + "short_record_fallback": "817892733726564952644907911664948570400913426601653810958765422713569995105087518453961119405513133141823193234910540014636526934887430620973042978133109325607537331438302454575335186726387186281034727629873781754259725907830497893908523348782785088468445626816637684446324640952984476523619994917616855330369312655600281898637179804607872728043965552676407138423505629461880415635156009778848097322621903824193971407701095631806442790031632726425938088831333745649827147284103904710958697959993821870890997703242000359159172494248673581710245315810059556801118483388139857038977889/820505186790332436319549899527044121739955270220894861496261826075975253372775828581790263509381252139066467092650714645113618332322619106553145946064833651480373588568536545613220323047721564561468186519773907203494041675094167484868501640373529900956247250193604727866379051585378417584921947784213760000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "small_field_exposure": "1/1000000000000000000", + "artificial_boundary": "35905259339516621823020554007892047734621708588061252735141111468378985000270655083955080175561505955191894284732648041956617948864531067777142340269622821105002615239516281151318141750593585756854394458131792777115643145910428469251614242194678450090472913229305697098685157071910181960182923291363918666214660815119251/5128157417439577726997186872044025760874720438880592884351636412974845333579848928636189146933632825869165419329066966531960114577016369415957162162905210321752334928553353410082627019048259778509176165748586920021837760469338546780428135252334561880976545313710029549164869072408615109905762173651336000000000000000000", + "literal_scalar_guard": "1", + "row_product_gap": "23971789/25", + "balanced_prefix_above_kappa": "165176166651480935975500005856973349509025568455627177235241334331362086996843988423573556086045814864712718187122156342044560360544142782969425370098074267949177490987120550284341557928821088600530085399319458837231705037991563558828002507348699497439409564289916409825866170853835684647689552879147/160254919294986803968662089751375805027335013715018527635988637905463916674370279019880910841676025808411419354033342704123753580531761544248661317590787822554760466517292294065082094345258118078411755179643341250682430014666829586888379226635455058780517041053438423411402158512769222184555067926604250000000000000000", + "coordinate_movement_above_kappa": "3244023821169673375426730795303725430963181738828538771029607188990472504291373425267678416789214141890189100320061273809022454732476536908585635767533511900903409873419544458561581811783716211164600770297437881769318875231570870572450834103611985281230095714611261779728293583/1280000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_phase_layer_above_kappa": "19684989425976528027351664422390177926762218962434598397010785703592681289894837614770580977479156225205195332355254551683227120049524954883056210029145781577668097879313024877037854334251882088473320878704470346197100093298935887758493122852977754635570092945911945657856049364265849852537939810171/641019677179947215874648359005503220109340054860074110543954551621855666697481116079523643366704103233645677416133370816495014322127046176994645270363151290219041866069169176260328377381032472313647020718573365002729720058667318347553516906541820235122068164213753693645608634051076888738220271706417000000000000000000", + "bulk_exposure_above_kappa": "3244023821169673375426730795303725430963181738828538771029607188990472504291373425267678416789214141890189100320061273809022454732476536908585635767533511900903409873419544458561581811783716211164600770297437881769318875231570870572450834103611985281230095714611261779728293583/1280000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "Gaussian_arithmetic_above_kappa": "2080538946947653871842758392395631083742117916279699118807949940494308450411602049156735577919945559502578594907242148862950859926777338170048385491322620123278470381242011727797287966817112473648727629185355857777765960922393442144728495702449282742450765236208556646199674297067357465034964333600619/5128157417439577726997186872044025760874720438880592884351636412974845333579848928636189146933632825869165419329066966531960114577016369415957162162905210321752334928553353410082627019048259778509176165748586920021837760469338546780428135252334561880976545313710029549164869072408615109905762173651336000000000000000000", + "scalar_work_above_kappa": "4644617655667442735341351828417643964179478135719995560983768146981731117201526513474830151386761972437161304571775632128930917215285522878026966572775225284154637845518688432838601476341242362903315712059649317788684841157062715534942563328616563682939037893063571420782108833271665019987845420426287/5128157417439577726997186872044025760874720438880592884351636412974845333579848928636189146933632825869165419329066966531960114577016369415957162162905210321752334928553353410082627019048259778509176165748586920021837760469338546780428135252334561880976545313710029549164869072408615109905762173651336000000000000000000", + "dimension_above_kappa": "159745080705013195876514076900105130948164992141954821873036930550163260560871055311481176155167962615162136732012472160588964606590394797795899042953354960414664903580781973884095396641862432205929802749177747349847655384652629250343325811356108500047485466295261074028007405777147187641311102927231434647689552879147/160254919294986803968662089751375805027335013715018527635988637905463916674370279019880910841676025808411419354033342704123753580531761544248661317590787822554760466517292294065082094345258118078411755179643341250682430014666829586888379226635455058780517041053438423411402158512769222184555067926604250000000000000000" + }, + "controls": [ + "next_grid", + "zero_eta", + "zero_beta", + "unit_beta" + ], + "scope": "Exact arithmetic composition of pinned published finite supplier receipts. This verifier does not rebuild either physical operator. Inherited all-size compiler, common-label/mutable-source, hosting, precision/tape and analytic interfaces remain conditional. R420 interleaved phase-B source writes rely on its stated H1-H5 interface argument." +} diff --git a/research/r420-static44-composition/history/PR547-initial-README.md b/research/r420-static44-composition/history/PR547-initial-README.md new file mode 100644 index 0000000000..03d6c60c63 --- /dev/null +++ b/research/r420-static44-composition/history/PR547-initial-README.md @@ -0,0 +1,28 @@ +# R420 bit supplier with globally admitted static44 complex supplier + +**Conditional kappa = 0.001590711200057236**, **0.1327553% above PR544**. This combines the stronger R420 bit supplier of PR543 with the static44 complex supplier and owner allocation of PR544. The complex side binds. + +- PR543 bit c = 0.001653826988146798944268, pinned at `2065fe4f72a914d907f1046603f5a36f17018535`. +- PR544 complex b = 0.001593245593667524834350, pinned at `4858bb38da10cd8a1cd25ef85e7c14f4e2b529dd`. + +This is a composition contribution. It does not add the percentages or change either local word, helper allocation, physical controller or finite invoice. The outer minimum switches from PR544's bit bottleneck to its complex supplier. We recompute both moments and the entire outer assembly from the actual pinned profiles. + +## Verification scope + +The standard-library verifier independently checks both supplier profiles with the two inherited rational moment engines, including rejection of the next 10^-24 saving-grid point. It checks the rank deficits and halving bounds, six explicit finite bootstrap cutoffs, all 47 outer inequalities and four invalid-parameter/grid controls. The retained row allowance is 20161 and bit two-level coefficient charge is 512. + +```sh +python -B research/r420-static44-composition/verify.py /absolute/new/receipt.json +``` + +The output file must not exist. The manifest pins every supplied input, engine and notice. This command performs arithmetic verification; it does not physically rebuild either supplier. Source package acquisition was checked against every Git blob (49 PR543 files and 244 PR544 files). Independent physical replays have now passed on Python 3.14: PR544 complete cold verification, and PR543 both stage counts, interface/mutation checks and baseline controls. The PR543 run required a missing SciPy installation and repair of relative symlinks introduced by our SSD path adaptation; no supplier mathematics or checker was changed. Failures, repair scripts, exact final summary and finite receipts are retained in evidence/. GitHub CI is separate and is not claimed passed. + +## Interface caveat + +PR543 rewrites sources in phase B after targets have read them. Its scalar-interface argument explicitly requires H1-H5: no target feeds the background registers, the frame-zero compensation has the stated form, phase A is background-only, cleanup reverses every background gate, and the target-to-target block is identity. Its author checks those hypotheses, arbitrary-dirt endpoint identities and corruption controls. This composition retains that argument and all inherited all-size/common-label realization assumptions; it does not independently prove an all-size interleaved-source compiler. + +All-size compiler, mutable-source/common-label realization, whole-call hosting, precision/tape and analytic-transfer obligations remain conditional. No unconditional multiplication theorem, full Lean proof or measured speedup is claimed. + +## Attribution + +Eumemic PR543, disclosed Claude assistance, supplies the R420 construction and bit admission. Chafreaky PR544, disclosed OpenAI assistance, supplies static44 global admission and its owner allocation. Dugongue PR541 supplies static44's local response presentation; icekylinx PR535/531 and DreamingOfClouds PR484 supply its complex ancestry. The R480, hosting, moment and outer-engine ancestry retains original source notices in inputs/ and engines/. Our composition and exact arithmetic prepared for Rohan Arun with OpenAI Codex assistance. diff --git a/research/r420-static44-composition/history/PR547-initial-verify.py b/research/r420-static44-composition/history/PR547-initial-verify.py new file mode 100644 index 0000000000..e7ace36957 --- /dev/null +++ b/research/r420-static44-composition/history/PR547-initial-verify.py @@ -0,0 +1,36 @@ +"""Exact two-supplier composition; unchanged physical operators are cited dependencies. +Prepared for Rohan Arun with OpenAI Codex assistance. Original engine notices retained. +""" +from pathlib import Path +from fractions import Fraction as Q +from decimal import Decimal,localcontext +import sys,json,hashlib,importlib.util +if not __debug__:raise RuntimeError('Assertions required') +P=Path(__file__).resolve().parent;out=Path(sys.argv[1]).resolve();assert not out.exists()and not out.is_relative_to(P) +def read(p):return json.loads(p.read_text()) +manifest=read(P/'MANIFEST.json');assert manifest=={f.relative_to(P).as_posix():hashlib.sha256(f.read_bytes()).hexdigest()for f in P.rglob('*')if f.is_file()and f!=P/'MANIFEST.json'and '__pycache__'not in f.parts} +def load(n): + s=importlib.util.spec_from_file_location(n,P/'engines'/(n+'.py'));m=importlib.util.module_from_spec(s);s.loader.exec_module(m);return m +M,B,A=[load(n)for n in ['moment','base_two_moment','outer']];bit=read(P/'inputs/PR543-EXPECTED.json')['nine'];cp=read(P/'inputs/PR544-EXPECTED.json');c=Q(bit['bit_lower']);b=Q(cp['complex_lower']);receipts=[] +for side,H,m,W,lower,deficit in [('bit',{int(r):n for r,n in bit['profile'].items()},64,bit['bit']['live'],c,9984),('complex',{int(r):n for r,n in cp['complex_global_profile'].items()},73,cp['complex_live'],b,cp['complex_deficit'])]: + assert m*W-sum(r*n for r,n in H.items())==deficit and m*m>2*max(H)**2 + for z,ok in [(lower,True),(lower+Q(1,10**24),False)]: + l,u=M.moment(H,m,W,z,True);ll,uu=B.moment(m,W,list(H.items()),z);fl,fu=B.moment(m,W,[(1,32*m*m*sum(H.values()))],z);ll+=fl/10**16;uu+=fu/10**16 + assert(u<1 and uu<1)if ok else(l>1 and ll>1) + receipts.append(dict(side=side,endpoint=str(z),accept=ok,mercator=[str(l-1),str(u-1)],base_two=[str(ll-1),str(uu-1)])) +assert bit['bit']['two_level_coefficient_bits']0;ceil=lambda x:-(-x.numerator//x.denominator);cut=max(ceil(36/gap**2),ceil(2*(4+512)/gap));assert cut*gap**2>=36 and cut*gap>=2*(4+512);cuts.append(dict(exponent=str(a),gap=str(gap),cutoff_log2=str(cut)));chain.append(a) +q=chain[-1]*(1-2*eta);margin=(1-eta)*q/(1+q);ticks=margin*10**18;k=Q((ticks.numerator-1)//ticks.denominator,10**18) +bridge={'semantic':{'C0':{'base':2,'exponent':210000},'strict_literal_gap':1},'rows':{'degree_gap':Q(10**6)-Q(51*20161,25)}};assembly=A.assembly(chain[-1],b,bridge,k,eta=eta,beta=beta);assert len(assembly['strict_constraints'])==47 and all(v>0 for v in assembly['strict_constraints'].values()) +controls=[] +for name,kk,ee,bb in [('next_grid',k+Q(1,10**18),eta,beta),('zero_eta',k,Q(0),beta),('zero_beta',k,eta,Q(0)),('unit_beta',k,eta,Q(1))]: + try:A.assembly(chain[-1],b,bridge,kk,eta=ee,beta=bb) + except AssertionError:controls.append(name) + else:raise AssertionError(name) +def dec(a): + with localcontext()as ctx:ctx.prec=60;return str(Decimal(a.numerator)/Decimal(a.denominator)) +r=dict(status='PASS_EXACT_CITED_R420_STATIC44_COMPOSITION',kappa=str(k),kappa_decimal=dec(k),complex_lower=str(b),complex_decimal=dec(b),bit_lower=str(c),bit_decimal=dec(c),binding='complex'if (1-beta)*b2*max(H)**2 + for z,ok in [(lower,True),(lower+Q(1,10**24),False)]: + l,u=M.moment(H,m,W,z,True);ll,uu=B.moment(m,W,list(H.items()),z);fl,fu=B.moment(m,W,[(1,32*m*m*sum(H.values()))],z);ll+=fl/10**16;uu+=fu/10**16 + assert(u<1 and uu<1)if ok else(l>1 and ll>1) + receipts.append(dict(side=side,endpoint=str(z),accept=ok,mercator=[str(l-1),str(u-1)],base_two=[str(ll-1),str(uu-1)])) +assert bit['bit']['two_level_coefficient_bits']0;ceil=lambda x:-(-x.numerator//x.denominator);cut=max(ceil(36/gap**2),ceil(2*(4+512)/gap));assert cut*gap**2>=36 and cut*gap>=2*(4+512);cuts.append(dict(exponent=str(a),gap=str(gap),cutoff_log2=str(cut)));chain.append(a) +q=chain[-1]*(1-2*eta);margin=(1-eta)*q/(1+q);ticks=margin*10**18;k=Q((ticks.numerator-1)//ticks.denominator,10**18) +bridge={'semantic':{'C0':{'base':2,'exponent':210000},'strict_literal_gap':1},'rows':{'degree_gap':Q(10**6)-Q(51*20161,25)}};assembly=A.assembly(chain[-1],b,bridge,k,eta=eta,beta=beta);assert len(assembly['strict_constraints'])==47 and all(v>0 for v in assembly['strict_constraints'].values()) +controls=[] +for name,kk,ee,bb in [('next_grid',k+Q(1,10**18),eta,beta),('zero_eta',k,Q(0),beta),('zero_beta',k,eta,Q(0)),('unit_beta',k,eta,Q(1))]: + try:A.assembly(chain[-1],b,bridge,kk,eta=ee,beta=bb) + except AssertionError:controls.append(name) + else:raise AssertionError(name) +def dec(a): + with localcontext()as ctx:ctx.prec=60;return str(Decimal(a.numerator)/Decimal(a.denominator)) +r=dict(status='PASS_EXACT_CITED_R420_STATIC44_COMPOSITION',kappa=str(k),kappa_decimal=dec(k),complex_lower=str(b),complex_decimal=dec(b),bit_lower=str(c),bit_decimal=dec(c),binding='complex'if (1-beta)*b