From 6c1504cd75aae9b255ba16bf8e28d3f38af34c14 Mon Sep 17 00:00:00 2001 From: davidNbreslauer Date: Tue, 13 Oct 2026 10:01:07 -0700 Subject: [PATCH] research: improve T37 bound with one E4 supplier and four filled gaps --- research/u8-e4-gap-fill/ASSEMBLY.json | 345 ++++++++++ research/u8-e4-gap-fill/CLAIM.json | 42 ++ .../u8-e4-gap-fill/INDEPENDENT-PRICE.json | 135 ++++ research/u8-e4-gap-fill/LOCAL-EDIT.json | 484 ++++++++++++++ research/u8-e4-gap-fill/OWNER-EDITS.json | 620 ++++++++++++++++++ research/u8-e4-gap-fill/README.md | 241 +++++++ research/u8-e4-gap-fill/SOURCES.json | 188 ++++++ research/u8-e4-gap-fill/VALIDATION.json | 159 +++++ research/u8-e4-gap-fill/binding.py | 206 ++++++ research/u8-e4-gap-fill/build.py | 70 ++ research/u8-e4-gap-fill/freeze_metadata.py | 63 ++ research/u8-e4-gap-fill/independent.py | 115 ++++ research/u8-e4-gap-fill/native.py | 56 ++ research/u8-e4-gap-fill/payload.py | 43 ++ research/u8-e4-gap-fill/prepare.py | 74 +++ research/u8-e4-gap-fill/price.py | 83 +++ research/u8-e4-gap-fill/replay.py | 77 +++ research/u8-e4-gap-fill/support.py | 54 ++ research/u8-e4-gap-fill/verify.py | 81 +++ 19 files changed, 3136 insertions(+) create mode 100644 research/u8-e4-gap-fill/ASSEMBLY.json create mode 100644 research/u8-e4-gap-fill/CLAIM.json create mode 100644 research/u8-e4-gap-fill/INDEPENDENT-PRICE.json create mode 100644 research/u8-e4-gap-fill/LOCAL-EDIT.json create mode 100644 research/u8-e4-gap-fill/OWNER-EDITS.json create mode 100644 research/u8-e4-gap-fill/README.md create mode 100644 research/u8-e4-gap-fill/SOURCES.json create mode 100644 research/u8-e4-gap-fill/VALIDATION.json create mode 100644 research/u8-e4-gap-fill/binding.py create mode 100644 research/u8-e4-gap-fill/build.py create mode 100644 research/u8-e4-gap-fill/freeze_metadata.py create mode 100644 research/u8-e4-gap-fill/independent.py create mode 100644 research/u8-e4-gap-fill/native.py create mode 100644 research/u8-e4-gap-fill/payload.py create mode 100644 research/u8-e4-gap-fill/prepare.py create mode 100644 research/u8-e4-gap-fill/price.py create mode 100644 research/u8-e4-gap-fill/replay.py create mode 100644 research/u8-e4-gap-fill/support.py create mode 100644 research/u8-e4-gap-fill/verify.py diff --git a/research/u8-e4-gap-fill/ASSEMBLY.json b/research/u8-e4-gap-fill/ASSEMBLY.json new file mode 100644 index 0000000000..95b5216da9 --- /dev/null +++ b/research/u8-e4-gap-fill/ASSEMBLY.json @@ -0,0 +1,345 @@ +{ + "status": "PASS_GAUGE44_NATIVE_EXACT_GLOBAL_ASSEMBLY", + "kappa": "1661961039655941/1000000000000000000", + "kappa_decimal": "0.001661961039655941", + "complex_lower": "1664727752321934979327/1000000000000000000000000", + "complex_decimal": "0.001664727752321934979327", + "bit_lower": "1733427039589844234749/1000000000000000000000000", + "bit_decimal": "0.001733427039589844234749", + "binding": "complex", + "gain_over_pr635_percent": "1.571866870188433631733087984957930047348229811137792742990638712844328", + "complex_profile": { + "1": 848478, + "2": 112562, + "3": 148522, + "4": 53942, + "5": 23976, + "8": 2664, + "48": 11086 + }, + "provider_counts": { + "gauge44_e4": 1, + "gauge44": 332 + }, + "surcharge_model": { + "complex": false, + "bit": true + }, + "conservative_complex_lower": "832363874714986089099/500000000000000000000000", + "conservative_complex_decimal": "0.001664727749429972178198", + "conservative_kappa": "1661961036773583/1000000000000000000", + "conservative_kappa_decimal": "0.001661961036773583", + "conservative_moments": [ + { + "side": "conservative_complex", + "surcharge": true, + "endpoint": "832363874714986089099/500000000000000000000000", + "accept": true, + "mercator": [ + "-71929421241217222712755370308139090959910289/26959946667150639794667015087019630673637144422540572481103610249216", + "-71929421241217222712755370308139090959910287/26959946667150639794667015087019630673637144422540572481103610249216" + ], + "base_two": [ + "-13340055480463672840677/5000000000000000000000000000000000000000000000", + "-26680100960927345681211/10000000000000000000000000000000000000000000000" + ] + }, + { + "side": "conservative_complex", + "surcharge": true, + "endpoint": "1664727749429972178199/1000000000000000000000000", + "accept": false, + "mercator": [ + "7543197925632728768810337148399389517544825/26959946667150639794667015087019630673637144422540572481103610249216", + "7543197925632728768810337148399389517544827/26959946667150639794667015087019630673637144422540572481103610249216" + ], + "base_two": [ + "1398959519719206650639/5000000000000000000000000000000000000000000000", + "2797929039438413301421/10000000000000000000000000000000000000000000000" + ] + } + ], + "conservative_bootstrap": [ + { + "exponent": "415505114053255074937775094598857383223824408791550363070671687732454432689273342916833368199/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "676823304237969611724239219205259283131041708449636929328312267545567310726657083166631801/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "4911700878063" + }, + { + "exponent": "208090405315478509358498449677831788627454144208647472864727136361540016399784233815943507812082558620862226788829846193611353931933512837299/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "563363268012916251217231199532626023581041352527135272863638459983600215766184056492187917441379137773211170153806388646068066487162701/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "1772333607270984095" + }, + { + "exponent": "104045483870450028502046680815197878959333584397030517536885525216936813462156123924615430406752413986789545869514710244190364886473348673091033921541140479432562619712134072840876895496399/62500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "468923232635328152639317781667405278227969482463114474783063186537843876075384569593247586013210454130485289755809635113526651326908966078458859520567437380287865927159123104503601/62500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "639527221515391258127448" + }, + { + "exponent": "52022742169296315809827198168676111225561960518014927908758584517990480414310029671092760234361216059375126967569642104839248627753702951575762274284314354983942438716428621838331244504196420819848892570181982524683711257595152752345499/31250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "390314758860218558581719087807470794485072091241415482009519585689970328907239765638783940624873032430357895160751372246297048424237725715685645016057561283571378161668755495803579180151107429818017475316288742404847247654501/31250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "230766411798149857061221647146" + }, + { + "exponent": "26011371084842990400438665026662052294633237045812019092394663585291727514695127089611263273938605079055851559676965365639557019109613660493719234537567607340594032353914116867293326847675113710544887377138223439162913791574044467097718926871857916124387026647271139637859970754384599/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "324883905043336966862862051478610437980907605336414708272485304872910388736726061394920944148440323034634360442980890386339506280765462432392659405967646085883132706673152324886289455112622861776560837086208425955532902281073128142083875612973352728860362140029245615401/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "83269538844659882204707381540252498" + }, + { + "exponent": "13005685542421657371750228147406889274814926749689246528795055242079842701314287260270345633414597844705099886036043403289661739301500489355331084801177682049259579754866553198617079536701057777789416555981572757048260971228126056346454781585168924013703192531351244510489596279500738414074197949665969392136213546943512854472613699/7812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "270421626034407568303527431078435753471204944757920157298685712739729654366585402155294900113963956596710338260698499510644668915198822317950740420245133446801382920463298942222210583444018427242951739028771873943653545218414831075986296807468648755489510403720499261585925802050334030607863786453056487145527386301/7812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "30046903469935186193236905680792676653170" + }, + { + "exponent": "6502842771210828820860837898454502347517002186294044896197787663385235056203051378503836207542851417197996789218453662574700010060711950361859288146984999832042637061355549292448552031958952680696855571728717132295022623883397168975601514452195491617848116579561400003478292383716955221471244966513183975647001014908550926246382632157426591733799326993825884206882075151378032799/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "225089192452726441654176727768455103802212336614764943796948621496163792457148582802003210781546337425299989939288049638140711853015000167957362938644450707551447968041047319303144428271282867704977376116602831024398485547804508382151883420438599996521707616283044778528755033486816024352998985091449073753617367842573408266200673006174115793117924848621967201/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "10842096889906112492532564678507211038018751149" + } + ], + "conservative_outer": { + "bit_positive": "6502842771210828820860837898454502347517002186294044896197787663385235056203051378503836207542851417197996789218453662574700010060711950361859288146984999832042637061355549292448552031958952680696855571728717132295022623883397168975601514452195491617848116579561400003478292383716955221471244966513183975647001014908550926246382632157426591733799326993825884206882075151378032799/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "complex_above_bit": "225099601545497652482997813705955103802212336614764943796948621496163792457148582802003210781546337425299989939288049638140711853015000167957362938644450707551447968041047319303144428271282867704977376116602831024398485547804508382151883420438599996521707616283044778528755033486816024352998985091449073753617367842573408266200673006174115793117924848621967201/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "complex_below_one_over32": "14792636125285013910901/500000000000000000000000", + "beta_positive": "1/1000000000000000000000000", + "beta_below_one": "999999999999999999999999/1000000000000000000000000", + "leaf_saving_above_bit": "225093098702726441654176727768455103802212336614764943796948621496163792457148582802003210781546337425299989939288049638140711853015000167957362938644450707551447968041047319303144428271282867704977376116602831024398485547804508382151883420438599996521707616283044778528755033486816024352998985091449073753617367842573408266200673006174115793117924848621967201/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_positive": "3251421385605414410430412446384479962929680232309123993596546314690431234056629491464254718536369505547619890773019288435932807033566756727267069373482439204070956671389627661224443973342414984799135337312326607194830615086126855770668462203473862411755082688266247806247528343741898049335619004964208270868279036209308949939215669077698387315973417114280784676849303776362022573615793117924848621967201/1953125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_internal": "6502842771210828820860837898454502347517002186294044896197787663385235056203051378503836207542851417197996789218453662574700010060711950361859288146984999832042637061355549292448552031958952680696855571728717132295022623883397168975601514452195491617848116579561400003478292383716955221471244966513183975647001014908550926246382632157426591733799326993825884206882075151378032799/1953125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_leaf": "112553052194134431655909224722126006403453685309568765943370508535745281463630494452380109226980711564067192966433243272732930626517560795929043328610372338775556026657585015200864662687673392805169384913873144229331537796526137588244917311733752193752471656258101950664380995035791729131720963790691050060784330922301612684026582885719215323150696223637977426384206882075151378032799/1953125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "c_positive": "3251421385605414410430900727634479962929680232309123993596546314690431234056629491464254718536369505547619890773019288435932807033566756727267069373482439204070956671389627661224443973342414984799135337312326607194830615086126855770668462203473862411755082688266247806247528343741898049335619004964208270868279036209308949939215669077698387315973417114280784676849303776362022573615793117924848621967201/1953125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "c_below_one": "1949873578614394585589569099272365520037070319767690876006403453685309568765943370508535745281463630494452380109226980711564067192966433243272732930626517560795929043328610372338775556026657585015200864662687673392805169384913873144229331537796526137588244917311733752193752471656258101950664380995035791729131720963790691050060784330922301612684026582885719215323150696223637977426384206882075151378032799/1953125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_reservations": "1/4000000000000000000000000", + "lambda_above_tau": "6502842771210828820860837898454502347517002186294044896197787663385235056203051378503836207542851417197996789218453662574700010060711950361859288146984999832042637061355549292448552031958952680696855571728717132295022623883397168975601514452195491617848116579561400003478292383716955221471244966513183975647001014908550926246382632157426591733799326993825884206882075151378032799/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_above_sigma": "225106104388268863311818674543853558304559853616951237841844819283827177692204785853381714617753880276717187936077268091803286553025060879907724797932597692551280010678108674852436876823314826657658072972174559741530780570428391779320859021953052192013325464399624339928758511779199741308220456336415586937593014843588316817126919388806273219709658647948961026884206882075151378032799/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_above_internal": "6502842771210828820860837898454502347517002186294044896197787663385235056203051378503836207542851417197996789218453662574700010060711950361859288146984999832042637061355549292448552031958952680696855571728717132295022623883397168975601514452195491617848116579561400003478292383716955221471244966513183975647001014908550926246382632157426591733799326993825884206882075151378032799/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_prime_above_lambda": "6502842771210828820860837898454502347517002186294044896197787663385235056203051378503836207542851417197996789218453662574700010060711950361859288146984999832042637061355549292448552031958952680696855571728717132295022623883397168975601514452195491617848116579561400003478292383716955221471244966513183975647001014908550926246382632157426591733799326993825884206882075151378032799/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_leaf": "112553052194134431655909224722126006403453685309568765943370508535745281463630494452380109226980711564067192966433243272732930626517560795929043328610372338775556026657585015200864662687673392805169384913873144229331537796526137588244917311733752193752471656258101950664380995035791729131720963790691050060784330922301612684026582885719215323150696223637977426384206882075151378032799/1953125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_reservations": "1/4000000000000000000000000", + "lambda_prime_below_one": "3251421385605414410430412446384479962929680232309123993596546314690431234056629491464254718536369505547619890773019288435932807033566756727267069373482439204070956671389627661224443973342414984799135337312326607194830615086126855770668462203473862411755082688266247806247528343741898049335619004964208270868279036209308949939215669077698387315973417114280784676849303776362022573615793117924848621967201/1953125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "epsilon_positive": "1953124999999999999999998046875000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/1956376421385605414410430412446384479962929680232309123993596546314690431234056629491464254718536369505547619890773019288435932807033566756727267069373482439204070956671389627661224443973342414984799135337312326607194830615086126855770668462203473862411755082688266247806247528343741898049335619004964208270868279036209308949939215669077698387315973417114280784676849303776362022573615793117924848621967201", + "epsilon_below_one": "3251421385605414410432365571384479962929680232309123993596546314690431234056629491464254718536369505547619890773019288435932807033566756727267069373482439204070956671389627661224443973342414984799135337312326607194830615086126855770668462203473862411755082688266247806247528343741898049335619004964208270868279036209308949939215669077698387315973417114280784676849303776362022573615793117924848621967201/1956376421385605414410430412446384479962929680232309123993596546314690431234056629491464254718536369505547619890773019288435932807033566756727267069373482439204070956671389627661224443973342414984799135337312326607194830615086126855770668462203473862411755082688266247806247528343741898049335619004964208270868279036209308949939215669077698387315973417114280784676849303776362022573615793117924848621967201", + "guard_width": "3251421385605414410432365571384479962929680232309123993596546314690431234056629491464254718536369505547619890773019288435932807033566756727267069373482439204070956671389627661224443973342414984799135337312326607194830615086126855770668462203473862411755082688266247806247528343741898049335619004964208270868279036209308949939215669077698387315973417114280784676849303776362022573615793117924848621967201/1956376421385605414410430412446384479962929680232309123993596546314690431234056629491464254718536369505547619890773019288435932807033566756727267069373482439204070956671389627661224443973342414984799135337312326607194830615086126855770668462203473862411755082688266247806247528343741898049335619004964208270868279036209308949939215669077698387315973417114280784676849303776362022573615793117924848621967201", + "K_geometry": "1468095171385605414410430900727634479962929680232309123993596546314690431234056629491464254718536369505547619890773019288435932807033566756727267069373482439204070956671389627661224443973342414984799135337312326607194830615086126855770668462203473862411755082688266247806247528343741898049335619004964208270868279036209308949939215669077698387315973417114280784676849303776362022573615793117924848621967201/1956376421385605414410430412446384479962929680232309123993596546314690431234056629491464254718536369505547619890773019288435932807033566756727267069373482439204070956671389627661224443973342414984799135337312326607194830615086126855770668462203473862411755082688266247806247528343741898049335619004964208270868279036209308949939215669077698387315973417114280784676849303776362022573615793117924848621967201000000000000000000000000", + "K_dominates_log": "3251421385605414410430897476213094357515269801408396359116583385010198924932635894917940028105135448918128426518300752066427259413675983707978633440675405637314229404320254178785239902385743595171474112868353264779845815950789543444061267372858776284899312019804044332385116588659209783087812757435864528970229700590303985730944800798662178007023477898611706978461987802944908292831116268621072259944627384206882075151378032799/1956376421385605414410430412446384479962929680232309123993596546314690431234056629491464254718536369505547619890773019288435932807033566756727267069373482439204070956671389627661224443973342414984799135337312326607194830615086126855770668462203473862411755082688266247806247528343741898049335619004964208270868279036209308949939215669077698387315973417114280784676849303776362022573615793117924848621967201000000000000000000000000", + "record_suffix": "3251421385605414410432365571384479962929680232309123993596546314690431234056629491464254718536369505547619890773019288435932807033566756727267069373482439204070956671389627661224443973342414984799135337312326607194830615086126855770668462203473862411755082688266247806247528343741898049335619004964208270868279036209308949939215669077698387315973417114280784676849303776362022573615793117924848621967201/1956376421385605414410430412446384479962929680232309123993596546314690431234056629491464254718536369505547619890773019288435932807033566756727267069373482439204070956671389627661224443973342414984799135337312326607194830615086126855770668462203473862411755082688266247806247528343741898049335619004964208270868279036209308949939215669077698387315973417114280784676849303776362022573615793117924848621967201", + "phase_local": "26011371084843315283456968194654454098023031428060545564292407587843217563329042335167723057859721987751467661929435771117956908648643280798848119055052480065810926104047647807356347715782648488765421474054639515143660121553677533838740502797175813167184890837667778976117814994852496128437145792185322425048182954055466635305454484342550889218837397698577199716407114237479066308141668094095012613715034384206882075151378032799/15651011371084843315283443299571075839703437441858472991948772370517523449872453035931714037748290956044380959126184154307487462456268534053818136554987859513632567653371117021289795551786739319878393082698498612857558644920689014846165347697627790899294040661506129982449980226749935184394684952039713666166946232289674471599513725352621587098527787336914246277414794430210896180588926344943398788975737608000000000000000000000000", + "phase_boundary": "5202274216968663056689828537793782335273077941282152005274511173824457665366613589796492859226957152246700360982112325127986943633816037744338875064764869159756803407154030775519906286391192586050955315255749229096744185002465656906462344694943093731952361632763793016133633594904348612689184160414389491491197122315889355694474202245281210396607528167180177784571570068762121837000592139375981433124947984206882075151378032799/3130202274216968663056688659914215167940687488371694598389754474103504689974490607186342807549658191208876191825236830861497492491253706810763627310997571902726513530674223404257959110357347863975678616539699722571511728984137802969233069539525558179858808132301225996489996045349987036878936990407942733233389246457934894319902745070524317419705557467382849255482958886042179236117785268988679757795147521600000000000000000000000", + "gamma_sublinear": "1/2000000000000000000000000", + "cell_above_band": "3906249999999999999999994137373578614394585589569587553615520037070319767690876006403453685309568765943370508535745281463630494452380109226980711564067192966433243272732930626517560795929043328610372338775556026657585015200864662687673392805169384913873144229331537796526137588244917311733752193752471656258101950664380995035791729131720963790691050060784330922301612684026582885719215323150696223637977426384206882075151378032799/7825505685542421657641721649785537919851718720929236495974386185258761724936226517965857018874145478022190479563092077153743731228134267026909068277493929756816283826685558510644897775893369659939196541349249306428779322460344507423082673848813895449647020330753064991224990113374967592197342476019856833083473116144837235799756862676310793549263893668457123138707397215105448090294463172471699394487868804000000000000000000000000", + "prime_interval_packing": "3251421385605414410432365571384479962929680232309123993596546314690431234056629491464254718536369505547619890773019288435932807033566756727267069373482439204070956671389627661224443973342414984799135337312326607194830615086126855770668462203473862411755082688266247806247528343741898049335619004964208270868279036209308949939215669077698387315973417114280784676849303776362022573615793117924848621967201/1956376421385605414410430412446384479962929680232309123993596546314690431234056629491464254718536369505547619890773019288435932807033566756727267069373482439204070956671389627661224443973342414984799135337312326607194830615086126855770668462203473862411755082688266247806247528343741898049335619004964208270868279036209308949939215669077698387315973417114280784676849303776362022573615793117924848621967201", + "alpha_positive": "6502842771210828820862774766347574320444950034205801602713129699700630158989265386382194746641504954465748317291320040502360066447242740435245702814157844841385186075709881840009683875728158579970609450180679871974676431036916399214729729576332638696654394708070292138632644932401107832423431762400072799838508736799612935670160469876360565322996895012892491655311291579306930866446909386545920881911828384206882075151378032799/3912752842771210828820860824892768959925859360464618247987193092629380862468113258982928509437072739011095239781546038576871865614067133513454534138746964878408141913342779255322448887946684829969598270674624653214389661230172253711541336924406947724823510165376532495612495056687483796098671238009928416541736558072418617899878431338155396774631946834228561569353698607552724045147231586235849697243934402000000000000000000000000", + "alpha_below_one": "3906249999999999999999998050126421385605414410430412446384479962929680232309123993596546314690431234056629491464254718536369505547619890773019288435932807033566756727267069373482439204070956671389627661224443973342414984799135337312326607194830615086126855770668462203473862411755082688266247806247528343741898049335619004964208270868279036209308949939215669077698387315973417114280784676849303776362022573615793117924848621967201/3912752842771210828820860824892768959925859360464618247987193092629380862468113258982928509437072739011095239781546038576871865614067133513454534138746964878408141913342779255322448887946684829969598270674624653214389661230172253711541336924406947724823510165376532495612495056687483796098671238009928416541736558072418617899878431338155396774631946834228561569353698607552724045147231586235849697243934402000000000000000000000000", + "alpha_below_one_fourth": "971685367921591878384352431456844665661019890081948760394085143457644585458039049359349932612626679798308061628095189603715606337069540637928387831872583374760650292259984931990602538110943048912428958218475483431622738876506147028670604501525404292509223146636062831764491119239469841192244377740082031335595630781305041539299447364662488628334989813544247900683113360308874080420360987172416503429071772115793117924848621967201/3912752842771210828820860824892768959925859360464618247987193092629380862468113258982928509437072739011095239781546038576871865614067133513454534138746964878408141913342779255322448887946684829969598270674624653214389661230172253711541336924406947724823510165376532495612495056687483796098671238009928416541736558072418617899878431338155396774631946834228561569353698607552724045147231586235849697243934402000000000000000000000000", + "delta_positive": "1/8000000000000000000000000", + "delta_below_one_eighth": "999999999999999999999999/8000000000000000000000000", + "short_record_fallback": "7616672522980425305493354371049215943731293120462281544357072613662858784646801191830768188023311081615435747035701961276880729010073760736580869934286850447842769028410498462463294787215971569173389209372338634501854212679518577473909553937698453280344731709550986109958123262608173522472587334510075682386834406310511364480729358480169310891505400226727540264278047066423111579742376078229014615289112626182955925803566374884824559804005036817569671374731414795371402285207756090374450870286771837773145714048332574010893163395052401478975208064023812414886260667007224985304389170381289677635902673767498828318012138782749752269403651146055904444159891907090931533531768277390914315011509931033695075253919927901231999217867779344392599019258948837746936347566224665664664095119774401/7642095396037521150040743798618689374855194063407457515599986509041759497008033708951032244994282693381045390198332106595452862527474870143465886989740165778140902174497615733051657984270868808534371622411376275809354807090180183030354173680482319775045918291751040030493154407592741789255217261738141438558079214985192613085700061207334759325453021160602659315143942592876414150678186691866893939929559378906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "small_field_exposure": "1/1000000000000000000000000", + "artificial_boundary": "109583090968678746522267567890697870874443742766159021274743618852929228295906996268243351246057621350524936147402237390069008216293007944749602957747701297209760811408770144290765682026506784573196027645261320822887714113762918130706302603165514172452732892604054426470021429049264729539956223035060294360561264006324252787688734615425809805416149148512960977452413517389607420787553764790095101640891968584847379353774545865901603/15651011371084843315283443299571075839703437441858472991948772370517523449872453035931714037748290956044380959126184154307487462456268534053818136554987859513632567653371117021289795551786739319878393082698498612857558644920689014846165347697627790899294040661506129982449980226749935184394684952039713666166946232289674471599513725352621587098527787336914246277414794430210896180588926344943398788975737608000000000000000000000000", + "literal_scalar_guard": "1", + "row_product_gap": "23971789/25", + "balanced_prefix_above_kappa": "1539226856520613315528404656934191923770388745752144907945855832809166617402995487519922571640340805910020511976745756727824818012953048453017156405223055731021202217537072901879366026496684036933899522647789460200500514248196150009127585570831557318435868387405486593018618201911772317469990789795435950349422262712221869754264762099523070021789621357709989310119305061765620055144293749560096492510748817/1956376421385605414410430412446384479962929680232309123993596546314690431234056629491464254718536369505547619890773019288435932807033566756727267069373482439204070956671389627661224443973342414984799135337312326607194830615086126855770668462203473862411755082688266247806247528343741898049335619004964208270868279036209308949939215669077698387315973417114280784676849303776362022573615793117924848621967201000000000000000000", + "coordinate_movement_above_kappa": "10807471314020227110837898454502347517002186294044896197787663385235056203051378503836207542851417197996789218453662574700010060711950361859288146984999832042637061355549292448552031958952680696855571728717132295022623883397168975601514452195491617848116579561400003478292383716955221471244966513183975647001014908550926246382632157426591733799326993825884206882075151378032799/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_phase_layer_above_kappa": "1539224900144191929922990246503779477385908782822464675636731839212620302712564253463293080176086087373651006429125865954805529577020241419450399677955986357538763013466116230489738365272240063591484537848654122888173907053365534923000729800163095114962005975650403904752370395664243973728092740459816945385213991843942833544955812160307400944091234041736572195838520384916316278782271175944303374585900195032799/1956376421385605414410430412446384479962929680232309123993596546314690431234056629491464254718536369505547619890773019288435932807033566756727267069373482439204070956671389627661224443973342414984799135337312326607194830615086126855770668462203473862411755082688266247806247528343741898049335619004964208270868279036209308949939215669077698387315973417114280784676849303776362022573615793117924848621967201000000000000000000000000", + "bulk_exposure_above_kappa": "10807471314020227110837898454502347517002186294044896197787663385235056203051378503836207542851417197996789218453662574700010060711950361859288146984999832042637061355549292448552031958952680696855571728717132295022623883397168975601514452195491617848116579561400003478292383716955221471244966513183975647001014908550926246382632157426591733799326993825884206882075151378032799/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "Gaussian_arithmetic_above_kappa": "2462761014056559919240033040664294631648142030273751620404245338898120273154361545975246623160290570919663313615173319991500420384792070491260693521089819796151484343988359971617357981170250485751824251437327799008474215602283224928477281142662029506023527008093695860563541316811307364210087214337078515594867349471275955397514669420021242957165006856362565781910103421975688311868847425680361270092349485232799/3130202274216968663056688659914215167940687488371694598389754474103504689974490607186342807549658191208876191825236830861497492491253706810763627310997571902726513530674223404257959110357347863975678616539699722571511728984137802969233069539525558179858808132301225996489996045349987036878936990407942733233389246457934894319902745070524317419705557467382849255482958886042179236117785268988679757795147521600000000000000000000000", + "scalar_work_above_kappa": "12313812895788485138621822845043122943778630003087479031257722668876786624533532666102751081658471728743794590266346163049579255667691580590570494514517376474687178536225626543645300550749028322128781196383180344291677506790738584986893828795983996344013084687488810055882697809046650196018028269027868597831169830829495921824809146856968891096618583545706497366673655817275656664792327422864978822161141914032799/15651011371084843315283443299571075839703437441858472991948772370517523449872453035931714037748290956044380959126184154307487462456268534053818136554987859513632567653371117021289795551786739319878393082698498612857558644920689014846165347697627790899294040661506129982449980226749935184394684952039713666166946232289674471599513725352621587098527787336914246277414794430210896180588926344943398788975737608000000000000000000000000", + "dimension_above_kappa": "1949873578614394587128792537824228835565474976701882799776792199437454476711799203317702362684459118014374951749567786621584579169712189971097550943579566013813085448551666103359977773563730486894566891159371710326704692032703333344729845785992676146715830488143291070629620859061744694969282582906808109199122510759226641399483047043144171366948788682408789237112772053933627287545689268647695206522326548560096492510748817/1956376421385605414410430412446384479962929680232309123993596546314690431234056629491464254718536369505547619890773019288435932807033566756727267069373482439204070956671389627661224443973342414984799135337312326607194830615086126855770668462203473862411755082688266247806247528343741898049335619004964208270868279036209308949939215669077698387315973417114280784676849303776362022573615793117924848621967201000000000000000000" + }, + "conservative_controls": [ + "next_grid", + "zero_eta", + "zero_beta", + "unit_beta" + ], + "model_controls": [ + "native_complex_endpoint_rejected_with_old_surcharge", + "omitting_bit_surcharge_would_fail_next_endpoint_rejection" + ], + "native_correction_gain": "2.882358E-12", + "template_sha256": "f37de54b85105307fe25ae6d067f05b113caf607a092ad8486bc205ea302610c", + "input_sha256": { + "owner_audit": "21624e54f2a2b010ac5492296a97d65151f61bbcb268dfa0e631ccdfb600867f", + "fresh_invoice": "75710f2ba929303cf107f4102f2a07104822a7376ecf08225f30160658bdf535", + "package:inputs/PR589-EXPECTED.json": "b9f0e5ca038abe837b0007c8fe006f366a6f02009244ac57705a8a200e2301f4", + "engines/moment.py": "81cbc864e106418fc7854322746f72180cb8110ff39f74450a3b8d55a82c1482", + "engines/base_two_moment.py": "aee70c242a2f1d225528fabe2002e1564d1dc884797c07d28a831c7878ee9098", + "engines/outer.py": "c1ebb52163a7219504c728a5c2b098bf1e50bf20148a2879c5a74c3cadc7c03c" + }, + "bit_supplier": { + "pr": 589, + "repository": "CrocSwap/integer-mult-bounds", + "commit": "a5afc8c6169ea61ba7c51dfd3cade02cc7b13b46", + "merged_as": "b3eb785ac5b4b1ca2beea0f80db078a505626a90", + "path": "research/e8-bit-p111-tuned/tune/EXPECTED.json", + "git_blob_sha1": "e293ddc557742637f9f679f083a1a282d87b1b13", + "word": { + "v": 111, + "decoder_constant": 63, + "copy_ranks": [ + 7, + 7, + 7, + 7, + 7, + 7, + 7, + 7, + 7 + ] + }, + "derived_deficit": 10272, + "deficit_formula": "T(2Kv-L*cst), L=9 T=32 K=4 M=64", + "replay_scope": "Cited unchanged supplier; this assembly reprices its full profile and does not rebuild its bit circuit." + }, + "moments": [ + { + "side": "bit", + "surcharge": true, + "endpoint": "1733427039589844234749/1000000000000000000000000", + "accept": true, + "mercator": [ + "-43100600330766044577088869872467188970742291/26959946667150639794667015087019630673637144422540572481103610249216", + "-43100600330766044577088869872467188970742289/26959946667150639794667015087019630673637144422540572481103610249216" + ], + "base_two": [ + "-799345163337715793503/500000000000000000000000000000000000000000000", + "-3197378653350863173989/2000000000000000000000000000000000000000000000" + ] + }, + { + "side": "bit", + "surcharge": true, + "endpoint": "6933708158359376939/4000000000000000000000", + "accept": false, + "mercator": [ + "22502934905675809315035333485365686073718547/13479973333575319897333507543509815336818572211270286240551805124608", + "5625733726418952328758833371341421518429637/3369993333393829974333376885877453834204643052817571560137951281152" + ], + "base_two": [ + "8346798366759439729359/5000000000000000000000000000000000000000000000", + "16693606733518879458833/10000000000000000000000000000000000000000000000" + ] + }, + { + "side": "complex", + "surcharge": false, + "endpoint": "1664727752321934979327/1000000000000000000000000", + "accept": true, + "mercator": [ + "-33269489229382767701961332892503642016676859/13479973333575319897333507543509815336818572211270286240551805124608", + "-16634744614691383850980666446251821008338429/6739986666787659948666753771754907668409286105635143120275902562304" + ], + "base_two": [ + "-617017/250000000000000000000000000000", + "-2468067/1000000000000000000000000000000" + ] + }, + { + "side": "complex", + "surcharge": false, + "endpoint": "6502842782507558513/3906250000000000000000", + "accept": false, + "mercator": [ + "3233410176984936453741462972962613220012521/6739986666787659948666753771754907668409286105635143120275902562304", + "6466820353969872907482925945925226440025043/13479973333575319897333507543509815336818572211270286240551805124608" + ], + "base_two": [ + "95947/200000000000000000000000000000", + "59967/125000000000000000000000000000" + ] + } + ], + "bootstrap": [ + { + "exponent": "1662020459095465664021154714032432722611674701450671405370557840034206391951503277724082627071/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "2707293226469315305842621239814955453345971549328594629442159965793608048496722275917372929/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "4911700843529" + }, + { + "exponent": "1664723245415767202664442365173987346566627666761923978604635345741083431023060031292256513427359858519717912199476375002164545451857764438783/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "4506906167776662554970098260331498393006238076021395364654258916568976939968707743486572640141480282087800523624997835454548142235561217/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "1772333588651984190" + }, + { + "exponent": "1664727744819163204718288298122402930414843379247725286363718073927979255569418607672865543254030743634258977034163287045221247573066565924759129724037207818284531664000053525839959137960959/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "7502771774608709037149844747650177293752274713636281926072020744430581392327134456745969256365741022965836712954778752426933434075240870275962792181715468335999946474160040862039041/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "639527212574956908743424" + }, + { + "exponent": "1664727752309444906934468523721057298676571159865054901052433934221235739667121573424503493730141409728044899569074640328518978745658346409906696691589292078742056847987811147915542744092883514503308720431675727154255154775845923401905407/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "12490072392528811551190379388449513134945098947566065778764260332878426575496506269858590271955100430925359671481021254341653590093303308410707921257943152012188852084457255907116485496691279568324272845744845224154076598094593/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "230766407770317600462688416043" + }, + { + "exponent": "1664727752321914186756856982531001351808723970486524259389388587979848228484953158406578858705530805266735027109563802000470143540542911875339205440134858331641258229405936796300303740058299655105603828720397196021732579626993230106418535725387041149090157363120269618915293285045478911/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "20792570140352741246326256296702513475740610611412020151771515046841593421141294469194733264972890436197999529856459457088124660794559865141668358741770594063203699696259941700344894396171279602803978267420373006769893581464274612958850909842636879730381084706714954521089/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "83269537101949156409045759298251422" + }, + { + "exponent": "1664727752321934944713028780526648617741031934529451291544706157975671465520703936808453121683443777342202846119870119458178066148823471256015761466040649882274642717723629376735981632052810387243041383942170305488529231809171596333248359993606813844566905196920007112162781253792214699477395793442120613612801651842303756532400527103/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "34613968554745599060323988738470548708455293842024328534479296063191546878316556222657797153880129880541821933851176528743984238533959350117725357282276370623264018367947189612756958616057829694511470768190828403666751640006393186155433094803079992887837218746207785300522604206557879386387198348157696243467599472897/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "30046902736702179951023233034091996981961" + }, + { + "exponent": "1664727752321934979269374501201163900758336846571305599419301385389719898823926132893877498046878056813442981556155005442945362675662519005083279831782862592155851918864651708028143326151006306128099777575821205670836390664544554792896452224234554979256993047500088886788974364834709906802208888797309656511390381316031555742602404665083699017247985994057197925894932645411791800319/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "57622834071083777306683826428694400580698614610280101176073867106122501953121943186557018443844994557054637324337480994916720168217137407844148081135348291971856673848993693871900222424178794329163609335455445207103547775765445020743006952499911113211025635165290093197791111202690343488609618683968444257397595334916300982752014005942802074105067354588208199681/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "10842096587657240729734961408736157545706930207" + } + ], + "outer": { + "bit_positive": "1664727752321934979269374501201163900758336846571305599419301385389719898823926132893877498046878056813442981556155005442945362675662519005083279831782862592155851918864651708028143326151006306128099777575821205670836390664544554792896452224234554979256993047500088886788974364834709906802208888797309656511390381316031555742602404665083699017247985994057197925894932645411791800319/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "complex_above_bit": "57625498798836099241663153428694400580698614610280101176073867106122501953121943186557018443844994557054637324337480994916720168217137407844148081135348291971856673848993693871900222424178794329163609335455445207103547775765445020743006952499911113211025635165290093197791111202690343488609618683968444257397595334916300982752014005942802074105067354588208199681/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "complex_below_one_over32": "29585272247678065020673/1000000000000000000000000", + "beta_positive": "1/1000000000000000000000000", + "beta_below_one": "999999999999999999999999/1000000000000000000000000", + "leaf_saving_above_bit": "57623834071083777306683826428694400580698614610280101176073867106122501953121943186557018443844994557054637324337480994916720168217137407844148081135348291971856673848993693871900222424178794329163609335455445207103547775765445020743006952499911113211025635165290093197791111202690343488609618683968444257397595334916300982752014005942802074105067354588208199681/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_positive": "832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_internal": "1664727752321934979269374501201163900758336846571305599419301385389719898823926132893877498046878056813442981556155005442945362675662519005083279831782862592155851918864651708028143326151006306128099777575821205670836390664544554792896452224234554979256993047500088886788974364834709906802208888797309656511390381316031555742602404665083699017247985994057197925894932645411791800319/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_leaf": "28813581763294210588321182588848401454250065641986621893636352854446640696459795519411403099420544156584132105150296652463803029471244366441079123847505928848520492776415711587658139355415548170887932767505298424757444724273387054926296372702179791160492074575692546687782344575710006454211611550873019438355309057839466522931749605376066120751550925280098157038425894932645411791800319/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "c_positive": "832363876160967489634810585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "c_below_one": "499167636123839032510365189414127170371555810846088848401454250065641986621893636352854446640696459795519411403099420544156584132105150296652463803029471244366441079123847505928848520492776415711587658139355415548170887932767505298424757444724273387054926296372702179791160492074575692546687782344575710006454211611550873019438355309057839466522931749605376066120751550925280098157038425894932645411791800319/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_reservations": "1/4000000000000000000000000", + "lambda_above_tau": "1664727752321934979269374501201163900758336846571305599419301385389719898823926132893877498046878056813442981556155005442945362675662519005083279831782862592155851918864651708028143326151006306128099777575821205670836390664544554792896452224234554979256993047500088886788974364834709906802208888797309656511390381316031555742602404665083699017247985994057197925894932645411791800319/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_above_sigma": "57627163526588421176642422803195601744599372947126672481673286407507891673020767112689912321343041435111450767319037149922163113579813070363153164415180074834448829700912558523608250567504945335469737435233021028309218612156109565297799848952135347766004892158337593286677900177055178198516420892857241567054106725297617014307756608347467157804084602574202256878925894932645411791800319/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_above_internal": "1664727752321934979269374501201163900758336846571305599419301385389719898823926132893877498046878056813442981556155005442945362675662519005083279831782862592155851918864651708028143326151006306128099777575821205670836390664544554792896452224234554979256993047500088886788974364834709906802208888797309656511390381316031555742602404665083699017247985994057197925894932645411791800319/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_prime_above_lambda": "1664727752321934979269374501201163900758336846571305599419301385389719898823926132893877498046878056813442981556155005442945362675662519005083279831782862592155851918864651708028143326151006306128099777575821205670836390664544554792896452224234554979256993047500088886788974364834709906802208888797309656511390381316031555742602404665083699017247985994057197925894932645411791800319/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_leaf": "28813581763294210588321182588848401454250065641986621893636352854446640696459795519411403099420544156584132105150296652463803029471244366441079123847505928848520492776415711587658139355415548170887932767505298424757444724273387054926296372702179791160492074575692546687782344575710006454211611550873019438355309057839466522931749605376066120751550925280098157038425894932645411791800319/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_reservations": "1/4000000000000000000000000", + "lambda_prime_below_one": "832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "epsilon_positive": "499999999999999999999999500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/500832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681", + "epsilon_below_one": "832363876160967489635185585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681/500832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681", + "guard_width": "832363876160967489635185585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681/500832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681", + "K_geometry": "375832363876160967489634810585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681/500832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681000000000000000000000000", + "K_dominates_log": "832363876160967489634809753508953467476699519100565725716121490168859466954765101395619001290162098116941451347220152303211387306252802768080353554660860783855573339955523542395845948302708135918270709165077228244823654890634056990790726163659380450372128384742544482226562851720680155492008815916364569238335076231471556271651145153772084350087688749932991718714972006469507219027694856618279868306356719425894932645411791800319/500832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681000000000000000000000000", + "record_suffix": "832363876160967489635185585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681/500832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681", + "phase_local": "6658911009287739917080983854618760866586023596603626915536371030674953113699310631414492516414943529481061629651276343207122462570200726200833732348362150218768019473022982040456202498867798154804663733677168391048608125518096968017488613093745671065888053775827285944103118329690832328677532403886394524058853795375360420203163981748895818689565441512300528873454115529508820119758713592089761985763754486425894932645411791800319/4006658911009287739917077484686982637027553513231289212788365999474864107024850909177164426874428321635844708775204635646747326943158797626780289575764230045068471367009219952569211836057788674307298734885156675614632896537859957612601940442205812903560589629018382561670716063403394459626497741243394319948366307107593015844493157527537284267816546003156991471033987592597759214743692592840538836705665597448000000000000000000000000", + "phase_boundary": "1331782201857547983415796105032651244543213011572256684843571450783667493818583289682951016872286220805294609487567825809260908043162624776602071736978114163990925865647019985086733652636858708965675825551827899342290895230130877935936259329095348217416350561121236607530267606975264627479339409170938565365808109300947744608637959719068404436328638986707352046264041451301448324804639319658692621231276528025894932645411791800319/801331782201857547983415496937396527405510702646257842557673199894972821404970181835432885374885664327168941755040927129349465388631759525356057915152846009013694273401843990513842367211557734861459746977031335122926579307571991522520388088441162580712117925803676512334143212680678891925299548248678863989673261421518603168898631505507456853563309200631398294206797518519551842948738518568107767341133119489600000000000000000000000", + "gamma_sublinear": "1/2000000000000000000000000", + "cell_above_band": "999999999999999999999998499167636123839032510365314414127170371555810846088848401454250065641986621893636352854446640696459795519411403099420544156584132105150296652463803029471244366441079123847505928848520492776415711587658139355415548170887932767505298424757444724273387054926296372702179791160492074575692546687782344575710006454211611550873019438355309057839466522931749605376066120751550925280098157038425894932645411791800319/2003329455504643869958538742343491318513776756615644606394182999737432053512425454588582213437214160817922354387602317823373663471579398813390144787882115022534235683504609976284605918028894337153649367442578337807316448268929978806300970221102906451780294814509191280835358031701697229813248870621697159974183153553796507922246578763768642133908273001578495735516993796298879607371846296420269418352832798724000000000000000000000000", + "prime_interval_packing": "832363876160967489635185585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681/500832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681", + "alpha_positive": "1664727752321934979269870339381783095920888673136717324261871424526872845061128748541172360593702302597530048247799608146627255201102506115616550525189616417414494216108017613547325455526292424330612569809661680073935722123128758566033281439385993395445832012040364691066070777144987608804226471340654562784123464680598536833295836095932617827155939144556925597963421081189409061989268961685634456514556400425894932645411791800319/1001664727752321934979269371171745659256888378307822303197091499868716026756212727294291106718607080408961177193801158911686831735789699406695072393941057511267117841752304988142302959014447168576824683721289168903658224134464989403150485110551453225890147407254595640417679015850848614906624435310848579987091576776898253961123289381884321066954136500789247867758496898149439803685923148210134709176416399362000000000000000000000000", + "alpha_below_one": "999999999999999999999999500832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681/1001664727752321934979269371171745659256888378307822303197091499868716026756212727294291106718607080408961177193801158911686831735789699406695072393941057511267117841752304988142302959014447168576824683721289168903658224134464989403150485110551453225890147407254595640417679015850848614906624435310848579987091576776898253961123289381884321066954136500789247867758496898149439803685923148210134709176416399362000000000000000000000000", + "alpha_below_one_fourth": "248751454185758548765547472453554631718301205903818858475011003542652133843992053075031604319058067799642764250202490119775080678746322345558151547960074761399364966221968229422028414298085499719875558360512630545840620311493118592221587996198477313077091019801608545413353683185567166117851882356371490433988770729543964953447526509375147648911378186052755041341660803456170541859491518090848042837589543440074105067354588208199681/1001664727752321934979269371171745659256888378307822303197091499868716026756212727294291106718607080408961177193801158911686831735789699406695072393941057511267117841752304988142302959014447168576824683721289168903658224134464989403150485110551453225890147407254595640417679015850848614906624435310848579987091576776898253961123289381884321066954136500789247867758496898149439803685923148210134709176416399362000000000000000000000000", + "delta_positive": "1/8000000000000000000000000", + "delta_below_one_eighth": "999999999999999999999999/8000000000000000000000000", + "short_record_fallback": "499166250464594357089518431658689467217796456678796567863168083268180340247261237719943007281377944952878901928811968224417561046348812533804540845240760755894225712085651680527703722145850239444984533825219326104608525178841619188446362740383320206612595979774693920155929958103735197422541540785453967136280650286652254861965470126246316204674969816424985856000011512668592859807315683798791994507533294004491469048339365550825981421321433850469909020027627060715787369659288743399607570177033529717389878361114871387731531790319571430550109890178332605312052908053338395728031757063033415622782930925899604245277550290690529059754391247072562695455496769609315301072259529575211100700931131765534809402175049723269106777312519312647531134982680256400688445432019270917161514319963168501761/500832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "small_field_exposure": "1/1000000000000000000000000", + "artificial_boundary": "28053271288074301919336625379992952724703330574754370459925416881131480317932262069054565218069466707405848611638297163084599228987036171715980684136361444045096880978682350532139961589139072022915872092535691926587816037539905242834568879024982704925968821757874726320545567342448266558905442556465678335859852816797397093028815240857663439489913309710190004594753501171986824901821342380469657917805030308468722315202063764624599043/4006658911009287739917077484686982637027553513231289212788365999474864107024850909177164426874428321635844708775204635646747326943158797626780289575764230045068471367009219952569211836057788674307298734885156675614632896537859957612601940442205812903560589629018382561670716063403394459626497741243394319948366307107593015844493157527537284267816546003156991471033987592597759214743692592840538836705665597448000000000000000000000000", + "literal_scalar_guard": "1", + "row_product_gap": "23971789/25", + "balanced_prefix_above_kappa": "459181574200909975631495147055612093580243538694217371854636817365512783039781209851069916841955475814866440726848888706144009068325258020769889748586246412609664122911301846599643620264203718905111413841320872307227958020414837585234993442694664013664571796460362714141113144692523053827201161062482329515905079818327296880687724616040034690900852126003943853659326146825395847294531747778673901896734045179/500832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681000000000000000000", + "coordinate_movement_above_kappa": "2766712665993979269374501201163900758336846571305599419301385389719898823926132893877498046878056813442981556155005442945362675662519005083279831782862592155851918864651708028143326151006306128099777575821205670836390664544554792896452224234554979256993047500088886788974364834709906802208888797309656511390381316031555742602404665083699017247985994057197925894932645411791800319/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_phase_layer_above_kappa": "459181073368546099470527657420926507707413910250028217943485218819762848681767831744706269696402116511326236246260291805564553224909390125920186401050049442080908489352380970447149549112724211681527125428979011662643506191302770352740291867452108737937958851386659086843292935853015128402893707750264674091615086272538908431560744054395343748740318648935693459035392267576946772574629904817099796829379456970800319/500832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681000000000000000000000000", + "bulk_exposure_above_kappa": "2766712665993979269374501201163900758336846571305599419301385389719898823926132893877498046878056813442981556155005442945362675662519005083279831782862592155851918864651708028143326151006306128099777575821205670836390664544554792896452224234554979256993047500088886788974364834709906802208888797309656511390381316031555742602404665083699017247985994057197925894932645411791800319/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "Gaussian_arithmetic_above_kappa": "734690017889092084849424745654293763855560033466558641056267309239070518505636557655348219801575402000246100682369625029250958665904544938382120250201797289646706963099162078406935721271246443024593973733771535046980281003551672903881287933068907146136701929262876715327960822668528960699214404387754071801158134163535286559973378824019364563280829924538059771230987955672184280951348953484304137967419884078200319/801331782201857547983415496937396527405510702646257842557673199894972821404970181835432885374885664327168941755040927129349465388631759525356057915152846009013694273401843990513842367211557734861459746977031335122926579307571991522520388088441162580712117925803676512334143212680678891925299548248678863989673261421518603168898631505507456853563309200631398294206797518519551842948738518568107767341133119489600000000000000000000000", + "scalar_work_above_kappa": "3673452092774915928890993686810211162769118681109549820925942940378352329960236300702195687590090447215391321334202512748572616703186196271309414641153774330348557349731493896644654890962150244017307022318225117813239212334206633449385245966314756833589961426609198085831084948700676505193301835187640980702950645000829986596374816366675586585046283530963300434650675295354717703636352139267817110106517773223800319/4006658911009287739917077484686982637027553513231289212788365999474864107024850909177164426874428321635844708775204635646747326943158797626780289575764230045068471367009219952569211836057788674307298734885156675614632896537859957612601940442205812903560589629018382561670716063403394459626497741243394319948366307107593015844493157527537284267816546003156991471033987592597759214743692592840538836705665597448000000000000000000000000", + "dimension_above_kappa": "499167636123839032969545888615037146003050957901700941981697788759859358476530453718367229680477669646589328245054896359023024858954039002796472871354729265136330827710093918538512643404078262311231278403559134453282301774088377605652715465139110972289919739067366193455732288534938406687800927037098763833655372674033202535343435127385136347210656365645410757021603676929223951816364572720328492706323548097673901896734045179/500832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681000000000000000000" + }, + "controls": [ + "next_grid", + "zero_eta", + "zero_beta", + "unit_beta" + ], + "scope": "Conditional native exact-complex witness after complete conservative admission, moment and outer checks; PR559 exact-cover recurrence correction only, bit bad-residue surcharge and H1-H5 retained. The new source-branch gauge and retired-basis completion, the gauge44-barch U8 local word and all 72 cold helper ends, and explicit all333 whole-owner dispatch with a T21 plus T16 eight-role trade are composed with the cited unchanged merged PR589 bit supplier (PR555 punctured R439 word; derived bit deficit T(2Kv-L*cst)), replacing the PR543 supplier of PR635; This is a new T37 composition of the PR870 U8 and PR589 suppliers. All-size compiler, common-label/mutable-source realization, whole-call hosting, precision/tape and analytic transfer remain assumptions. No unconditional theorem or full Lean certification." +} diff --git a/research/u8-e4-gap-fill/CLAIM.json b/research/u8-e4-gap-fill/CLAIM.json new file mode 100644 index 0000000000..4ed2e1d5d6 --- /dev/null +++ b/research/u8-e4-gap-fill/CLAIM.json @@ -0,0 +1,42 @@ +{ + "status": "nominated_conditional_finite_construction", + "kappa": "1661961039655941/1000000000000000000", + "kappa_decimal": "0.001661961039655941", + "delta": "0.000000000491941994", + "complex_lower": "0.001664727752321934979327", + "bit_lower": "0.001733427039589844234749", + "replicas": 37, + "calls": 333, + "roles": 167832, + "live": 33152, + "physical": 33666, + "rank_mass": 2408256, + "deficit": 11840, + "prefix_bits": 779, + "charged_prefix_bits": 1024, + "physical_row_coefficient": 17495, + "profile": { + "1": 848478, + "2": 112562, + "3": 148522, + "4": 53942, + "5": 23976, + "8": 2664, + "48": 11086 + }, + "idle": { + "1": 2, + "48": 11086 + }, + "scope": "Conditional finite construction using the retained all-size/compiler, common-label and physical-hosting, precision/tape, analytic-transfer and bit H1-H5 assumptions. Changing one local supplier width inventory falls outside the homogeneous U8 optimality hypothesis.", + "baseline_pr942_kappa": "0.001661960547713947", + "complex_upper": "0.001664727752321934979328", + "provider_counts": { + "gauge44": 332, + "gauge44_e4": 1 + }, + "modified_call": [ + 0, + 0 + ] +} diff --git a/research/u8-e4-gap-fill/INDEPENDENT-PRICE.json b/research/u8-e4-gap-fill/INDEPENDENT-PRICE.json new file mode 100644 index 0000000000..2c11344aec --- /dev/null +++ b/research/u8-e4-gap-fill/INDEPENDENT-PRICE.json @@ -0,0 +1,135 @@ +{ + "status": "PASS_BINOMIAL_MOMENTS_AND_1024_BIT_OUTER", + "root": { + "endpoint": "1664727752321934979327/1000000000000000000000000", + "successor": "6502842782507558513/3906250000000000000000", + "lower_residual_interval": [ + "-1319163622294688867687560215034843884829256085311912083/534492439260238600310902493544741766060003808611637242259283335165432993677312", + "-5276654489178755470750240858941593342743577214321510693/2137969757040954401243609974178967064240015234446548969037133340661731974709248" + ], + "successor_residual_interval": [ + "64103735588294957235846345244307681819360435837654797/133623109815059650077725623386185441515000952152909310564820833791358248419328", + "1025659769412719315773541525106705105683214100523009751/2137969757040954401243609974178967064240015234446548969037133340661731974709248" + ], + "terms": { + "1": 7743, + "2": 3845, + "3": 2546, + "4": 1896, + "5": 1506, + "8": 921, + "48": 101 + } + }, + "kappa": "1661961039655941/1000000000000000000", + "baseline_kappa": "1661960547713947/1000000000000000000", + "gain": "245970997/500000000000000000", + "signed_profile_change": { + "1": -12, + "2": 8, + "3": 4, + "4": -4, + "5": 0, + "8": 0, + "48": 0 + }, + "signed_moment_change_upper": "-1555352558724744779838371665117515196389496259731015946501575695904739/441711766194596082395824375185729628956870974218904739530401550323154944", + "charged_prefix_bits": 1024, + "bootstrap": [ + { + "exponent": "1662020459095465664021154714032432722611674701450671405370557840034206391951503277724082627071/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "2707293226469315305842621239814955453345971549328594629442159965793608048496722275917372929/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "4911700843529" + }, + { + "exponent": "1664723245415767202664442365173987346566627666761923978604635345741083431023060031292256513427359858519717912199476375002164545451857764438783/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "4506906167776662554970098260331498393006238076021395364654258916568976939968707743486572640141480282087800523624997835454548142235561217/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "1772333588651984190" + }, + { + "exponent": "1664727744819163204718288298122402930414843379247725286363718073927979255569418607672865543254030743634258977034163287045221247573066565924759129724037207818284531664000053525839959137960959/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "7502771774608709037149844747650177293752274713636281926072020744430581392327134456745969256365741022965836712954778752426933434075240870275962792181715468335999946474160040862039041/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "639527212574956908743424" + }, + { + "exponent": "1664727752309444906934468523721057298676571159865054901052433934221235739667121573424503493730141409728044899569074640328518978745658346409906696691589292078742056847987811147915542744092883514503308720431675727154255154775845923401905407/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "12490072392528811551190379388449513134945098947566065778764260332878426575496506269858590271955100430925359671481021254341653590093303308410707921257943152012188852084457255907116485496691279568324272845744845224154076598094593/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "230766407770317600462688416043" + }, + { + "exponent": "1664727752321914186756856982531001351808723970486524259389388587979848228484953158406578858705530805266735027109563802000470143540542911875339205440134858331641258229405936796300303740058299655105603828720397196021732579626993230106418535725387041149090157363120269618915293285045478911/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "20792570140352741246326256296702513475740610611412020151771515046841593421141294469194733264972890436197999529856459457088124660794559865141668358741770594063203699696259941700344894396171279602803978267420373006769893581464274612958850909842636879730381084706714954521089/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "83269537101949156409045759298251422" + }, + { + "exponent": "1664727752321934944713028780526648617741031934529451291544706157975671465520703936808453121683443777342202846119870119458178066148823471256015761466040649882274642717723629376735981632052810387243041383942170305488529231809171596333248359993606813844566905196920007112162781253792214699477395793442120613612801651842303756532400527103/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "34613968554745599060323988738470548708455293842024328534479296063191546878316556222657797153880129880541821933851176528743984238533959350117725357282276370623264018367947189612756958616057829694511470768190828403666751640006393186155433094803079992887837218746207785300522604206557879386387198348157696243467599472897/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "30046902736702179951023233034091996981961" + }, + { + "exponent": "1664727752321934979269374501201163900758336846571305599419301385389719898823926132893877498046878056813442981556155005442945362675662519005083279831782862592155851918864651708028143326151006306128099777575821205670836390664544554792896452224234554979256993047500088886788974364834709906802208888797309656511390381316031555742602404665083699017247985994057197925894932645411791800319/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "57622834071083777306683826428694400580698614610280101176073867106122501953121943186557018443844994557054637324337480994916720168217137407844148081135348291971856673848993693871900222424178794329163609335455445207103547775765445020743006952499911113211025635165290093197791111202690343488609618683968444257397595334916300982752014005942802074105067354588208199681/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "10842096587657240729734961408736157545706930207" + } + ], + "outer": { + "bit_positive": "1664727752321934979269374501201163900758336846571305599419301385389719898823926132893877498046878056813442981556155005442945362675662519005083279831782862592155851918864651708028143326151006306128099777575821205670836390664544554792896452224234554979256993047500088886788974364834709906802208888797309656511390381316031555742602404665083699017247985994057197925894932645411791800319/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "complex_above_bit": "57625498798836099241663153428694400580698614610280101176073867106122501953121943186557018443844994557054637324337480994916720168217137407844148081135348291971856673848993693871900222424178794329163609335455445207103547775765445020743006952499911113211025635165290093197791111202690343488609618683968444257397595334916300982752014005942802074105067354588208199681/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "complex_below_one_over32": "29585272247678065020673/1000000000000000000000000", + "beta_positive": "1/1000000000000000000000000", + "beta_below_one": "999999999999999999999999/1000000000000000000000000", + "leaf_saving_above_bit": "57623834071083777306683826428694400580698614610280101176073867106122501953121943186557018443844994557054637324337480994916720168217137407844148081135348291971856673848993693871900222424178794329163609335455445207103547775765445020743006952499911113211025635165290093197791111202690343488609618683968444257397595334916300982752014005942802074105067354588208199681/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_positive": "832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_internal": "1664727752321934979269374501201163900758336846571305599419301385389719898823926132893877498046878056813442981556155005442945362675662519005083279831782862592155851918864651708028143326151006306128099777575821205670836390664544554792896452224234554979256993047500088886788974364834709906802208888797309656511390381316031555742602404665083699017247985994057197925894932645411791800319/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_leaf": "28813581763294210588321182588848401454250065641986621893636352854446640696459795519411403099420544156584132105150296652463803029471244366441079123847505928848520492776415711587658139355415548170887932767505298424757444724273387054926296372702179791160492074575692546687782344575710006454211611550873019438355309057839466522931749605376066120751550925280098157038425894932645411791800319/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "c_positive": "832363876160967489634810585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "c_below_one": "499167636123839032510365189414127170371555810846088848401454250065641986621893636352854446640696459795519411403099420544156584132105150296652463803029471244366441079123847505928848520492776415711587658139355415548170887932767505298424757444724273387054926296372702179791160492074575692546687782344575710006454211611550873019438355309057839466522931749605376066120751550925280098157038425894932645411791800319/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_reservations": "1/4000000000000000000000000", + "lambda_above_tau": "1664727752321934979269374501201163900758336846571305599419301385389719898823926132893877498046878056813442981556155005442945362675662519005083279831782862592155851918864651708028143326151006306128099777575821205670836390664544554792896452224234554979256993047500088886788974364834709906802208888797309656511390381316031555742602404665083699017247985994057197925894932645411791800319/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_above_sigma": "57627163526588421176642422803195601744599372947126672481673286407507891673020767112689912321343041435111450767319037149922163113579813070363153164415180074834448829700912558523608250567504945335469737435233021028309218612156109565297799848952135347766004892158337593286677900177055178198516420892857241567054106725297617014307756608347467157804084602574202256878925894932645411791800319/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_above_internal": "1664727752321934979269374501201163900758336846571305599419301385389719898823926132893877498046878056813442981556155005442945362675662519005083279831782862592155851918864651708028143326151006306128099777575821205670836390664544554792896452224234554979256993047500088886788974364834709906802208888797309656511390381316031555742602404665083699017247985994057197925894932645411791800319/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_prime_above_lambda": "1664727752321934979269374501201163900758336846571305599419301385389719898823926132893877498046878056813442981556155005442945362675662519005083279831782862592155851918864651708028143326151006306128099777575821205670836390664544554792896452224234554979256993047500088886788974364834709906802208888797309656511390381316031555742602404665083699017247985994057197925894932645411791800319/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_leaf": "28813581763294210588321182588848401454250065641986621893636352854446640696459795519411403099420544156584132105150296652463803029471244366441079123847505928848520492776415711587658139355415548170887932767505298424757444724273387054926296372702179791160492074575692546687782344575710006454211611550873019438355309057839466522931749605376066120751550925280098157038425894932645411791800319/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_reservations": "1/4000000000000000000000000", + "lambda_prime_below_one": "832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "epsilon_positive": "499999999999999999999999500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/500832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681", + "epsilon_below_one": "832363876160967489635185585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681/500832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681", + "guard_width": "832363876160967489635185585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681/500832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681", + "K_geometry": "375832363876160967489634810585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681/500832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681000000000000000000000000", + "K_dominates_log": "832363876160967489634809753508953467476699519100565725716121490168859466954765101395619001290162098116941451347220152303211387306252802768080353554660860783855573339955523542395845948302708135918270709165077228244823654890634056990790726163659380450372128384742544482226562851720680155492008815916364569238335076231471556271651145153772084350087688749932991718714972006469507219027694856618279868306356719425894932645411791800319/500832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681000000000000000000000000", + "record_suffix": "832363876160967489635185585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681/500832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681", + "phase_local": "6658911009287739917080983854618760866586023596603626915536371030674953113699310631414492516414943529481061629651276343207122462570200726200833732348362150218768019473022982040456202498867798154804663733677168391048608125518096968017488613093745671065888053775827285944103118329690832328677532403886394524058853795375360420203163981748895818689565441512300528873454115529508820119758713592089761985763754486425894932645411791800319/4006658911009287739917077484686982637027553513231289212788365999474864107024850909177164426874428321635844708775204635646747326943158797626780289575764230045068471367009219952569211836057788674307298734885156675614632896537859957612601940442205812903560589629018382561670716063403394459626497741243394319948366307107593015844493157527537284267816546003156991471033987592597759214743692592840538836705665597448000000000000000000000000", + "phase_boundary": "1331782201857547983415796105032651244543213011572256684843571450783667493818583289682951016872286220805294609487567825809260908043162624776602071736978114163990925865647019985086733652636858708965675825551827899342290895230130877935936259329095348217416350561121236607530267606975264627479339409170938565365808109300947744608637959719068404436328638986707352046264041451301448324804639319658692621231276528025894932645411791800319/801331782201857547983415496937396527405510702646257842557673199894972821404970181835432885374885664327168941755040927129349465388631759525356057915152846009013694273401843990513842367211557734861459746977031335122926579307571991522520388088441162580712117925803676512334143212680678891925299548248678863989673261421518603168898631505507456853563309200631398294206797518519551842948738518568107767341133119489600000000000000000000000", + "gamma_sublinear": "1/2000000000000000000000000", + "cell_above_band": "999999999999999999999998499167636123839032510365314414127170371555810846088848401454250065641986621893636352854446640696459795519411403099420544156584132105150296652463803029471244366441079123847505928848520492776415711587658139355415548170887932767505298424757444724273387054926296372702179791160492074575692546687782344575710006454211611550873019438355309057839466522931749605376066120751550925280098157038425894932645411791800319/2003329455504643869958538742343491318513776756615644606394182999737432053512425454588582213437214160817922354387602317823373663471579398813390144787882115022534235683504609976284605918028894337153649367442578337807316448268929978806300970221102906451780294814509191280835358031701697229813248870621697159974183153553796507922246578763768642133908273001578495735516993796298879607371846296420269418352832798724000000000000000000000000", + "prime_interval_packing": "832363876160967489635185585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681/500832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681", + "alpha_positive": "1664727752321934979269870339381783095920888673136717324261871424526872845061128748541172360593702302597530048247799608146627255201102506115616550525189616417414494216108017613547325455526292424330612569809661680073935722123128758566033281439385993395445832012040364691066070777144987608804226471340654562784123464680598536833295836095932617827155939144556925597963421081189409061989268961685634456514556400425894932645411791800319/1001664727752321934979269371171745659256888378307822303197091499868716026756212727294291106718607080408961177193801158911686831735789699406695072393941057511267117841752304988142302959014447168576824683721289168903658224134464989403150485110551453225890147407254595640417679015850848614906624435310848579987091576776898253961123289381884321066954136500789247867758496898149439803685923148210134709176416399362000000000000000000000000", + "alpha_below_one": "999999999999999999999999500832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681/1001664727752321934979269371171745659256888378307822303197091499868716026756212727294291106718607080408961177193801158911686831735789699406695072393941057511267117841752304988142302959014447168576824683721289168903658224134464989403150485110551453225890147407254595640417679015850848614906624435310848579987091576776898253961123289381884321066954136500789247867758496898149439803685923148210134709176416399362000000000000000000000000", + "alpha_below_one_fourth": "248751454185758548765547472453554631718301205903818858475011003542652133843992053075031604319058067799642764250202490119775080678746322345558151547960074761399364966221968229422028414298085499719875558360512630545840620311493118592221587996198477313077091019801608545413353683185567166117851882356371490433988770729543964953447526509375147648911378186052755041341660803456170541859491518090848042837589543440074105067354588208199681/1001664727752321934979269371171745659256888378307822303197091499868716026756212727294291106718607080408961177193801158911686831735789699406695072393941057511267117841752304988142302959014447168576824683721289168903658224134464989403150485110551453225890147407254595640417679015850848614906624435310848579987091576776898253961123289381884321066954136500789247867758496898149439803685923148210134709176416399362000000000000000000000000", + "delta_positive": "1/8000000000000000000000000", + "delta_below_one_eighth": "999999999999999999999999/8000000000000000000000000", + "short_record_fallback": "499166250464594357089518431658689467217796456678796567863168083268180340247261237719943007281377944952878901928811968224417561046348812533804540845240760755894225712085651680527703722145850239444984533825219326104608525178841619188446362740383320206612595979774693920155929958103735197422541540785453967136280650286652254861965470126246316204674969816424985856000011512668592859807315683798791994507533294004491469048339365550825981421321433850469909020027627060715787369659288743399607570177033529717389878361114871387731531790319571430550109890178332605312052908053338395728031757063033415622782930925899604245277550290690529059754391247072562695455496769609315301072259529575211100700931131765534809402175049723269106777312519312647531134982680256400688445432019270917161514319963168501761/500832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "small_field_exposure": "1/1000000000000000000000000", + "artificial_boundary": "28053271288074301919336625379992952724703330574754370459925416881131480317932262069054565218069466707405848611638297163084599228987036171715980684136361444045096880978682350532139961589139072022915872092535691926587816037539905242834568879024982704925968821757874726320545567342448266558905442556465678335859852816797397093028815240857663439489913309710190004594753501171986824901821342380469657917805030308468722315202063764624599043/4006658911009287739917077484686982637027553513231289212788365999474864107024850909177164426874428321635844708775204635646747326943158797626780289575764230045068471367009219952569211836057788674307298734885156675614632896537859957612601940442205812903560589629018382561670716063403394459626497741243394319948366307107593015844493157527537284267816546003156991471033987592597759214743692592840538836705665597448000000000000000000000000", + "literal_scalar_guard": "1", + "row_product_gap": "23971789/25", + "balanced_prefix_above_kappa": "459181574200909975631495147055612093580243538694217371854636817365512783039781209851069916841955475814866440726848888706144009068325258020769889748586246412609664122911301846599643620264203718905111413841320872307227958020414837585234993442694664013664571796460362714141113144692523053827201161062482329515905079818327296880687724616040034690900852126003943853659326146825395847294531747778673901896734045179/500832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681000000000000000000", + "coordinate_movement_above_kappa": "2766712665993979269374501201163900758336846571305599419301385389719898823926132893877498046878056813442981556155005442945362675662519005083279831782862592155851918864651708028143326151006306128099777575821205670836390664544554792896452224234554979256993047500088886788974364834709906802208888797309656511390381316031555742602404665083699017247985994057197925894932645411791800319/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_phase_layer_above_kappa": "459181073368546099470527657420926507707413910250028217943485218819762848681767831744706269696402116511326236246260291805564553224909390125920186401050049442080908489352380970447149549112724211681527125428979011662643506191302770352740291867452108737937958851386659086843292935853015128402893707750264674091615086272538908431560744054395343748740318648935693459035392267576946772574629904817099796829379456970800319/500832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681000000000000000000000000", + "bulk_exposure_above_kappa": "2766712665993979269374501201163900758336846571305599419301385389719898823926132893877498046878056813442981556155005442945362675662519005083279831782862592155851918864651708028143326151006306128099777575821205670836390664544554792896452224234554979256993047500088886788974364834709906802208888797309656511390381316031555742602404665083699017247985994057197925894932645411791800319/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "Gaussian_arithmetic_above_kappa": "734690017889092084849424745654293763855560033466558641056267309239070518505636557655348219801575402000246100682369625029250958665904544938382120250201797289646706963099162078406935721271246443024593973733771535046980281003551672903881287933068907146136701929262876715327960822668528960699214404387754071801158134163535286559973378824019364563280829924538059771230987955672184280951348953484304137967419884078200319/801331782201857547983415496937396527405510702646257842557673199894972821404970181835432885374885664327168941755040927129349465388631759525356057915152846009013694273401843990513842367211557734861459746977031335122926579307571991522520388088441162580712117925803676512334143212680678891925299548248678863989673261421518603168898631505507456853563309200631398294206797518519551842948738518568107767341133119489600000000000000000000000", + "scalar_work_above_kappa": "3673452092774915928890993686810211162769118681109549820925942940378352329960236300702195687590090447215391321334202512748572616703186196271309414641153774330348557349731493896644654890962150244017307022318225117813239212334206633449385245966314756833589961426609198085831084948700676505193301835187640980702950645000829986596374816366675586585046283530963300434650675295354717703636352139267817110106517773223800319/4006658911009287739917077484686982637027553513231289212788365999474864107024850909177164426874428321635844708775204635646747326943158797626780289575764230045068471367009219952569211836057788674307298734885156675614632896537859957612601940442205812903560589629018382561670716063403394459626497741243394319948366307107593015844493157527537284267816546003156991471033987592597759214743692592840538836705665597448000000000000000000000000", + "dimension_above_kappa": "499167636123839032969545888615037146003050957901700941981697788759859358476530453718367229680477669646589328245054896359023024858954039002796472871354729265136330827710093918538512643404078262311231278403559134453282301774088377605652715465139110972289919739067366193455732288534938406687800927037098763833655372674033202535343435127385136347210656365645410757021603676929223951816364572720328492706323548097673901896734045179/500832363876160967489634685585872829628444189153911151598545749934358013378106363647145553359303540204480588596900579455843415867894849703347536196970528755633558920876152494071151479507223584288412341860644584451829112067232494701575242555275726612945073703627297820208839507925424307453312217655424289993545788388449126980561644690942160533477068250394623933879248449074719901842961574105067354588208199681000000000000000000" + }, + "controls_rejected": [ + "next_grid", + "zero_eta", + "zero_beta", + "unit_beta" + ], + "sources": { + "research/t21-binomial-audit/verify.py": "080fa1343c62ecd3cbdaacca322028e590bc0c18d0c0e3878ba081587ef7b34a", + "research/complex-k492-owner-repair/vendor/multicold/engines/outer.py": "c1ebb52163a7219504c728a5c2b098bf1e50bf20148a2879c5a74c3cadc7c03c" + }, + "owner_receipt_sha256": "1c38eb0c99c640d4e567d461eaac63f40f97c52bd316872cbb436b4b44a79edd" +} diff --git a/research/u8-e4-gap-fill/LOCAL-EDIT.json b/research/u8-e4-gap-fill/LOCAL-EDIT.json new file mode 100644 index 0000000000..58b52626eb --- /dev/null +++ b/research/u8-e4-gap-fill/LOCAL-EDIT.json @@ -0,0 +1,484 @@ +{ + "source_word_identity": "090fd574747fbf9628e70cb9beb792732914cfa52e1df147579fe4dbccc68c5a", + "result_word_identity": "b52836aa0f701e69ece89605b85cb768f7c7740616573b33fcf49550c8f93984", + "entrances": [ + { + "register": 635, + "before": [ + 272, + 144, + 96, + 6, + 1 + ], + "after": [ + 272, + 144, + 96, + 6 + ] + }, + { + "register": 637, + "before": [ + 272, + 144, + 96, + 6, + 1 + ], + "after": [ + 272, + 144, + 96, + 6 + ] + }, + { + "register": 638, + "before": [ + 272, + 144, + 96, + 6, + 1 + ], + "after": [ + 272, + 144, + 96, + 6 + ] + }, + { + "register": 639, + "before": [ + 272, + 144, + 96, + 6, + 1 + ], + "after": [ + 272, + 144, + 96, + 6 + ] + } + ], + "gate_frames": [ + { + "section": "B", + "index": 456, + "before": [ + "add", + 632, + 635, + -1, + 1, + [ + 272, + 144, + 96, + 6, + 1 + ] + ], + "after": [ + "add", + 632, + 635, + -1, + 1, + [ + 272, + 144, + 96, + 6 + ] + ] + }, + { + "section": "B", + "index": 457, + "before": [ + "add", + 633, + 635, + -1, + 1, + [ + 272, + 144, + 96, + 6, + 1 + ] + ], + "after": [ + "add", + 633, + 635, + -1, + 1, + [ + 272, + 144, + 96, + 6 + ] + ] + }, + { + "section": "B", + "index": 458, + "before": [ + "add", + 634, + 635, + 1, + 1, + [ + 272, + 144, + 96, + 6, + 1 + ] + ], + "after": [ + "add", + 634, + 635, + 1, + 1, + [ + 272, + 144, + 96, + 6 + ] + ] + }, + { + "section": "B", + "index": 459, + "before": [ + "add", + 632, + 637, + 1, + 1, + [ + 272, + 144, + 96, + 6, + 1 + ] + ], + "after": [ + "add", + 632, + 637, + 1, + 1, + [ + 272, + 144, + 96, + 6 + ] + ] + }, + { + "section": "B", + "index": 460, + "before": [ + "add", + 633, + 637, + -1, + 1, + [ + 272, + 144, + 96, + 6, + 1 + ] + ], + "after": [ + "add", + 633, + 637, + -1, + 1, + [ + 272, + 144, + 96, + 6 + ] + ] + }, + { + "section": "B", + "index": 461, + "before": [ + "add", + 636, + 637, + -1, + 1, + [ + 272, + 144, + 96, + 6, + 1 + ] + ], + "after": [ + "add", + 636, + 637, + -1, + 1, + [ + 272, + 144, + 96, + 6 + ] + ] + }, + { + "section": "B", + "index": 462, + "before": [ + "add", + 632, + 638, + 1, + 1, + [ + 272, + 144, + 96, + 6, + 1 + ] + ], + "after": [ + "add", + 632, + 638, + 1, + 1, + [ + 272, + 144, + 96, + 6 + ] + ] + }, + { + "section": "B", + "index": 463, + "before": [ + "add", + 634, + 638, + -1, + 1, + [ + 272, + 144, + 96, + 6, + 1 + ] + ], + "after": [ + "add", + 634, + 638, + -1, + 1, + [ + 272, + 144, + 96, + 6 + ] + ] + }, + { + "section": "B", + "index": 464, + "before": [ + "add", + 636, + 638, + -1, + 1, + [ + 272, + 144, + 96, + 6, + 1 + ] + ], + "after": [ + "add", + 636, + 638, + -1, + 1, + [ + 272, + 144, + 96, + 6 + ] + ] + }, + { + "section": "B", + "index": 465, + "before": [ + "add", + 633, + 639, + -1, + 1, + [ + 272, + 144, + 96, + 6, + 1 + ] + ], + "after": [ + "add", + 633, + 639, + -1, + 1, + [ + 272, + 144, + 96, + 6 + ] + ] + }, + { + "section": "B", + "index": 466, + "before": [ + "add", + 634, + 639, + 1, + 1, + [ + 272, + 144, + 96, + 6, + 1 + ] + ], + "after": [ + "add", + 634, + 639, + 1, + 1, + [ + 272, + 144, + 96, + 6 + ] + ] + }, + { + "section": "B", + "index": 467, + "before": [ + "add", + 636, + 639, + -1, + 1, + [ + 272, + 144, + 96, + 6, + 1 + ] + ], + "after": [ + "add", + 636, + 639, + -1, + 1, + [ + 272, + 144, + 96, + 6 + ] + ] + } + ], + "report_changes": { + "local_profile": { + "before": { + "1": 2548, + "2": 338, + "3": 446, + "4": 162, + "5": 72, + "8": 8 + }, + "after": { + "1": 2540, + "2": 346, + "3": 450, + "4": 158, + "5": 72, + "8": 8 + } + }, + "local_rank_mass": { + "before": 5634, + "after": 5638 + }, + "width_inventory": { + "before": { + "4": 80, + "5": 32, + "7": 54, + "8": 122, + "9": 216 + }, + "after": { + "4": 76, + "5": 36, + "7": 54, + "8": 122, + "9": 216 + } + } + } +} diff --git a/research/u8-e4-gap-fill/OWNER-EDITS.json b/research/u8-e4-gap-fill/OWNER-EDITS.json new file mode 100644 index 0000000000..5a2b078946 --- /dev/null +++ b/research/u8-e4-gap-fill/OWNER-EDITS.json @@ -0,0 +1,620 @@ +{ + "source_owners_identity": "6a920a82f82b80362768dbeab1c92233e4fdfbbb3ec4966db285885a0b4b626a", + "result_owners_identity": "5aa357828ac0fe996192077fbb252b093780c46fb38a66b726e2e2c6b62e89fc", + "modified_call": [ + 0, + 0 + ], + "swaps": [ + [ + [ + 0, + 0, + 411 + ], + [ + 1, + 3, + 454 + ] + ], + [ + [ + 0, + 0, + 413 + ], + [ + 1, + 11, + 454 + ] + ], + [ + [ + 0, + 0, + 414 + ], + [ + 1, + 24, + 454 + ] + ], + [ + [ + 0, + 0, + 415 + ], + [ + 1, + 32, + 454 + ] + ] + ], + "edits": [ + { + "before": { + "child": 10, + "copy": 62, + "family": 846, + "helper": 411, + "offset": 0, + "owner_replica": 0, + "port": 62, + "replica": 0, + "stage": 0, + "time": 0, + "width": 4 + }, + "after": { + "child": 6, + "copy": 448, + "family": 4144, + "helper": 411, + "offset": 0, + "owner_replica": 4, + "port": 0, + "replica": 0, + "stage": 0, + "time": 0, + "width": 5 + } + }, + { + "before": { + "child": 10, + "copy": 63, + "family": 847, + "helper": 413, + "offset": 0, + "owner_replica": 0, + "port": 63, + "replica": 0, + "stage": 0, + "time": 0, + "width": 4 + }, + "after": { + "child": 6, + "copy": 1344, + "family": 11312, + "helper": 413, + "offset": 0, + "owner_replica": 12, + "port": 0, + "replica": 0, + "stage": 0, + "time": 0, + "width": 5 + } + }, + { + "before": { + "child": 10, + "copy": 64, + "family": 848, + "helper": 414, + "offset": 0, + "owner_replica": 0, + "port": 64, + "replica": 0, + "stage": 0, + "time": 0, + "width": 4 + }, + "after": { + "child": 6, + "copy": 2800, + "family": 22960, + "helper": 414, + "offset": 0, + "owner_replica": 25, + "port": 0, + "replica": 0, + "stage": 0, + "time": 0, + "width": 5 + } + }, + { + "before": { + "child": 10, + "copy": 65, + "family": 849, + "helper": 415, + "offset": 0, + "owner_replica": 0, + "port": 65, + "replica": 0, + "stage": 0, + "time": 0, + "width": 4 + }, + "after": { + "child": 6, + "copy": 3696, + "family": 30128, + "helper": 415, + "offset": 0, + "owner_replica": 33, + "port": 0, + "replica": 0, + "stage": 0, + "time": 0, + "width": 5 + } + }, + { + "before": { + "child": 6, + "copy": 2800, + "family": 22960, + "helper": 454, + "offset": 0, + "owner_replica": 25, + "port": 0, + "replica": 24, + "stage": 1, + "time": 51, + "width": 4 + }, + "after": { + "child": 10, + "copy": 64, + "family": 848, + "helper": 454, + "offset": 0, + "owner_replica": 0, + "port": 64, + "replica": 24, + "stage": 1, + "time": 51, + "width": 4 + } + }, + { + "before": { + "child": 6, + "copy": 3696, + "family": 30128, + "helper": 454, + "offset": 0, + "owner_replica": 33, + "port": 0, + "replica": 32, + "stage": 1, + "time": 54, + "width": 4 + }, + "after": { + "child": 10, + "copy": 65, + "family": 849, + "helper": 454, + "offset": 0, + "owner_replica": 0, + "port": 65, + "replica": 32, + "stage": 1, + "time": 54, + "width": 4 + } + }, + { + "before": { + "child": 6, + "copy": 448, + "family": 4144, + "helper": 454, + "offset": 0, + "owner_replica": 4, + "port": 0, + "replica": 3, + "stage": 1, + "time": 55, + "width": 4 + }, + "after": { + "child": 10, + "copy": 62, + "family": 846, + "helper": 454, + "offset": 0, + "owner_replica": 0, + "port": 62, + "replica": 3, + "stage": 1, + "time": 55, + "width": 4 + } + }, + { + "before": { + "child": 6, + "copy": 1344, + "family": 11312, + "helper": 454, + "offset": 0, + "owner_replica": 12, + "port": 0, + "replica": 11, + "stage": 1, + "time": 57, + "width": 4 + }, + "after": { + "child": 10, + "copy": 63, + "family": 847, + "helper": 454, + "offset": 0, + "owner_replica": 0, + "port": 63, + "replica": 11, + "stage": 1, + "time": 57, + "width": 4 + } + }, + { + "before": { + "child": 6, + "copy": 2800, + "family": 22960, + "helper": 114, + "offset": 4, + "owner_replica": 25, + "port": 0, + "replica": 23, + "stage": 3, + "time": 84, + "width": 9 + }, + "after": { + "child": 6, + "copy": 2800, + "family": 22960, + "helper": 114, + "offset": 5, + "owner_replica": 25, + "port": 0, + "replica": 23, + "stage": 3, + "time": 84, + "width": 9 + } + }, + { + "before": { + "child": 6, + "copy": 3696, + "family": 30128, + "helper": 114, + "offset": 4, + "owner_replica": 33, + "port": 0, + "replica": 31, + "stage": 3, + "time": 86, + "width": 9 + }, + "after": { + "child": 6, + "copy": 3696, + "family": 30128, + "helper": 114, + "offset": 5, + "owner_replica": 33, + "port": 0, + "replica": 31, + "stage": 3, + "time": 86, + "width": 9 + } + }, + { + "before": { + "child": 6, + "copy": 448, + "family": 4144, + "helper": 114, + "offset": 4, + "owner_replica": 4, + "port": 0, + "replica": 2, + "stage": 3, + "time": 90, + "width": 9 + }, + "after": { + "child": 6, + "copy": 448, + "family": 4144, + "helper": 114, + "offset": 5, + "owner_replica": 4, + "port": 0, + "replica": 2, + "stage": 3, + "time": 90, + "width": 9 + } + }, + { + "before": { + "child": 6, + "copy": 1344, + "family": 11312, + "helper": 114, + "offset": 4, + "owner_replica": 12, + "port": 0, + "replica": 10, + "stage": 3, + "time": 92, + "width": 9 + }, + "after": { + "child": 6, + "copy": 1344, + "family": 11312, + "helper": 114, + "offset": 5, + "owner_replica": 12, + "port": 0, + "replica": 10, + "stage": 3, + "time": 92, + "width": 9 + } + }, + { + "before": { + "child": 6, + "copy": 2800, + "family": 22960, + "helper": 151, + "offset": 13, + "owner_replica": 25, + "port": 0, + "replica": 21, + "stage": 5, + "time": 93, + "width": 9 + }, + "after": { + "child": 6, + "copy": 2800, + "family": 22960, + "helper": 151, + "offset": 14, + "owner_replica": 25, + "port": 0, + "replica": 21, + "stage": 5, + "time": 93, + "width": 9 + } + }, + { + "before": { + "child": 6, + "copy": 3696, + "family": 30128, + "helper": 151, + "offset": 13, + "owner_replica": 33, + "port": 0, + "replica": 29, + "stage": 5, + "time": 95, + "width": 9 + }, + "after": { + "child": 6, + "copy": 3696, + "family": 30128, + "helper": 151, + "offset": 14, + "owner_replica": 33, + "port": 0, + "replica": 29, + "stage": 5, + "time": 95, + "width": 9 + } + }, + { + "before": { + "child": 6, + "copy": 448, + "family": 4144, + "helper": 151, + "offset": 13, + "owner_replica": 4, + "port": 0, + "replica": 0, + "stage": 5, + "time": 101, + "width": 9 + }, + "after": { + "child": 6, + "copy": 448, + "family": 4144, + "helper": 151, + "offset": 14, + "owner_replica": 4, + "port": 0, + "replica": 0, + "stage": 5, + "time": 101, + "width": 9 + } + }, + { + "before": { + "child": 6, + "copy": 1344, + "family": 11312, + "helper": 151, + "offset": 13, + "owner_replica": 12, + "port": 0, + "replica": 8, + "stage": 5, + "time": 103, + "width": 9 + }, + "after": { + "child": 6, + "copy": 1344, + "family": 11312, + "helper": 151, + "offset": 14, + "owner_replica": 12, + "port": 0, + "replica": 8, + "stage": 5, + "time": 103, + "width": 9 + } + }, + { + "before": { + "child": 6, + "copy": 2800, + "family": 22960, + "helper": 360, + "offset": 22, + "owner_replica": 25, + "port": 0, + "replica": 22, + "stage": 5, + "time": 121, + "width": 9 + }, + "after": { + "child": 6, + "copy": 2800, + "family": 22960, + "helper": 360, + "offset": 23, + "owner_replica": 25, + "port": 0, + "replica": 22, + "stage": 5, + "time": 121, + "width": 9 + } + }, + { + "before": { + "child": 6, + "copy": 3696, + "family": 30128, + "helper": 360, + "offset": 22, + "owner_replica": 33, + "port": 0, + "replica": 30, + "stage": 5, + "time": 123, + "width": 9 + }, + "after": { + "child": 6, + "copy": 3696, + "family": 30128, + "helper": 360, + "offset": 23, + "owner_replica": 33, + "port": 0, + "replica": 30, + "stage": 5, + "time": 123, + "width": 9 + } + }, + { + "before": { + "child": 6, + "copy": 448, + "family": 4144, + "helper": 360, + "offset": 22, + "owner_replica": 4, + "port": 0, + "replica": 1, + "stage": 5, + "time": 129, + "width": 9 + }, + "after": { + "child": 6, + "copy": 448, + "family": 4144, + "helper": 360, + "offset": 23, + "owner_replica": 4, + "port": 0, + "replica": 1, + "stage": 5, + "time": 129, + "width": 9 + } + }, + { + "before": { + "child": 6, + "copy": 1344, + "family": 11312, + "helper": 360, + "offset": 22, + "owner_replica": 12, + "port": 0, + "replica": 9, + "stage": 5, + "time": 131, + "width": 9 + }, + "after": { + "child": 6, + "copy": 1344, + "family": 11312, + "helper": 360, + "offset": 23, + "owner_replica": 12, + "port": 0, + "replica": 9, + "stage": 5, + "time": 131, + "width": 9 + } + } + ] +} diff --git a/research/u8-e4-gap-fill/README.md b/research/u8-e4-gap-fill/README.md new file mode 100644 index 0000000000..9951ab93b7 --- /dev/null +++ b/research/u8-e4-gap-fill/README.md @@ -0,0 +1,241 @@ +# One E4 call fills four T37 gaps + +This construction changes one of the 333 local invocations in PR942's T37 +construction. It reverses one four-helper entrance-promotion group, then +moves the four enlarged helpers into four existing unit gaps. The nominated +outer exponent is + +\[ +\kappa=0.001661961039655941, +\] + +an increase of `0.000000000491941994` over PR942's +`0.001661960547713947`. Both figures use the repository's retained conditional +integer-multiplication framework, whose running-time claim is +\(T(n)=O(n(\log n)^{1-\kappa})\). The complete local finite replay passed on +2026-10-13. The inherited assumptions listed below remain open. + +The reference checkout is +`407d52ff15b2217b6e22bce44728b4c3907b6515`. +[SOURCES.json](SOURCES.json) pins the dependencies. This package supplies a new +local supplier and its complete owner assignment; it does not change the +selected-result pointer. + +## The local change + +Start with the U8 word admitted by PR869/870 and used by PR942. For registers +635, 637, 638 and 639, replace the entrance frame +`[272,144,96,6,1]` with `[272,144,96,6]`. Make the same replacement in B-section +gates 456 through 467. These are the twelve gates of the corresponding +group in BlockInvert's `p6n-k4` promotion recipe. Every scalar gate, coefficient, endpoint and other +frame stays fixed. The exact before/after records are in +[LOCAL-EDIT.json](LOCAL-EDIT.json). + +The four helpers have indices 411, 413, 414 and 415 after subtracting the +224 data registers. Each helper's residual width changes from four to five. +The residual width is the final dimension minus the entrance dimension. +The resulting local paid profile is + +| Rank | U8 | Modified call | +|---:|---:|---:| +| 1 | 2548 | 2540 | +| 2 | 338 | 346 | +| 3 | 446 | 450 | +| 4 | 162 | 158 | +| 5 | 72 | 72 | +| 8 | 8 | 8 | + +The helper-width inventory changes from +`{4:80, 5:32, 7:54, 8:122, 9:216}` to +`{4:76, 5:36, 7:54, 8:122, 9:216}`. The local paid rank mass increases by +four. The unchanged native checkers must verify the new frames, both scalar +orientations, all 728 columns, restoration of arbitrary dirty helpers, +normalized residual wrappers, coefficient prefix and all phase recipes. +An unchanged scalar word by itself would not establish those obligations. + +## The four owner exchanges + +Only call `(stage 0, replica 0)` uses the modified supplier. Exchange its +helpers with helper 454 in calls `(1,3)`, `(1,11)`, `(1,24)` and `(1,32)`, +respectively. The latter four helpers previously occupied width-four slices +in rank-32 children with total occupancy 31. The enlarged width-five helpers +fill these four children completely. The displaced width-four helpers fit +the original width-four positions. + +| Enlarged helper | New owner replica | Idle child | Port | Former holder's call | +|---:|---:|---:|---:|:---| +| 411 | 4 | 6 | 0 | `(1,3)` | +| 413 | 12 | 6 | 0 | `(1,11)` | +| 414 | 25 | 6 | 0 | `(1,24)` | +| 415 | 33 | 6 | 0 | `(1,32)` | + +Offsets in the affected children are repacked as contiguous prefixes. +[OWNER-EDITS.json](OWNER-EDITS.json) specifies all 20 changed role records, +including these offset changes. All 167,832 roles remain whole helpers. +The invocation order and the 37-replica bank envelope are inherited from +PR942. Actual bridge-aware idle windows, distinct families within each +invocation, disjoint slices, and residual/spectator charts must be checked +for the emitted mixed construction. Bin capacities alone do not prove the +schedule legal. + +The remaining idle profile is `{1:2, 48:11086}`. Thus the global paid profile +is + +``` +{1:848478, 2:112562, 3:148522, 4:53942, + 5:23976, 8:2664, 48:11086} +``` + +It has rank mass 2,408,256 on 33,152 live families, retaining deficit 11,840. +The physical stock is 33,666 families. Relative to PR942, the exact global +change is `{-12 at rank 1, +8 at rank 2, +4 at rank 3, -4 at rank 4}`. +The four additional locally paid dimensions are exactly balanced by the +four consumed idle dimensions. + +## Exact pricing and the dependency argument + +For a global profile \(H\), the retained native complex moment is + +\[ +M_H(z)=\frac{1}{73\cdot33152} + \sum_r H_r\,r(73/r)^z. +\] + +Writing \(\phi_r(z)=r(73/r)^z\), the change is exactly + +\[ +\Delta M(z)=\frac{-12\phi_1(z)+8\phi_2(z)+4\phi_3(z)-4\phi_4(z)} + {73\cdot33152}. +\] + +At zero it vanishes, as required by conservation of rank mass. Its derivative +there has numerator \(16\log2-12\log3=4\log(16/27)<0\). +This explains the direction of the search; the exact interval checks below +establish the finite improvement at the actual exponent. + +The claimed adjacent root bracket is + +\[ +0.001664727752321934979327 < z_* < +0.001664727752321934979328. +\] + +The lower endpoint must have moment strictly below one; the next +\(10^{-24}\) endpoint must have moment strictly above one. The production +replay checks both signs using the inherited Mercator and base-two engines. +[price.py](price.py) checks them separately using the positive-binomial +engine from the merged PR960 audit. That third path imports no production +logarithm or exponential code. It also certifies the signed profile change +at the nominated exponent. These are separately computed checks by the same +AI-assisted contributor, not independent human review. + +The unchanged PR589 bit lower endpoint is +`0.001733427039589844234749`; its bad-residue charge and H1–H5 remain. +The outer construction takes `eta = beta = 1/10^24`, +`s = min(c,(1-beta)b)-1/10^27`, and seven bootstrap steps starting at +`384599/10^10`. Every bootstrap cutoff charges the full **1024-bit complex +payload**. The claimed prefix requirement is 779 bits and the physical +row coefficient is 17,495, below the retained limit 20,161. The separate +invoice must recompute these values from both actual suppliers, all 333 +calls and all bridges. All nine finite-admission checks and all 47 outer +inequalities must pass before the nominated κ is accepted. + +The dependency order is: complete cold PR942 ancestry; literal reconstruction +of the changed local word and owners; native admission of the new local +supplier; an independent event/owner/chart recount; exact pricing; emitted +mixed-provider controller audit; complete finite invoice; strict outer +assembly; payload and admission mutation controls; and final binding of +the actual artifacts. Discovery only records values derived from this fixed +construction. A separate strict run compares them with the frozen record. + +PR942's all-replica upper bound holds for the unchanged U8 profile and helper +inventory. This construction changes that hypothesis in one invocation. +It therefore does not contradict the fixed-family upper bound. The earlier +local supplier's profile and widths cannot be substituted for the modified +call when applying that upper bound. + +## Reproduce + +Use Python 3.11 or later with the scientific/build dependencies required by +the selected cold replay. Assertions must stay enabled. Run from the +repository root, giving a new output directory outside the checkout: + +```sh +python3 -B research/u8-e4-gap-fill/verify.py --work /absolute/path/to/new-e4-replay +``` + +To reuse a completed, source-bound `scripts/verify_frontier942.py` output: + +```sh +python3 -B research/u8-e4-gap-fill/verify.py \ + --baseline942 /absolute/path/to/completed-frontier942-output \ + --work /absolute/path/to/new-e4-replay +``` + +The baseline directory is the one containing the wrapper's `RESULT.json` +and `replay/` directory. The verifier checks its full evidence closure before +reuse. Original source packages and `upstream/` remain read-only. Generated +gzip files are compared through their decompressed JSON or documented +semantic identity; exact hashes still bind immutable inputs and receipts to +their actual referenced files. + +[VALIDATION.json](VALIDATION.json) records the completed local replay and its +limits. [ASSEMBLY.json](ASSEMBLY.json) is the unedited strict production +assembly, and [INDEPENDENT-PRICE.json](INDEPENDENT-PRICE.json) is the unedited +binomial/outer certificate. The executed checks cover a fresh complete cold +T37 baseline, the new native supplier, all 167,832 helper roles and 9,628 +actual chart types, 28 separate owner mutations, 23 controller mutations, +114 strict admission mutations, 12 bit-supplier controls and 11 payload +mutations. The selected-source inventory and final artifact bindings pass. +The repository-wide `make verify`, hosted CI and formal verification of the +full multiplication theorem were not run for this package. + +The replay uses PR942's runtime adaptations without changing verifier +predicates. Its single-provider freezer carries three fixed metadata fields. +[freeze_metadata.py](freeze_metadata.py) derives their two-provider values: +the actual dispatch counts, 23 controller mutations, and 114 admission +controls. The last count is 31 common cases, one bad owner-receipt hash, +and, for each of two providers, 17 literal cases, 20 distinct-width-pair +cases and four spot-width cases. The strict run must execute and reject +every control; changing the expected count does not relax an admission test. +The separate owner checker has explicit, source-bound edits to +select the width/profile of the provider actually used by each call and to +retain the 1024-bit reserve. It rejects the original unmodified owner map, +discarding the modified provider, and individually omitting each of the +20 owner edits, in addition to its inherited geometric controls. Payload +controls test strict prefix/row boundaries and eleven altered invoices. + +## Scope and credit + +The live selected record checked on 2026-10-13 still uses PR942. Newer pending +[PR987](https://github.com/CrocSwap/integer-mult-bounds/pull/987), +[PR1004](https://github.com/CrocSwap/integer-mult-bounds/pull/1004), +[PR1005](https://github.com/CrocSwap/integer-mult-bounds/pull/1005) and +[PR1018](https://github.com/CrocSwap/integer-mult-bounds/pull/1018) claim larger +gains through additional triangle slots and mutable-leaver circuits. This +package does not verify those claims or claim the largest pending κ. Its +contribution is the separate entrance-frame and gap-filling mechanism on the +pinned, fully replayed T37 baseline. + +Prepared for David Breslauer with substantial OpenAI Codex assistance. +Apache-2.0 applies. Retained source notices and licenses remain in force. +The new work is the four-helper local reversal, its placement in the four +T37 unit gaps, the frozen mixed witness and its verification package. + +BlockInvert supplied the PR664-style entrance promotions reversed here; +the [retained promotion proof](../gauge44-barch/PROOF-NOTE-PROMO.md) records +the exact `p6n-k4` recipe. Chafik Boukhalfa's PR685 supplied the earlier owner +certificate in this lineage. Jeremy Kothe's +PR799 X4 work and the PR869/870 U8 lineage supply the local word; the +retained notices credit NewBArch, ColdWitness/icekylinx, and the earlier +factory/gauge contributors. Jonathan Capalbo's PR942 supplies the T37 +owners, its eight-role trade, and 1024-bit integration. Chafik Boukhalfa's +PR890 and Hao Yan's PR858 supply the preceding replica lifts, owner audits +and ancestry checks. The native/controller, bit, moment and outer suppliers +retain their attribution through [PR942's notice](../complex-t37-owners/NOTICE.md). + +Finite certificate success does not prove the full integer-multiplication +theorem. The inherited all-size/compiler, common-label and mutable-source +realization, physical hosting, precision/tape, analytic transfer, and bit +H1–H5 assumptions remain. No claim of global optimality is made for this +new supplier family. diff --git a/research/u8-e4-gap-fill/SOURCES.json b/research/u8-e4-gap-fill/SOURCES.json new file mode 100644 index 0000000000..7112e53421 --- /dev/null +++ b/research/u8-e4-gap-fill/SOURCES.json @@ -0,0 +1,188 @@ +{ + "repository": "CrocSwap/integer-mult-bounds", + "base_commit": "407d52ff15b2217b6e22bce44728b4c3907b6515", + "files": { + "certificates/selected-result.json": "1d35283cb0ce3f8db1f285683933517f9e87475d295e2b6316399ad9928c81c3", + "research/complex-k492-owner-repair/vendor/multicold/code/assemble.py": "3fedbccb09d469f8ee366b4302e51448de6d25793a78a12c5f9a8d9667a755eb", + "research/complex-k492-owner-repair/vendor/multicold/code/assembly_controls.py": "a0f2349ba8fe8404b8b76c869f12dd7e250a775b2e05b3c9c00e6889ad4c8a45", + "research/complex-k492-owner-repair/vendor/multicold/code/audit_allcold.py": "7950e5c01488a9146bdbaf19ab4fd0c33cd25a4d63fb56ef995ef2e45ac7ec1a", + "research/complex-k492-owner-repair/vendor/multicold/code/audit_kernel_controls.py": "5100459211f43ba048bf82c3942bbedb8b224272b24722a14f0dcd808a38aafa", + "research/complex-k492-owner-repair/vendor/multicold/code/audit_multicold_controls.py": "3ff631f0bdc7e707d4296ff441802cc26da9c6556650469f09ab7253558b4017", + "research/complex-k492-owner-repair/vendor/multicold/code/bind_providers_portable.py": "01e62fee1f1dcf1b7b34338d555dacd5cd1d7d10d6b9a605d0913d959f8c7ecf", + "research/complex-k492-owner-repair/vendor/multicold/code/build_cold_kernel.py": "aa556a1988f7d4c52bd82fd2a648769f7094bd75ba79582c15ec441d710e213b", + "research/complex-k492-owner-repair/vendor/multicold/code/build_four_portable.py": "417b1dc4dca485dfbbaa820e552cae9bf3932bbace6ea16ce93aa0590c3c184e", + "research/complex-k492-owner-repair/vendor/multicold/code/build_multicut_kernels.py": "6ab3d73f81d5b2fb884a93a336ef1940e118d419d425b3356bab3b97f774c9aa", + "research/complex-k492-owner-repair/vendor/multicold/code/emit_allcold.py": "9d6c75af63fa8f53973734ccb1eef983511f4337ce644436a693fd8fb9ef8fe2", + "research/complex-k492-owner-repair/vendor/multicold/code/invoice_allcold.py": "ff8fee775ad97926454f3ad1183f8e05de654e276150e579ce612f3eb2f98d44", + "research/complex-k492-owner-repair/vendor/multicold/code/phase_timing_controls.py": "dcc4adfd139d6f65a88bdc6d183ea3777d4e4f688d2169dd41b54964f05591bb", + "research/complex-k492-owner-repair/vendor/multicold/code/run_portable.py": "322d29d43dbee8130cde15d4bf05396698b5e3dfe3735813899db91cc0ba7955", + "research/complex-k492-owner-repair/vendor/multicold/engines/base_two_moment.py": "aee70c242a2f1d225528fabe2002e1564d1dc884797c07d28a831c7878ee9098", + "research/complex-k492-owner-repair/vendor/multicold/engines/moment.py": "81cbc864e106418fc7854322746f72180cb8110ff39f74450a3b8d55a82c1482", + "research/complex-k492-owner-repair/vendor/multicold/engines/outer.py": "c1ebb52163a7219504c728a5c2b098bf1e50bf20148a2879c5a74c3cadc7c03c", + "research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/code/assemble.py": "5d4946dcad7636bf2119bb7bc3a52ceb41454c1514d12cb77def2c2e02b17338", + "research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/code/assembly_controls.py": "f3d703a63404bd655e66a520b3840a4ab72529751664eb634a52736b4bc95a29", + "research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/code/audit_promoted_scalar.py": "1994e7116065636b53bf740000ff78dce8ea62390e597d293d183f33c67eaa6d", + "research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/code/phases_full.py": "a273c325ffd6793d5b63b79a289a9d2bbc9292e6940fb5a926924f3708627af4", + "research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/code/promote.py": "b69a27d53ec3f64ccbdbbd79f9632419f273b3eb4429f6cdec1315fd8798750c", + "research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/code/reconstruct.py": "e56d57d39cf787b8325de5a97dbc283f89d51c24169efae9ad2227277a6f8243", + "research/complex-k492-owner-repair/vendor/multicold/vendor/pr558/code/run_portable.py": "322d29d43dbee8130cde15d4bf05396698b5e3dfe3735813899db91cc0ba7955", + "research/complex-sw4-frame8/vendor/pr635/research/complex-571-cold14-st2/code/assemble.py": "1b1a9024ac910dc9b9d9e30150684e1fa9cb228a4c1c275b75ab04b57fdef1dd", + "research/complex-sw4-frame8/vendor/pr635/research/complex-571-cold14-st2/code/assembly_controls.py": "8a365b95c412d75d10db5bb59309d47cd56c5f8a77566f940a05977795130ce8", + "research/complex-sw4-frame8/vendor/pr635/research/complex-571-cold14-st2/code/audit_allcold.py": "cea021ae79658ca7ca4d07f1e1a70bdb4947afaf95b362114c11032c0fef889a", + "research/complex-sw4-frame8/vendor/pr635/research/complex-571-cold14-st2/code/bind_providers_portable.py": "2eb5c262bf481b3bec9ceaec654fa46ff6fc3a89b13d4906a29a55a89e35feea", + "research/complex-sw4-frame8/vendor/pr635/research/complex-571-cold14-st2/code/build_cold_end.py": "864b4701dd73afd0c9d99761b7a749f3354c48985730f17054e18c052996a668", + "research/complex-sw4-frame8/vendor/pr635/research/complex-571-cold14-st2/code/build_frame_regroup.py": "e2549ccc7a90008831be3b59aeb37b47db696640f5f5c2b72dd888b2f1e7e5c9", + "research/complex-sw4-frame8/vendor/pr635/research/complex-571-cold14-st2/code/build_gate_moves.py": "08bf1c2652307aeefbab089fdaf02f82e2c396ca23a1eb68e294a67e74c44252", + "research/complex-sw4-frame8/vendor/pr635/research/complex-571-cold14-st2/code/build_hpe.py": "ba2001695d8c7547a82260c3b016e01dac686e95a61757ca124eb9879078ea8e", + "research/complex-sw4-frame8/vendor/pr635/research/complex-571-cold14-st2/code/build_port_stage.py": "beb0d30fde1b9a30db091880b38c4a8ec906da3f715c43de7db8bf7932526e72", + "research/complex-sw4-frame8/vendor/pr635/research/complex-571-cold14-st2/code/cold_end_controls.py": "0c404f49e90457520f1788ee6741c9ac154a5814c54ad6cb83b59c44552ebc84", + "research/complex-sw4-frame8/vendor/pr635/research/complex-571-cold14-st2/code/construct_k_triangle.py": "66fc460df8eb8067efe3d8a3f9e97a7244aacd7bf11650a6ce656e868ce053da", + "research/complex-sw4-frame8/vendor/pr635/research/complex-571-cold14-st2/code/emit_allcold.py": "fe26f10fe5d30ed407a37540a45ef94f44576dd241d09e19aef5db1efb072746", + "research/complex-sw4-frame8/vendor/pr635/research/complex-571-cold14-st2/code/generated_identity.py": "c8af22719c0f3097a991a3f6ccac8f090afd2faba554745733d9ea88f2c25708", + "research/complex-sw4-frame8/vendor/pr635/research/complex-571-cold14-st2/code/generated_identity_controls.py": "a7b93207a673575d1fddc3e579153349c145c8f08d4575ae0a5d1e3cffec01de", + "research/complex-sw4-frame8/vendor/pr635/research/complex-571-cold14-st2/code/hpe_adapters_local.py": "eb0b5c6c7161e18dc22168da3211448d321586edd15bcfb4b4741174d36993cf", + "research/complex-sw4-frame8/vendor/pr635/research/complex-571-cold14-st2/code/hpe_audit_and_transport.py": "c9a05ff291016b870b4fc925b317abd9c3a604c73ffc8920dfdbbeb475e20aa3", + "research/complex-sw4-frame8/vendor/pr635/research/complex-571-cold14-st2/code/hpe_audit_local.py": "6bd9a1e279c9c9e4f3767d9f82e537b559292906feb2ddab02f380fb6523a810", + "research/complex-sw4-frame8/vendor/pr635/research/complex-571-cold14-st2/code/hpe_controls_atc.py": "63aa3909b5bfd3bf270c313bebb5c46e7789c67a8f2439f568bc4b2b4a35d17b", + "research/complex-sw4-frame8/vendor/pr635/research/complex-571-cold14-st2/code/hpe_emit_local.py": "7e4a6fbc38c8228157b6311457d1496bf460291393043932d2c365f004f77805", + "research/complex-sw4-frame8/vendor/pr635/research/complex-571-cold14-st2/code/invoice_allcold.py": "141bd2fd58bbfb5b8d0fc8f56f61c45586d5608a5af3487c6b883dd987f998ec", + "research/complex-sw4-frame8/vendor/pr635/research/complex-571-cold14-st2/code/phase_timing_controls.py": "1692ccee3da4b1781408d126ee4999f3e31a505cd83c64823a404033da3a6339", + "research/complex-sw4-frame8/vendor/pr635/research/complex-571-cold14-st2/code/witness.py": "00789c911a8f32cfe9d52207c7aa78305dc3fce4a8b6305ba402b7e74117103d", + "research/complex-t21-owners/DEPENDENCY-PINS.json": "7c47d44e8d5c24aa80afc70724e7c0381fec57ef80d085d2ee4611726a0f1254", + "research/complex-t21-owners/MANIFEST.json": "663a4300ec3abe2278ac6c8e49dd13dc58694c33bfadaa278c5406539e113a31", + "research/complex-t21-owners/VENDOR-PINS.json": "578100c9ed4812a161271a1b5c8036673f4b27d6cc1df560715ff2ea9a598f6d", + "research/complex-t21-owners/build_owners.py": "d1e6bbab8ea0de09048fc9737dd4a4713289ca69328efe71855e16fc55abfa57", + "research/complex-t21-owners/build_parent.py": "0b5a66641494e934e3e032982c31aa561b89975d6673e7db257f4efdf5b8c921", + "research/complex-t21-owners/check_parent.py": "0e158551680b06a7a3f4599b4dcb74bcfcb7f1e94fcaf9a46c9b7a95d1200a6e", + "research/complex-t21-owners/common.py": "41a2e8a4cc69251e7e31dd82b4776ccfe46033afa8dca59f45f5d3c377541ea7", + "research/complex-t21-owners/data/ADAPTER-EDITS.json": "507e45b14439c8a19e269ee3c92fe9f28c80bf93375696b51e6618494de2c46a", + "research/complex-t21-owners/data/CLAIM.json": "433d7bc4a371aaffeee35c12a1db6ea974722a85b799233626e1a57dcfdcb121", + "research/complex-t21-owners/data/EDITS.json": "a3bdecb4899af794427458eec0b7b13b404e2c822c1e8e152d4a4eb92cb10638", + "research/complex-t21-owners/data/SPEC.json": "f18777bc770f1c65d17c3fe3c5d04d341e42bec6c5beabc97b1ca599df7bfc5a", + "research/complex-t21-owners/data/T5-OWNERS.json.gz": "676e91f0ab18bdc93b3da067082506b779969dde32a38baacfc8576c327a3c54", + "research/complex-t21-owners/independent_check.py": "9d8c86bf45cdaef37f223c88704055ced503ee295645611e13f3fb9059a00e55", + "research/complex-t21-owners/owner_controls.py": "1b38c922aad0776a52ec47f0db6b0d53e8c556b872b908f1fe93892ff918804c", + "research/complex-t21-owners/package_controls.py": "6676ae2e17f13142e6d5df27367fd0633e0d5f592869b637fbf875e38ce7b642", + "research/complex-t21-owners/price.py": "b4510dd0d86322be627ff500e76a22f53cafa8405a699d04646dc3039167d569", + "research/complex-t21-owners/source_adapters.py": "d77c78189db392855b462b3bd11b690b0d0a066335b7b1ed25568c03bab04c09", + "research/complex-t21-owners/vendor/pr858/baseline_coverage.py": "c0cf6bb2035817a09e1abb5dc492d57af79f584bbd0c1cf5fe73ba0f8f604741", + "research/complex-t21-owners/vendor/pr858/independent_check.py": "dd552d627bbefc05ab3f6abbbd1640ba53b67e607002ebb7dd3d17bf03ae1e65", + "research/complex-t21-owners/vendor/pr870/SOURCES.json": "a7c2f2d21d535439b729f4d1245fa6a9bb24a148d877c1298e9bbdbcf251067f", + "research/complex-t21-owners/vendor/pr870/code/assemble.py": "15f6986a476bac76bcdc0bfcf51da115389b46f1950d2766b6822f757888b13a", + "research/complex-t21-owners/vendor/pr870/code/assembly_controls.py": "da7e981ae1b9f099d4e1524cb4f3ba1116011936ebe378692889b5dbfa99029d", + "research/complex-t21-owners/vendor/pr870/code/audit_allcold.py": "1467a2acb654e62552c69fb9a7c4c85f70a02120881d222313865058ab71a6cc", + "research/complex-t21-owners/vendor/pr870/code/bind_providers_portable.py": "1d39bcc7b63ac158e021454beaae897d123e174360573762aecade3cd43193f6", + "research/complex-t21-owners/vendor/pr870/code/bit_supplier_controls.py": "e6d33fb61a570c3f50669412acc467a3fd06ef0b806da6a75bc296c6ba2142a5", + "research/complex-t21-owners/vendor/pr870/code/emit_allcold.py": "354367e1fd6185a67b04f4268bcae4d502e47b18cb2131e247f5bcab5b3a769e", + "research/complex-t21-owners/vendor/pr870/code/freeze_spec.py": "5971eecac6d6fbcb53244b80f1b9d7232012dc32876fab511214a5addebbe6c2", + "research/complex-t21-owners/vendor/pr870/code/generated_identity.py": "c8af22719c0f3097a991a3f6ccac8f090afd2faba554745733d9ea88f2c25708", + "research/complex-t21-owners/vendor/pr870/code/invoice_allcold.py": "71eb57514e28ced97251e0507105f654f59885ec4d40486a780bf166098858a8", + "research/complex-t21-owners/vendor/pr870/code/prepare_global.py": "8c0dae301a8f34b77a5a462f840952d08ed120576212adf5051bc09bcad874dc", + "research/complex-t21-owners/vendor/pr870/code/restore_parent.py": "69b7b25ff85e9b8160e233c1d415cc6a0272019e5c486dcec14cb6c349e7024d", + "research/complex-t21-owners/vendor/pr870/code/witness.py": "779c5172894b992131e85be1e592ed2a1aec8c287b872ff42007d36a7291e444", + "research/complex-t21-owners/vendor/pr870/construction/barch/LOCAL-PINS-barch-U8.json": "2d16f99e1f71fd66378f5f767cf4cfa2a58264919a95074c7b31029f39a3c9f5", + "research/complex-t21-owners/vendor/pr870/construction/barch/RECIPE-U8.json": "292f0e9f82824c4111728cf4de929bf6e43320fbbdc77658aae9681906b0d652", + "research/complex-t21-owners/vendor/pr870/construction/barch/build_tri.py": "0fba65b31c2fd71864c291358bb0ad8d5f7e1be07e21df23f0ae73d7b966002e", + "research/complex-t21-owners/vendor/pr870/construction/barch/reproduce_barch.py": "19bc970aa6af25ab0e7fa96fb65c64dd0c5243976d8f2cb733cba839155482c1", + "research/complex-t21-owners/vendor/pr870/construction/barch/run_controls.py": "42639bf62bf57795e3ea615c1944c67efed00f28591333daeb3139bf63d04476", + "research/complex-t21-owners/vendor/pr870/construction/layers_np/PIVOT-SWAP-NP.json": "d49b8d316da1cbdaf995dd0e8314d3c67cc9cd4d5902e9d85ccb907be645bef5", + "research/complex-t21-owners/vendor/pr870/construction/layers_p6n/layer_end_controls.py": "fc58c5699ba6191c1163a3041241f6f0b619626c4462cd99bcf88210bac9e81e", + "research/complex-t21-owners/vendor/pr870/data/T8/PLAN.json": "673fd8e812fadcfb757264aba2d7e1abee9199457ed52e678ac65796cd4c1b70", + "research/complex-t21-owners/vendor/pr870/data/UPSTREAM-PINS.json": "ccc37ab7fbf78947fe02c7f57ea672d2e4eae8454cb1158ed964c75bf423869b", + "research/complex-t21-owners/vendor/pr870/independent/audit_local.py": "03afcfc9da428b3f6edac81c1fee7f277ab81b64998efae78380b63498dec6cd", + "research/complex-t21-owners/vendor/pr870/independent/price_profile_t16.py": "53f8e62dcf27bee032c1bee0245d126a9c8a12ebcf24f6aaff65ea3122fffe29", + "research/complex-t21-owners/vendor/pr870/inputs/PR589-EXPECTED.json": "b9f0e5ca038abe837b0007c8fe006f366a6f02009244ac57705a8a200e2301f4", + "research/complex-t21-owners/vendor/pr870/t16/build_owners.py": "faf14dd99b331a8bc5d35e3497bdb9c26fcea24ce2ee74f0dfeae87883af8db4", + "research/complex-t21-owners/vendor/pr870/t16/build_parent.py": "82e274d0c7a94f9bf0468dd37f0505d0c42017559ebb4ba8c079a1f4e403d91e", + "research/complex-t21-owners/verify.py": "2ee09291148a81ffead860c2237ebcef47a1f02ca5f0833cf5230532ba61243e", + "research/complex-t37-owners/CLAIM.json": "a383da34ee22da831fa436ad3483568ae1fcd62cd76581f2c2dd2b6473b346fb", + "research/complex-t37-owners/DEPENDENCY-PINS.json": "0160ea2677cc9ceeb0f861dc2774d470a27cbaa58b8fd6c064cf0683d18f3e87", + "research/complex-t37-owners/EDITS.json": "cd28d8014fe6576a56a640d9a94b6b3fbd7715ea1a6c2858c1597b3c9fb51576", + "research/complex-t37-owners/MANIFEST.json": "38907d05fddac9be6bf7a7aff47fae43114a055d2259cead5651a08f9b983820", + "research/complex-t37-owners/NOTICE.md": "78887899d460a21fc6bf6e6021fea7f6864a93e079b639e7c92d4dc77ca30c1e", + "research/complex-t37-owners/ORDER.json": "2093ca4050e1ce95621f4702bebe8b01b36773b1ecfa2c0d6275e132bd33d578", + "research/complex-t37-owners/OWNERS.json.gz": "f89e00863c8415d1df1de9c481528f677eeda808ef3cd83bfa5ca3e7d9360f5a", + "research/complex-t37-owners/PREDECESSOR.json": "3639c960052fa67c350ae0fdd7b70e3fff99709fa35a54335cc38dc8a8f41ac4", + "research/complex-t37-owners/binding_controls.py": "87216d5efce156e32cea3b9908ef0ace984a6fbe300a8eac5f5750a5171eabb5", + "research/complex-t37-owners/common.py": "b85769c7c29429da7ce9eed55f0ed5f672e2bedc0d894ae02bf9be8c86a638e1", + "research/complex-t37-owners/evidence/ALL-T-BOUND.json": "5101909cf84a2bfce777dcc34075ffcfe5c135debd16fa56ef7273523b434a35", + "research/complex-t37-owners/evidence/ASSEMBLY.json": "63dfe017fe0a955fd6b12aa04c542dc5ae669581811a96214de587440b0b81a7", + "research/complex-t37-owners/final_binding.py": "61e8a8856ebc36feee11cbf6e60f2ace3b9b89195c3282f565a651488cf947f7", + "research/complex-t37-owners/independent/all_t_bound.py": "3f8637a90baaa11ef18eab9e739d17b32fcff18fbc50c355f9ef32727a92e4f6", + "research/complex-t37-owners/independent/check_payload_controls.py": "5b59c6f50c0d79c5857dd4efefdd0fb472ba72fbaafa91596a5a3159500e98cf", + "research/complex-t37-owners/independent/check_t37.py": "af77010b89db12d58030579e19273f960abb301f651361b448e8caf82d8355a9", + "research/complex-t37-owners/independent/verify_construct.py": "094a93a7edd3c63890d0313a0ff8b71e335f570cfa548b9b20d8809e3d05abd2", + "research/complex-t37-owners/package.py": "7022764ffd5abb8c869cf2269cc8fb188f574560c379abb00b40aba671d22278", + "research/complex-t37-owners/package_controls.py": "f152d1cb57dd63af5abdaea88f03090ec7e24b8eb90d30b9b659030cb89c9991", + "research/complex-t37-owners/prepare.py": "8414859fc69885e5698fb3dbe0f7d9ee20d9782102e0abf7da991c904920fe47", + "research/complex-t37-owners/replay.py": "7834f469861df4a8ed82550762e7d1640123f547a715b55a937dea0cb381cedd", + "research/complex-t37-owners/verify.py": "4d880a6237c2f5d4f4e08374e2a4ddbe7bdcc972fe4ee0e879e9a547754f5fd0", + "research/gauge44-barch/PROOF-NOTE-PROMO.md": "c170e5196d3081f86ac377c6fe614ca17f6281972837580275ce5af41cbc64ae", + "research/gauge44-barch/SOURCES.json": "1ccee86dca756bb9dcebfedb8b983f5361864210b05fa5a5f31740e67bdf4ac6", + "research/gauge44-barch/construction/COLD44-RECIPE.json.gz": "22d0e01e990c0f1c588607a095271f7844851a437ba07174505e98e9528aed4c", + "research/gauge44-barch/construction/COMPLETION-PRIORITY.json": "0274ffca1725e7460aaf7b672bc1248aa6dfdec11e5f0fec91af18b829f8ba47", + "research/gauge44-barch/construction/INPUTS.json": "edd32ad9a55d3c508ca2ad90c74b5c87c7f7ca509d96b856a2176fa452780f99", + "research/gauge44-barch/construction/REBUILD-CHECKS.json": "1f9d754c89cfed632a6eee919a42d00c6677a8fb4fe1d40615c903242addbc91", + "research/gauge44-barch/construction/barch/LOCAL-PINS-barch-U8.json": "2d16f99e1f71fd66378f5f767cf4cfa2a58264919a95074c7b31029f39a3c9f5", + "research/gauge44-barch/construction/barch/RECIPE-U8.json": "292f0e9f82824c4111728cf4de929bf6e43320fbbdc77658aae9681906b0d652", + "research/gauge44-barch/construction/barch/build_tri.py": "0fba65b31c2fd71864c291358bb0ad8d5f7e1be07e21df23f0ae73d7b966002e", + "research/gauge44-barch/construction/barch/reproduce_barch.py": "19bc970aa6af25ab0e7fa96fb65c64dd0c5243976d8f2cb733cba839155482c1", + "research/gauge44-barch/construction/barch/run_controls.py": "42639bf62bf57795e3ea615c1944c67efed00f28591333daeb3139bf63d04476", + "research/gauge44-barch/construction/build_gauge_cold44.py": "ec730a4d3ff12fb058780718b1d5a7afe61243c532679ef347a5a48e2af0a3bb", + "research/gauge44-barch/construction/construct_gauge_xcentre.py": "d8d295566ef2399af2da0707a4adc83e07aa26d2344c01a66bd0ca7684cf9217", + "research/gauge44-barch/construction/frames/FRAME-RECIPE-sw4.json": "a2c7ca4d44671386d05974e2627645b42bbb7da7a35cefff6e9fa158b6ac8473", + "research/gauge44-barch/construction/frames/LOCAL-PINS-frames-sw4.json": "bc416b8f6443d59c715fb358c4d70fa27eae2d306388ffe0e2a303f60d929f7f", + "research/gauge44-barch/construction/frames/build_frames.py": "200847a7e8b3125cbeea0765dad67650e0bf83d32b66d72ba4977e99b8ee8eeb", + "research/gauge44-barch/construction/frames/frame_controls.py": "477de854ec9184a2c73d6ac3857a9d0cbd6bc04b71d10a105e7344434b492a77", + "research/gauge44-barch/construction/frames/reproduce_frames.py": "dc39ada9a2eb387310be181f3cea5dbd4b538632a888cd7372ece5e38a771832", + "research/gauge44-barch/construction/jx/LOCAL-PINS-jx-X4.json": "95c5114c8e937c2737a1b9f9da97303f2e5e129d39e6dfcc4010e99bfdb9c974", + "research/gauge44-barch/construction/jx/RECIPE-X4.json": "9d42c6b38e8124f5ffe15da56c260a7fba7260626bf3c5f8cbd93aa4a71ceadd", + "research/gauge44-barch/construction/jx/build_jx.py": "3cc7550b0c24bb54e245c6f7f16de489fd7844721fbb64aac628f38f43887916", + "research/gauge44-barch/construction/jx/reproduce_jx.py": "5c7afebb4eb7fcdeb7e971cfbc457cf071850e2da21c3c71295efdd453c2399c", + "research/gauge44-barch/construction/layers/build_pivot_swap.py": "8e8bced88be2e592ded40929499bac385ca92fcc1fa59183c22229dbf34093b8", + "research/gauge44-barch/construction/layers/layer_end_controls.py": "7829187bfc8f909948d5250e0ec00f02c89f5fe98306a3ed88daee36cb3c92ef", + "research/gauge44-barch/construction/layers/reproduce_layers.py": "435699f6f79c6c7fb8d6cc5a8382576d6ac88747583a975ff671e45440b93c4e", + "research/gauge44-barch/construction/layers_np/COLD-LAYERS-RECIPE-NP.json.gz": "3164cfb71baaeba4ac43427bc14075a225fc3a32ecd9341e58aa52c03a4ee2c0", + "research/gauge44-barch/construction/layers_np/HPE-RECIPE-NP.json": "43900139f618bdc06b8319098fb8dccaf4fc315b43ef7c067ca2cd778cdba2c1", + "research/gauge44-barch/construction/layers_np/PIVOT-SWAP-NP.json": "d49b8d316da1cbdaf995dd0e8314d3c67cc9cd4d5902e9d85ccb907be645bef5", + "research/gauge44-barch/construction/layers_np/reproduce_np.py": "1a304144a250d00d14154692ba522365b036777cf2b6fac466095e8ba733c16c", + "research/gauge44-barch/construction/layers_p6n/COLD-LAYERS-RECIPE-P6N.json.gz": "17e218a17e47c58fe2cde775ab2314d3d84030a61327b7f13da61cae3b374ad4", + "research/gauge44-barch/construction/layers_p6n/P6N-SPEC.json": "132a59635077d6afe80f99964a6935fce1dc2ece6587d74209c6f9c60025c8f1", + "research/gauge44-barch/construction/layers_p6n/layer_end_controls.py": "fc58c5699ba6191c1163a3041241f6f0b619626c4462cd99bcf88210bac9e81e", + "research/gauge44-barch/construction/layers_p6n/reproduce_p6n.py": "aa7d6bcbed05aa1c689437c07a26e5c95be3c700c0c1fb7bcf91c432a88436ca", + "research/gauge44-barch/construction/notri/PRIO6.json": "de0412511b0dd1af13e9717bc791126ac0e91c569b5391fd6c70268083045d15", + "research/gauge44-barch/construction/notri/cgx.py": "3da039d4184097c14802f9dbf972520d5b807671196f5e47a2247bc9f29bb418", + "research/gauge44-barch/construction/notri/cold44x.py": "f0bc3500efb2c839a0f8cb03dbb9ea0a54f1dfc71ef81e5373b3d638ac5b8296", + "research/gauge44-barch/construction/notri/port_stage_x.py": "38310744d054e393ea35e996047cddeb2d212141aaaaa4b07f7a4663b11db8e7", + "research/gauge44-barch/construction/notri/reproduce_notri.py": "90148c2a0422b4f92164298a283de73d413ab3d4cb7151a0e6b643a37ea025a8", + "research/gauge44-barch/construction/promo/LOCAL-PINS-p6n-k4.json": "a92bb02266596956bd53e9c86e8bbcc6639c92b4a4a248a1521f8eb79228271f", + "research/gauge44-barch/construction/promo/PROMO-RECIPE-p6n-k4.json": "fa6065d142646f7ab1f268912ce0cf5a1a6cd33c3994ff96bd6e204cf16b3e90", + "research/gauge44-barch/construction/promo/build_promotion.py": "9c9e2001b8d68bbe934d136026276fe97bd9bf6f94d4d78441fc28e14aca4daf", + "research/gauge44-barch/construction/promo/make_recipe.py": "ba9e4fdc0c1be7f6a150a5a50909911257a1a8c7cc5d03d61f541178fc07c122", + "research/gauge44-barch/construction/promo/promo_controls.py": "786c51f84b53698c2c833083506c4432c30eb0ed3b71e7dbe458a70c7413c372", + "research/gauge44-barch/construction/promo/reproduce_promo.py": "f979be666c3f5cf57e342a8427863c0b35b67ca4d3be495ac386f6870deb2026", + "research/gauge44-barch/construction/reproduce.py": "047bb9b3536b0b16bb08a21cd9fd80404ca9d022345f1aeab34b21dffc281c92", + "research/gauge44-barch/construction/sw4/LOCAL-PINS-sw4-P6k4.json": "3c06bf68b28ff125a6a2372bb70cefd76fb9fe1333438cd34dfb5b617cd70327", + "research/gauge44-barch/construction/sw4/SW4-RECIPE-P6k4.json": "fa58d0ffc95d10b7453daefe4b34404a52895f94126ef973e92e92106cd615fa", + "research/gauge44-barch/construction/sw4/build_sw4.py": "9a295f3d534594a6b1326d8a6647e947670d1c6fbc92f37f5169661fde4c8f66", + "research/gauge44-barch/construction/sw4/reproduce_sw4.py": "3d082e0cc576fb1b4fb9e5dd11d63bab697c8a8626e2837813cd00d100b1aeac", + "research/gauge44-barch/independent/GAUGE-COLD44-INDEPENDENT-AUDIT.json": "9fb5265c4d2ddf3d615e46600954c79cd1a42481500a0973a5695fcb9f2558c9", + "research/gauge44-barch/independent/GAUGE44-GLOBAL-GUARD-REVIEW.json": "631107a9a9acb02441ce80298f815e0c624f811b0d58c6fd78f8dc58d564bb5b", + "research/gauge44-barch/independent/GAUGE44-INDEPENDENT-PRICE.json": "133d33882fc7da0e199ba21a272960281e8f275f57f422a56fd62354afc1d145", + "research/gauge44-barch/independent/audit_local.py": "03afcfc9da428b3f6edac81c1fee7f277ab81b64998efae78380b63498dec6cd", + "research/gauge44-barch/independent/price_profile.py": "d2f548ad6b99f64a8ca5fbaf822a89560bb99359957ce3420b497f6a46fc0acf", + "research/gauge44-barch/independent/review_guards.py": "b83164d6c0122a055b3281f3381b305683a875760a2d727dd0188bb2aa59d67d", + "research/t21-binomial-audit/verify.py": "080fa1343c62ecd3cbdaacca322028e590bc0c18d0c0e3878ba081587ef7b34a", + "scripts/verify_frontier799.py": "19fe1b32079095160dc00fe2f7df75e0fcbc82cff37f7159b755c8a63bd5ce99", + "scripts/verify_frontier799_bindings.py": "43897b3c99212d6134870898a1840f32898aa1b3679b299e654901568ad7e19b", + "scripts/verify_frontier942.py": "27c6713532d9f53f55dfff4884d55a2d9ae74b68156e37a44596c0418fbed5b7", + "scripts/verify_replay_coverage.py": "babe5941d7e6dac4248613ef01f950ee7bb6199e7355021aea4cf854fd1b91c5" + }, + "attribution": [ + "BlockInvert's PR664-style E4-to-E5 entrance promotion; this contribution reverses one p6n-k4 group. Chafik Boukhalfa's PR685 supplies the older owner lineage.", + "PR799/X4 and PR869/870/U8: Jeremy Kothe and retained BlockInvert/NewBArch lineage.", + "PR890: Chafik Boukhalfa; PR858: Hao Yan; retained native and bit supplier authors.", + "PR942: Jonathan Capalbo, T37 owners and 1024-bit finite replay; maintainer adapters by Douglas Colkitt." + ], + "assistance": "This package was prepared for David Breslauer with substantial OpenAI Codex assistance." +} diff --git a/research/u8-e4-gap-fill/VALIDATION.json b/research/u8-e4-gap-fill/VALIDATION.json new file mode 100644 index 0000000000..221a68d0ce --- /dev/null +++ b/research/u8-e4-gap-fill/VALIDATION.json @@ -0,0 +1,159 @@ +{ + "status": "PASS_LOCAL_CONDITIONAL_FINITE_CONSTRUCTION", + "validated_at": "2026-10-13T16:59:44.207026+00:00", + "base_commit": "407d52ff15b2217b6e22bce44728b4c3907b6515", + "environment": { + "python": "3.12.0", + "platform": "macOS-26.6.2-arm64-arm-64bit", + "architecture": "arm64", + "build_include": "/opt/homebrew/include", + "assertions_enabled": true + }, + "result": { + "status": "PASS_U8_E4_GAP_FILL_WITH_COMPLETE_SOURCE_BOUND_ANCESTRY", + "kappa": "1661961039655941/1000000000000000000", + "kappa_decimal": "0.001661961039655941", + "baseline_kappa": "1661960547713947/1000000000000000000", + "gain": "245970997/500000000000000000" + }, + "baseline": { + "status": "PASS_COMPLETE_PR942_COMPOSITION", + "fresh_cold_rebuild": true, + "subsequent_candidate_reuse_revalidated": true, + "wrapper_result_sha256": "917cae453cf24cceacbead2e7d1844ae885ab18e36cbcab181ce3f388c882035", + "final_binding_sha256": "79d514b47c5d8b7b04897111629288741c64453b6896868a29258188838e2865" + }, + "counts": { + "roles": 167832, + "calls": 333, + "live": 33152, + "physical": 33666, + "rank_mass": 2408256, + "deficit": 11840, + "actual_73_axis_charts": 9628, + "prefix_bits": 779, + "charged_prefix_bits": 1024, + "physical_row_coefficient": 17495, + "profile": { + "1": 848478, + "2": 112562, + "3": 148522, + "4": 53942, + "5": 23976, + "8": 2664, + "48": 11086 + }, + "idle": { + "1": 2, + "48": 11086 + }, + "provider_counts": { + "gauge44_e4": 1, + "gauge44": 332 + } + }, + "checks": { + "native_status": "PASS_INDEPENDENT_LOCAL_SCALAR_FRAME_AND_WRAPPER_REPLAY", + "native_negative_controls": 25, + "phase_status": "PASS_NEW_WORD_EXACT_LOCAL_PHASE_RECIPES", + "phase_edges": 2949, + "owner_controls": 8, + "omitted_owner_edits_rejected": 20, + "controller_mutations": 23, + "admission_mutations": 114, + "bit_controls": 12, + "payload_boundaries": 7, + "payload_mutations": 11, + "finite_admission": { + "local_primitive_bound": true, + "logical": true, + "router": true, + "literal": true, + "mass": true, + "precision": true, + "tape": true, + "row": true, + "halving": true + }, + "outer_strict_inequalities": 47, + "arithmetic_engines": [ + "retained Mercator", + "retained base-two", + "separate positive-binomial" + ], + "selected_source_inventory": "PASS after removing only the exploration-generated Python cache; no pinned source bytes changed", + "final_binding_status": "PASS_COMPLETE_U8_E4_GAP_FILL_BINDINGS", + "bound_generated_artifacts": 122 + }, + "package_input_sha256": { + "build.py": "dd4cae813e3806be5a55c9286573559e614f9078cf95e042426d37cd927f6b22", + "SOURCES.json": "4d5288575b849f8f7d85ea321c8224c014d70601d4b78295493c0809f2235076", + "OWNER-EDITS.json": "44665b98b2a63b81ff9dc7c6ca96d04e312c5f012f2b66499a796b64a6b65899", + "support.py": "d44cf82e150d3a462f2e54929a3cac770a38f31f683b0ab55ffc712591ac9cf5", + "native.py": "0df1674598a3552f31ea30eab2fd6299d7c5323b8f1ced8783f769f7e0e735b0", + "independent.py": "2d178613b0c38905e200c04b69c684dca66351764e35377f1f1a198e4a3a4cf4", + "payload.py": "ee47a3e30eaae22f9cf1880a79f46a3edbc39ec1af18452170d742b3fe56eec1", + "replay.py": "02ecb896ec24d7dfa45799e50e8498acbe3cbb0b67fcbc63e7b70e777020527d", + "CLAIM.json": "0d43f783a0a52b507ea588d298b928ec52562bd80b018f2b4921fb40903a93e0", + "freeze_metadata.py": "0a94a82f019f44f6029d9f4967d1d35690a3858fe367b4d8f745373c9c7911b7", + "verify.py": "e600e3d32f1ba26d6b90dda9ea1a561caae60df54859894f98a9bfead3d7ba4e", + "LOCAL-EDIT.json": "0202d122857f9e02855f1ea6a7de83d2ff933e888ba1f54e010b89b1ff85f3b4", + "binding.py": "63cb6728d3af8bd30f5aee411c62bd22fbb595aeb184a089129a8730ce7500bd", + "prepare.py": "2511d94157c0672ab2a56ae5ce1915ccd16a19c8b6955e61f7d871b075fef2e8", + "price.py": "40dce5e2ada4e9c8906562940597275707b46e510d962f20bd25a165099afe04" + }, + "retained_certificate_sha256": { + "ASSEMBLY.json": "4a8845989134fa221a3761eb04c48e5ea056fda9f6c54b9bf8eb5c501b53cce1", + "INDEPENDENT-PRICE.json": "8f646e1b2e0e3a1fa5a33f3e8b3e3d226179787171b41d67b978ef5ec8479543" + }, + "full_replay_receipts": { + "result_sha256": "0fc5cb0f41b4537b3f98da052fde2ab89f7c98a5d7d31b56a342a016f6768141", + "final_binding_sha256": "79660d2ac74e4b67d69447505f60b2a51ed804ec225d2380ddc679fec17e5860", + "stage_sha256": "4dbbd86746f92124c90e9a5f40a98a41cba072428e55487de4c9e7e9f4c4a15e" + }, + "corrections": [ + { + "issue": "The inherited one-provider freezer nominated 69 admission controls, one dispatch provider and 15 controller mutations.", + "resolution": "A separate data-only step derives 114 controls from the pinned generator lists and width loops, and derives two-provider counts and 23 controller mutations from the actual construction. All verifier predicates are unchanged; the complete corrected package was replayed in a fresh output directory." + } + ], + "related_work": { + "live_main_sha": "2921874911956718fcaaaf9396fe8267b3cfa9f0", + "live_selected_kappa": "0.001661960547713947", + "pending_claims_not_imported_or_independently_validated": [ + { + "number": 1019, + "title": "Conditional \u03ba = 0.001661960547713947858091 by exact T37 grid refinement", + "headRefOid": "550ff1e752949296310a585e3b52e762aca24800" + }, + { + "number": 1018, + "title": "Conditional \u03ba = 0.00167166528321877: seven triangle-hybrid slots (PR987 search) on the k8 leaver word", + "headRefOid": "eac7547cb191f875d5f5ea5f9bbb1d2b8c51c4ef" + }, + { + "number": 1005, + "title": "Conditional \u03ba = 0.001671387264390146: all eight mutable-leaver all-K cells, U8 hybrids and frame re-optimisation on PR799's word", + "headRefOid": "779e80aef469bc3a28b19f1adde199871a9a22e3" + }, + { + "number": 1004, + "title": "Conditional \u03ba = 0.001664233607446043: mutable-leaver all-K cells, U8 hybrids and frame re-optimisation on PR799's word", + "headRefOid": "1974578f82a30158dd5fcdcdf226b83df8e7196f" + }, + { + "number": 987, + "title": "Draft: conditional \u03ba = 0.001662039077758742 \u2014 U10 (two new triangle-hybrid slots) on PR942's T37 owners", + "headRefOid": "0beb9476d10308e6693a886be78b36df8fa0a288" + } + ], + "comparison_scope": "Latest 100 open pull requests through #1019; current selected record read at the exact main commit. Larger pending claims are explicitly acknowledged." + }, + "not_run": [ + "repository-wide make verify", + "hosted CI", + "full proof-assistant formalization", + "independent human review" + ], + "scope": "Conditional finite construction using the retained all-size/compiler, common-label and physical-hosting, precision/tape, analytic-transfer and bit H1-H5 assumptions. Changing one local supplier width inventory falls outside the homogeneous U8 optimality hypothesis." +} diff --git a/research/u8-e4-gap-fill/binding.py b/research/u8-e4-gap-fill/binding.py new file mode 100644 index 0000000000..6a43e787d5 --- /dev/null +++ b/research/u8-e4-gap-fill/binding.py @@ -0,0 +1,206 @@ +"""Bind checked source, both providers, roles, charts, invoice and arithmetic. + +The payload checks follow PR942's final_binding.py, generalized to two providers. +Receipt consistency is not authentication or an all-size proof. +Prepared with OpenAI Codex assistance; Apache-2.0. +""" +import argparse +import gzip +import hashlib +import json +import sys +from fractions import Fraction as Q +from pathlib import Path +from support import P, ROOT, T37, dump, identity, load, read, require, sha, validate_sources + + +def payload_sha(path): + return hashlib.sha256(gzip.decompress(path.read_bytes())).hexdigest() + + +def check(work, baseline): + require(__debug__, 'Inherited verifier checks require assertions') + sources = validate_sources() + sys.path.insert(0, str(T37)) + predecessor = load(T37 / 'final_binding.py', 'e4_t37_adapter_binding') + adapters = predecessor.check_adaptations(work) + require(read(work / 'ANCESTRY-942.json')['status'] == 'PASS_COMPLETE_PR942_COMPOSITION', 'Complete cold ancestry') + require(read(work / 'ANCESTRY-942.json')['selected_binding'] == read(baseline / 'FINAL-BINDING.json'), 'Ancestry binding receipt') + claim = read(P / 'CLAIM.json') + construction = read(work / 'construction/CONSTRUCTION.json') + require(construction['status'] == 'PASS_LITERAL_E4_AND_T37_OWNER_CONSTRUCTION', 'Literal construction') + build = load(P / 'build.py', 'e4_readonly_reconstruction') + word, roles = build.construct(read(baseline / 'native/barch/FULL-WORD.json.gz'), read(T37 / 'OWNERS.json.gz')) + require(word == read(work / 'construction/WORD.json.gz'), 'Actual raw E4 word') + require(roles == read(work / 'construction/OWNERS.json.gz'), 'Actual frozen roles') + require(identity(word) == construction['word_identity'] and identity(roles) == construction['owners_identity'], 'Construction receipt identities') + require(construction['source_word_sha256'] == sha(baseline / 'native/barch/FULL-WORD.json.gz'), 'Fresh U8 input bytes') + require(read(work / 'native/local/FULL-WORD.json.gz') == word, 'Native raw source') + checker = load(P / 'independent.py', 'e4_independent_binding') + require((work / 'independent_mixed_adapter.py').read_text() == checker.adapted_text(), 'Independent checker source') + independent = read(work / 'INDEPENDENT-OWNERS.json') + require(independent['status'] == 'PASS_INDEPENDENT_MIXED_E4_T37_WINDOWS_CHARTS_PREFIX_ROW', 'Independent owner status') + require(independent['checker_adaptation']['adapter_sha256'] == sha(work / 'independent_mixed_adapter.py'), 'Checker hash') + for path, digest in independent['input_sha256'].items(): + require(sha(path) == digest, 'Independent owner input bytes: ' + path) + require(len(independent['controls_rejected']) == 8 and len(independent['omitted_edits_rejected']) == 20, 'Owner mutation coverage') + g = work / 'strict/global' + hosted, base = g / 'hosted', g / 'base' + summary = read(hosted / 'HOSTED.json') + template = read(hosted / 'GLOBAL-TEMPLATE.json.gz') + owner = read(g / 'audit/OWNERS-AND-PROFILE.json') + controller = read(g / 'audit/ASYNC-AUDIT.json') + invoice = read(g / 'audit/PREFIX-AND-INVOICE.json') + assembly = read(work / 'strict/ASSEMBLY.json') + price = read(work / 'INDEPENDENT-PRICE.json') + plan = read(work / 'lift/PLAN.json') + spec = read(work / 'runtime/data/SPEC.json') + require(assembly['status'] == 'PASS_GAUGE44_NATIVE_EXACT_GLOBAL_ASSEMBLY', 'Strict final admission') + require(Q(assembly['kappa']) == Q(claim['kappa']) == Q(price['kappa']), 'Kappa agreement') + require(Q(assembly['complex_lower']) == Q(claim['complex_lower']) == Q(price['root']['endpoint']), 'Complex endpoint agreement') + require(Q(assembly['bit_lower']) == Q(claim['bit_lower']), 'Bit endpoint') + require(assembly['complex_profile'] == owner['paid_profile'] == controller['complex_profile'] == + independent['profile'] == claim['profile'] == plan['profile'] == spec['expected']['global_profile'], 'Profile agreement') + require(invoice['provider_counts'] == controller['provider_counts'] == assembly['provider_counts'] == + independent['provider_counts'] == claim['provider_counts'], 'Actual mixed dispatch counts') + expected_dispatch = {(s, r): 'gauge44_e4' if (s, r) == (0, 0) else 'gauge44' + for s in range(9) for r in range(37)} + require({(c['stage'], c['replica']): c['provider_id'] for c in template['calls']} == expected_dispatch, 'Emitted per-call dispatch') + require({(s, r): p for s, r, p in spec['dispatch']} == expected_dispatch, 'Strict spec dispatch') + require(template['hosting']['pooled_slots'] == roles, 'Serialized whole owners') + require(template['hosting']['owner_map_sha256'] == sha(work / 'construction/OWNERS.json.gz'), 'Owner source bytes') + require(template['async_schedule']['order'] == read(T37 / 'ORDER.json'), 'Unchanged invocation order') + for key in ('live', 'physical', 'rank_mass', 'deficit'): + require(owner[key] == independent[key] == claim[key], 'Physical count: ' + key) + require(owner['hosted_residuals'] == independent['roles'] == 167832, 'Complete helper inventory') + require(controller['complete_invocations'] == invoice['complete_invocation_sweeps'] == 333, 'Complete sweeps') + require(invoice['global_prefix_bits'] == independent['prefix_bits'] == 779 < + invoice['charged_prefix_bits'] == independent['charged_prefix_bits'] == price['charged_prefix_bits'] == 1024, 'Prefix reserve') + require(invoice['finite']['physical_row_coefficient'] == independent['physical_row_coefficient'] == 17495 < 20161, 'Row reserve') + require(len(invoice['strict_checks']) == 9 and all(invoice['strict_checks'].values()), 'All nine finite checks') + require(price['owner_receipt_sha256'] == sha(work / 'INDEPENDENT-OWNERS.json'), 'Independent price inputs') + require(price['bootstrap'] == assembly['bootstrap'], 'Independent full-payload bootstrap') + for result in (price, assembly): + require(len(result['outer']) == 47 and all(Q(v) > 0 for v in result['outer'].values()), 'Strict outer inequalities') + template_hash = payload_sha(hosted / 'GLOBAL-TEMPLATE.json.gz') + require(template_hash == summary['template_sha256'] == owner['template_sha256'] == + controller['complex_template_sha256'] == invoice['template_sha256'] == assembly['template_sha256'], 'Actual template bytes') + require(invoice['owner_audit_sha256'] == sha(g / 'audit/OWNERS-AND-PROFILE.json'), 'Invoice owner input') + require(invoice['controller_audit_sha256'] == sha(g / 'audit/ASYNC-AUDIT.json'), 'Invoice controller input') + require(read(work / 'lift/GLOBAL-TEMPLATE.json.gz') == read(baseline / 'lift/GLOBAL-TEMPLATE.json.gz'), 'Unchanged checked bank envelope') + require(invoice['parent_template_sha256'] == identity(read(work / 'lift/GLOBAL-TEMPLATE.json.gz')), 'Invoice parent geometry') + require(plan['assignment_content_sha256'] == identity(roles) and + plan['assignment_sha256'] == plan['replica_lift']['owners_file_sha256'] == spec['data']['owners_sha256'] == sha(work / 'construction/OWNERS.json.gz'), 'Plan/spec owner identity') + require(spec['data']['plan_sha256'] == sha(work / 'lift/PLAN.json'), 'Spec plan bytes') + binding = read(g / 'BINDING.json') + require(binding['source_plan_sha256'] == sha(work / 'lift/PLAN.json') and + binding['runtime_plan_sha256'] == sha(g / 'PLAN.json'), 'Runtime binding') + files = ('CANONICAL-WORD.json.gz', 'LOCAL-PROGRAMS.json.gz', 'LOCAL-CHECKS.json', + 'INDEPENDENT-LOCAL-REPLAY.json', 'RESIDUAL-ADAPTERS.json', 'CLIFFORD-RECIPES.json', 'CLIFFORD-REVIEW.json') + expected_sources = {'work/complex-nine-native/DATA-PHASES.json'} | { + 'providers/' + pid + '/' + name for pid in expected_dispatch.values() for name in files} + require(set(summary['source_artifacts']) == expected_sources and owner['source_artifacts'] == summary['source_artifacts'], 'Complete provider source inventory') + require(set(binding['providers']) == {'gauge44', 'gauge44_e4'}, 'Both bound providers') + for relative, digest in summary['source_artifacts'].items(): + require(sha(base / relative) == digest, 'Provider/phase bytes: ' + relative) + for pid, native in [('gauge44', baseline / 'native/local'), ('gauge44_e4', work / 'native/local')]: + for name in files: + require(sha(base / 'providers' / pid / name) == sha(native / name) == + binding['providers'][pid]['artifact_sha256'][name], 'Fresh native provider: ' + pid + '/' + name) + # Independently derive every emitted sigma from physical pending axes. + canonical = read(base / 'providers/gauge44/CANONICAL-WORD.json.gz') + phases = read(base / 'work/complex-nine-native/DATA-PHASES.json') + bases = [] + for port in canonical['ports']: + zero = next(i for i in range(9) if not (port >> i & 1)) + correction = port ^ (1 << zero) + axes = list(range(9)) + axes[0], axes[zero] = axes[zero], axes[0] + bases.append([(1 << i) ^ (correction if correction >> i & 1 else 0) for i in axes] + [1 << i for i in range(9, 73)]) + sigmas, cache, stream = {}, {}, hashlib.sha256() + for call in template['calls']: + for helper, (family, route) in enumerate(call['owners'][224:]): + port, child, offset = family % 112, route[1], route[2] + width = 9 if route[0] == 3 else route[3] + key = port, child, offset, width + if key not in cache: + frame = bases[port] + pending = list(map(int, phases['recipes'][port]['idle_children'][child]['orthogonal_axes'])) + occupied = [frame.index(v) for v in pending[offset:offset+width]] + spectators = [j for j in range(73) if j not in occupied][:9-width] + wanted_route = [3, child, offset] if width == 9 else [4, child, offset, width, spectators] + order = occupied + spectators + [j for j in range(73) if j not in occupied and j not in spectators] + sigma = [frame[j] for j in order] + digest = hashlib.sha256(json.dumps(sigma, separators=(',', ':')).encode()).hexdigest() + cache[key], sigmas[digest] = (digest, wanted_route), sigma + digest, wanted_route = cache[key] + require(route == wanted_route, 'Actual spectator route') + stream.update(json.dumps([call['stage'], call['replica'], helper, family, digest], separators=(',', ':')).encode() + b'\n') + require(sigmas == read(hosted / 'ACTUAL-SIGMAS.json.gz'), 'Complete emitted sigma dictionary') + require(len(sigmas) == independent['actual_73_axis_charts'] == owner['actual_73column_sigmas'], 'Independent chart count') + require(stream.hexdigest() == summary['sigma_stream_sha256'] == controller['actual_sigma_stream_sha256'], 'Full role sigma stream') + idle = read(hosted / 'IDLE-REMAINDER-FRAMES.json.gz') + expected_idle = [] + for row in template['idle_children']: + axes = list(map(int, phases['recipes'][row['port']]['idle_children'][row['child']]['orthogonal_axes']))[row['pending_offset']:] + require(len(axes) == row['rank'], 'Idle pending rank') + expected_idle.append(dict(row, orthogonal_axes=axes)) + require(idle == expected_idle, 'Actual remainder frames') + admission = read(work / 'strict/ADMISSION-CONTROLS.json') + bit = read(work / 'strict/BIT-CONTROLS.json') + metadata_module = load(P / 'freeze_metadata.py', 'e4_freeze_metadata_binding') + metadata, derivation = metadata_module.derive(work) + require(read(work / 'discovery/FREEZE-METADATA.json')['after'] == metadata and + read(work / 'discovery/FREEZE-METADATA.json')['derivation'] == derivation, 'Derived metadata binding') + require({k: spec['expected'][k] for k in metadata} == metadata, 'Strict two-provider metadata') + require(len(admission['rejected_controls']) == metadata['assembly_controls_rejected'] == 114 and + not admission['discovery_accepted_controls'], 'Admission controls') + require(len(bit['rejected_controls']) == 12 and bit['derived_deficit'] == 10272, 'Bit controls') + require(controller['mutation_controls_run'] and + len(controller['mutations_rejected']) == metadata['mutations_rejected'], 'Controller controls') + payload = read(work / 'PAYLOAD-CONTROLS.json') + require(payload['status'] == 'PASS_T37_PAYLOAD_BOUNDARIES_AND_STRICT_ADMISSION_MUTATIONS' and + len(payload['boundary']) == 7 and len(payload['rejected_controls']) == 11, 'Payload boundary controls') + require(payload['geometry_sha256'] == sha(work / 'INDEPENDENT-OWNERS.json'), 'Payload geometry input') + payload_adapter = load(P / 'payload.py', 'e4_payload_adapter_binding') + require((work / 'payload_controls_adapter.py').read_text() == payload_adapter.adaptation()[0], 'Exact payload adapter') + for path, digest in payload['inputs'].items(): + require(sha(path) == digest, 'Payload control input: ' + path) + for directory, expected in [(work / 'native', ['native', 'ledgers', 'local-replay', 'wrappers', 'phases']), + (work / 'discovery', ['bind', 'emit', 'audit', 'invoice', 'assembly', 'freeze', 'freeze-metadata']), + (work / 'strict', ['bind', 'emit', 'audit', 'invoice', 'assembly', 'admission-controls', 'bit-controls'])]: + stages = read(directory / 'STAGES.json') + require([s['name'] for s in stages] == expected, 'Complete stage inventory') + for stage in stages: + require(stage['exit_code'] == 0 and stage['log_sha256'] == sha(directory / (stage['name'] + '.log')), 'Successful stage log binding') + stages = read(work / 'STAGES.json') + expected_stages = ['ancestry942', 'construct', 'native-e4', 'runtime', 'plan', 'independent-owners', + 'independent-price', 'discovery', 'strict', 'payload-controls'] + names = [s['name'] for s in stages] + if names and names[-1] == 'final-binding': + names = names[:-1] + require(names in (expected_stages, ['baseline942-cold'] + expected_stages), 'Complete driver stages') + require(all(s['exit_code'] == 0 and sha(work / (s['name'] + '.log')) == s['log_sha256'] for s in stages), 'Driver log bindings') + paths = [p for p in work.rglob('*') if p.is_file() and p.suffix in ('.json', '.gz', '.jsonl') + and not p.is_relative_to(work / 'parent') and not p.is_relative_to(work / 'temp') + and not p.is_relative_to(work / 'baseline942') and p != work / 'STAGES.json' + and p.name not in ('FINAL-BINDING.json', 'RESULT.json')] + return dict(status='PASS_COMPLETE_U8_E4_GAP_FILL_BINDINGS', kappa=claim['kappa'], + source_manifest_sha256=sha(P / 'SOURCES.json'), base_commit=sources['base_commit'], + adapters=adapters, actual_template_sha256=template_hash, sigma_stream=stream.hexdigest(), + actual_sigmas=len(sigmas), baseline_binding_sha256=sha(baseline / 'FINAL-BINDING.json'), + artifacts={str(p.relative_to(work)): sha(p) for p in sorted(paths)}) + + +def main(): + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument('--work', type=Path, required=True) + parser.add_argument('--baseline942', type=Path, required=True) + args = parser.parse_args() + result = check(args.work, args.baseline942) + dump(args.work / 'FINAL-BINDING.json', result) + print(result['status']) + + +if __name__ == '__main__': + main() diff --git a/research/u8-e4-gap-fill/build.py b/research/u8-e4-gap-fill/build.py new file mode 100644 index 0000000000..4935d153e8 --- /dev/null +++ b/research/u8-e4-gap-fill/build.py @@ -0,0 +1,70 @@ +"""Apply the literal E4 frame and whole-owner edits. No optimizer runs. + +Based on BlockInvert's PR664-style promotions, PR799/X4 and PR869/870 U8, +and Jonathan Capalbo's PR942 owners. Prepared with OpenAI Codex assistance. +Apache-2.0; predecessor source and licenses remain in the repository. +""" +import argparse +import copy +from pathlib import Path +from support import P, T37, compressed, dump, identity, read, require, sha, validate_sources + + +def construct(word, owners): + edit = read(P / 'LOCAL-EDIT.json') + require(identity(word) == edit['source_word_identity'], 'Fresh U8 raw source identity') + result = copy.deepcopy(word) + for change in edit['entrances']: + key = str(change['register']) + require(result['start_extra'][key] == change['before'], 'Entrance edit precondition') + result['start_extra'][key] = change['after'] + for change in edit['gate_frames']: + gate = result[change['section']][change['index']] + require(gate == change['before'], 'Gate edit precondition') + require(change['before'][:-1] == change['after'][:-1], 'Scalar word must be unchanged') + result[change['section']][change['index']] = change['after'] + for key, values in edit['report_changes'].items(): + require(result['report'][key] == values['before'], 'Report edit precondition') + result['report'][key] = values['after'] + require(identity(result) == edit['result_word_identity'], 'Nominated E4 raw identity') + owner_edits = read(P / 'OWNER-EDITS.json') + require(identity(owners) == owner_edits['source_owners_identity'], 'T37 owner source identity') + lookup = {(z['stage'], z['replica'], z['helper']): i for i, z in enumerate(owners)} + require(len(lookup) == len(owners) == 167832, 'Whole-role source inventory') + changed = copy.deepcopy(owners) + keys = set() + for entry in owner_edits['edits']: + before, after = entry['before'], entry['after'] + key = tuple(before[k] for k in ('stage', 'replica', 'helper')) + require(key not in keys, 'Duplicate owner edit') + keys.add(key) + require(key == tuple(after[k] for k in ('stage', 'replica', 'helper')), 'Whole-role identity') + require(changed[lookup[key]] == before, 'Owner edit precondition') + changed[lookup[key]] = after + require(len(keys) == 20, 'Complete owner edit inventory') + require(identity(changed) == owner_edits['result_owners_identity'], 'Frozen owner result') + return result, changed + + +def main(): + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument('--u8-word', type=Path, required=True) + parser.add_argument('--out', type=Path, required=True) + args = parser.parse_args() + validate_sources() + require(not args.out.exists(), 'Use a fresh output directory') + word, owners = construct(read(args.u8_word), read(T37 / 'OWNERS.json.gz')) + args.out.mkdir(parents=True) + compressed(args.out / 'WORD.json.gz', word) + compressed(args.out / 'OWNERS.json.gz', owners) + dump(args.out / 'CONSTRUCTION.json', dict( + status='PASS_LITERAL_E4_AND_T37_OWNER_CONSTRUCTION', + source_word_sha256=sha(args.u8_word), source_word_identity=identity(read(args.u8_word)), + word_identity=identity(word), owners_identity=identity(owners), + entrances=4, gate_frames=12, owner_records=20, scalar_gates_changed=0, + dispatch={'gauge44': 332, 'gauge44_e4': 1}, modified_call=[0, 0])) + print('PASS_LITERAL_E4_AND_T37_OWNER_CONSTRUCTION') + + +if __name__ == '__main__': + main() diff --git a/research/u8-e4-gap-fill/freeze_metadata.py b/research/u8-e4-gap-fill/freeze_metadata.py new file mode 100644 index 0000000000..550099285d --- /dev/null +++ b/research/u8-e4-gap-fill/freeze_metadata.py @@ -0,0 +1,63 @@ +"""Derive two-provider metadata after the inherited single-provider freezer. + +No verifier code or admission predicate changes. The control count comes from +the pinned control generator's literal lists and its width-pair/spot loops. +Prepared with OpenAI Codex assistance; Apache-2.0. +""" +import argparse +import ast +from collections import Counter +from pathlib import Path +from support import dump, read, require, sha + + +def derive(work): + source = work / 'runtime/code/assembly_controls.py' + tree = ast.parse(source.read_text()) + base_lists = [n.value for n in ast.walk(tree) if isinstance(n, ast.Assign) + and any(isinstance(t, ast.Name) and t.id == 'controls' for t in n.targets) + and isinstance(n.value, ast.List)] + provider_lists = [n.value for n in ast.walk(tree) if isinstance(n, ast.AugAssign) + and isinstance(n.target, ast.Name) and n.target.id == 'controls' + and isinstance(n.value, ast.List)] + require(len(base_lists) == len(provider_lists) == 1, 'Pinned literal control-list structure') + common, per_provider = len(base_lists[0].elts), len(provider_lists[0].elts) + require((common, per_provider) == (31, 17), 'Control generator literal inventories') + spec = read(work / 'runtime/data/SPEC.json') + counts = dict(Counter(pid for _, _, pid in spec['dispatch'])) + require(counts == {'gauge44_e4': 1, 'gauge44': 332}, 'Two actual selected providers') + plan = read(work / 'lift/PLAN.json') + spots = spec.get('width_spot_helpers', [270, 282, 294, 306]) + # Two mutations for each unordered distinct-width pair, then one per spot. + widths = {pid: len(set(plan['provider_registry'][pid]['widths'])) for pid in counts} + total = common + 1 + sum(per_provider + n*(n-1) + len(spots) for n in widths.values()) + require(total == 114, 'Complete two-provider mutation count, including wrong owner receipt hash') + controller = read(work / 'discovery/global/audit/ASYNC-AUDIT.json') + require(controller['mutation_controls_run'] and controller['provider_counts'] == counts, 'Discovery controller coverage') + return dict(assembly_controls_rejected=total, provider_counts=counts, + mutations_rejected=len(controller['mutations_rejected'])), dict( + source_sha256=sha(source), common_controls=common, wrong_owner_hash_controls=1, + per_provider_literal_controls=per_provider, distinct_widths=widths, + width_spots=len(spots), note='Strict replay must execute and reject every mutation.') + + +def main(): + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument('--work', type=Path, required=True) + args = parser.parse_args() + metadata, derivation = derive(args.work) + path = args.work / 'runtime/data/SPEC.json' + spec = read(path) + before = {k: spec['expected'][k] for k in metadata} + require(before == dict(assembly_controls_rejected=69, provider_counts={'gauge44': 333}, + mutations_rejected=15), 'Inherited one-provider freezer metadata') + spec['expected'].update(metadata) + dump(path, spec) + dump(args.work / 'discovery/FREEZE-METADATA.json', dict( + status='PASS_DERIVED_TWO_PROVIDER_FREEZE_METADATA', before=before, after=metadata, + derivation=derivation)) + print('PASS_DERIVED_TWO_PROVIDER_FREEZE_METADATA', metadata['assembly_controls_rejected']) + + +if __name__ == '__main__': + main() diff --git a/research/u8-e4-gap-fill/independent.py b/research/u8-e4-gap-fill/independent.py new file mode 100644 index 0000000000..f78167490f --- /dev/null +++ b/research/u8-e4-gap-fill/independent.py @@ -0,0 +1,115 @@ +"""Separate event/owner/chart recount for the one-call mixed construction. + +Uses Hao Yan's PR858/PR890 checker with the explicit adaptations below. +It imports neither the owner constructor nor the emitted-controller auditor. +The independent path means a separate computation, not independent human review. +Prepared with OpenAI Codex assistance; Apache-2.0. +""" +import argparse +import copy +from collections import Counter +from pathlib import Path +from support import P, T21, T37, dump, identity, load, read, require, sha + +CHANGES = [ + ("require(Counter(widths) == {4: 80, 5: 32, 7: 54, 8: 122, 9: 216}, 'current supplier width inventory')", + "require(len(widths) == R and all(1 <= w <= H for w in widths), 'derived whole-helper widths')"), + ("width == c['widths'][helper]", "width == c['per_call_widths'][call][helper]"), + ("profile = Counter({rank: 9 * T * count for rank, count in c['paid'].items()})", + "profile = Counter()\n for call in c['order']:\n profile.update(c['per_call_paid'][call])"), + ("localbits = max(x['prefix_bits_upper'] for x in c['replay']['local'].values())", + "localbits = max(x['prefix_bits_upper'] for replay in c['replays'].values() for x in replay['local'].values())"), + ('2 * 512', '2 * 1024'), ('prefix < 512', 'prefix < 1024'), + ('charged_prefix_bits=512', 'charged_prefix_bits=1024'), ('1 <= T <= 22', '1 <= T <= 50')] + + +def adapted_text(): + text = (T21 / 'independent_check.py').read_text() + for before, after in CHANGES: + require(text.count(before) == 1, 'Independent adaptation anchor: ' + before) + text = text.replace(before, after) + return text + + +def reject(checker, context, roles, label): + try: + checker.check_roles(context, roles) + except ValueError as error: + return dict(name=label, reason=str(error)) + raise ValueError('Invalid construction accepted: ' + label) + + +def main(): + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument('--work', type=Path, required=True) + parser.add_argument('--baseline942', type=Path, required=True) + args = parser.parse_args() + work, baseline = args.work, args.baseline942 + adapter = work / 'independent_mixed_adapter.py' + adapter.write_text(adapted_text(), encoding='utf-8') + checker = load(adapter, 'independent_e4_owner_checker') + checker.T, checker.EXPECTED_IDLE = 37, {1: 2, 48: 11086} + base = baseline / 'baseline799/global/global/base' + parent_path = base / 'split-centres/GLOBAL-TEMPLATE.json.gz' + canonical_path = base / 'split-centres/CANONICAL-WORD.json.gz' + phases_path = base / 'work/complex-nine-native/DATA-PHASES.json' + roles_path = work / 'construction/OWNERS.json.gz' + roles = read(roles_path) + parent, phases, canonical = map(read, (parent_path, phases_path, canonical_path)) + words, replays, widths, paid, inputs = {}, {}, {}, {}, [parent_path, canonical_path, phases_path, roles_path] + expected_widths = {'gauge44': {4: 80, 5: 32, 7: 54, 8: 122, 9: 216}, + 'gauge44_e4': {4: 76, 5: 36, 7: 54, 8: 122, 9: 216}} + for pid, directory in [('gauge44', baseline / 'native/local'), ('gauge44_e4', work / 'native/local')]: + word_path, replay_path = directory / 'CANONICAL-WORD.json.gz', directory / 'INDEPENDENT-LOCAL-REPLAY.json' + inputs += [word_path, replay_path] + word, replay = read(word_path), read(replay_path) + require(replay['status'] == 'PASS_INDEPENDENT_LOCAL_SCALAR_FRAME_AND_WRAPPER_REPLAY', 'Native replay status') + require(replay['canonical_word_sha256'] == sha(word_path), 'Native word binding') + require(set(replay['local']) == {'forward', 'backward'}, 'Both native orientations') + require(word['ports'] == canonical['ports'], 'Port interface') + require(len(word['center_frames']) == len(canonical['center_frames']) == 8, 'Centre count') + require([checker.basis(word['frames'][f]) for f in word['center_frames']] == + [checker.basis(canonical['frames'][f]) for f in canonical['center_frames']], 'Ordered centre interface') + words[pid], replays[pid] = word, replay + widths[pid], paid[pid] = checker.local_inventory(word, replay) + require(Counter(widths[pid]) == expected_widths[pid], 'Nominated provider width inventory') + difference = {i: [a, b] for i, (a, b) in enumerate(zip(widths['gauge44'], widths['gauge44_e4'])) if a != b} + require(difference == {i: [4, 5] for i in (411, 413, 414, 415)}, 'Only four width changes') + context = checker.make_context(parent, phases, canonical['ports'], words['gauge44'], replays['gauge44'], roles) + dispatch = {call: 'gauge44_e4' if call == (0, 0) else 'gauge44' for call in context['order']} + context.update(per_call_widths={c: widths[p] for c, p in dispatch.items()}, + per_call_paid={c: paid[p] for c, p in dispatch.items()}, replays=replays) + receipt = checker.check_roles(context, roles) + receipt['status'] = 'PASS_INDEPENDENT_MIXED_E4_T37_WINDOWS_CHARTS_PREFIX_ROW' + receipt['local_profile'] = {p: dict(sorted(v.items())) for p, v in paid.items()} + receipt['width_inventory'] = {p: dict(sorted(Counter(v).items())) for p, v in widths.items()} + receipt['provider_counts'] = dict(Counter(dispatch.values())) + receipt['controls_rejected'] = checker.controls(context, roles) + incorrect = dict(context, per_call_widths={c: widths['gauge44'] for c in dispatch}) + receipt['controls_rejected'].append(reject(checker, incorrect, roles, 'discard_modified_provider')) + original = read(T37 / 'OWNERS.json.gz') + receipt['controls_rejected'].append(reject(checker, context, original, 'discard_all_owner_edits')) + index = {(z['stage'], z['replica'], z['helper']): i for i, z in enumerate(roles)} + omitted = [] + for number, change in enumerate(read(P / 'OWNER-EDITS.json')['edits']): + key = tuple(change['before'][k] for k in ('stage', 'replica', 'helper')) + broken = roles.copy() + broken[index[key]] = change['before'] + omitted.append(reject(checker, context, broken, 'omit_owner_edit_' + str(number))) + receipt['omitted_edits_rejected'] = omitted + claim = read(P / 'CLAIM.json') + for key in ('profile', 'idle'): + require({str(k): v for k, v in receipt[key].items()} == claim[key], 'Independent claim ' + key) + for key in ('roles', 'calls', 'live', 'physical', 'rank_mass', 'deficit', 'prefix_bits', + 'charged_prefix_bits', 'physical_row_coefficient'): + require(receipt[key] == claim[key], 'Independent claim ' + key) + receipt['input_sha256'] = {str(p.resolve()): sha(p) for p in inputs} + receipt['checker_adaptation'] = dict(source_sha256=sha(T21 / 'independent_check.py'), + adapter_sha256=sha(adapter), changes=CHANGES) + receipt['owners_identity'] = identity(roles) + dump(work / 'INDEPENDENT-OWNERS.json', receipt) + print(receipt['status'], receipt['prefix_bits'], receipt['physical_row_coefficient']) + + +if __name__ == '__main__': + main() diff --git a/research/u8-e4-gap-fill/native.py b/research/u8-e4-gap-fill/native.py new file mode 100644 index 0000000000..b3d8566141 --- /dev/null +++ b/research/u8-e4-gap-fill/native.py @@ -0,0 +1,56 @@ +"""Run unchanged native checks on the literal E4 variant. Apache-2.0. + +PR635 native scalar/frame/precision checks and PR558 phase checks are reused +without changing a mathematical predicate. Prepared with OpenAI Codex assistance. +""" +import argparse +import os +import subprocess +import sys +import time +from pathlib import Path +from support import ROOT, SOURCE, dump, require, sha, validate_sources + + +def main(): + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument('--word', type=Path, required=True) + parser.add_argument('--out', type=Path, required=True) + args = parser.parse_args() + require(__debug__, 'Native checks require assertions') + validate_sources() + require(not args.out.exists() and not args.out.resolve().is_relative_to(ROOT), 'Fresh external output') + args.out.mkdir(parents=True) + code = ROOT / 'research/complex-sw4-frame8/vendor/pr635/research/complex-571-cold14-st2/code' + base = SOURCE / 'vendor/pr558' + parent = base / 'vendor/pr552' + env = dict(os.environ, PYTHONDONTWRITEBYTECODE='1', PYTHONUTF8='1', + PYTHONINTMAXSTRDIGITS='0', MULTICOLD_SOURCE=str(SOURCE), GAIN_PR564_SOURCE=str(SOURCE)) + for key in ('PYTHONOPTIMIZE', 'XPARAM', 'EXTRAH', 'PAIRING_RANKS', 'DIAG', 'HYBBUDGET', 'PR635_CODE'): + env.pop(key, None) + local = args.out / 'local' + commands = [ + ('native', code / 'hpe_audit_and_transport.py', '--raw', args.word, + '--routing', parent / 'complex-local/inputs/phase-baseline/CANONICAL-WORD.json.gz', '--out', local), + ('ledgers', code / 'hpe_emit_local.py', local), + ('local-replay', code / 'hpe_audit_local.py', local), + ('wrappers', code / 'hpe_adapters_local.py', local / 'CANONICAL-WORD.json.gz', + local / 'RESIDUAL-ADAPTERS.json', local / 'WRAPPER-CHECKS.json'), + ('phases', base / 'code/phases_full.py', local, parent / 'complex-global/vendor531/vendor/clifford')] + stages = [] + for name, script, *argv in commands: + start = time.monotonic() + log = args.out / (name + '.log') + with log.open('w') as stream: + result = subprocess.run([sys.executable, '-B', str(SOURCE / 'code/run_portable.py'), + str(script), *map(str, argv)], cwd=ROOT, env=env, + stdout=stream, stderr=subprocess.STDOUT) + stages.append(dict(name=name, exit_code=result.returncode, + seconds=round(time.monotonic() - start, 3), log_sha256=sha(log))) + dump(args.out / 'STAGES.json', stages) + require(result.returncode == 0, name + ': ' + log.read_text(errors='replace')[-5000:]) + print('PASS E4 native', name, flush=True) + + +if __name__ == '__main__': + main() diff --git a/research/u8-e4-gap-fill/payload.py b/research/u8-e4-gap-fill/payload.py new file mode 100644 index 0000000000..284688653e --- /dev/null +++ b/research/u8-e4-gap-fill/payload.py @@ -0,0 +1,43 @@ +"""Run PR942 payload boundary controls against this construction's receipts. + +Only the geometry status, nominated kappa, and source-root locator change. +Prepared with OpenAI Codex assistance; Apache-2.0. +""" +import argparse +import subprocess +import sys +from pathlib import Path +from support import P, ROOT, T37, dump, read, require, sha + + +def adaptation(): + source = T37 / 'independent/check_payload_controls.py' + changes = [ + ('ROOT=HERE.parents[2]', 'ROOT=Path(' + repr(str(ROOT)) + ')'), + ("geometry['status']=='PASS_INDEPENDENT_VARIABLE_T_LITERAL_WINDOWS_CHARTS_PREFIX_ROW'", + "geometry['status']=='PASS_INDEPENDENT_MIXED_E4_T37_WINDOWS_CHARTS_PREFIX_ROW'"), + ("baseline['kappa_decimal']=='0.001661960547713947'", + "baseline['kappa_decimal']==" + repr(read(P / 'CLAIM.json')['kappa_decimal']))] + text = source.read_text() + for before, after in changes: + require(text.count(before) == 1, 'Payload adaptation anchor') + text = text.replace(before, after) + return text, changes + + +def main(): + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument('--work', type=Path, required=True) + args = parser.parse_args() + text, changes = adaptation() + path = args.work / 'payload_controls_adapter.py' + path.write_text(text, encoding='utf-8') + subprocess.run([sys.executable, '-B', str(path), '--work', str(args.work), + '--out', str(args.work / 'PAYLOAD-CONTROLS.json')], check=True, cwd=ROOT) + dump(args.work / 'PAYLOAD-ADAPTATION.json', dict( + source_sha256=sha(T37 / 'independent/check_payload_controls.py'), + generated_sha256=sha(path), changes=changes)) + + +if __name__ == '__main__': + main() diff --git a/research/u8-e4-gap-fill/prepare.py b/research/u8-e4-gap-fill/prepare.py new file mode 100644 index 0000000000..3f413ae6a4 --- /dev/null +++ b/research/u8-e4-gap-fill/prepare.py @@ -0,0 +1,74 @@ +"""Bind one E4 invocation to the inherited T37 runtime and bank envelope. + +Runtime verifier code is exactly PR942's documented adaptation. This file +changes construction data only. Prepared with OpenAI Codex assistance; Apache-2.0. +""" +import argparse +import copy +import shutil +from pathlib import Path +from support import P, dump, identity, load, read, require, sha + + +def provider(directory, pid, semantic): + word = read(directory / 'CANONICAL-WORD.json.gz') + checks = read(directory / 'LOCAL-CHECKS.json') + widths = [len(word['frames'][word['final'][r]]) - len(word['frames'][word['start'][r]]) + for r in range(224, 728)] + return dict(directory='providers/' + pid, + artifact_sha256={name: sha(directory / name) for name in semantic.FILES}, + artifact_semantic_sha256=semantic.artifact_identities(directory), + ports=word['ports'], centers=word['centers'], widths=widths, + actual_paid_profile=word['local_profile'], + orientation_program_sha256={orientation: checks[orientation]['sha256'] + for orientation in ('forward', 'backward')}) + + +def main(): + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument('--work', type=Path, required=True) + parser.add_argument('--baseline942', type=Path, required=True) + args = parser.parse_args() + work, baseline = args.work, args.baseline942 + claim = read(P / 'CLAIM.json') + plan = read(baseline / 'lift/PLAN.json') + owners = work / 'construction/OWNERS.json.gz' + semantic = load(work / 'runtime/code/generated_identity.py', 'e4_semantic') + registry = {pid: provider(directory, pid, semantic) for pid, directory in ( + ('gauge44', baseline / 'native/local'), ('gauge44_e4', work / 'native/local'))} + require(registry['gauge44']['artifact_semantic_sha256'] == + plan['provider_registry']['gauge44']['artifact_semantic_sha256'], 'Fresh baseline U8 binding') + plan = copy.deepcopy(plan) + plan.update(status='FROZEN_LITERAL_T37_U8_E4_GAP_FILL', mode='one-E4-group-four-unit-gaps', + solver_status='Literal source-bound edits; no runtime search', profile=claim['profile'], + provider_registry=registry, assignment_sha256=sha(owners), + assignment_content_sha256=identity(read(owners))) + plan['replica_lift']['owners_file_sha256'] = sha(owners) + for call in plan['provider_calls']: + pid = 'gauge44_e4' if (call['stage'], call['replica']) == (0, 0) else 'gauge44' + call['provider'] = pid + call['local_program_sha256'] = registry[pid]['orientation_program_sha256'][call['orientation']] + for call in plan['per_call_widths']: + pid = 'gauge44_e4' if (call['stage'], call['replica']) == (0, 0) else 'gauge44' + call['widths'] = registry[pid]['widths'] + lift = work / 'lift' + lift.mkdir() + shutil.copyfile(baseline / 'lift/GLOBAL-TEMPLATE.json.gz', lift / 'GLOBAL-TEMPLATE.json.gz') + dump(lift / 'PLAN.json', plan) + spec = read(work / 'runtime/data/SPEC.json') + spec['name'] = 'u8-e4-t37-four-unit-gap-fill' + spec['dispatch'] = [[s, r, 'gauge44_e4' if (s, r) == (0, 0) else 'gauge44'] + for s, r in spec['call_order']] + spec['data'] = dict(owners_sha256=sha(owners), plan_sha256=sha(lift / 'PLAN.json')) + dump(work / 'runtime/data/SPEC.json', spec) + dump(work / 'PARENT-REFERENCE.json', dict( + source_path=str((baseline / 'lift/GLOBAL-TEMPLATE.json.gz').resolve()), + source_sha256=sha(baseline / 'lift/GLOBAL-TEMPLATE.json.gz'), + source_content_identity=identity(read(lift / 'GLOBAL-TEMPLATE.json.gz')), + baseline_parent_check_sha256=sha(baseline / 'PARENT-CHECK.json'), + use='Unchanged checked bank envelope; both native suppliers are freshly bound in the hosted controller.')) + print('PASS_FROZEN_MIXED_PROVIDER_PLAN') + + +if __name__ == '__main__': + main() diff --git a/research/u8-e4-gap-fill/price.py b/research/u8-e4-gap-fill/price.py new file mode 100644 index 0000000000..ce9d8fe134 --- /dev/null +++ b/research/u8-e4-gap-fill/price.py @@ -0,0 +1,83 @@ +"""Independent positive-binomial moment signs and 1024-bit outer witness. + +The binomial engine is the merged PR960 audit (following PR678's distinct +binomial-series arithmetic). The outer theorem inequalities are inherited. +Prepared with OpenAI Codex assistance; Apache-2.0. +""" +import argparse +from fractions import Fraction as Q +from pathlib import Path +from support import P, ROOT, SOURCE, T37, dump, load, read, require, sha + + +def main(): + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument('--work', type=Path, required=True) + args = parser.parse_args() + claim = read(P / 'CLAIM.json') + counted = read(args.work / 'INDEPENDENT-OWNERS.json') + require(counted['profile'] == claim['profile'], 'Price actual independently recounted profile') + engine_path = ROOT / 'research/t21-binomial-audit/verify.py' + engine = load(engine_path, 'e4_positive_binomial') + outer_path = SOURCE / 'engines/outer.py' + outer = load(outer_path, 'e4_retained_outer') + profile = {int(k): v for k, v in counted['profile'].items()} + b, c = Q(claim['complex_lower']), Q(claim['bit_lower']) + bracket = engine.brackets(profile, 73, counted['live'], b, False) + old = read(T37 / 'CLAIM.json') + before = {int(k): v for k, v in old['profile'].items()} + difference = {r: profile.get(r, 0) - before.get(r, 0) for r in set(profile) | set(before)} + require({r: n for r, n in difference.items() if n} == {1: -12, 2: 8, 3: 4, 4: -4}, 'Exact global profile change') + require(sum(r*n for r, n in difference.items()) == 0, 'Conserved rank mass') + gain_upper = Q(0) + for r, n in difference.items(): + lo, hi, _ = engine.power_interval(r, 73, b) + gain_upper += r*n*(hi if n >= 0 else lo) + require(gain_upper < 0, 'Strict moment improvement at nominated exponent') + eta = beta = Q(1, 10**24) + s = min(c, (1-beta)*b) - Q(1, 10**27) + require(0 < s < c and s < (1-beta)*b, 'Strict inner exponent') + chain = [Q(384599, 10**10)] + cuts = [] + payload = counted['charged_prefix_bits'] + require(payload == 1024 and counted['prefix_bits'] < payload, 'Actual prefix payload') + for _ in range(7): + previous = chain[-1] + exponent = (1-s)*s + s*previous + gap = min(s-exponent, 1-exponent-s, 1-exponent-s*(1-previous), 1-s) + require(previous < exponent < s < 1-exponent and gap > 0, 'Bootstrap gap') + ceil = lambda value: -(-value.numerator // value.denominator) + cutoff = max(ceil(36/gap**2), ceil(2*(4+payload)/gap)) + require(cutoff*gap**2 >= 36 and cutoff*gap >= 2*(4+payload), 'Full-payload cutoff') + cuts.append(dict(exponent=str(exponent), gap=str(gap), cutoff_log2=str(cutoff))) + chain.append(exponent) + bridge = {'semantic': {'C0': {'base': 2, 'exponent': 210000}, 'strict_literal_gap': 1}, + 'rows': {'degree_gap': Q(10**6)-Q(51*20161, 25)}} + kappa = Q(claim['kappa']) + admitted = outer.assembly(chain[-1], b, bridge, kappa, eta=eta, beta=beta) + constraints = admitted['strict_constraints'] + require(len(constraints) == 47 and all(v > 0 for v in constraints.values()), 'All outer inequalities') + rejected = [] + for name, kk, ee, bb in [('next_grid', kappa+Q(1, 10**18), eta, beta), + ('zero_eta', kappa, Q(0), beta), ('zero_beta', kappa, eta, Q(0)), + ('unit_beta', kappa, eta, Q(1))]: + try: + outer.assembly(chain[-1], b, bridge, kk, eta=ee, beta=bb) + except AssertionError: + rejected.append(name) + else: + raise ValueError('Outer control accepted: ' + name) + require(kappa > Q(old['kappa']), 'Strict selected-baseline improvement') + dump(args.work / 'INDEPENDENT-PRICE.json', dict( + status='PASS_BINOMIAL_MOMENTS_AND_1024_BIT_OUTER', root=bracket, + kappa=str(kappa), baseline_kappa=old['kappa'], gain=str(kappa-Q(old['kappa'])), + signed_profile_change=difference, signed_moment_change_upper=str(gain_upper), + charged_prefix_bits=payload, bootstrap=cuts, + outer={k: str(v) for k, v in constraints.items()}, controls_rejected=rejected, + sources={str(p.relative_to(ROOT)): sha(p) for p in (engine_path, outer_path)}, + owner_receipt_sha256=sha(args.work / 'INDEPENDENT-OWNERS.json'))) + print('PASS_BINOMIAL_MOMENTS_AND_1024_BIT_OUTER', claim['kappa_decimal']) + + +if __name__ == '__main__': + main() diff --git a/research/u8-e4-gap-fill/replay.py b/research/u8-e4-gap-fill/replay.py new file mode 100644 index 0000000000..b4d311564c --- /dev/null +++ b/research/u8-e4-gap-fill/replay.py @@ -0,0 +1,77 @@ +"""Emit and audit mixed-provider T37 with unmodified PR942 runtime code. + +Discovery recounts the fixed construction, then a separate strict run checks +its frozen values. No optimizer runs. Apache-2.0; OpenAI Codex assistance. +""" +import argparse +import os +import shutil +import subprocess +import sys +import time +from pathlib import Path +from support import P, ROOT, SOURCE, dump, read, require, sha + + +def main(): + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument('mode', choices=('discovery', 'strict')) + parser.add_argument('--work', type=Path, required=True) + parser.add_argument('--baseline942', type=Path, required=True) + args = parser.parse_args() + require(__debug__, 'Supplier checks require assertions') + work, baseline = args.work, args.baseline942 + stage = work / args.mode + require(not stage.exists(), 'New replay output required') + stage.mkdir() + code = work / 'runtime/code' + env = dict(os.environ, PYTHONDONTWRITEBYTECODE='1', PYTHONUTF8='1', PYTHONINTMAXSTRDIGITS='0', + MULTICOLD_SOURCE=str(SOURCE), GAIN_PR564_SOURCE=str(SOURCE), + WITNESS_SPEC=str(work / 'runtime/data/SPEC.json')) + for key in ('PYTHONOPTIMIZE', 'WITNESS_DISCOVER', 'WITNESS_RECORD'): + env.pop(key, None) + if args.mode == 'discovery': + env.update(WITNESS_DISCOVER='1', WITNESS_RECORD=str(stage / 'WITNESS-RECORD.jsonl')) + parent = work / 'parent' + if not parent.exists(): + shutil.copytree(baseline / 'baseline799/global/parent558', parent) + shutil.copyfile(work / 'lift/GLOBAL-TEMPLATE.json.gz', parent / 'complex-global/base/split-centres/GLOBAL-TEMPLATE.json.gz') + g = stage / 'global' + commands = [ + ('bind', code / 'bind_providers_portable.py', '--baseline', parent, + '--provider', 'gauge44=' + str(baseline / 'native/local'), + '--provider', 'gauge44_e4=' + str(work / 'native/local'), '--plan', work / 'lift/PLAN.json', '--out', g), + ('emit', code / 'emit_allcold.py', '--base', g / 'base', '--owners', work / 'construction/OWNERS.json.gz', + '--plan', g / 'PLAN.json', '--out', g / 'hosted'), + ('audit', code / 'audit_allcold.py', g / 'base', g / 'hosted', g / 'audit/ASYNC-AUDIT.json', '--mutation-controls'), + ('invoice', code / 'invoice_allcold.py', '--base', g / 'base', '--hosted', g / 'hosted', + '--audit', g / 'audit', '--out', g / 'audit', '--retained-invoice', + SOURCE / 'vendor/pr558/vendor/pr552/complex-global/vendor531/evidence/audit/PREFIX-AND-INVOICE.json'), + ('assembly', code / 'assemble.py', SOURCE, g, stage / 'ASSEMBLY.json')] + if args.mode == 'discovery': + commands.append(('freeze', code / 'freeze_spec.py', '--spec', work / 'runtime/data/SPEC.json', '--discovery', stage)) + commands.append(('freeze-metadata', P / 'freeze_metadata.py', '--work', work)) + else: + for label, script, output in [('admission-controls', 'assembly_controls.py', 'ADMISSION-CONTROLS.json'), + ('bit-controls', 'bit_supplier_controls.py', 'BIT-CONTROLS.json')]: + commands.append((label, code / script, '--source-package', SOURCE, + '--owner', g / 'audit/OWNERS-AND-PROFILE.json', + '--invoice', g / 'audit/PREFIX-AND-INVOICE.json', '--out', stage / output)) + stages = [] + for name, script, *argv in commands: + start = time.monotonic() + log = stage / (name + '.log') + with log.open('w') as stream: + result = subprocess.run([sys.executable, '-B', str(SOURCE / 'code/run_portable.py'), + str(script), *map(str, argv)], cwd=ROOT, env=env, + stdout=stream, stderr=subprocess.STDOUT) + stages.append(dict(name=name, exit_code=result.returncode, + seconds=round(time.monotonic()-start, 3), log_sha256=sha(log))) + dump(stage / 'STAGES.json', stages) + require(result.returncode == 0, name + ': ' + log.read_text(errors='replace')[-6000:]) + print('PASS E4', args.mode, name, flush=True) + print('COMPLETE', args.mode, read(stage / 'ASSEMBLY.json')['kappa_decimal'], flush=True) + + +if __name__ == '__main__': + main() diff --git a/research/u8-e4-gap-fill/support.py b/research/u8-e4-gap-fill/support.py new file mode 100644 index 0000000000..2b3b37fbc5 --- /dev/null +++ b/research/u8-e4-gap-fill/support.py @@ -0,0 +1,54 @@ +"""Small file helpers for the frozen U8/E4 construction. Apache-2.0.""" +import gzip +import hashlib +import importlib.util +import json +from pathlib import Path + +P = Path(__file__).resolve().parent +ROOT = P.parents[1] +T37 = ROOT / 'research/complex-t37-owners' +T21 = ROOT / 'research/complex-t21-owners' +SOURCE = ROOT / 'research/complex-k492-owner-repair/vendor/multicold' + + +def require(condition, message): + if not condition: + raise ValueError(message) + + +def read(path): + path = Path(path) + data = path.read_bytes() + return json.loads(gzip.decompress(data) if path.suffix == '.gz' else data) + + +def sha(path): + return hashlib.sha256(Path(path).read_bytes()).hexdigest() + + +def identity(value): + return hashlib.sha256(json.dumps(value, sort_keys=True, separators=(',', ':'), + allow_nan=False).encode()).hexdigest() + + +def dump(path, value): + Path(path).write_text(json.dumps(value, indent=2) + '\n', encoding='utf-8') + + +def compressed(path, value): + Path(path).write_bytes(gzip.compress(json.dumps(value, separators=(',', ':')).encode(), mtime=0)) + + +def load(path, name): + spec = importlib.util.spec_from_file_location(name, path) + module = importlib.util.module_from_spec(spec) + spec.loader.exec_module(module) + return module + + +def validate_sources(): + sources = read(P / 'SOURCES.json') + for relative, digest in sources['files'].items(): + require(sha(ROOT / relative) == digest, 'Source pin changed: ' + relative) + return sources diff --git a/research/u8-e4-gap-fill/verify.py b/research/u8-e4-gap-fill/verify.py new file mode 100644 index 0000000000..60efc1f855 --- /dev/null +++ b/research/u8-e4-gap-fill/verify.py @@ -0,0 +1,81 @@ +"""Fresh source-bound local and mixed-controller replay; no optimizer runs. + +Optional --baseline942 reuses a completed scripts/verify_frontier942.py output +after checking its entire evidence closure again. All outputs stay outside Git. +Prepared with OpenAI Codex assistance; Apache-2.0. +""" +import argparse +import os +import subprocess +import sys +import time +from pathlib import Path +from support import P, ROOT, T37, dump, read, require, sha, validate_sources + + +def main(): + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument('--work', type=Path, required=True) + parser.add_argument('--baseline942', type=Path) + args = parser.parse_args() + require(__debug__, 'Supplier checks require assertions') + validate_sources() + work = args.work.resolve() + require(not work.exists() and not work.is_relative_to(ROOT), 'Fresh output outside checkout required') + work.mkdir(parents=True) + baseline_root = args.baseline942.resolve() if args.baseline942 else work / 'baseline942' + baseline = baseline_root / 'replay' + env = dict(os.environ, PYTHONDONTWRITEBYTECODE='1', PYTHONUTF8='1', PYTHONINTMAXSTRDIGITS='0', + PYTHON=sys.executable, SW4_FRAME8_PYTHON=sys.executable, T37_WORK=str(work), + T37_BASELINE=str(baseline / 'baseline799'), T37_LOCAL=str(baseline / 'native/local')) + temp = work / 'temp' + temp.mkdir() + env.update(TEMP=str(temp), TMP=str(temp), TMPDIR=str(temp)) + for key in ('PYTHONOPTIMIZE', 'WITNESS_DISCOVER', 'WITNESS_RECORD', 'WITNESS_SPEC'): + env.pop(key, None) + input_sources = {str(p.relative_to(P)): sha(p) for p in P.rglob('*') + if p.is_file() and p.suffix in ('.py', '.json') and '__pycache__' not in p.parts} + stages = [] + + def run(name, script, *argv): + start = time.monotonic() + log = work / (name + '.log') + with log.open('w') as stream: + result = subprocess.run([sys.executable, '-B', str(script), *map(str, argv)], + cwd=ROOT, env=env, stdout=stream, stderr=subprocess.STDOUT) + stages.append(dict(name=name, exit_code=result.returncode, + seconds=round(time.monotonic()-start, 3), log_sha256=sha(log))) + dump(work / 'STAGES.json', stages) + require(result.returncode == 0, name + ': ' + log.read_text(errors='replace')[-7000:]) + print('PASS', name, stages[-1]['seconds'], flush=True) + + if args.baseline942 is None: + run('baseline942-cold', ROOT / 'scripts/verify_frontier942.py', '--work', baseline_root) + run('ancestry942', ROOT / 'scripts/verify_frontier942.py', '--check-only', '--work', baseline, + '--out', work / 'ANCESTRY-942.json') + run('construct', P / 'build.py', '--u8-word', baseline / 'native/barch/FULL-WORD.json.gz', '--out', work / 'construction') + run('native-e4', P / 'native.py', '--word', work / 'construction/WORD.json.gz', '--out', work / 'native') + run('runtime', T37 / 'prepare.py') + run('plan', P / 'prepare.py', '--work', work, '--baseline942', baseline) + run('independent-owners', P / 'independent.py', '--work', work, '--baseline942', baseline) + run('independent-price', P / 'price.py', '--work', work) + for mode in ('discovery', 'strict'): + run(mode, P / 'replay.py', mode, '--work', work, '--baseline942', baseline) + run('payload-controls', P / 'payload.py', '--work', work) + run('final-binding', P / 'binding.py', '--work', work, '--baseline942', baseline) + for name, digest in input_sources.items(): + require(sha(P / name) == digest, 'Package changed during replay: ' + name) + validate_sources() + claim = read(P / 'CLAIM.json') + require(read(work / 'FINAL-BINDING.json')['kappa'] == claim['kappa'], 'Bound final result') + result = dict(status='PASS_U8_E4_GAP_FILL_WITH_COMPLETE_SOURCE_BOUND_ANCESTRY', + kappa=claim['kappa'], kappa_decimal=claim['kappa_decimal'], + baseline942=str(baseline), reused_completed_baseline=args.baseline942 is not None, + source_sha256=input_sources, final_binding_sha256=sha(work / 'FINAL-BINDING.json'), + stages=stages, scope=claim['scope']) + dump(work / 'RESULT.json', result) + print(result['status'], result['kappa_decimal']) + + +if __name__ == '__main__': + main()