diff --git a/research/demote635-t16/CERTIFICATE.json b/research/demote635-t16/CERTIFICATE.json new file mode 100644 index 0000000000..cea965fcce --- /dev/null +++ b/research/demote635-t16/CERTIFICATE.json @@ -0,0 +1,346 @@ +{ + "status": "PASS_GAUGE44_NATIVE_EXACT_GLOBAL_ASSEMBLY", + "kappa": "836390079976271/500000000000000000", + "kappa_decimal": "0.001672780159952542", + "complex_lower": "1675583042021589509879/1000000000000000000000000", + "complex_decimal": "0.001675583042021589509879", + "bit_lower": "1733427039589844234749/1000000000000000000000000", + "bit_decimal": "0.001733427039589844234749", + "binding": "complex", + "gain_over_pr635_percent": "0.007510101508373399189865643661655020351114811135578009464898758336740800", + "complex_profile": { + "1": 348300, + "2": 61064, + "3": 63022, + "4": 20012, + "5": 11808, + "7": 6, + "8": 1152, + "48": 4866 + }, + "provider_counts": { + "demote635": 109, + "gauge44": 35 + }, + "surcharge_model": { + "complex": false, + "bit": true + }, + "conservative_complex_lower": "837791519581163613999/500000000000000000000000", + "conservative_complex_decimal": "0.001675583039162327227998", + "conservative_kappa": "836390078551419/500000000000000000", + "conservative_kappa_decimal": "0.001672780157102838", + "conservative_moments": [ + { + "side": "conservative_complex", + "surcharge": true, + "endpoint": "837791519581163613999/500000000000000000000000", + "accept": true, + "mercator": [ + "-497355020071808675924648147395846345900693/26959946667150639794667015087019630673637144422540572481103610249216", + "-497355020071808675924648147395846345900691/26959946667150639794667015087019630673637144422540572481103610249216" + ], + "base_two": [ + "-184486839966630036449/10000000000000000000000000000000000000000000000", + "-46119209991657509077/2500000000000000000000000000000000000000000000" + ] + }, + { + "side": "conservative_complex", + "surcharge": true, + "endpoint": "1675583039162327227999/1000000000000000000000000", + "accept": false, + "mercator": [ + "78460987295341292802078993761561217219055817/26959946667150639794667015087019630673637144422540572481103610249216", + "78460987295341292802078993761561217219055819/26959946667150639794667015087019630673637144422540572481103610249216" + ], + "base_two": [ + "14551396580196326531809/5000000000000000000000000000000000000000000000", + "29102803160392653063759/10000000000000000000000000000000000000000000000" + ] + } + ], + "conservative_bootstrap": [ + { + "exponent": "418209975849331661541481098494946946862845326774487930660607474265132743745104801621331227999/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "685783941250145458018232609293262555347673725512069339392525734867256254895198378668772001/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "4784184236294" + }, + { + "exponent": "209447305351320659180953702094781639202817529721609053979097139344819054755644141153270248705151777111556902051587766117821648365664502841999/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "574543970244318795963457338465506278970528390946020902860655180945244355858846729751294848222888443097948412233882178351634335497158001/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "1704025087914674329" + }, + { + "exponent": "104723939466297385852692137437062598429878474942865197755860105367730401677887036857862294441594288965571965930987668920945699192817824915988334531130725113966970094113386458715254678455999/62500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "481348065897182695338997453924669775182134802244139894632269598322112963142137705558405711034428034069012331079054300807182175084011665468869274886033029905886613541284745321544001/62500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "606937642203420496627631" + }, + { + "exponent": "52361969973419456547361961618313218424781228451258567595824748527287356268737563872875800823376846145133555802730339143089871352408223605415602073852584238755711719000091591207157382013306596622279941814541755205986703724337935858069999/31250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "403269327575454769716807752492896611241432404175251472712643731262436127124199176623153854866444197269660856910128647591776394584397926147415761244288280999908408792842617986693403377720058185458244794013296275662064141930001/31250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "216178332194773906146983664615" + }, + { + "exponent": "26180984986911025081845958279716547551727426235603787498698146588513563620229944316568896526374997048644875100990814160640553593369387848374996628390584781687259065550212156427022160949397545678913932424456966137084150968209763037630506246757755757962948417931459772609705252041683999/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "337855622749914298465536909636295646212501301853411486436379770055683431103473625002951355124899009185839359446406630612151625003371609415218312740934449787843572977839050602454321086067575543033862915849031790236962369493753242244242037051582068540227390294747958316001/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "76998142907819548065173238710621651" + }, + { + "exponent": "13090492493455681185681778514316454585834490307497920118587662368014259189657115063733038556316091635787776565998562448431170644800574037217518729200427286255701399513816464274366377108504822646771420689816161887958850643885078228802651321103627872399825220102287784491884601720646101021345888737653970103335655681079272747229297999/7812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "283052575582691051958484040958127079881412337631985740810342884936266961443683908364212223434001437551568829355199425962782481270799572713744298600486183535725633622891495177353228579310183838112041149356114921771197348678896372127600174779897712215508115398279353898978654111262346029896664344318920727252770702001/7812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "27425107553847285878625506362648504871149" + }, + { + "exponent": "6545246246727840734130038001084968367853897906840196036328956830025892761440364662909851910559870568879737843298684206457024778806230954861346524108105640121420208975436821436159292891098408956610340006608681024163894791867054201176930422811473717705394817195749239101993447682774956582599969644298640142023367529994687431009969959808949240103165590584489474023721479965420911999/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "237139047418784904305367725972303963671043169974107238559635337090148089440129431120262156701315793542975221193769045138653475891894359878579791024563178563840707108901591043389659993391318975836105208132945798823069577188526282294605182804250760898006552317225043417400030355701359857976632470005312568990030040191050759896834409415510525976278520034579088001/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "9768242400865855422374989944834013527907191658" + } + ], + "conservative_outer": { + "bit_positive": "6545246246727840734130038001084968367853897906840196036328956830025892761440364662909851910559870568879737843298684206457024778806230954861346524108105640121420208975436821436159292891098408956610340006608681024163894791867054201176930422811473717705394817195749239101993447682774956582599969644298640142023367529994687431009969959808949240103165590584489474023721479965420911999/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "complex_above_bit": "237149498915031632146102093159803963671043169974107238559635337090148089440129431120262156701315793542975221193769045138653475891894359878579791024563178563840707108901591043389659993391318975836105208132945798823069577188526282294605182804250760898006552317225043417400030355701359857976632470005312568990030040191050759896834409415510525976278520034579088001/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "complex_below_one_over32": "14787208480418836386001/500000000000000000000000", + "beta_positive": "1/1000000000000000000000000", + "beta_below_one": "999999999999999999999999/1000000000000000000000000", + "leaf_saving_above_bit": "237142953668784904305367725972303963671043169974107238559635337090148089440129431120262156701315793542975221193769045138653475891894359878579791024563178563840707108901591043389659993391318975836105208132945798823069577188526282294605182804250760898006552317225043417400030355701359857976632470005312568990030040191050759896834409415510525976278520034579088001/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_positive": "3272623123363920367065012455296237456086214823382096933196110561115039540524146002498095929387173844075206011797431543357943509665272178746466805029274013829755243141194302612439525025340229041483733844011449413672990785593520491907441047510944991798496231667451808077279018446570282542060882828701637296055101165027699416864842956536944625364151785322284928062620636817119871510025976278520034579088001/1953125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_internal": "6545246246727840734130038001084968367853897906840196036328956830025892761440364662909851910559870568879737843298684206457024778806230954861346524108105640121420208975436821436159292891098408956610340006608681024163894791867054201176930422811473717705394817195749239101993447682774956582599969644298640142023367529994687431009969959808949240103165590584489474023721479965420911999/1953125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_leaf": "118578022080639179993417993024153066803889438884960459475853997501904070612826155924793988202568456642056490334727821253533194970725986170244756858805697387560474974659770958516266155988550586327009214406479508092558952489055008201503768332548191922720981553429717457939117171298362703944898834972300583135157043463055374635848214677715071937379363182880128489974023721479965420911999/1953125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "c_positive": "3272623123363920367065500736546237456086214823382096933196110561115039540524146002498095929387173844075206011797431543357943509665272178746466805029274013829755243141194302612439525025340229041483733844011449413672990785593520491907441047510944991798496231667451808077279018446570282542060882828701637296055101165027699416864842956536944625364151785322284928062620636817119871510025976278520034579088001/1953125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "c_below_one": "1949852376876636079632934499263453762543913785176617903066803889438884960459475853997501904070612826155924793988202568456642056490334727821253533194970725986170244756858805697387560474974659770958516266155988550586327009214406479508092558952489055008201503768332548191922720981553429717457939117171298362703944898834972300583135157043463055374635848214677715071937379363182880128489974023721479965420911999/1953125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_reservations": "1/4000000000000000000000000", + "lambda_above_tau": "6545246246727840734130038001084968367853897906840196036328956830025892761440364662909851910559870568879737843298684206457024778806230954861346524108105640121420208975436821436159292891098408956610340006608681024163894791867054201176930422811473717705394817195749239101993447682774956582599969644298640142023367529994687431009969959808949240103165590584489474023721479965420911999/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_above_sigma": "237156044161278359986836223197805048639411023872014078755671666046978115332890871484925066553226353413544100931612343822859932916673166109534652371087286669480828529110566480211096152684210074245061818472952407504093741083318149348806359734673572371724257712042239166639132349149042632933215069974956867630172063558580754584265419385470334925518623200169672490474023721479965420911999/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_above_internal": "6545246246727840734130038001084968367853897906840196036328956830025892761440364662909851910559870568879737843298684206457024778806230954861346524108105640121420208975436821436159292891098408956610340006608681024163894791867054201176930422811473717705394817195749239101993447682774956582599969644298640142023367529994687431009969959808949240103165590584489474023721479965420911999/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_prime_above_lambda": "6545246246727840734130038001084968367853897906840196036328956830025892761440364662909851910559870568879737843298684206457024778806230954861346524108105640121420208975436821436159292891098408956610340006608681024163894791867054201176930422811473717705394817195749239101993447682774956582599969644298640142023367529994687431009969959808949240103165590584489474023721479965420911999/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_leaf": "118578022080639179993417993024153066803889438884960459475853997501904070612826155924793988202568456642056490334727821253533194970725986170244756858805697387560474974659770958516266155988550586327009214406479508092558952489055008201503768332548191922720981553429717457939117171298362703944898834972300583135157043463055374635848214677715071937379363182880128489974023721479965420911999/1953125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_reservations": "1/4000000000000000000000000", + "lambda_prime_below_one": "3272623123363920367065012455296237456086214823382096933196110561115039540524146002498095929387173844075206011797431543357943509665272178746466805029274013829755243141194302612439525025340229041483733844011449413672990785593520491907441047510944991798496231667451808077279018446570282542060882828701637296055101165027699416864842956536944625364151785322284928062620636817119871510025976278520034579088001/1953125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "epsilon_positive": "1953124999999999999999998046875000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/1956397623123363920367065012455296237456086214823382096933196110561115039540524146002498095929387173844075206011797431543357943509665272178746466805029274013829755243141194302612439525025340229041483733844011449413672990785593520491907441047510944991798496231667451808077279018446570282542060882828701637296055101165027699416864842956536944625364151785322284928062620636817119871510025976278520034579088001", + "epsilon_below_one": "3272623123363920367066965580296237456086214823382096933196110561115039540524146002498095929387173844075206011797431543357943509665272178746466805029274013829755243141194302612439525025340229041483733844011449413672990785593520491907441047510944991798496231667451808077279018446570282542060882828701637296055101165027699416864842956536944625364151785322284928062620636817119871510025976278520034579088001/1956397623123363920367065012455296237456086214823382096933196110561115039540524146002498095929387173844075206011797431543357943509665272178746466805029274013829755243141194302612439525025340229041483733844011449413672990785593520491907441047510944991798496231667451808077279018446570282542060882828701637296055101165027699416864842956536944625364151785322284928062620636817119871510025976278520034579088001", + "guard_width": "3272623123363920367066965580296237456086214823382096933196110561115039540524146002498095929387173844075206011797431543357943509665272178746466805029274013829755243141194302612439525025340229041483733844011449413672990785593520491907441047510944991798496231667451808077279018446570282542060882828701637296055101165027699416864842956536944625364151785322284928062620636817119871510025976278520034579088001/1956397623123363920367065012455296237456086214823382096933196110561115039540524146002498095929387173844075206011797431543357943509665272178746466805029274013829755243141194302612439525025340229041483733844011449413672990785593520491907441047510944991798496231667451808077279018446570282542060882828701637296055101165027699416864842956536944625364151785322284928062620636817119871510025976278520034579088001", + "K_geometry": "1468116373123363920367065500736546237456086214823382096933196110561115039540524146002498095929387173844075206011797431543357943509665272178746466805029274013829755243141194302612439525025340229041483733844011449413672990785593520491907441047510944991798496231667451808077279018446570282542060882828701637296055101165027699416864842956536944625364151785322284928062620636817119871510025976278520034579088001/1956397623123363920367065012455296237456086214823382096933196110561115039540524146002498095929387173844075206011797431543357943509665272178746466805029274013829755243141194302612439525025340229041483733844011449413672990785593520491907441047510944991798496231667451808077279018446570282542060882828701637296055101165027699416864842956536944625364151785322284928062620636817119871510025976278520034579088001000000000000000000000000", + "K_dominates_log": "3272623123363920367065497463923114092165847757881360386958654474900216158427212806387534814347633319929203513701502156184099434459260381314923447085764348557576496674389273338425695270097087847181121404486424073443949301859676480458027374520159398278004324226404297132287219950338615090252805549683190725772559104144870715227546901435779597664734920479328391117995272665334549225097913657883217459216490974023721479965420911999/1956397623123363920367065012455296237456086214823382096933196110561115039540524146002498095929387173844075206011797431543357943509665272178746466805029274013829755243141194302612439525025340229041483733844011449413672990785593520491907441047510944991798496231667451808077279018446570282542060882828701637296055101165027699416864842956536944625364151785322284928062620636817119871510025976278520034579088001000000000000000000000000", + "record_suffix": "3272623123363920367066965580296237456086214823382096933196110561115039540524146002498095929387173844075206011797431543357943509665272178746466805029274013829755243141194302612439525025340229041483733844011449413672990785593520491907441047510944991798496231667451808077279018446570282542060882828701637296055101165027699416864842956536944625364151785322284928062620636817119871510025976278520034579088001/1956397623123363920367065012455296237456086214823382096933196110561115039540524146002498095929387173844075206011797431543357943509665272178746466805029274013829755243141194302612439525025340229041483733844011449413672990785593520491907441047510944991798496231667451808077279018446570282542060882828701637296055101165027699416864842956536944625364151785322284928062620636817119871510025976278520034579088001", + "phase_local": "26180984986911362936533768244746776284769351522044320169331428402705492942096234823874206320057850228455645596283522959689704002116165632540191082290682445365863198662749391625502370447478691137567258312566569969154884801014319923810114707096774340867477945898566953673240349076330592884678985350594651798158267259338766633281447597194391975213797417735322887556339730385173649795279747607523459512832497974023721479965420911999/15651180984986911362936520099642369899648689718587056775465568884488920316324193168019984767435097390752601648094379452346863548077322177429971734440234192110638041945129554420899516200202721832331869870752091595309383926284748163935259528380087559934387969853339614464618232147572562260336487062629613098368440809320221595334918743652295557002913214282578279424500965094536958972080207810228160276632704008000000000000000000000000", + "phase_boundary": "5236196997382272587305188530850856565817576652398899796876320811569239882741700407886392371979937626374327120779961082198865540258423688562803530103328756855429642559105854905889410285301225272071361710893293721647743773215788775602492003026726393357102063226875381978654631018280784615489335246904173103405619803161490365346452675357946372883225991672699347955567654755606472131113499424995238206669291574023721479965420911999/3130236196997382272587304019928473979929737943717411355093113776897784063264838633603996953487019478150520329618875890469372709615464435485994346888046838422127608389025910884179903240040544366466373974150418319061876785256949632787051905676017511986877593970667922892923646429514512452067297412525922619673688161864044319066983748730459111400582642856515655884900193018907391794416041562045632055326540801600000000000000000000000", + "gamma_sublinear": "1/2000000000000000000000000", + "cell_above_band": "3906249999999999999999994137352376876636079632934987544703762543913785176617903066803889438884960459475853997501904070612826155924793988202568456642056490334727821253533194970725986170244756858805697387560474974659770958516266155988550586327009214406479508092558952489055008201503768332548191922720981553429717457939117171298362703944898834972300583135157043463055374635848214677715071937379363182880128489974023721479965420911999/7825590492493455681468260049821184949824344859293528387732784442244460158162096584009992383717548695376300824047189726173431774038661088714985867220117096055319020972564777210449758100101360916165934935376045797654691963142374081967629764190043779967193984926669807232309116073786281130168243531314806549184220404660110797667459371826147778501456607141289139712250482547268479486040103905114080138316352004000000000000000000000000", + "prime_interval_packing": "3272623123363920367066965580296237456086214823382096933196110561115039540524146002498095929387173844075206011797431543357943509665272178746466805029274013829755243141194302612439525025340229041483733844011449413672990785593520491907441047510944991798496231667451808077279018446570282542060882828701637296055101165027699416864842956536944625364151785322284928062620636817119871510025976278520034579088001/1956397623123363920367065012455296237456086214823382096933196110561115039540524146002498095929387173844075206011797431543357943509665272178746466805029274013829755243141194302612439525025340229041483733844011449413672990785593520491907441047510944991798496231667451808077279018446570282542060882828701637296055101165027699416864842956536944625364151785322284928062620636817119871510025976278520034579088001", + "alpha_positive": "6545246246727840734131974762969351548252062581751738570154765036015255698951358808885630743734807164004409525498933699542042944124532560061390252115038362387331739815583575950865220295437316888664855248497873487116940087453196972365468422031104390076500555893856105209566238396908897632313688378384828021827660269172570132092389857972724223028886705801613319180615909482454420735123889936403252038304491974023721479965420911999/3912795246246727840734130024910592474912172429646764193866392221122230079081048292004996191858774347688150412023594863086715887019330544357492933610058548027659510486282388605224879050050680458082967467688022898827345981571187040983814882095021889983596992463334903616154558036893140565084121765657403274592110202330055398833729685913073889250728303570644569856125241273634239743020051952557040069158176002000000000000000000000000", + "alpha_below_one": "3906249999999999999999998050147623123363920367065012455296237456086214823382096933196110561115039540524146002498095929387173844075206011797431543357943509665272178746466805029274013829755243141194302612439525025340229041483733844011449413672990785593520491907441047510944991798496231667451808077279018446570282542060882828701637296055101165027699416864842956536944625364151785322284928062620636817119871510025976278520034579088001/3912795246246727840734130024910592474912172429646764193866392221122230079081048292004996191858774347688150412023594863086715887019330544357492933610058548027659510486282388605224879050050680458082967467688022898827345981571187040983814882095021889983596992463334903616154558036893140565084121765657403274592110202330055398833729685913073889250728303570644569856125241273634239743020051952557040069158176002000000000000000000000000", + "alpha_below_one_fourth": "971653565314954119449400531464678767179791044829939309896443290244542264071310714192363417220958779758033193480399782072136928810708103529311843150399598644527545881755013575355354542217232797632077011673507851219719555305343563273588252101724368105822747559939869798829073270826376243638716753035965990626199890313341279576340031620295748089653189186859529144850694408926105515019889098202856765251239508525976278520034579088001/3912795246246727840734130024910592474912172429646764193866392221122230079081048292004996191858774347688150412023594863086715887019330544357492933610058548027659510486282388605224879050050680458082967467688022898827345981571187040983814882095021889983596992463334903616154558036893140565084121765657403274592110202330055398833729685913073889250728303570644569856125241273634239743020051952557040069158176002000000000000000000000000", + "delta_positive": "1/8000000000000000000000000", + "delta_below_one_eighth": "999999999999999999999999/8000000000000000000000000", + "short_record_fallback": "7616589427050144533623053624786070351377371351329268223154678255749564445076656347453374269184036370790620596778121660733188304794138968032434962596392609331947093269901394637256538757669176045860817898099797045353105322289406716826185636775158447180834565981561011677403018078599561755295820741941072072091705482951496076649705177839739313958358691920209771862699389132687356309995912912479571721278917886730144874268264725854577743028673653317309980504158107826243607494675469352938674402816255367246117103510145192328015407046932382228717184234318350099256470565790803743694963135488911100077168647418082886848874383390667048943646831368527540162101650550109978605344647197154921437273012930527849721614024370636992514806387876913197631151940289789861066453462264327790366980902176001/7642178215325640313933847704903500927562836776653836316145297306879355623205172445322258187224168647828418773483583716966241966834629969448228385957145601616522481418520290244579841894630235269693295835328169724272160120256224689421513441591839628874212875904950983625301871165806915166179925323549615770687715238925889450847128292798972439942828717911415175500244611862566874498086038969837968885074562503906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "small_field_exposure": "1/1000000000000000000000000", + "artificial_boundary": "109584447879895290903492182291331828567281278849891491569613263444170007000739836143748209822825897747593251192249323406936429916844195454832068505595704065880920871800436850455018171090887504082237866803335307838495758534729186843516424468059672836255665234549040058249780832576069193085047320732873960126658374100744421248784261837383667951106403964855155105006841596848751027743496446669687192664421246594077928835560103737264003/15651180984986911362936520099642369899648689718587056775465568884488920316324193168019984767435097390752601648094379452346863548077322177429971734440234192110638041945129554420899516200202721832331869870752091595309383926284748163935259528380087559934387969853339614464618232147572562260336487062629613098368440809320221595334918743652295557002913214282578279424500965094536958972080207810228160276632704008000000000000000000000000", + "literal_scalar_guard": "1", + "row_product_gap": "23971789/25", + "balanced_prefix_above_kappa": "409610225286144675914381017944938397553828601292347206072484301432624738909979803803654670638490716342966403616174460664769604300481821963651004742256633389032026914393411638464147374392862374811795969436342866253167198267292837305676726624433806322957250678186460685794509815735651911355022255519221980892215670928767848432118735243502639243671879169712500692985012308112750212754284309150727179795576581/978198811561681960183532506227648118728043107411691048466598055280557519770262073001249047964693586922037603005898715771678971754832636089373233402514637006914877621570597151306219762512670114520741866922005724706836495392796760245953720523755472495899248115833725904038639509223285141271030441414350818648027550582513849708432421478268472312682075892661142464031310318408559935755012988139260017289544000500000000000000000", + "coordinate_movement_above_kappa": "10948758044879796630038001084968367853897906840196036328956830025892761440364662909851910559870568879737843298684206457024778806230954861346524108105640121420208975436821436159292891098408956610340006608681024163894791867054201176930422811473717705394817195749239101993447682774956582599969644298640142023367529994687431009969959808949240103165590584489474023721479965420911999/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_phase_layer_above_kappa": "819218494174666228464841668824864339811419746498479588762871669669138916704920067083163338778885503298758963157142909532107665243020134262029830738046461748790039999031580135733992136346199724283362897388951888494884982861594889017832961341426565134969509557876689704137211554192285376139761968977561133082794045802434531836538053622162321950399132975273216063685096553604863608388697108275478081071118582911999/1956397623123363920367065012455296237456086214823382096933196110561115039540524146002498095929387173844075206011797431543357943509665272178746466805029274013829755243141194302612439525025340229041483733844011449413672990785593520491907441047510944991798496231667451808077279018446570282542060882828701637296055101165027699416864842956536944625364151785322284928062620636817119871510025976278520034579088001000000000000000000000000", + "bulk_exposure_above_kappa": "10948758044879796630038001084968367853897906840196036328956830025892761440364662909851910559870568879737843298684206457024778806230954861346524108105640121420208975436821436159292891098408956610340006608681024163894791867054201176930422811473717705394817195749239101993447682774956582599969644298640142023367529994687431009969959808949240103165590584489474023721479965420911999/3906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "Gaussian_arithmetic_above_kappa": "1310750764518039839562098890358790416876014068049296236049852831388288603396895831647548943545074362910318647496552262329831190403598320618411036428754421815628472296303674101890968985617634574057518060712563327998685620782346293784645033290747132722518210371700442527090623333075067669765788675600627510153452850916955949955080535914365489042805387978928216895267111323340163863693838279256350696825810480111999/3130236196997382272587304019928473979929737943717411355093113776897784063264838633603996953487019478150520329618875890469372709615464435485994346888046838422127608389025910884179903240040544366466373974150418319061876785256949632787051905676017511986877593970667922892923646429514512452067297412525922619673688161864044319066983748730459111400582642856515655884900193018907391794416041562045632055326540801600000000000000000000000", + "scalar_work_above_kappa": "6553761648180691691266175920054001905565020164591340473777651889725885261444637320334328727717755532100288613783585358838882125449765641753143897129639329195238416800539343074232055377846272971648506469497752016039225758603694611297307134083499853656371019052487139305260348974491412135110073546246668865573813438805184409886200347031199271361805441351248225765475268867183366586948677436385658598209190716911999/15651180984986911362936520099642369899648689718587056775465568884488920316324193168019984767435097390752601648094379452346863548077322177429971734440234192110638041945129554420899516200202721832331869870752091595309383926284748163935259528380087559934387969853339614464618232147572562260336487062629613098368440809320221595334918743652295557002913214282578279424500965094536958972080207810228160276632704008000000000000000000000000", + "dimension_above_kappa": "974926188438318040226075765933496557186337910533247349087230546011789686302222228431375690945286216881617067632592000571287431861341824575396370897967184956736127120686036237725807151880741523943405507470856650104959474043546106007213477743537364809777478508600080418918611168963175544523479374321301092706994704936708131183783249450499376119436659350841496779640568851303940757229999319973490195464740308650727179795576581/978198811561681960183532506227648118728043107411691048466598055280557519770262073001249047964693586922037603005898715771678971754832636089373233402514637006914877621570597151306219762512670114520741866922005724706836495392796760245953720523755472495899248115833725904038639509223285141271030441414350818648027550582513849708432421478268472312682075892661142464031310318408559935755012988139260017289544000500000000000000000" + }, + "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.849704E-12", + "template_sha256": "9b123811f22660bfb0515bbe2aa0bbd10547ce5f80e0254e361f81fe5ce70411", + "input_sha256": { + "owner_audit": "a574b33fb253fb0186ab93ba179a1c3cc647fb55825c8bdf86d8e37985ca67ba", + "fresh_invoice": "36cc1e687415c4f0218defae183a4ed9c0e66440e7d489e6152276fb3277125a", + "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": "1675583042021589509879/1000000000000000000000000", + "accept": true, + "mercator": [ + "-48274022729490324619644841107464165856777071/26959946667150639794667015087019630673637144422540572481103610249216", + "-48274022729490324619644841107464165856777069/26959946667150639794667015087019630673637144422540572481103610249216" + ], + "base_two": [ + "-223823/125000000000000000000000000000", + "-1790583/1000000000000000000000000000000" + ] + }, + { + "side": "complex", + "surcharge": false, + "endpoint": "41889576050539737747/25000000000000000000000", + "accept": false, + "mercator": [ + "15342159792888660971095524536516331677126831/13479973333575319897333507543509815336818572211270286240551805124608", + "958884987055541310693470283532270729820427/842498333348457493583344221469363458551160763204392890034487820288" + ], + "base_two": [ + "35567/31250000000000000000000000000", + "227629/200000000000000000000000000000" + ] + } + ], + "bootstrap": [ + { + "exponent": "1672839906247117032212111174781705652197875963921305190701016123686464964846149227184561405359/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "2743135774472477666886149635252326212614157078694809298983876313535035153850772815438594641/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "4784184203255" + }, + { + "exponent": "1675578445669803841035966063855151359842039814777713108535404987773892906298866056257779896483188886218745047740490334158362374104719745958439/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "4596351785668843031260561806618568450306222286891464595012226107093701133943742220103516811113781254952259509665841637625895280254041561/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "1704025070331272787" + }, + { + "exponent": "1675583034320020402646632331192840252522526159611617042551309550841415807839052317268285377488365706222525389036770626976833110083765188241737746163723980746049858805856834072665910886081119/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "7701569107232364993224117725887963961388382957448690449158584192160947682731714622511634293777474610963229373023166889916234811758262253836276019253950141194143165927334089113918881/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "606937633869194227676844" + }, + { + "exponent": "1675583042008684891285961420978432828095398598604954797277994223397053464121815553270625450020326507981914648956390415530563701649846724567969853665272223799803045061316280834647152233480048260128760838413937714047679680274420037754125399/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "12904618593035903438525150315091522395045202722005776602946535878184446729374549979673492018085351043609584469436298350153275432030146334727776200196954938683719165352847766519951739871239161586062285952320319725579962245874601/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "216178328488513415329421557417" + }, + { + "exponent": "1675583042021567887118919076953468637137941143630878348332976475293800806915909002794003130999436849703970561202495392141705145805890371279666231245739166908319921147766562264204766469279425405598799331516684967539240674516632870983699556353759009042331498382471164058027998725284683279/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "21622760078247463489341272548977369121651667023524706199193084090997205996869000563150296029438797504607858294854194109628720333768754260833091680078852233437735795233530720574594401200668483315032460759325483367129016300443646240990957668501617528835941972001274715316721/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "76998141324944454251901107420946281" + }, + { + "exponent": "1675583042021589473648267215604090283835593514713767703418637198579067760387067607770786304101728241561159985226293659382728471835148956021300264027989746944325067692566385902445869131115349782217099722464651916768581401718421279043825397021336316209162235309780763457803481284087933498037428666613888289180500588628512205260643386759/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "36230730108812867694574896606286232296581362801420932239612932392229213695898271758438840014773706340617271528164851043978699735972010253055674932307433614097554130868884650217782900277535348083231418598281578720956174602978663683790837764690219236542196518715912066501962571333386111710819499411371487794739356613241/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "27425106896462749407217497603214693478437" + }, + { + "exponent": "1675583042021589509818289727446570118844463287633876173081515994332847650982483345300492794355332513440535245802676046907810152482585926275038144594545832689416796335281032652918923311597290108164942629699756900301465264128480177667061313414147471307932558053259730580491999119298739142022755308754311966605873094205982350477731956304821583773716209090530946061625522953670551707839/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "gap": "60707596970387859566026833366123826918484005667152349017516654699507205644667486559464754197323953092189847517414073724961855405454167310583203664718967347081076688402709891835057370300243099698534735871519822332938686585852528692067441946740269419508000880701260857977244691245688033394126905794017649522268043695178416226283790909469053938374477046329448292161/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "cutoff_log2": "9768242133381798785272495833638338234663178175" + } + ], + "outer": { + "bit_positive": "1675583042021589509818289727446570118844463287633876173081515994332847650982483345300492794355332513440535245802676046907810152482585926275038144594545832689416796335281032652918923311597290108164942629699756900301465264128480177667061313414147471307932558053259730580491999119298739142022755308754311966605873094205982350477731956304821583773716209090530946061625522953670551707839/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "complex_above_bit": "60710272553429881155536712366123826918484005667152349017516654699507205644667486559464754197323953092189847517414073724961855405454167310583203664718967347081076688402709891835057370300243099698534735871519822332938686585852528692067441946740269419508000880701260857977244691245688033394126905794017649522268043695178416226283790909469053938374477046329448292161/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "complex_below_one_over32": "29574416957978410490121/1000000000000000000000000", + "beta_positive": "1/1000000000000000000000000", + "beta_below_one": "999999999999999999999999/1000000000000000000000000", + "leaf_saving_above_bit": "60708596970387859566026833366123826918484005667152349017516654699507205644667486559464754197323953092189847517414073724961855405454167310583203664718967347081076688402709891835057370300243099698534735871519822332938686585852528692067441946740269419508000880701260857977244691245688033394126905794017649522268043695178416226283790909469053938374477046329448292161/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_positive": "837791521010794754909143188140243037832721825527210639970639152703136191615068591134252064330015274236922322408543668121391635706047160461472164487120433758782123129495921780626772239002309773049818395926566852860624467121610389076630355241809607173788611965316451142774691627091316311280797162378036684563794524347682420926899372279316585904507626813309168209228987760626185322973438374477046329448292161/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_internal": "1675583042021589509818289727446570118844463287633876173081515994332847650982483345300492794355332513440535245802676046907810152482585926275038144594545832689416796335281032652918923311597290108164942629699756900301465264128480177667061313414147471307932558053259730580491999119298739142022755308754311966605873094205982350477731956304821583773716209090530946061625522953670551707839/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_leaf": "30355974068235951372523234972789360029360847296863808384931408865747935669984725763077677591456331878608364293952839538527835512879566241217876870504078219373227760997690226950181604073433147139375532878389610923369644758190392826211388034683548857225308372908683688719202837621963315436205475652317579073100627720683414095492373186690831790771012239373814677026561625522953670551707839/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "c_positive": "837791521010794754909268188140243037832721825527210639970639152703136191615068591134252064330015274236922322408543668121391635706047160461472164487120433758782123129495921780626772239002309773049818395926566852860624467121610389076630355241809607173788611965316451142774691627091316311280797162378036684563794524347682420926899372279316585904507626813309168209228987760626185322973438374477046329448292161/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "c_below_one": "499162208478989205245090731811859756962167278174472789360029360847296863808384931408865747935669984725763077677591456331878608364293952839538527835512879566241217876870504078219373227760997690226950181604073433147139375532878389610923369644758190392826211388034683548857225308372908683688719202837621963315436205475652317579073100627720683414095492373186690831790771012239373814677026561625522953670551707839/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "q_below_reservations": "1/4000000000000000000000000", + "lambda_above_tau": "1675583042021589509818289727446570118844463287633876173081515994332847650982483345300492794355332513440535245802676046907810152482585926275038144594545832689416796335281032652918923311597290108164942629699756900301465264128480177667061313414147471307932558053259730580491999119298739142022755308754311966605873094205982350477731956304821583773716209090530946061625522953670551707839/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_above_sigma": "60711948136471902745046530655851273488602850130439982893689736215501538492318469042810054690118308424703288052659876401008763215606649896509478702863561892913766105199045172867710289223554696988642900814149522089838988051116657172245109008053683566979308813259314117707825183244807332133268928549326403834234649568272622208634268641425358759958250762538538823107061625522953670551707839/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_above_internal": "1675583042021589509818289727446570118844463287633876173081515994332847650982483345300492794355332513440535245802676046907810152482585926275038144594545832689416796335281032652918923311597290108164942629699756900301465264128480177667061313414147471307932558053259730580491999119298739142022755308754311966605873094205982350477731956304821583773716209090530946061625522953670551707839/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "lambda_prime_above_lambda": "1675583042021589509818289727446570118844463287633876173081515994332847650982483345300492794355332513440535245802676046907810152482585926275038144594545832689416796335281032652918923311597290108164942629699756900301465264128480177667061313414147471307932558053259730580491999119298739142022755308754311966605873094205982350477731956304821583773716209090530946061625522953670551707839/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_leaf": "30355974068235951372523234972789360029360847296863808384931408865747935669984725763077677591456331878608364293952839538527835512879566241217876870504078219373227760997690226950181604073433147139375532878389610923369644758190392826211388034683548857225308372908683688719202837621963315436205475652317579073100627720683414095492373186690831790771012239373814677026561625522953670551707839/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_reservations": "1/4000000000000000000000000", + "lambda_prime_below_one": "837791521010794754909143188140243037832721825527210639970639152703136191615068591134252064330015274236922322408543668121391635706047160461472164487120433758782123129495921780626772239002309773049818395926566852860624467121610389076630355241809607173788611965316451142774691627091316311280797162378036684563794524347682420926899372279316585904507626813309168209228987760626185322973438374477046329448292161/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "epsilon_positive": "499999999999999999999999500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/500837791521010794754909143188140243037832721825527210639970639152703136191615068591134252064330015274236922322408543668121391635706047160461472164487120433758782123129495921780626772239002309773049818395926566852860624467121610389076630355241809607173788611965316451142774691627091316311280797162378036684563794524347682420926899372279316585904507626813309168209228987760626185322973438374477046329448292161", + "epsilon_below_one": "837791521010794754909643188140243037832721825527210639970639152703136191615068591134252064330015274236922322408543668121391635706047160461472164487120433758782123129495921780626772239002309773049818395926566852860624467121610389076630355241809607173788611965316451142774691627091316311280797162378036684563794524347682420926899372279316585904507626813309168209228987760626185322973438374477046329448292161/500837791521010794754909143188140243037832721825527210639970639152703136191615068591134252064330015274236922322408543668121391635706047160461472164487120433758782123129495921780626772239002309773049818395926566852860624467121610389076630355241809607173788611965316451142774691627091316311280797162378036684563794524347682420926899372279316585904507626813309168209228987760626185322973438374477046329448292161", + "guard_width": "837791521010794754909643188140243037832721825527210639970639152703136191615068591134252064330015274236922322408543668121391635706047160461472164487120433758782123129495921780626772239002309773049818395926566852860624467121610389076630355241809607173788611965316451142774691627091316311280797162378036684563794524347682420926899372279316585904507626813309168209228987760626185322973438374477046329448292161/500837791521010794754909143188140243037832721825527210639970639152703136191615068591134252064330015274236922322408543668121391635706047160461472164487120433758782123129495921780626772239002309773049818395926566852860624467121610389076630355241809607173788611965316451142774691627091316311280797162378036684563794524347682420926899372279316585904507626813309168209228987760626185322973438374477046329448292161", + "K_geometry": "375837791521010794754909268188140243037832721825527210639970639152703136191615068591134252064330015274236922322408543668121391635706047160461472164487120433758782123129495921780626772239002309773049818395926566852860624467121610389076630355241809607173788611965316451142774691627091316311280797162378036684563794524347682420926899372279316585904507626813309168209228987760626185322973438374477046329448292161/500837791521010794754909143188140243037832721825527210639970639152703136191615068591134252064330015274236922322408543668121391635706047160461472164487120433758782123129495921780626772239002309773049818395926566852860624467121610389076630355241809607173788611965316451142774691627091316311280797162378036684563794524347682420926899372279316585904507626813309168209228987760626185322973438374477046329448292161000000000000000000000000", + "K_dominates_log": "837791521010794754909267350348722027037966916259022499727601319981310664404428620495099361193823659168331188156479338106117398783724751917804043095484727711621661657331434660193013456879180277128037769154327850550851417303214462509777494617342485563399535334961209333167517838479350994829654387686409593247483243550520042890214808484792238222086699913936888892643083252999372013805229145489285703262969187561625522953670551707839/500837791521010794754909143188140243037832721825527210639970639152703136191615068591134252064330015274236922322408543668121391635706047160461472164487120433758782123129495921780626772239002309773049818395926566852860624467121610389076630355241809607173788611965316451142774691627091316311280797162378036684563794524347682420926899372279316585904507626813309168209228987760626185322973438374477046329448292161000000000000000000000000", + "record_suffix": "837791521010794754909643188140243037832721825527210639970639152703136191615068591134252064330015274236922322408543668121391635706047160461472164487120433758782123129495921780626772239002309773049818395926566852860624467121610389076630355241809607173788611965316451142774691627091316311280797162378036684563794524347682420926899372279316585904507626813309168209228987760626185322973438374477046329448292161/500837791521010794754909143188140243037832721825527210639970639152703136191615068591134252064330015274236922322408543668121391635706047160461472164487120433758782123129495921780626772239002309773049818395926566852860624467121610389076630355241809607173788611965316451142774691627091316311280797162378036684563794524347682420926899372279316585904507626813309168209228987760626185322973438374477046329448292161", + "phase_local": "6702332168086358039276644667330423291867019695074496979522075388903264005709908758434863811503930578826787445016285014955858848726054875148109194505327764023096523563802887124580419129895348688476766540640295820575222687154487186046189981310009735779919819092176367332590359228118565173795234524332666385194044913984296989378510414440008339553640087607101066357245997577382669274619297766828610009401014314561625522953670551707839/4006702332168086358039273145505121944302661774604217685119765113221625089532920548729074016514640122193895378579268349344971133085648377283691777315896963470070256985035967374245014177912018478184398547167412534822884995736972883112613042841934476857390308895722531609142197533016730530490246377299024293476510356194781459367415194978234532687236061014506473345673831902085009482583787506995816370635586337288000000000000000000000000", + "phase_boundary": "1340466433617271607854928263232867849737600011700348883709984811603192379373469775175650599791832823710484581601605538978952380207353048194687341787756987966890935535028987728569076800280566140957928806710267962267226097576180695955755707762428249867672702514151080018832332814734140781598132685113231603985759958159129495446354431852382189764791276001922389818180475909375083207589292170175513500931944484161625522953670551707839/801340466433617271607854629101024388860532354920843537023953022644325017906584109745814803302928024438779075715853669868994226617129675456738355463179392694014051397007193474849002835582403695636879709433482506964576999147394576622522608568386895371478061779144506321828439506603346106098049275459804858695302071238956291873483038995646906537447212202901294669134766380417001896516757501399163274127117267457600000000000000000000000", + "gamma_sublinear": "1/2000000000000000000000000", + "cell_above_band": "999999999999999999999998499162208478989205245090856811859756962167278174472789360029360847296863808384931408865747935669984725763077677591456331878608364293952839538527835512879566241217876870504078219373227760997690226950181604073433147139375532878389610923369644758190392826211388034683548857225308372908683688719202837621963315436205475652317579073100627720683414095492373186690831790771012239373814677026561625522953670551707839/2003351166084043179019636572752560972151330887302108842559882556610812544766460274364537008257320061096947689289634174672485566542824188641845888657948481735035128492517983687122507088956009239092199273583706267411442497868486441556306521420967238428695154447861265804571098766508365265245123188649512146738255178097390729683707597489117266343618030507253236672836915951042504741291893753497908185317793168644000000000000000000000000", + "prime_interval_packing": "837791521010794754909643188140243037832721825527210639970639152703136191615068591134252064330015274236922322408543668121391635706047160461472164487120433758782123129495921780626772239002309773049818395926566852860624467121610389076630355241809607173788611965316451142774691627091316311280797162378036684563794524347682420926899372279316585904507626813309168209228987760626185322973438374477046329448292161/500837791521010794754909143188140243037832721825527210639970639152703136191615068591134252064330015274236922322408543668121391635706047160461472164487120433758782123129495921780626772239002309773049818395926566852860624467121610389076630355241809607173788611965316451142774691627091316311280797162378036684563794524347682420926899372279316585904507626813309168209228987760626185322973438374477046329448292161", + "alpha_positive": "1675583042021589509818785538488965064870688741911233139698240472684446856019497211629351425523838933405253510565023006227509034489771912379276207582605161470403784786827356440819785695881490050177856165080894703411475884424824851586407849859152092737188147300277660475942209465570667306110451550064446277811277767898202463817114180764108824126594326727246057101872071013625557336778667519966332032711261348561625522953670551707839/1001675583042021589509818286376280486075665443651054421279941278305406272383230137182268504128660030548473844644817087336242783271412094320922944328974240867517564246258991843561253544478004619546099636791853133705721248934243220778153260710483619214347577223930632902285549383254182632622561594324756073369127589048695364841853798744558633171809015253626618336418457975521252370645946876748954092658896584322000000000000000000000000", + "alpha_below_one": "999999999999999999999999500837791521010794754909143188140243037832721825527210639970639152703136191615068591134252064330015274236922322408543668121391635706047160461472164487120433758782123129495921780626772239002309773049818395926566852860624467121610389076630355241809607173788611965316451142774691627091316311280797162378036684563794524347682420926899372279316585904507626813309168209228987760626185322973438374477046329448292161/1001675583042021589509818286376280486075665443651054421279941278305406272383230137182268504128660030548473844644817087336242783271412094320922944328974240867517564246258991843561253544478004619546099636791853133705721248934243220778153260710483619214347577223930632902285549383254182632622561594324756073369127589048695364841853798744558633171809015253626618336418457975521252370645946876748954092658896584322000000000000000000000000", + "alpha_below_one_fourth": "248743312718483807867635786055581156454045672170852372180287079103667121239788037083937774606641168703713207650639248827833186783363251667851459874660955055408987276777920604449493600423619664836347053032882388723018836349135980342951907327761752710849706158682380565095445136347974990849529947031124572064470619494275638746646335505375549468825659486679408527002742422866687535324708051667272191132012884731938374477046329448292161/1001675583042021589509818286376280486075665443651054421279941278305406272383230137182268504128660030548473844644817087336242783271412094320922944328974240867517564246258991843561253544478004619546099636791853133705721248934243220778153260710483619214347577223930632902285549383254182632622561594324756073369127589048695364841853798744558633171809015253626618336418457975521252370645946876748954092658896584322000000000000000000000000", + "delta_positive": "1/8000000000000000000000000", + "delta_below_one_eighth": "999999999999999999999999/8000000000000000000000000", + "short_record_fallback": "499160804689723850083191818287262074099421622331624792452062658643676498095838136355690908477147492821266235754327982446632224935208160284607543444879992963419865666887555294611598285107030814319080996507946182515656552023392490202362394545402334233688034544759518794652596040822200820088015323292579057312471799475375260531131827721778539141239845450281063601796509925559123797418639462158214815529044483702601682232483288262212472679985288737902636322059169385858983442582538115129227603044243169572338776689608917670872267766942093872794094812770856246046571374264875141124667438696155726642626111074634041914883698794116803358574041978372012875913490419242561080600215764063331562538688546831004347252609828608640954368954044895670391522087237743731831020729585962160928650019799614049921/500837791521010794754909143188140243037832721825527210639970639152703136191615068591134252064330015274236922322408543668121391635706047160461472164487120433758782123129495921780626772239002309773049818395926566852860624467121610389076630355241809607173788611965316451142774691627091316311280797162378036684563794524347682420926899372279316585904507626813309168209228987760626185322973438374477046329448292161000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "small_field_exposure": "1/1000000000000000000000000", + "artificial_boundary": "28053618657344690864314190666554350117453678461561171045378850019271166192844996309744509590226529552396368802036902987749814887395953985495165222891350614878703537264704232455321414699642517213962953719219616995590009285045238252680604901317349216223953638395671318598566401785499680139871324446716269229086031783400643162073431613517259834540935750896749903603340412930202956300597804683653494246963246667224315123431138988344876483/4006702332168086358039273145505121944302661774604217685119765113221625089532920548729074016514640122193895378579268349344971133085648377283691777315896963470070256985035967374245014177912018478184398547167412534822884995736972883112613042841934476857390308895722531609142197533016730530490246377299024293476510356194781459367415194978234532687236061014506473345673831902085009482583787506995816370635586337288000000000000000000000000", + "literal_scalar_guard": "1", + "row_product_gap": "23971789/25", + "balanced_prefix_above_kappa": "217103901620555000685049439939356379602892175617454263450808432965737672601752781515164075406736521134359220705985824921091837607496057651333821033964853774086935353759745966458212102564319733632646839729138750923213246872324876077391904985251762092417564049391862866820081120380192663585224918083739006504695864289255691819965828631303570518365827896403754100300144914506030148074705683082895949315644688369/250418895760505397377454571594070121518916360912763605319985319576351568095807534295567126032165007637118461161204271834060695817853023580230736082243560216879391061564747960890313386119501154886524909197963283426430312233560805194538315177620904803586894305982658225571387345813545658155640398581189018342281897262173841210463449686139658292952253813406654584104614493880313092661486719187238523164724146080500000000000000000", + "coordinate_movement_above_kappa": "2802882069047509818289727446570118844463287633876173081515994332847650982483345300492794355332513440535245802676046907810152482585926275038144594545832689416796335281032652918923311597290108164942629699756900301465264128480177667061313414147471307932558053259730580491999119298739142022755308754311966605873094205982350477731956304821583773716209090530946061625522953670551707839/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "compact_phase_layer_above_kappa": "434207302403318480359304124969569571065541313402186701374406225960836192500369371415259559679220977938703167175049327433640007093600479596620481606457543061053436948737368803420502424501867228262983906408459105919859640884025285033173420893873168943025520924995113768323711097985693700079133524886680850631355044014716859292249236335707768757415069888299881387291121619783072535523226043192353524154243047289707839/500837791521010794754909143188140243037832721825527210639970639152703136191615068591134252064330015274236922322408543668121391635706047160461472164487120433758782123129495921780626772239002309773049818395926566852860624467121610389076630355241809607173788611965316451142774691627091316311280797162378036684563794524347682420926899372279316585904507626813309168209228987760626185322973438374477046329448292161000000000000000000000000", + "bulk_exposure_above_kappa": "2802882069047509818289727446570118844463287633876173081515994332847650982483345300492794355332513440535245802676046907810152482585926275038144594545832689416796335281032652918923311597290108164942629699756900301465264128480177667061313414147471307932558053259730580491999119298739142022755308754311966605873094205982350477731956304821583773716209090530946061625522953670551707839/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", + "Gaussian_arithmetic_above_kappa": "694731984347984481181363452896797226589011924143131817515376345519721399622472709233456450167304803299934232022232317338950212222595748778221066847215367589957759373249063963170356947579050908622160114083425607027715537130815136326043706876175283453926597784265349208507808442441924896381403426587167658436990081161823689476208230693272053379454063363984386307651295517190308713212872862891828663333016673332507839/801340466433617271607854629101024388860532354920843537023953022644325017906584109745814803302928024438779075715853669868994226617129675456738355463179392694014051397007193474849002835582403695636879709433482506964576999147394576622522608568386895371478061779144506321828439506603346106098049275459804858695302071238956291873483038995646906537447212202901294669134766380417001896516757501399163274127117267457600000000000000000000000", + "scalar_work_above_kappa": "3473661925091088489949996284120558885506031772046546389685724287481163608924908312627556615373532273819732257058850876328925733598545286715293976081965495898270531901373812333835471860402343499120039662616401618844845097096573550116660090687397838236871417616481193903804846783308390990272282378059026941697097144064296544771770837173957756014536660437952438791493150422867494608569105606352896814573268684455707839/4006702332168086358039273145505121944302661774604217685119765113221625089532920548729074016514640122193895378579268349344971133085648377283691777315896963470070256985035967374245014177912018478184398547167412534822884995736972883112613042841934476857390308895722531609142197533016730530490246377299024293476510356194781459367415194978234532687236061014506473345673831902085009482583787506995816370635586337288000000000000000000000000", + "dimension_above_kappa": "249581104239494602839648830026484879166133079026592774282906856041102695355000898670170546569587773878045614245532249300298524888132801340861101525252497434454429972400105813196621967640244811571687193366356450206216527495577945728674931694703971273805010679269103866846176703578317208664440721799003645242943020821565165294232414603116033527013574817896915934261213402523441007638658195318791624909981537002395949315644688369/250418895760505397377454571594070121518916360912763605319985319576351568095807534295567126032165007637118461161204271834060695817853023580230736082243560216879391061564747960890313386119501154886524909197963283426430312233560805194538315177620904803586894305982658225571387345813545658155640398581189018342281897262173841210463449686139658292952253813406654584104614493880313092661486719187238523164724146080500000000000000000" + }, + "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 all144 whole-owner dispatch with a two-copy remainder 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 T16 composition of the accepted PR799 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/demote635-t16/CLAIM.json b/research/demote635-t16/CLAIM.json new file mode 100644 index 0000000000..528eb210a2 --- /dev/null +++ b/research/demote635-t16/CLAIM.json @@ -0,0 +1,15 @@ +{ + "track": "complex supplier, continuation authorized after seed17 bit work", + "seed": 17, + "base": "2921874911956718fcaaaf9396fe8267b3cfa9f0", + "source": "589d1cedf5ef5f231182f4ec86408616311a8af0", + "object": "Reverse E5 to E4 promotion on helpers 635 637 638 639 at 109 calls, fill unit owner gaps through within-call permutations", + "method": "Restore 12 literal known pre-promotion gate frames; unchanged scalar construction; independently re-audit both words and mixed global admission", + "deliverable": "Conditional frontier improvement with exact reproducible certificate if verification succeeds", + "expected_finish": "Within 45 minutes of this local claim", + "at": "2026-10-13T18:07:52.559099+00:00", + "overlap": "PR664 introduced promotions; PR685 composed them; this reverses one group on new k8 T16 geometry and is distinct from PR1090 smaller ends. No pinned coordination issue.", + "result": "PASS_DEMOTE635_T16_COMPLETE_ADMISSION", + "kappa": "0.001672780159952542", + "completed_at_utc": "2026-10-13T18:22:43.591531+00:00" +} diff --git a/research/demote635-t16/NOTICE.md b/research/demote635-t16/NOTICE.md new file mode 100644 index 0000000000..ebd3806a7f --- /dev/null +++ b/research/demote635-t16/NOTICE.md @@ -0,0 +1,25 @@ +New material is licensed under Apache-2.0, as required by CONTRIBUTING.md. +Prepared for seslly / shipstuff with substantial OpenAI Codex assistance in +research, implementation, verification and writing. + +This contribution depends on Jeremy Kothe / jeremykothe2's PR1087 owner map +and seven-slot k8 package; the package discloses Claude assistance. Credit +PR664's entrance-promotion construction and PR685's composed promotion and +owner work, including chafreaky / Chafik Boukhalfa. The literal k8 word retains +ColdWitness / icekylinx PR1005, PR1018 including rohanarun PR987, NewBArch / +Jeremy Kothe PR869, and the PR799/741/685/645/635/589 lineage and all source +notices preserved in the pinned source packages. + +The independent owner checker is adapted from Hao Yan / FanPUYen's PR858 +indep16.py, through the existing mixed-provider adaptation for seslly. It +continues to reconstruct literal event windows, physical charts and the +invoice without importing the owner constructor or controller auditor. +The native word and phase checks use the pinned PR635 and retained main +sources without changing their mathematical predicates. All consumed source +packages retain their original licenses, contributor notices and AI disclosures. + +Alexander Schwartzman's PR1030, and its PR1090 composition, are credited as +concurrent work on narrower ends; they are not dependencies of this opposite +entrance change. Rohan Arun's PR1094 is a concurrent owner-only improvement +used for frontier comparison, not as a source. No exclusive priority is claimed +for general entrance tradeoffs, packing, frame lowering, or independent replay. diff --git a/research/demote635-t16/README.md b/research/demote635-t16/README.md new file mode 100644 index 0000000000..e8d1e7b8e0 --- /dev/null +++ b/research/demote635-t16/README.md @@ -0,0 +1,115 @@ +# Conditional κ = 0.001672780159952542 from four lower entrance frames + +The exact conditional certificate is **836390079976271 / 500000000000000000**. +It improves pinned PR1087's `0.001672654541898561` by +`125618053981 / 10^18`. The conservative certificate is +`0.001672780157102838`; the native complex lower endpoint is +`1675583042021589509879 / 10^24`. The retained PR589 bit supplier is unchanged +and freshly repriced. This is a finite conditional construction, not an +unconditional multiplication theorem or a claim of κ > 0.01. + +The change reverses one of the entrance promotions introduced by PR664 and +retained in the k8 construction. Helpers **635, 637, 638, 639** enter at +`span(298,170,102,30)` instead of `span(298,170,102,30,1)`; twelve phase-B +frames, at indices 372 through 383, decrease accordingly. Every scalar +instruction, source access, center, helper end and cleanup instruction is +unchanged. The new helper widths are five instead of four. + +A wider helper is useful here because PR1087 leaves many one-rank gaps next +to width-four roles. At each of 109 eligible complete calls, a deterministic +permutation of equal-width owner positions puts the four affected helpers in +four such gaps, and their increased widths fill those gaps. The permutation +stays within a call, preserving its occupied families and event windows. +Affected bins are repacked contiguously and checked in full. The other 35 +calls use the original word. There is no split helper or additional call. + +## Complete cost + +Writing H_r for a paid rank-r child, the local change per altered call is +`-8 H1 + 8 H2 + 4 H3 - 4 H4`, with rank mass +4. Filling four unit gaps +removes another `4 H1`. The global delta is therefore exactly +`109 * (-12 H1 + 8 H2 + 4 H3 - 4 H4)`, with zero change in total rank mass. +This is a change to the paid recursive profile, not merely an ADD/XOR count. +The exact moment engines price the literal aggregate rather than extrapolating +from a numerical local score. + +| Quantity | Certificate | +|---|---:| +| Complete calls / whole helper roles | 144 / 69,120 | +| Original / changed provider calls | 35 / 109 | +| Paid rank mass / deficit | 1,041,408 / 5,120 | +| Idle children | 1,844 H1 + 378 H3 + 6 H7 + 4,866 H48 | +| Exact prefix / charged prefix bits | 397 / 512 | +| Physical row coefficient / retained budget | 16,469 / 20,161 | + +The full global profile is +`348300 H1 + 61064 H2 + 63022 H3 + 20012 H4 + 11808 H5 + 6 H7 + 1152 H8 + 4866 H48`. +The unchanged controller checks source access, both orientations, wrappers, +restoration, charts, every recursive child, the finite invoice and all 47 +strict outer inequalities. No purported saving is credited outside that invoice. + +## Reproduce + +From a full repository checkout, with Python 3.12+ and Git: + +```sh +python3 -B research/demote635-t16/reproduce.py --out /tmp/demote635-fresh +``` + +The output directory must be new. Expected final line: + +```text +PASS_DEMOTE635_T16_COMPLETE_ADMISSION 0.001672780159952542 +``` + +The first run fetches missing immutable source commits. `--main /path/to/repo` +can supply the main dependency tree when this package is checked out sparsely. +No optimizer or third-party Python package is needed. `SOURCES.json` pins +base **2921874911956718fcaaaf9396fe8267b3cfa9f0**, PR1087 at +**589d1cedf5ef5f231182f4ec86408616311a8af0**, and the PR635 native verifier at +**a6895a69f8ad98ab45777b03e9e6f48888c39f6f**. The parent manifest and every +consumed main-file pin are checked. The literal baseline word is bound to +PR1087's construction payload hash. + +The command reconstructs the changed word and owner permutation, freshly +replays both 704-column scalar words in both orientations, both sets of +2,896 exact phase edges, wrappers and independent frame/cone audits, and then +replays the parent and mixed global admissions. It rejects 19 additional +frame/scalar/profile mutations, 23 controller mutations, 114 admission +mutations, 12 bit-supplier mutations and six independent owner mutations. +Each native word also carries its 25 native controls. Optimized Python is +rejected before any output is created. Regenerated containers are compared +through the inherited semantic identities; committed source containers retain +exact hashes. + +The portable command starts from the pinned literal word. It does not rerun +the historical k8 search/generator chain or the unchanged PR589 bit circuit. +Those are inherited evidence, not claimed as fresh work. The affected native +and global checks are fresh. This package changes no shared generator, +selected-frontier artifact or `upstream/` file; repository-wide historical +suites and hosted CI are separate from its scoped verification. + +## Scope, prior work and overlap + +PR664 established entrance promotion; PR685 and the subsequent k8 lineage +composed it with other changes. This contribution reverses one group against +the new T16 owner geometry. The older observation that promoting every group +can lose to packing costs is retained. The new evidence is the explicit +opposite transformation, within-call placement and admitted complete profile +on PR1087. It does not claim a new general optimization theorem. + +PR1090 independently constructs narrower k8 ends and explicitly reports a +smaller pending κ. Our saved earlier helper543 narrow-end experiment was +also superseded. Neither is a dependency of this word. PR1094's verified +`0.001672660197076918` and PR1107's reported fully replayed +`0.001672765980186726` were checked during preparation and are below this +result. `VALIDATION.json` records the final metadata refresh. Neither +concurrent owner map is consumed. Historical and bounded unsuccessful investigations are +summarized in `SEARCH.json`; none is an impossibility proof. + +All-size recursive compilation, common labels and mutable-source realization, +whole-call physical hosting, precision/tape accounting, exact recovery, +analytic transfer and PR589 bit assumptions H1–H5 remain inherited obligations. +The finite checks neither discharge these contracts nor constitute a full +Lean proof. Contributor credit and substantial AI assistance are disclosed in +`NOTICE.md`. diff --git a/research/demote635-t16/SEARCH.json b/research/demote635-t16/SEARCH.json new file mode 100644 index 0000000000..93538c655a --- /dev/null +++ b/research/demote635-t16/SEARCH.json @@ -0,0 +1,46 @@ +{ + "assignment_seed": 17, + "randomness": "OS-generated in the original sprint assignment; retained for this continuation", + "source_word_sha256": "c2b294300760e1fd6eeab8c22c4d13e4633dca40e52cac8da0d68163a76e3ca8", + "selection": "After negative fixed-cell searches and a superseded narrower-end contribution, test the opposite entrance/packing tradeoff. Helpers 635,637,638,639 are the first group in the source promotion frame recipe.", + "completed_coverage": [ + { + "object": "21-gate leaver cells on new k8 word", + "domain": "All 720 simultaneous S6 source/target relabelings in each of eight cells; fixed external frame boundaries", + "attempted": 5760, + "feasible": 5760, + "result": "No paid-profile improvement in this class", + "method": "Finite subspace-factor elimination with numerical nomination costs; no formal optimum theorem claimed", + "limits": "180 seconds per cell; 200000 assignments per separator; neither limit reached" + }, + { + "object": "Alternative pair-only 21-gate cell", + "domain": "All 720 permutations in cells 01+ and 23+ with fixed boundaries", + "result": "No feasible frame schedule in these boundary-restricted classes" + }, + { + "object": "Forward frame closure for cell 23+", + "domain": "720 original and 720 alternative pair-only permutations", + "result": "Original: 720 feasible, no improvement. Alternative: none feasible with fixed ends." + }, + { + "object": "Entrance promotions on new word", + "domain": "64 single rank-one promotions and same-cap groups/consecutive pairs, 96 distinct candidate sets", + "result": "96 forward-frame candidates; no profitable unmodified-owner placement on PR1087" + }, + { + "object": "One four-helper promotion plus local owner reassignment", + "domain": "24 seeded neighborhoods of 31 owner bins on PR1087, 15 second MILP limit each", + "result": "No complete-cost improvement found; time limits are not infeasibility proofs" + }, + { + "object": "Opposite entrance change selected here", + "domain": "Reverse one known four-helper promotion; inspect all 144 calls for four width-four roles in distinct one-rank-gap owner positions", + "attempted": 144, + "eligible": 109, + "result": "Literal recipe plus deterministic within-call permutations; exact native and complete assembly replay", + "stopping_rule": "Stop exploration and package the first fully admitted frontier improvement" + } + ], + "scope": "A finite search record, not an impossibility or global optimality claim. Earlier smaller-end evidence is retained on a separate local branch and is not submitted in this contribution." +} diff --git a/research/demote635-t16/SOURCES.json b/research/demote635-t16/SOURCES.json new file mode 100644 index 0000000000..97b0ad52d4 --- /dev/null +++ b/research/demote635-t16/SOURCES.json @@ -0,0 +1,12 @@ +{ + "base_commit": "2921874911956718fcaaaf9396fe8267b3cfa9f0", + "repository": "https://github.com/CrocSwap/integer-mult-bounds.git", + "parent_pr": 1087, + "parent_commit": "589d1cedf5ef5f231182f4ec86408616311a8af0", + "parent_package": "research/gauge44-slots-t16", + "parent_manifest_sha256": "fe55cb2812dc863a4bcd9e6083474f7aa986d2095ef66ae210ba85b251fe86c9", + "native_commit": "a6895a69f8ad98ab45777b03e9e6f48888c39f6f", + "native_package": "research/complex-571-cold14-st2", + "comparison_kappa": "0.001672654541898561", + "baseline_payload_sha256": "c2b294300760e1fd6eeab8c22c4d13e4633dca40e52cac8da0d68163a76e3ca8" +} diff --git a/research/demote635-t16/VALIDATION.json b/research/demote635-t16/VALIDATION.json new file mode 100644 index 0000000000..623e2edcd6 --- /dev/null +++ b/research/demote635-t16/VALIDATION.json @@ -0,0 +1,195 @@ +{ + "status": "PASS_DEMOTE635_T16_COMPLETE_ADMISSION", + "timestamp_utc": "2026-10-13T18:22:43.591531+00:00", + "python": "3.14.3", + "platform": "Linux-6.6.114.1-microsoft-standard-WSL2-x86_64-with-glibc2.39", + "command": "python3 -B research/demote635-t16/reproduce.py --out /tmp/demote635-fresh", + "expected_final_line": "PASS_DEMOTE635_T16_COMPLETE_ADMISSION 0.001672780159952542", + "base_commit": "2921874911956718fcaaaf9396fe8267b3cfa9f0", + "current_main_checked": "ba82555c64e1879e4b7decce28186f208fcb8262", + "selected_kappa": "0.001672188119205421", + "selected_certificate_sha256": "093f35445812ea96fe1bfe6a3af7d769cb7f274e08f4fb30f71a17ed1161e54e", + "strongest_pending_found": { + "pr": 1107, + "commit": "6123fc5d57db16aaa3e8a26b4a11a34b46c0c391", + "kappa": "0.001672765980186726", + "verification": "Reviewed published full-replay receipt and pinned body; not independently rerun here", + "body_sha256": "43e1cb33e7df0b27dbc218b05493ed0b8519f419ff8d1028d96ad9583291ef94" + }, + "original_parent_independently_replayed": "0.001672654541898561", + "new_kappa": "0.001672780159952542", + "certificate_sha256": "085240f74653f666483fc50e753e690076f3749652f527d797c74d7fb488f7fc", + "complete_replay": { + "status": "PASS_DEMOTE635_T16_COMPLETE_ADMISSION", + "kappa": "836390079976271/500000000000000000", + "kappa_decimal": "0.001672780159952542", + "comparison": "0.001672654541898561", + "parent_commit": "589d1cedf5ef5f231182f4ec86408616311a8af0", + "reused_native_receipts": false, + "historical_generators_rerun": false, + "stages": [ + { + "name": "baseline-native", + "exit_code": 0, + "seconds": 2.45564186014235, + "log_sha256": "d8e8e14dc7d129f750263432acd2e6d43660088cac4d28f3df74b961597689df" + }, + { + "name": "demote635-native", + "exit_code": 0, + "seconds": 2.47691666521132, + "log_sha256": "8fcd2b7099d241543612a9d56ea004c9e59365f200d22a4b78be4f94f2ae984f" + }, + { + "name": "demote635-ledgers", + "exit_code": 0, + "seconds": 1.6248648380860686, + "log_sha256": "b14de1fedfeb69b45c6fdb5f473b58db85c5717485ef9c22ca9a14d34920b1b7" + }, + { + "name": "baseline-ledgers", + "exit_code": 0, + "seconds": 1.6725955102592707, + "log_sha256": "b14de1fedfeb69b45c6fdb5f473b58db85c5717485ef9c22ca9a14d34920b1b7" + }, + { + "name": "baseline-replay", + "exit_code": 0, + "seconds": 10.468848366755992, + "log_sha256": "dd643a58258431c3b07d3b06d9060c49677fa23b4fafc9f10988ed1f6867bd9a" + }, + { + "name": "demote635-replay", + "exit_code": 0, + "seconds": 10.785172946751118, + "log_sha256": "dd643a58258431c3b07d3b06d9060c49677fa23b4fafc9f10988ed1f6867bd9a" + }, + { + "name": "baseline-wrappers", + "exit_code": 0, + "seconds": 3.5273831537924707, + "log_sha256": "74b13cf8570ca2f32ce0018575b1b73e95af77a28e59d09556fec59260bdbba5" + }, + { + "name": "demote635-wrappers", + "exit_code": 0, + "seconds": 3.502564233262092, + "log_sha256": "74b13cf8570ca2f32ce0018575b1b73e95af77a28e59d09556fec59260bdbba5" + }, + { + "name": "demote635-phases", + "exit_code": 0, + "seconds": 260.3493890450336, + "log_sha256": "7f2dfa39f76041c762082b1536632cf2a98d4d9fcd35b7ac842688d8466d3447" + }, + { + "name": "baseline-phases", + "exit_code": 0, + "seconds": 261.4879500339739, + "log_sha256": "4726249ba9f6f4749bc0801a05c6dc0d9ece8f0781bdbc52e2a48464d3d0a704" + }, + { + "name": "demote635-independent", + "exit_code": 0, + "seconds": 1.7449822002090514, + "log_sha256": "1bfd0f38e1074db33d40a9b5392f5703e3533b5d6fa52922fe363f1bbc2227fa" + }, + { + "name": "baseline-independent", + "exit_code": 0, + "seconds": 1.7277825130149722, + "log_sha256": "e1901fd65a13e3deb87a61c9d4e98ffdfdc01620cde7c62093b599bba0f8e996" + }, + { + "name": "frame-controls", + "exit_code": 0, + "seconds": 22.178192127961665, + "log_sha256": "7d95d5aef4bddd23970735a4484c2e7387d3feb74687cd15f944739583012f52" + }, + { + "name": "parent-global", + "exit_code": 0, + "seconds": 44.75049162795767, + "log_sha256": "61315b8cd591e8449f6b1cc9c9101f9f51365d55a87324fedeba9ecceae860d9" + }, + { + "name": "bind", + "exit_code": 0, + "seconds": 0.88689442910254, + "log_sha256": "71f679ce5a123fb58397fd6852ba64ce3832fd20e81a096bfda9a1cf3237237a" + }, + { + "name": "emit", + "exit_code": 0, + "seconds": 9.100694564171135, + "log_sha256": "1b8bb2c28631681d8851d15ad58c6b9d42ea6a9148ace1e8e993d5f723195fe4" + }, + { + "name": "audit", + "exit_code": 0, + "seconds": 38.69421512912959, + "log_sha256": "4466d5aba2f484e17a16a165f20a54d749faf2a62b93a9ba27c6b43d311e9c87" + }, + { + "name": "invoice", + "exit_code": 0, + "seconds": 2.490774909965694, + "log_sha256": "a170b499b4794548aa16135780aa9f8b0d30d350777c45be5eb5531f932f2b78" + }, + { + "name": "assembly", + "exit_code": 0, + "seconds": 0.6091321450658143, + "log_sha256": "bff551b9c7f2f51ebcf09c9596007208816caeb63caafd9a8d9cf7d823015ac3" + }, + { + "name": "ADMISSION-CONTROLS", + "exit_code": 0, + "seconds": 0.9283226630650461, + "log_sha256": "40f0c35552fb10f02288ae8d2c6b9f902050fb370c0a19b7b88c977d0d44dab1" + }, + { + "name": "BIT-CONTROLS", + "exit_code": 0, + "seconds": 1.2093602321110666, + "log_sha256": "d54d260bf95bd8ae4ab8846314082b93b2e3d8f427eb35376691f2ce543a6b67" + }, + { + "name": "independent-owners", + "exit_code": 0, + "seconds": 1.756557781714946, + "log_sha256": "9a822ed55b91969189acb1bb1bbdcebafc800855952fbd5e91c5d977c29cbbf9" + } + ], + "scope": "Exact finite words, phases, whole-owner geometry and invoices. PR589 bit circuit cited and repriced. Inherited uniform/compiler, realization/hosting, precision/tape and analytic obligations remain conditional." + }, + "additional_checks": { + "optimized_python_rejected_before_output": true, + "exact_global_profile_delta": { + "1": -1308, + "2": 872, + "3": 436, + "4": -436 + }, + "native_controls_per_word": 25, + "focused_controls": 19, + "controller_controls": 23, + "admission_controls": 114, + "bit_controls": 12, + "independent_owner_controls": 6, + "outer_strict_constraints": 47 + }, + "fresh_vs_prototype": { + "identical_mathematical_fields": true, + "different_provenance_hash_fields": [ + "template_sha256", + "input_sha256" + ], + "explanation": "Each run binds its own rebuilt template and input receipts; the public fresh-run certificate is retained." + }, + "reuse": { + "historical_k8_generator_chain": "Inherited source-pinned literal word; not rerun by portable command", + "unchanged_bit_circuit": "Inherited PR589 circuit; full supplier repricing and 12 controls freshly run" + }, + "scope": "Fresh finite certificate replay, not full all-size theorem formalization. No repository-wide suites or hosted CI claimed." +} diff --git a/research/demote635-t16/construct.py b/research/demote635-t16/construct.py new file mode 100644 index 0000000000..2217564d7f --- /dev/null +++ b/research/demote635-t16/construct.py @@ -0,0 +1,115 @@ +"""Reverse one entrance promotion and fill literal unit gaps; Apache-2.0. + +Prepared for seslly with substantial OpenAI Codex assistance. +No optimizer is needed to reconstruct this certificate. +""" +from collections import defaultdict +import copy +import gzip +import hashlib +import json +from pathlib import Path +import shutil + +if not __debug__: + raise RuntimeError('Assertions required; do not use -O') +HERE = Path(__file__).resolve().parent + + +def read(path): + raw = path.read_bytes() + return json.loads(gzip.decompress(raw) if path.suffix == '.gz' else raw) + + +def sha(path): + return hashlib.sha256(path.read_bytes()).hexdigest() + + +def dump(path, value): + path.write_text(json.dumps(value, sort_keys=True, separators=(',', ':'))+'\n') + + +def build_word(output): + recipe = read(HERE/'data/RECIPE.json') + raw = gzip.decompress((HERE/'data/BASELINE-WORD.json.gz').read_bytes()) + assert hashlib.sha256(raw).hexdigest() == recipe['input_sha256'] + word = json.loads(raw) + for helper, before, after in recipe['entrances']: + assert word['start_extra'][str(helper)] == before + word['start_extra'][str(helper)] = after + for section, index, before, after in recipe['frames']: + assert word[section][index][-1] == before + word[section][index][-1] = after + word['report'].update(local_profile=recipe['local_profile'], + local_rank_mass=sum(int(r)*n for r,n in recipe['local_profile'].items()), + width_inventory=recipe['width_inventory']) + raw = json.dumps(word, sort_keys=True, separators=(',', ':')).encode() + assert hashlib.sha256(raw).hexdigest() == recipe['output_sha256'] + output.write_bytes(gzip.compress(raw, mtime=0)) + + +def nominate(parent, output): + data = output/'data' + data.mkdir(parents=True) + original = read(parent/'data/OWNERS.json.gz') + owners = copy.deepcopy(original) + plan = read(parent/'data/PLAN.json') + recipe = read(HERE/'data/RECIPE.json') + banks, calls, eligible = defaultdict(list), defaultdict(dict), defaultdict(list) + def bank(z): return z['owner_replica'], z['child'], z['port'] + for i,z in enumerate(original): + banks[bank(z)].append(i) + calls[z['time']][z['helper']] = i + remaining = {k: plan['windows'][f'{k[0]},{k[1]}'][0] - + sum(original[i]['width'] for i in indices) for k,indices in banks.items()} + for i,z in enumerate(original): + if z['width'] == 4 and remaining[bank(z)] == 1: + eligible[z['time']].append(i) + times = [t for t in range(144) if len(eligible[t]) >= 4] + assert times == recipe['calls'], 'literal eligible calls' + fields = ('owner_replica','child','port','copy','family','offset') + for t in times: + source = [calls[t][h-224] for h,_,_ in recipe['entrances']] + destination = eligible[t][:4] + touched = set(source) | set(destination) + permutation = dict(zip(source,destination)) + permutation.update(zip(sorted(touched-set(source)), sorted(touched-set(destination)))) + assert set(permutation) == set(permutation.values()), 'within-call bijection' + for i,j in permutation.items(): + assert original[i]['width'] == original[j]['width'] == 4 + for field in fields: owners[i][field] = original[j][field] + for i in source: owners[i]['width'] = 5 + banks = defaultdict(list) + for i,z in enumerate(owners): banks[bank(z)].append(i) + for k,indices in banks.items(): + if all(owners[i] == original[i] for i in indices): continue + offset = 0 + for i in sorted(indices, key=lambda j:(owners[j]['time'],owners[j]['helper'])): + owners[i]['offset'] = offset + offset += owners[i]['width'] + assert offset <= plan['windows'][f'{k[0]},{k[1]}'][0], 'whole-bin capacity' + dump(data/'OWNERS.json',owners) + registry = read(HERE/'data/REGISTRY.json') + plan['provider_registry']['demote635'] = registry + for call in plan['provider_calls']: + if call['time'] in times: + call['provider'] = 'demote635' + call['local_program_sha256'] = registry['orientation_program_sha256'][call['orientation']] + for call in plan['per_call_widths']: + if plan['order'].index([call['stage'],call['replica']]) in times: + call['widths'] = registry['widths'] + spec = read(HERE/'data/SPEC.json') + plan.update(status='FROZEN_DEMOTE635_109_CALLS',mode='demote635', + profile=spec['expected']['global_profile'], + solver_status='within-call owner permutations filling four unit gaps',gap=None, + source_plan_sha256=sha(parent/'data/PLAN.json'), + source_owners_sha256=sha(parent/'data/OWNERS.json.gz'), + assignment_sha256=sha(data/'OWNERS.json'), + assignment_content_sha256=hashlib.sha256(json.dumps(owners,sort_keys=True,separators=(',',':')).encode()).hexdigest()) + dump(data/'PLAN.json',plan) + assert sha(data/'OWNERS.json') == spec['data']['owners_sha256'] + assert sha(data/'PLAN.json') == spec['data']['plan_sha256'] + shutil.copyfile(HERE/'data/SPEC.json',data/'SPEC.json') + pivot = Path(spec['pivot_swap']['recipe']) + (output/pivot).parent.mkdir(parents=True) + shutil.copyfile(parent/pivot,output/pivot) diff --git a/research/demote635-t16/controls.py b/research/demote635-t16/controls.py new file mode 100644 index 0000000000..066bd12ec8 --- /dev/null +++ b/research/demote635-t16/controls.py @@ -0,0 +1,71 @@ +"""Geometric and scalar failures, checked beyond construction hash pins. + +Apache-2.0; prepared for seslly with substantial OpenAI Codex assistance. +""" +import argparse +import contextlib +import copy +import gzip +import importlib.util +import io +import json +from pathlib import Path + +def read(path): + raw=path.read_bytes() + return json.loads(gzip.decompress(raw) if path.suffix == '.gz' else raw) + +if not __debug__: + raise RuntimeError('Assertions required; do not use -O') + + +def main(): + ap = argparse.ArgumentParser() + for name in ('source', 'word', 'out', 'main', 'recipe'): + ap.add_argument('--'+name, type=Path, required=True) + a = ap.parse_args() + loader = importlib.util.spec_from_file_location('independent_demotion_audit', a.source/'independent/audit_local.py') + audit = importlib.util.module_from_spec(loader) + loader.loader.exec_module(audit) + word = read(a.word) + recipe = read(a.recipe) + a.out.mkdir() + mutations = [] + for helper, before, after in recipe['entrances']: + bad = copy.deepcopy(word) + bad['start_extra'][str(helper)] = before + mutations.append((f'old-entrance-{helper}', bad, ('frame not monotone',))) + for section, index, before, after in recipe['frames']: + bad = copy.deepcopy(word) + bad[section][index][-1] = before + mutations.append((f'old-frame-{section}-{index}', bad, ('frame not monotone','paid profile mismatch'))) + bad = copy.deepcopy(word) + bad['start_extra']['635'] = [1,2,4,8] + mutations.append(('wrong-entrance-plane', bad, ('frame not monotone',))) + bad = copy.deepcopy(word) + bad['report']['local_profile']['1'] += 1 + mutations.append(('unpaid-profile', bad, ('paid profile mismatch',))) + bad = copy.deepcopy(word) + bad['B'][372][3] *= -1 + mutations.append(('wrong-scalar-sign', bad, ('nonzero entrance response',))) + rejected = [] + for name, bad, reason in mutations: + path = a.out/(name+'.json.gz') + path.write_bytes(gzip.compress(json.dumps(bad).encode(), mtime=0)) + try: + with contextlib.redirect_stdout(io.StringIO()): + audit.run(path, a.out/(name+'-unexpected.json'), a.main) + except RuntimeError as exc: + assert any(r in str(exc) for r in reason), (name, str(exc)) + rejected.append(dict(name=name, reason=str(exc))) + else: + raise AssertionError('Mutation accepted: '+name) + path.unlink() + assert len(rejected) == 19 + (a.out/'RESULT.json').write_text(json.dumps(dict(status='PASS_DEMOTE635_FOCUSED_CONTROLS', + rejected=rejected), indent=2)+'\n') + print('PASS_DEMOTE635_FOCUSED_CONTROLS', len(rejected)) + + +if __name__ == '__main__': + main() diff --git a/research/demote635-t16/data/BASELINE-WORD.json.gz b/research/demote635-t16/data/BASELINE-WORD.json.gz new file mode 100644 index 0000000000..95ca498fc2 Binary files /dev/null and b/research/demote635-t16/data/BASELINE-WORD.json.gz differ diff --git a/research/demote635-t16/data/RECIPE.json b/research/demote635-t16/data/RECIPE.json new file mode 100644 index 0000000000..56ebf163bf --- /dev/null +++ b/research/demote635-t16/data/RECIPE.json @@ -0,0 +1,402 @@ +{ + "input_sha256": "c2b294300760e1fd6eeab8c22c4d13e4633dca40e52cac8da0d68163a76e3ca8", + "output_sha256": "39797f5fd35206fd4586f972b05dac6c1317642c06d392fd48af7283ed569190", + "entrances": [ + [ + 635, + [ + 298, + 170, + 102, + 30, + 1 + ], + [ + 298, + 170, + 102, + 30 + ] + ], + [ + 637, + [ + 298, + 170, + 102, + 30, + 1 + ], + [ + 298, + 170, + 102, + 30 + ] + ], + [ + 638, + [ + 298, + 170, + 102, + 30, + 1 + ], + [ + 298, + 170, + 102, + 30 + ] + ], + [ + 639, + [ + 298, + 170, + 102, + 30, + 1 + ], + [ + 298, + 170, + 102, + 30 + ] + ] + ], + "frames": [ + [ + "B", + 372, + [ + 298, + 170, + 102, + 30, + 1 + ], + [ + 298, + 170, + 102, + 30 + ] + ], + [ + "B", + 373, + [ + 298, + 170, + 102, + 30, + 1 + ], + [ + 298, + 170, + 102, + 30 + ] + ], + [ + "B", + 374, + [ + 298, + 170, + 102, + 30, + 1 + ], + [ + 298, + 170, + 102, + 30 + ] + ], + [ + "B", + 375, + [ + 298, + 170, + 102, + 30, + 1 + ], + [ + 298, + 170, + 102, + 30 + ] + ], + [ + "B", + 376, + [ + 298, + 170, + 102, + 30, + 1 + ], + [ + 298, + 170, + 102, + 30 + ] + ], + [ + "B", + 377, + [ + 298, + 170, + 102, + 30, + 1 + ], + [ + 298, + 170, + 102, + 30 + ] + ], + [ + "B", + 378, + [ + 298, + 170, + 102, + 30, + 1 + ], + [ + 298, + 170, + 102, + 30 + ] + ], + [ + "B", + 379, + [ + 298, + 170, + 102, + 30, + 1 + ], + [ + 298, + 170, + 102, + 30 + ] + ], + [ + "B", + 380, + [ + 298, + 170, + 102, + 30, + 1 + ], + [ + 298, + 170, + 102, + 30 + ] + ], + [ + "B", + 381, + [ + 298, + 170, + 102, + 30, + 1 + ], + [ + 298, + 170, + 102, + 30 + ] + ], + [ + "B", + 382, + [ + 298, + 170, + 102, + 30, + 1 + ], + [ + 298, + 170, + 102, + 30 + ] + ], + [ + "B", + 383, + [ + 298, + 170, + 102, + 30, + 1 + ], + [ + 298, + 170, + 102, + 30 + ] + ] + ], + "local_profile": { + "1": 2404, + "2": 426, + "3": 436, + "4": 138, + "5": 82, + "8": 8 + }, + "width_inventory": { + "4": 52, + "5": 36, + "7": 30, + "8": 122, + "9": 240 + }, + "calls": [ + 0, + 6, + 7, + 8, + 9, + 10, + 14, + 15, + 16, + 17, + 18, + 19, + 20, + 21, + 22, + 23, + 24, + 25, + 26, + 27, + 28, + 29, + 30, + 31, + 32, + 33, + 34, + 35, + 36, + 37, + 38, + 39, + 40, + 41, + 43, + 44, + 45, + 46, + 47, + 48, + 49, + 50, + 51, + 52, + 53, + 54, + 55, + 56, + 57, + 58, + 59, + 60, + 61, + 62, + 63, + 64, + 65, + 66, + 69, + 70, + 72, + 76, + 77, + 78, + 80, + 81, + 82, + 83, + 84, + 86, + 87, + 88, + 90, + 91, + 92, + 93, + 96, + 98, + 100, + 101, + 102, + 103, + 106, + 108, + 109, + 110, + 111, + 114, + 115, + 116, + 117, + 118, + 119, + 120, + 121, + 122, + 123, + 125, + 126, + 127, + 128, + 129, + 132, + 133, + 134, + 136, + 137, + 138, + 139 + ] +} diff --git a/research/demote635-t16/data/REGISTRY.json b/research/demote635-t16/data/REGISTRY.json new file mode 100644 index 0000000000..b518a648f3 --- /dev/null +++ b/research/demote635-t16/data/REGISTRY.json @@ -0,0 +1,639 @@ +{ + "actual_paid_profile": { + "1": 2404, + "2": 426, + "3": 436, + "4": 138, + "5": 82, + "8": 8 + }, + "artifact_semantic_sha256": { + "CANONICAL-WORD.json.gz": "e33d8d0f3f5c3caace21cc034178e6a9b51bbce302a0a476397cf0868a883330", + "CLIFFORD-RECIPES.json": "fabe0b06c05014dc6c4b32dbebfc921880683ca78d3f3b1de01a465954bbca9f", + "CLIFFORD-REVIEW.json": "71b22b4bcc9b11e2f73433b80440636903642f94323fdc411f97c97232dd5ceb", + "INDEPENDENT-LOCAL-REPLAY.json": "cc5c6c7976afe60bae500948bd0129eefaac6c1780c8576c9af9672ddd6b7d73", + "LOCAL-CHECKS.json": "fa8012ba9922d600b50f2aa922c9d1d5298291e7253f4ce31607002a0898a8de", + "LOCAL-PROGRAMS.json.gz": "95b4b824cad700f58e06b1fcfdec7db76a7ba44724d0db25f9ab805ebf284450", + "RESIDUAL-ADAPTERS.json": "04744a113885a8f99e92c513a0fe11418b2dd80c4027cc4316484caa78e3f0d2" + }, + "artifact_sha256": { + "CANONICAL-WORD.json.gz": "13b59dcf319a43d4c5c01fdb321b3156b6122979d21a9cd9582263ca7a0e996b", + "CLIFFORD-RECIPES.json": "fabe0b06c05014dc6c4b32dbebfc921880683ca78d3f3b1de01a465954bbca9f", + "CLIFFORD-REVIEW.json": "f3d9db107e9e6d0a4686e758960d85348ebfee4d19732d6ee3906d6f69c71f88", + "INDEPENDENT-LOCAL-REPLAY.json": "1b8505908e45e5525c6e9eab6608364b959c5d5274186d58f6237ec54e8d304e", + "LOCAL-CHECKS.json": "14507eb2fd6d93bfa31dadad72cb27d6baea4fb23bf75fc8ae802c554921e43f", + "LOCAL-PROGRAMS.json.gz": "d4ca8ff5f3936fa751c51fcb97aadb7c8c2618be8a6152f741b9959b845fca38", + "RESIDUAL-ADAPTERS.json": "97eefe1050b3e2464dad10697dbefdea2ceeb0ba69e13eb92af4e9f4b82b95ef" + }, + "centers": [ + 92, + 57, + 81, + 224, + 11, + 240, + 9, + 256 + ], + "directory": "providers/demote635", + "orientation_program_sha256": { + "backward": "3d5aa446df31c39c961632a2d2776de745e1fa6d26b3821b77bf4d4826304851", + "forward": "6a54115bda570250418fb648712d80c7514170261616c60a3517f6ba0308c992" + }, + "ports": [ + 11, + 19, + 35, + 67, + 131, + 259, + 13, + 21, + 37, + 69, + 133, + 261, + 41, + 73, + 137, + 265, + 49, + 81, + 145, + 273, + 161, + 289, + 193, + 321, + 385, + 14, + 22, + 38, + 70, + 134, + 262, + 26, + 74, + 138, + 266, + 50, + 146, + 274, + 98, + 162, + 290, + 194, + 322, + 386, + 28, + 44, + 140, + 268, + 84, + 148, + 276, + 100, + 164, + 292, + 196, + 324, + 388, + 56, + 88, + 152, + 280, + 104, + 168, + 296, + 200, + 328, + 392, + 112, + 176, + 304, + 208, + 336, + 400, + 224, + 352, + 416, + 448, + 508, + 506, + 502, + 494, + 478, + 446, + 382, + 254, + 505, + 501, + 493, + 477, + 445, + 381, + 253, + 499, + 491, + 475, + 443, + 379, + 251, + 487, + 471, + 439, + 375, + 247, + 463, + 431, + 367, + 239, + 415, + 351, + 223, + 319, + 191 + ], + "widths": [ + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 4, + 9, + 4, + 9, + 4, + 9, + 9, + 9, + 9, + 4, + 9, + 9, + 9, + 9, + 9, + 9, + 4, + 9, + 4, + 9, + 4, + 9, + 9, + 9, + 9, + 4, + 9, + 9, + 9, + 9, + 9, + 9, + 4, + 9, + 4, + 9, + 4, + 9, + 8, + 9, + 9, + 4, + 9, + 9, + 9, + 9, + 9, + 9, + 4, + 9, + 4, + 9, + 4, + 9, + 8, + 9, + 9, + 4, + 9, + 9, + 9, + 9, + 9, + 9, + 4, + 9, + 4, + 9, + 4, + 9, + 9, + 9, + 9, + 4, + 9, + 9, + 9, + 9, + 9, + 9, + 4, + 9, + 4, + 9, + 4, + 9, + 9, + 9, + 9, + 4, + 9, + 9, + 9, + 9, + 9, + 9, + 4, + 9, + 4, + 9, + 4, + 9, + 9, + 9, + 9, + 4, + 9, + 9, + 9, + 9, + 9, + 9, + 4, + 9, + 4, + 9, + 4, + 9, + 9, + 9, + 9, + 4, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 7, + 7, + 7, + 7, + 7, + 7, + 7, + 7, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 8, + 8, + 8, + 8, + 8, + 8, + 9, + 9, + 9, + 9, + 9, + 9, + 7, + 7, + 8, + 8, + 8, + 8, + 9, + 9, + 9, + 9, + 9, + 9, + 8, + 8, + 8, + 9, + 8, + 8, + 9, + 9, + 9, + 9, + 8, + 9, + 7, + 7, + 8, + 9, + 8, + 8, + 9, + 9, + 9, + 9, + 8, + 9, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 9, + 7, + 7, + 7, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 9, + 7, + 8, + 8, + 9, + 9, + 9, + 9, + 8, + 8, + 8, + 8, + 7, + 7, + 7, + 7, + 9, + 8, + 9, + 8, + 8, + 8, + 8, + 8, + 7, + 7, + 9, + 8, + 9, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 7, + 7, + 7, + 7, + 7, + 7, + 7, + 7, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5, + 8, + 8, + 8, + 4, + 8, + 4, + 4, + 4, + 8, + 8, + 8, + 4, + 8, + 4, + 4, + 4, + 8, + 8, + 8, + 4, + 8, + 4, + 4, + 4, + 8, + 8, + 8, + 4, + 8, + 4, + 4, + 4, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5, + 8, + 8, + 8, + 4, + 8, + 4, + 4, + 4, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5 + ] +} diff --git a/research/demote635-t16/data/SPEC.json b/research/demote635-t16/data/SPEC.json new file mode 100644 index 0000000000..7cfaa9a769 --- /dev/null +++ b/research/demote635-t16/data/SPEC.json @@ -0,0 +1,2589 @@ +{ + "schema": "witness-spec/1", + "name": "demote635-109-calls", + "data": { + "plan_sha256": "f9347c64fa73033818aaae8ef1cb9838931d9ee87b42e5fb1300164da56662aa", + "owners_sha256": "c62240c99943735e3e35535e7ac95de2889c6da5da243c5e5871ed1716fdf365" + }, + "dispatch": [ + [ + 0, + 0, + "demote635" + ], + [ + 0, + 1, + "gauge44" + ], + [ + 0, + 2, + "demote635" + ], + [ + 0, + 3, + "gauge44" + ], + [ + 0, + 4, + "demote635" + ], + [ + 0, + 5, + "demote635" + ], + [ + 0, + 6, + "gauge44" + ], + [ + 0, + 7, + "demote635" + ], + [ + 0, + 8, + "gauge44" + ], + [ + 0, + 9, + "gauge44" + ], + [ + 0, + 10, + "demote635" + ], + [ + 0, + 11, + "gauge44" + ], + [ + 0, + 12, + "demote635" + ], + [ + 0, + 13, + "demote635" + ], + [ + 0, + 14, + "demote635" + ], + [ + 0, + 15, + "demote635" + ], + [ + 1, + 0, + "gauge44" + ], + [ + 1, + 1, + "demote635" + ], + [ + 1, + 2, + "demote635" + ], + [ + 1, + 3, + "demote635" + ], + [ + 1, + 4, + "demote635" + ], + [ + 1, + 5, + "demote635" + ], + [ + 1, + 6, + "demote635" + ], + [ + 1, + 7, + "demote635" + ], + [ + 1, + 8, + "gauge44" + ], + [ + 1, + 9, + "demote635" + ], + [ + 1, + 10, + "demote635" + ], + [ + 1, + 11, + "demote635" + ], + [ + 1, + 12, + "demote635" + ], + [ + 1, + 13, + "demote635" + ], + [ + 1, + 14, + "demote635" + ], + [ + 1, + 15, + "gauge44" + ], + [ + 2, + 0, + "demote635" + ], + [ + 2, + 1, + "demote635" + ], + [ + 2, + 2, + "demote635" + ], + [ + 2, + 3, + "demote635" + ], + [ + 2, + 4, + "demote635" + ], + [ + 2, + 5, + "demote635" + ], + [ + 2, + 6, + "gauge44" + ], + [ + 2, + 7, + "demote635" + ], + [ + 2, + 8, + "gauge44" + ], + [ + 2, + 9, + "demote635" + ], + [ + 2, + 10, + "demote635" + ], + [ + 2, + 11, + "demote635" + ], + [ + 2, + 12, + "demote635" + ], + [ + 2, + 13, + "demote635" + ], + [ + 2, + 14, + "gauge44" + ], + [ + 2, + 15, + "demote635" + ], + [ + 3, + 0, + "demote635" + ], + [ + 3, + 1, + "demote635" + ], + [ + 3, + 2, + "demote635" + ], + [ + 3, + 3, + "demote635" + ], + [ + 3, + 4, + "demote635" + ], + [ + 3, + 5, + "demote635" + ], + [ + 3, + 6, + "demote635" + ], + [ + 3, + 7, + "demote635" + ], + [ + 3, + 8, + "demote635" + ], + [ + 3, + 9, + "demote635" + ], + [ + 3, + 10, + "demote635" + ], + [ + 3, + 11, + "demote635" + ], + [ + 3, + 12, + "demote635" + ], + [ + 3, + 13, + "demote635" + ], + [ + 3, + 14, + "demote635" + ], + [ + 3, + 15, + "demote635" + ], + [ + 4, + 0, + "demote635" + ], + [ + 4, + 1, + "demote635" + ], + [ + 4, + 2, + "demote635" + ], + [ + 4, + 3, + "demote635" + ], + [ + 4, + 4, + "demote635" + ], + [ + 4, + 5, + "demote635" + ], + [ + 4, + 6, + "gauge44" + ], + [ + 4, + 7, + "demote635" + ], + [ + 4, + 8, + "demote635" + ], + [ + 4, + 9, + "demote635" + ], + [ + 4, + 10, + "demote635" + ], + [ + 4, + 11, + "demote635" + ], + [ + 4, + 12, + "gauge44" + ], + [ + 4, + 13, + "demote635" + ], + [ + 4, + 14, + "gauge44" + ], + [ + 4, + 15, + "demote635" + ], + [ + 5, + 0, + "demote635" + ], + [ + 5, + 1, + "demote635" + ], + [ + 5, + 2, + "demote635" + ], + [ + 5, + 3, + "demote635" + ], + [ + 5, + 4, + "gauge44" + ], + [ + 5, + 5, + "demote635" + ], + [ + 5, + 6, + "demote635" + ], + [ + 5, + 7, + "gauge44" + ], + [ + 5, + 8, + "demote635" + ], + [ + 5, + 9, + "demote635" + ], + [ + 5, + 10, + "gauge44" + ], + [ + 5, + 11, + "demote635" + ], + [ + 5, + 12, + "gauge44" + ], + [ + 5, + 13, + "gauge44" + ], + [ + 5, + 14, + "demote635" + ], + [ + 5, + 15, + "demote635" + ], + [ + 6, + 0, + "demote635" + ], + [ + 6, + 1, + "gauge44" + ], + [ + 6, + 2, + "demote635" + ], + [ + 6, + 3, + "demote635" + ], + [ + 6, + 4, + "demote635" + ], + [ + 6, + 5, + "demote635" + ], + [ + 6, + 6, + "demote635" + ], + [ + 6, + 7, + "demote635" + ], + [ + 6, + 8, + "demote635" + ], + [ + 6, + 9, + "demote635" + ], + [ + 6, + 10, + "demote635" + ], + [ + 6, + 11, + "gauge44" + ], + [ + 6, + 12, + "demote635" + ], + [ + 6, + 13, + "demote635" + ], + [ + 6, + 14, + "demote635" + ], + [ + 6, + 15, + "demote635" + ], + [ + 7, + 0, + "demote635" + ], + [ + 7, + 1, + "demote635" + ], + [ + 7, + 2, + "demote635" + ], + [ + 7, + 3, + "demote635" + ], + [ + 7, + 4, + "demote635" + ], + [ + 7, + 5, + "demote635" + ], + [ + 7, + 6, + "demote635" + ], + [ + 7, + 7, + "demote635" + ], + [ + 7, + 8, + "gauge44" + ], + [ + 7, + 9, + "gauge44" + ], + [ + 7, + 10, + "gauge44" + ], + [ + 7, + 11, + "demote635" + ], + [ + 7, + 12, + "demote635" + ], + [ + 7, + 13, + "demote635" + ], + [ + 7, + 14, + "gauge44" + ], + [ + 7, + 15, + "demote635" + ], + [ + 8, + 0, + "demote635" + ], + [ + 8, + 1, + "demote635" + ], + [ + 8, + 2, + "gauge44" + ], + [ + 8, + 3, + "demote635" + ], + [ + 8, + 4, + "gauge44" + ], + [ + 8, + 5, + "demote635" + ], + [ + 8, + 6, + "gauge44" + ], + [ + 8, + 7, + "gauge44" + ], + [ + 8, + 8, + "gauge44" + ], + [ + 8, + 9, + "demote635" + ], + [ + 8, + 10, + "gauge44" + ], + [ + 8, + 11, + "demote635" + ], + [ + 8, + 12, + "gauge44" + ], + [ + 8, + 13, + "demote635" + ], + [ + 8, + 14, + "gauge44" + ], + [ + 8, + 15, + "gauge44" + ] + ], + "call_order": [ + [ + 0, + 0 + ], + [ + 0, + 8 + ], + [ + 0, + 1 + ], + [ + 0, + 9 + ], + [ + 1, + 0 + ], + [ + 1, + 8 + ], + [ + 0, + 2 + ], + [ + 0, + 10 + ], + [ + 1, + 1 + ], + [ + 1, + 9 + ], + [ + 2, + 0 + ], + [ + 2, + 8 + ], + [ + 0, + 3 + ], + [ + 0, + 11 + ], + [ + 1, + 2 + ], + [ + 1, + 10 + ], + [ + 2, + 1 + ], + [ + 2, + 9 + ], + [ + 3, + 0 + ], + [ + 3, + 8 + ], + [ + 0, + 4 + ], + [ + 0, + 12 + ], + [ + 1, + 3 + ], + [ + 1, + 11 + ], + [ + 2, + 2 + ], + [ + 2, + 10 + ], + [ + 3, + 1 + ], + [ + 3, + 9 + ], + [ + 4, + 0 + ], + [ + 4, + 8 + ], + [ + 0, + 5 + ], + [ + 0, + 13 + ], + [ + 1, + 4 + ], + [ + 1, + 12 + ], + [ + 2, + 3 + ], + [ + 2, + 11 + ], + [ + 3, + 2 + ], + [ + 3, + 10 + ], + [ + 4, + 1 + ], + [ + 4, + 9 + ], + [ + 5, + 0 + ], + [ + 5, + 8 + ], + [ + 0, + 6 + ], + [ + 0, + 14 + ], + [ + 1, + 5 + ], + [ + 1, + 13 + ], + [ + 2, + 4 + ], + [ + 2, + 12 + ], + [ + 3, + 3 + ], + [ + 3, + 11 + ], + [ + 4, + 2 + ], + [ + 4, + 10 + ], + [ + 5, + 1 + ], + [ + 5, + 9 + ], + [ + 0, + 7 + ], + [ + 0, + 15 + ], + [ + 6, + 0 + ], + [ + 6, + 8 + ], + [ + 1, + 6 + ], + [ + 1, + 14 + ], + [ + 2, + 5 + ], + [ + 2, + 13 + ], + [ + 3, + 4 + ], + [ + 3, + 12 + ], + [ + 4, + 3 + ], + [ + 4, + 11 + ], + [ + 5, + 2 + ], + [ + 5, + 10 + ], + [ + 6, + 1 + ], + [ + 6, + 9 + ], + [ + 1, + 7 + ], + [ + 1, + 15 + ], + [ + 7, + 0 + ], + [ + 7, + 8 + ], + [ + 2, + 6 + ], + [ + 2, + 14 + ], + [ + 3, + 5 + ], + [ + 3, + 13 + ], + [ + 4, + 4 + ], + [ + 4, + 12 + ], + [ + 5, + 3 + ], + [ + 5, + 11 + ], + [ + 6, + 2 + ], + [ + 6, + 10 + ], + [ + 7, + 1 + ], + [ + 7, + 9 + ], + [ + 2, + 7 + ], + [ + 2, + 15 + ], + [ + 8, + 0 + ], + [ + 8, + 8 + ], + [ + 3, + 6 + ], + [ + 3, + 14 + ], + [ + 4, + 5 + ], + [ + 4, + 13 + ], + [ + 5, + 4 + ], + [ + 5, + 12 + ], + [ + 6, + 3 + ], + [ + 6, + 11 + ], + [ + 7, + 2 + ], + [ + 7, + 10 + ], + [ + 8, + 1 + ], + [ + 8, + 9 + ], + [ + 3, + 7 + ], + [ + 3, + 15 + ], + [ + 4, + 6 + ], + [ + 4, + 14 + ], + [ + 5, + 5 + ], + [ + 5, + 13 + ], + [ + 6, + 4 + ], + [ + 6, + 12 + ], + [ + 7, + 3 + ], + [ + 7, + 11 + ], + [ + 8, + 2 + ], + [ + 8, + 10 + ], + [ + 4, + 7 + ], + [ + 4, + 15 + ], + [ + 5, + 6 + ], + [ + 5, + 14 + ], + [ + 6, + 5 + ], + [ + 6, + 13 + ], + [ + 7, + 4 + ], + [ + 7, + 12 + ], + [ + 8, + 3 + ], + [ + 8, + 11 + ], + [ + 5, + 7 + ], + [ + 5, + 15 + ], + [ + 6, + 6 + ], + [ + 6, + 14 + ], + [ + 7, + 5 + ], + [ + 7, + 13 + ], + [ + 8, + 4 + ], + [ + 8, + 12 + ], + [ + 6, + 7 + ], + [ + 6, + 15 + ], + [ + 7, + 6 + ], + [ + 7, + 14 + ], + [ + 8, + 5 + ], + [ + 8, + 13 + ], + [ + 7, + 7 + ], + [ + 7, + 15 + ], + [ + 8, + 6 + ], + [ + 8, + 14 + ], + [ + 8, + 7 + ], + [ + 8, + 15 + ] + ], + "width_spot_helpers": [ + 258, + 270, + 282, + 294 + ], + "providers": { + "demote635": { + "inventory": { + "4": 52, + "5": 36, + "7": 30, + "8": 122, + "9": 240 + }, + "native_negative_controls": 25, + "phase_edges": 2896, + "expected_profile": { + "1": 2404, + "2": 426, + "3": 436, + "4": 138, + "5": 82, + "8": 8 + }, + "artifact_semantic_sha256": { + "CANONICAL-WORD.json.gz": "e33d8d0f3f5c3caace21cc034178e6a9b51bbce302a0a476397cf0868a883330", + "LOCAL-PROGRAMS.json.gz": "95b4b824cad700f58e06b1fcfdec7db76a7ba44724d0db25f9ab805ebf284450", + "LOCAL-CHECKS.json": "fa8012ba9922d600b50f2aa922c9d1d5298291e7253f4ce31607002a0898a8de", + "INDEPENDENT-LOCAL-REPLAY.json": "cc5c6c7976afe60bae500948bd0129eefaac6c1780c8576c9af9672ddd6b7d73", + "CLIFFORD-RECIPES.json": "fabe0b06c05014dc6c4b32dbebfc921880683ca78d3f3b1de01a465954bbca9f", + "CLIFFORD-REVIEW.json": "71b22b4bcc9b11e2f73433b80440636903642f94323fdc411f97c97232dd5ceb", + "RESIDUAL-ADAPTERS.json": "04744a113885a8f99e92c513a0fe11418b2dd80c4027cc4316484caa78e3f0d2" + }, + "entering": 192, + "entrance": 380, + "width_digest": "cff34a2a0ae0957e6305c351c5e64a045ec194b516b823bb8837c52ff28c2217", + "program_hashes": { + "backward": "3d5aa446df31c39c961632a2d2776de745e1fa6d26b3821b77bf4d4826304851", + "forward": "6a54115bda570250418fb648712d80c7514170261616c60a3517f6ba0308c992" + }, + "artifacts": { + "LOCAL-CHECKS.json": "14507eb2fd6d93bfa31dadad72cb27d6baea4fb23bf75fc8ae802c554921e43f", + "CLIFFORD-RECIPES.json": "fabe0b06c05014dc6c4b32dbebfc921880683ca78d3f3b1de01a465954bbca9f", + "RESIDUAL-ADAPTERS.json": "97eefe1050b3e2464dad10697dbefdea2ceeb0ba69e13eb92af4e9f4b82b95ef" + }, + "complete_contract": { + "local": { + "backward": { + "events": 24767, + "macros": 19693, + "real_component_primitives": 198814, + "prefix_l1": "14824960514781440791821/64", + "prefix_bits": 68, + "coefficient_work_primitive_count": 98365, + "all_exact_columns": 704, + "dirty_helper_columns": 480, + "all_dirty_helper_columns_restored": true, + "private_centres_and_coefficient_work_cleared": true, + "pre_wrappers": 240, + "post_wrappers": 240, + "endpoint_evidence": "Hash-bound fresh INDEPENDENT-LOCAL-REPLAY.json" + }, + "forward": { + "events": 24767, + "macros": 19693, + "real_component_primitives": 198766, + "prefix_l1": "2765345294379392599/1024", + "prefix_bits": 52, + "coefficient_work_primitive_count": 98333, + "all_exact_columns": 704, + "dirty_helper_columns": 480, + "all_dirty_helper_columns_restored": true, + "private_centres_and_coefficient_work_cleared": true, + "pre_wrappers": 240, + "post_wrappers": 240, + "endpoint_evidence": "Hash-bound fresh INDEPENDENT-LOCAL-REPLAY.json" + } + }, + "helpers": 480, + "centres": 8, + "v": 112, + "h": 9, + "n": 704, + "entering_helpers": 192, + "entrance_rank": 380, + "terminal_codimension": 206, + "hyperplane_ended_helpers": 78, + "cold_hyperplane_ended_helpers": 48, + "width_inventory": { + "4": 52, + "5": 36, + "7": 30, + "8": 122, + "9": 240 + }, + "widths": [ + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 4, + 9, + 4, + 9, + 4, + 9, + 9, + 9, + 9, + 4, + 9, + 9, + 9, + 9, + 9, + 9, + 4, + 9, + 4, + 9, + 4, + 9, + 9, + 9, + 9, + 4, + 9, + 9, + 9, + 9, + 9, + 9, + 4, + 9, + 4, + 9, + 4, + 9, + 8, + 9, + 9, + 4, + 9, + 9, + 9, + 9, + 9, + 9, + 4, + 9, + 4, + 9, + 4, + 9, + 8, + 9, + 9, + 4, + 9, + 9, + 9, + 9, + 9, + 9, + 4, + 9, + 4, + 9, + 4, + 9, + 9, + 9, + 9, + 4, + 9, + 9, + 9, + 9, + 9, + 9, + 4, + 9, + 4, + 9, + 4, + 9, + 9, + 9, + 9, + 4, + 9, + 9, + 9, + 9, + 9, + 9, + 4, + 9, + 4, + 9, + 4, + 9, + 9, + 9, + 9, + 4, + 9, + 9, + 9, + 9, + 9, + 9, + 4, + 9, + 4, + 9, + 4, + 9, + 9, + 9, + 9, + 4, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 7, + 7, + 7, + 7, + 7, + 7, + 7, + 7, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 8, + 8, + 8, + 8, + 8, + 8, + 9, + 9, + 9, + 9, + 9, + 9, + 7, + 7, + 8, + 8, + 8, + 8, + 9, + 9, + 9, + 9, + 9, + 9, + 8, + 8, + 8, + 9, + 8, + 8, + 9, + 9, + 9, + 9, + 8, + 9, + 7, + 7, + 8, + 9, + 8, + 8, + 9, + 9, + 9, + 9, + 8, + 9, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 9, + 7, + 7, + 7, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 9, + 7, + 8, + 8, + 9, + 9, + 9, + 9, + 8, + 8, + 8, + 8, + 7, + 7, + 7, + 7, + 9, + 8, + 9, + 8, + 8, + 8, + 8, + 8, + 7, + 7, + 9, + 8, + 9, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 7, + 7, + 7, + 7, + 7, + 7, + 7, + 7, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5, + 8, + 8, + 8, + 4, + 8, + 4, + 4, + 4, + 8, + 8, + 8, + 4, + 8, + 4, + 4, + 4, + 8, + 8, + 8, + 4, + 8, + 4, + 4, + 4, + 8, + 8, + 8, + 4, + 8, + 4, + 4, + 4, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5, + 8, + 8, + 8, + 4, + 8, + 4, + 4, + 4, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5 + ], + "local_adapters": 387056, + "local_primitive_bound": 10038040553630, + "compiler": 25934336, + "children": 3494, + "paid_profile": { + "1": 2404, + "2": 426, + "3": 436, + "4": 138, + "5": 82, + "8": 8 + }, + "program_hashes": { + "backward": "3d5aa446df31c39c961632a2d2776de745e1fa6d26b3821b77bf4d4826304851", + "forward": "6a54115bda570250418fb648712d80c7514170261616c60a3517f6ba0308c992" + }, + "semantic_artifact_sha256": { + "CANONICAL-WORD.json.gz": "e33d8d0f3f5c3caace21cc034178e6a9b51bbce302a0a476397cf0868a883330", + "LOCAL-PROGRAMS.json.gz": "95b4b824cad700f58e06b1fcfdec7db76a7ba44724d0db25f9ab805ebf284450", + "LOCAL-CHECKS.json": "fa8012ba9922d600b50f2aa922c9d1d5298291e7253f4ce31607002a0898a8de", + "INDEPENDENT-LOCAL-REPLAY.json": "cc5c6c7976afe60bae500948bd0129eefaac6c1780c8576c9af9672ddd6b7d73", + "CLIFFORD-RECIPES.json": "fabe0b06c05014dc6c4b32dbebfc921880683ca78d3f3b1de01a465954bbca9f", + "CLIFFORD-REVIEW.json": "71b22b4bcc9b11e2f73433b80440636903642f94323fdc411f97c97232dd5ceb", + "RESIDUAL-ADAPTERS.json": "04744a113885a8f99e92c513a0fe11418b2dd80c4027cc4316484caa78e3f0d2" + } + }, + "semantic_phase_sha256": "71b22b4bcc9b11e2f73433b80440636903642f94323fdc411f97c97232dd5ceb", + "expected_local": { + "forward": { + "events": 24767, + "macros": 19693, + "real_component_primitives": 198766, + "prefix_l1": "2765345294379392599/1024", + "coefficient_work_primitive_count": 98333 + }, + "backward": { + "events": 24767, + "macros": 19693, + "real_component_primitives": 198814, + "prefix_l1": "14824960514781440791821/64", + "coefficient_work_primitive_count": 98365 + } + }, + "wrappers": 240 + }, + "gauge44": { + "inventory": { + "4": 56, + "5": 32, + "7": 30, + "8": 122, + "9": 240 + }, + "native_negative_controls": 25, + "phase_edges": 2896, + "expected_profile": { + "1": 2412, + "2": 418, + "3": 432, + "4": 142, + "5": 82, + "8": 8 + }, + "artifact_semantic_sha256": { + "CANONICAL-WORD.json.gz": "4ddb29fb9bc6f27e0c0fbfcf19a2a93a3496ad900d0f6d89059d0305c9576c0c", + "LOCAL-PROGRAMS.json.gz": "9f41d53659e9be84e20c661560c5687abbf5cd0660cdecbe01ad5eb29e6b8ee3", + "LOCAL-CHECKS.json": "18f09b79835aa352f04d27041d86d1338c5ad0094b888588c1c05af2dc399ffd", + "INDEPENDENT-LOCAL-REPLAY.json": "2d4680965c62db1fde1236c4857b19bf7bc97af58805e6b4109afbc452f0fdd8", + "CLIFFORD-RECIPES.json": "d0768f2164d5f64a2fdbec422f1cfde4e400818792f1904ca541958377243731", + "CLIFFORD-REVIEW.json": "4960fd1215509b5347ef7f0092868f79aea0f8e24fb84352da9a1033e4394007", + "RESIDUAL-ADAPTERS.json": "c682e9ff1b347f89771c6800f46ad98c2bb92b91c5c88452d53a9e7f0180c35f" + }, + "entering": 192, + "entrance": 384, + "width_digest": "ca0b972f2ee81a50449ce6489ddf9a94be914f84351136c2a9e3f81b37a0e387", + "program_hashes": { + "backward": "f36c5831106f5637102c6bedeec76ed2b223c6671ce42fd0eceed9ef24725b23", + "forward": "071ecdacc0bb3ac16046aad4119ed551a945cb0ed6c57002a548a3e2232503d8" + }, + "artifacts": { + "LOCAL-CHECKS.json": "2b8b1891a736598010232bfb26abc31973b265a53a2009a3fcfd9138b5ecadb4", + "CLIFFORD-RECIPES.json": "d0768f2164d5f64a2fdbec422f1cfde4e400818792f1904ca541958377243731", + "RESIDUAL-ADAPTERS.json": "383f40aadd00a4ac700dfd0d4c22d6c6c0be9a9863116e4d69c7acd23bafae0c" + }, + "complete_contract": { + "local": { + "backward": { + "events": 24767, + "macros": 19693, + "real_component_primitives": 198814, + "prefix_l1": "14824960514781440791821/64", + "prefix_bits": 68, + "coefficient_work_primitive_count": 98365, + "all_exact_columns": 704, + "dirty_helper_columns": 480, + "all_dirty_helper_columns_restored": true, + "private_centres_and_coefficient_work_cleared": true, + "pre_wrappers": 240, + "post_wrappers": 240, + "endpoint_evidence": "Hash-bound fresh INDEPENDENT-LOCAL-REPLAY.json" + }, + "forward": { + "events": 24767, + "macros": 19693, + "real_component_primitives": 198766, + "prefix_l1": "2765345294379392599/1024", + "prefix_bits": 52, + "coefficient_work_primitive_count": 98333, + "all_exact_columns": 704, + "dirty_helper_columns": 480, + "all_dirty_helper_columns_restored": true, + "private_centres_and_coefficient_work_cleared": true, + "pre_wrappers": 240, + "post_wrappers": 240, + "endpoint_evidence": "Hash-bound fresh INDEPENDENT-LOCAL-REPLAY.json" + } + }, + "helpers": 480, + "centres": 8, + "v": 112, + "h": 9, + "n": 704, + "entering_helpers": 192, + "entrance_rank": 384, + "terminal_codimension": 206, + "hyperplane_ended_helpers": 78, + "cold_hyperplane_ended_helpers": 48, + "width_inventory": { + "4": 56, + "5": 32, + "7": 30, + "8": 122, + "9": 240 + }, + "widths": [ + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 4, + 9, + 4, + 9, + 4, + 9, + 9, + 9, + 9, + 4, + 9, + 9, + 9, + 9, + 9, + 9, + 4, + 9, + 4, + 9, + 4, + 9, + 9, + 9, + 9, + 4, + 9, + 9, + 9, + 9, + 9, + 9, + 4, + 9, + 4, + 9, + 4, + 9, + 8, + 9, + 9, + 4, + 9, + 9, + 9, + 9, + 9, + 9, + 4, + 9, + 4, + 9, + 4, + 9, + 8, + 9, + 9, + 4, + 9, + 9, + 9, + 9, + 9, + 9, + 4, + 9, + 4, + 9, + 4, + 9, + 9, + 9, + 9, + 4, + 9, + 9, + 9, + 9, + 9, + 9, + 4, + 9, + 4, + 9, + 4, + 9, + 9, + 9, + 9, + 4, + 9, + 9, + 9, + 9, + 9, + 9, + 4, + 9, + 4, + 9, + 4, + 9, + 9, + 9, + 9, + 4, + 9, + 9, + 9, + 9, + 9, + 9, + 4, + 9, + 4, + 9, + 4, + 9, + 9, + 9, + 9, + 4, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 7, + 7, + 7, + 7, + 7, + 7, + 7, + 7, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 9, + 8, + 8, + 8, + 8, + 8, + 8, + 9, + 9, + 9, + 9, + 9, + 9, + 7, + 7, + 8, + 8, + 8, + 8, + 9, + 9, + 9, + 9, + 9, + 9, + 8, + 8, + 8, + 9, + 8, + 8, + 9, + 9, + 9, + 9, + 8, + 9, + 7, + 7, + 8, + 9, + 8, + 8, + 9, + 9, + 9, + 9, + 8, + 9, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 9, + 7, + 7, + 7, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 9, + 7, + 8, + 8, + 9, + 9, + 9, + 9, + 8, + 8, + 8, + 8, + 7, + 7, + 7, + 7, + 9, + 8, + 9, + 8, + 8, + 8, + 8, + 8, + 7, + 7, + 9, + 8, + 9, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 8, + 7, + 7, + 7, + 7, + 7, + 7, + 7, + 7, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5, + 8, + 8, + 8, + 4, + 8, + 4, + 4, + 4, + 8, + 8, + 8, + 4, + 8, + 4, + 4, + 4, + 8, + 8, + 8, + 4, + 8, + 4, + 4, + 4, + 8, + 8, + 8, + 4, + 8, + 4, + 4, + 4, + 8, + 8, + 8, + 4, + 8, + 4, + 4, + 4, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5, + 8, + 8, + 8, + 4, + 8, + 4, + 4, + 4, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5, + 8, + 8, + 8, + 5, + 8, + 5, + 5, + 5 + ], + "local_adapters": 387056, + "local_primitive_bound": 10038040553630, + "compiler": 25934336, + "children": 3494, + "paid_profile": { + "1": 2412, + "2": 418, + "3": 432, + "4": 142, + "5": 82, + "8": 8 + }, + "program_hashes": { + "backward": "f36c5831106f5637102c6bedeec76ed2b223c6671ce42fd0eceed9ef24725b23", + "forward": "071ecdacc0bb3ac16046aad4119ed551a945cb0ed6c57002a548a3e2232503d8" + }, + "semantic_artifact_sha256": { + "CANONICAL-WORD.json.gz": "4ddb29fb9bc6f27e0c0fbfcf19a2a93a3496ad900d0f6d89059d0305c9576c0c", + "LOCAL-PROGRAMS.json.gz": "9f41d53659e9be84e20c661560c5687abbf5cd0660cdecbe01ad5eb29e6b8ee3", + "LOCAL-CHECKS.json": "18f09b79835aa352f04d27041d86d1338c5ad0094b888588c1c05af2dc399ffd", + "INDEPENDENT-LOCAL-REPLAY.json": "2d4680965c62db1fde1236c4857b19bf7bc97af58805e6b4109afbc452f0fdd8", + "CLIFFORD-RECIPES.json": "d0768f2164d5f64a2fdbec422f1cfde4e400818792f1904ca541958377243731", + "CLIFFORD-REVIEW.json": "4960fd1215509b5347ef7f0092868f79aea0f8e24fb84352da9a1033e4394007", + "RESIDUAL-ADAPTERS.json": "c682e9ff1b347f89771c6800f46ad98c2bb92b91c5c88452d53a9e7f0180c35f" + } + }, + "semantic_phase_sha256": "4960fd1215509b5347ef7f0092868f79aea0f8e24fb84352da9a1033e4394007", + "expected_local": { + "forward": { + "events": 24767, + "macros": 19693, + "real_component_primitives": 198766, + "prefix_l1": "2765345294379392599/1024", + "coefficient_work_primitive_count": 98333 + }, + "backward": { + "events": 24767, + "macros": 19693, + "real_component_primitives": 198814, + "prefix_l1": "14824960514781440791821/64", + "coefficient_work_primitive_count": 98365 + } + }, + "wrappers": 240 + } + }, + "expected": { + "gain_baseline_kappa": "0.001672654541898561", + "hosted_residuals": 69120, + "rank_mass": 1041408, + "actual_73column_sigmas": 9967, + "cross_replica_helper_roles": 57468, + "idle_remainders": 7094, + "idle_remainder_profile": { + "1": 1844, + "3": 378, + "7": 6, + "48": 4866 + }, + "global_profile": { + "1": 348300, + "2": 61064, + "3": 63022, + "4": 20012, + "5": 11808, + "7": 6, + "8": 1152, + "48": 4866 + }, + "live": 14336, + "physical": 14826, + "conservative_kappa_decimal": "0.001672780157102838", + "kappa_decimal": "0.001672780159952542", + "complex_lower": "1675583042021589509879/1000000000000000000000000", + "conservative_complex_lower": "837791519581163613999/500000000000000000000000", + "kappa": "836390079976271/500000000000000000", + "assembly_controls_rejected": 114, + "provider_counts": { + "gauge44": 35, + "demote635": 109 + }, + "mutations_rejected": 23 + }, + "pivot_swap": { + "recipe": "construction/leaver/PIVOT-SWAP-k8.json", + "sha256": "3ef7acf0cf67442a532f25b53d5fbeda76d3a84524118df8e003ca69b5cac0bb" + } +} diff --git a/research/demote635-t16/independent.py b/research/demote635-t16/independent.py new file mode 100644 index 0000000000..d7badbe214 --- /dev/null +++ b/research/demote635-t16/independent.py @@ -0,0 +1,343 @@ +#!/usr/bin/env python3 +# SPDX-License-Identifier: Apache-2.0 +# Original: prepared for Hao Yan with substantial OpenAI Codex assistance. +# Mixed-provider adaptation for seslly by OpenAI Codex; source PR1042 indep16.py. +# Retains literal windows, charts, invoices, and all six original controls. +"""Independent T16 event-window, whole-helper, chart and finite-reserve audit. + +Inputs are read-only. No owner constructor or controller auditor is imported. +--word is the canonical local supplier JSON.gz, with frame IDs and a native +INDEPENDENT-LOCAL-REPLAY.json alongside it (override with --local-replay). +--baseline-parent is the original eight-replica GLOBAL-TEMPLATE.json.gz. +Its sibling CANONICAL-WORD.json.gz supplies ports; DATA-PHASES.json defaults +to ../work/complex-nine-native/DATA-PHASES.json (override with --phases). +The PR741 and PR799/X4 suppliers share this width/owner interface. Their +local paid profiles and prefix exponents are read and recounted from the +provided canonical word and hash-bound native replay, never fixed to PR741. +--out names a JSON receipt. Checks remain enabled under python -O. +""" +import argparse +from collections import Counter, defaultdict +import gzip +import hashlib +import json +from pathlib import Path + +V, H, M, T, R = 112, 9, 73, 16, 504 +import os +EXPECTED_IDLE = {int(k): v for k, v in json.loads(os.environ['T16_EXPECTED_IDLE']).items()} +EXPECTED_WIDTHS = {int(k): v for k, v in json.loads(os.environ['T16_EXPECTED_WIDTHS']).items()} + + +def require(condition, message): + if not condition: + raise ValueError(message) + + +def read(path): + data = path.read_bytes() + return json.loads(gzip.decompress(data) if path.suffix == '.gz' else data) + + +def filehash(path): + return hashlib.sha256(path.read_bytes()).hexdigest() + + +def basis(vectors): + pivots = {} + for x in vectors: + require(type(x) is int and 0 <= x < 1 << H, 'invalid local frame vector') + while x: + bit = x.bit_length() - 1 + if bit in pivots: + x ^= pivots[bit] + else: + pivots[bit] = x + break + for bit in sorted(pivots): + for upper in pivots: + if upper > bit and pivots[upper] >> bit & 1: + pivots[upper] ^= pivots[bit] + return tuple(pivots[bit] for bit in sorted(pivots, reverse=True)) + + +def local_inventory(word, replay): + global RH + require((word['v'], word['h']) == (V, H) and 0 < word['R'] <= R, 'local supplier dimensions') + RH = word['R'] + frames = [basis(frame) for frame in word['frames']] + n = 2 * V + RH + require(len(word['start']) == len(word['final']) == n, 'local frame vector lengths') + current = [frames[f] for f in word['start']] + paid = Counter() + + def climb(register, frame): + require(basis(current[register] + frame) == frame, 'nonmonotone local frame') + jump = len(frame) - len(current[register]) + if jump: + paid[jump] += 1 + current[register] = frame + + require(not word['target_levels'], 'this audit requires the current zero-level centre interface') + for section in ('A', 'B', 'tail'): + if section == 'B': + require(all(current[t] == () for t in range(V, 2 * V)), 'target centre level') + for q, frame_id in zip(word['centers'], word['center_frames']): + require(current[q] == frames[frame_id], 'centre carrier frame') + paid[len(frames[frame_id])] += 1 + for gate in word[section]: + registers = gate[1:3] if gate[0] == 'add' else gate[1:2] + require(gate[0] in ('add', 'scale'), 'unknown scalar gate') + for register in registers: + climb(register, frames[gate[-1]]) + for register, frame_id in enumerate(word['final']): + climb(register, frames[frame_id]) + require(dict(paid) == {int(r): count for r, count in word['local_profile'].items()}, 'local paid-profile recount') + for orientation in ('forward', 'backward'): + require(dict(paid) == {int(r): count for r, count in replay['paid_profiles'][orientation].items()}, 'local replay profile binding') + widths = [len(frames[word['final'][q]]) - len(frames[word['start'][q]]) for q in range(2 * V, n)] + require(Counter(widths) == EXPECTED_WIDTHS, 'current supplier width inventory') + return widths, paid + + +def make_context(parent, phases, ports, word, replay, roles): + widths, paid = local_inventory(word, replay) + require(len(parent['calls']) == 72 and {(c['stage'], c['replica']) for c in parent['calls']} == {(s, r) for s in range(9) for r in range(8)}, 'original eight-replica baseline calls') + require(len(roles) == 9 * T * RH, 'complete helper role count') + address = {} + for role in roles: + key = (role['stage'], role['replica']) + time = role['time'] + require(time not in address or address[time] == key, 'inconsistent invocation time address') + address[time] = key + require(set(address) == set(range(9 * T)), 'contiguous invocation times') + order = [address[t] for t in range(9 * T)] + require(set(order) == {(s, r) for s in range(9) for r in range(T)}, 'stage/replica inventory') + require(all(order[2*t+1] == (order[2*t][0], order[2*t][1]+8) and order[2*t][1] < 8 for t in range(72)), 'two-copy interleaving') + rank = {child['child']: child['rank'] for child in parent['idle_children']} + source = parent['execution_schedule'] + blocks, stage = {}, None + for index, event in enumerate(source): + if event['kind'] in ('bank_padding_cover_sweep', 'translate_every_live_family'): + continue + if event['kind'] == 'local_cover_sweep': + stage = event['stage'] + blocks[stage] = [] + require(stage is not None, 'source event before first invocation') + blocks[stage].append((index, event)) + require(set(blocks) == set(range(9)), 'source stage inventory') + events = [(index, event, replica, time) for time, (stage, replica) in enumerate(order) for index, event in blocks[stage]] + projections = defaultdict(list) + for index, event, replica, time in events: + projections[replica].append(index) + require(set(projections) == set(range(T)) and all(p == list(range(30)) for p in projections.values()), 'per-replica source-event projection') + stage_pair = {e['stage']: e['pair'] for e in parent['recipe'] if e['kind'] == 'local'} + last, windows, callpos, child_pair, side = {}, {}, {}, {}, {} + bridges = 0 + for position, (_, event, replica, _) in enumerate(events): + kind = event['kind'] + if kind == 'local_cover_sweep': + stage = event['stage'] + callpos[stage, replica] = position + last[replica, stage_pair[stage]] = position + elif kind == 'bridge': + last[replica, event['src']] = last[replica, event['dst']] = position + bridges += 1 + elif kind == 'idle_cover_sweep': + for sd, child in enumerate(event['child_indices']): + if child in rank: + windows[replica, child] = (last.get((replica, event['pair']), -1), position) + child_pair[child], side[child] = event['pair'], sd + require(len(windows) == T * len(rank), 'actual window inventory') + require(len(ports) == V, 'port count') + bases = [] + for q in ports: + zero = next(i for i in range(H) if not (q >> i & 1)) + correction = q ^ (1 << zero) + axes = list(range(H)) + axes[0], axes[zero] = axes[zero], axes[0] + frame = [(1 << i) ^ (correction if correction >> i & 1 else 0) for i in axes] + [1 << i for i in range(H, M)] + require(all((x & y).bit_count() % 2 == int(i == j) for i, x in enumerate(frame) for j, y in enumerate(frame)), 'nonorthogonal owner basis') + bases.append(frame) + return dict(widths=widths, paid=paid, order=order, at={key:t for t,key in enumerate(order)}, rank=rank, + windows=windows, callpos=callpos, child_pair=child_pair, side=side, stage_pair=stage_pair, + bases=bases, phases=phases, bridges=bridges, event_count=len(events), replay=replay) + + +def check_roles(context, roles): + c = context + live, physical = T * 8 * V, T * 8 * V + 8 + R + 2 + require(len(roles) == 9 * T * RH, 'complete helper role count') + helpers, families, used = defaultdict(set), defaultdict(set), defaultdict(set) + charts, chart_cache = set(), {} + for z in roles: + s, r, helper = z['stage'], z['replica'], z['helper'] + owner, child, port = z['owner_replica'], z['child'], z['port'] + offset, width, family = z['offset'], z['width'], z['family'] + call = (s, r) + require(call in c['at'] and 0 <= helper < RH and 0 <= owner < T and 0 <= port < V, 'role coordinates') + require(z['time'] == c['at'][call], 'role invocation time') + require(width == c['per_call_widths'][call][helper], 'whole-helper residual width') + require(0 <= family < live, 'private-namespace collision') + require(child in c['rank'], 'unknown idle child') + require(z['copy'] == V * owner + port and family == owner * 896 + (2 * c['child_pair'][child] + c['side'][child]) * V + port, 'physical family identity') + lo, hi = c['windows'][owner, child] + require(lo < c['callpos'][call] < hi, 'strict bridge-aware idle window') + require(family // 224 != r * 4 + c['stage_pair'][s], 'helper aliases active data pair') + require(helper not in helpers[call] and family not in families[call], 'duplicate helper or family within whole invocation') + helpers[call].add(helper) + families[call].add(family) + cells = set(range(offset, offset + width)) + bin_key = (owner, child, port) + require(offset >= 0 and offset + width <= c['rank'][child] and not used[bin_key] & cells, 'overlapping or out-of-capacity slice') + used[bin_key].update(cells) + chart_key = (port, child, offset, width) + if chart_key not in chart_cache: + frame = c['bases'][port] + pending = list(map(int, c['phases']['recipes'][port]['idle_children'][child]['orthogonal_axes'])) + require(len(pending) == c['rank'][child], 'phase child rank') + occupied = [frame.index(x) for x in pending[offset:offset + width]] + spectators = [i for i in range(M) if i not in occupied][:H - width] + permutation = occupied + spectators + [i for i in range(M) if i not in occupied and i not in spectators] + require(len(occupied) == width and len(set(occupied + spectators)) == H and sorted(permutation) == list(range(M)), 'residual/spectator permutation') + require([frame[i] for i in permutation[:width]] == pending[offset:offset + width], 'pending-axis binding') + chart_cache[chart_key] = tuple(frame[i] for i in permutation) + charts.add(chart_cache[chart_key]) + require(set(helpers) == set(c['order']) and all(h == set(range(RH)) for h in helpers.values()), 'complete per-call helper inventory') + idle = Counter() + for owner, child in c['windows']: + for port in range(V): + cells = used[owner, child, port] + require(cells == set(range(len(cells))), 'gap in pending prefix') + left = c['rank'][child] - len(cells) + if left: + idle[left] += 1 + require(idle == EXPECTED_IDLE, 'nominated idle profile') + profile = Counter() + for call in c['order']: + profile.update(c['per_call_paid'][call]) + profile.update(idle) + mass = sum(rank * count for rank, count in profile.items()) + require(M * live - mass == 5120, 'doubled rank deficit') + require(c['bridges'] == 144, 'actual bridge count') + localbits = max(x['prefix_bits_upper'] for replay in c['provider_replays'] for x in replay['local'].values()) + prefix = localbits + (M + 1) // 2 + len(c['order']) + c['bridges'] + 4 + group = 2 ** (36 * 36) + for i in range(1, 37): + group *= 2 ** (2 * i) - 1 + stock = group * physical + row = 2 * stock.bit_length() + 9909 + 252 + 2 * 512 + require(prefix < 512, 'prefix reserve') + require(row < 20161 and M * M > 2 * max(profile) ** 2, 'row or halving reserve') + return dict(status='PASS_INDEPENDENT_T16_LITERAL_WINDOWS_CHARTS_PREFIX_ROW', roles=len(roles), calls=len(c['order']), + source_events_per_replica=30, expanded_replica_events=c['event_count'], bridge_events=c['bridges'], + literal_windows=len(c['windows']), checked_whole_helper_widths=len(roles), checked_busy_family_windows=len(roles), + orthogonal_port_bases=len(c['bases']), actual_73_axis_charts=len(charts), checked_slice_prefixes=len(c['windows']) * V, + local_profiles=[dict(sorted(p.items())) for p in c['provider_paid']], width_inventories=[dict(sorted(Counter(w).items())) for w in c['provider_widths']], + idle=dict(sorted(idle.items())), profile=dict(sorted(profile.items())), live=live, physical=physical, + rank_mass=mass, deficit=5120, namespace={'data':[0,live], 'centres':[live,live+8], 'tableau':[live+8,live+8+R], 'coefficient':[live+8+R,physical]}, + local_prefix_bits=localbits, local_prefix_from_native_receipt=True, local_profile_recounted=True, + prefix_formula=dict(local_scalar=localbits, input_l2=(M + 1) // 2, invocations=len(c['order']), bridges=c['bridges'], margin=4), + prefix_bits=prefix, charged_prefix_bits=512, physical_stock_bits=stock.bit_length(), + physical_row_coefficient=row, row_limit=20161, + scope='Finite role/window/chart and inherited prefix/row obligations. Requires separately admitted local supplier and emitted controller, complete finite invoice, exact moments and outer assembly; no all-size theorem is asserted.') + + +def controls(context, roles): + candidates = [] + first = roles[0] + bad = dict(first, family=14336) + candidates.append(('private_namespace_collision', [bad] + roles[1:], 'private-namespace collision')) + index = next(i for i, z in enumerate(roles) if z['replica'] >= 8) + bad = dict(roles[index], replica=roles[index]['replica'] - 8) + candidates.append(('copy_replica_alias', [bad] + roles[:index] + roles[index+1:], 'role invocation time')) + candidates.append(('missing_whole_helper', roles[1:], 'complete helper role count')) + split = dict(first, width=first['width'] - 1) + fragment = dict(first, offset=first['offset'] + first['width'] - 1, width=1) + candidates.append(('split_whole_helper', [split, fragment] + roles[1:], 'complete helper role count')) + candidates.append(('truncated_helper_width', [split] + roles[1:], 'whole-helper residual width')) + # Keep the family and chart valid, but move one complete role past its + # actual idle event. Freeze the original invocation order for controls. + crossing = None + for index, z in enumerate(roles): + lo, hi = context['windows'][z['owner_replica'], z['child']] + later = next((key for key in context['order'] if context['callpos'][key] >= hi), None) + if later is not None: + crossing = [dict(z, stage=later[0], replica=later[1], time=context['at'][later])] + roles[:index] + roles[index+1:] + break + require(crossing is not None, 'no idle-boundary control could be constructed') + candidates.append(('cross_idle_boundary', crossing, 'strict bridge-aware idle window')) + rejected = [] + for name, bad, expected in candidates: + try: + check_roles(context, bad) + except ValueError as exc: + require(str(exc) == expected, 'control rejected at unexpected predicate: ' + name) + rejected.append(dict(name=name, reason=str(exc))) + else: + raise ValueError('accepted negative control: ' + name) + return rejected + + +def main(): + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument('--baseline-parent', type=Path, required=True) + parser.add_argument('--owners', type=Path, required=True) + parser.add_argument('--word', type=Path, required=True) + parser.add_argument('--second-word', type=Path, required=True) + parser.add_argument('--second-times', type=int, nargs='+', required=True) + parser.add_argument('--phases', type=Path) + parser.add_argument('--local-replay', type=Path) + parser.add_argument('--out', type=Path, required=True) + args = parser.parse_args() + phases_path = args.phases or args.baseline_parent.parent.parent / 'work/complex-nine-native/DATA-PHASES.json' + canonical_path = args.baseline_parent.parent / 'CANONICAL-WORD.json.gz' + replay_path = args.local_replay or args.word.parent / 'INDEPENDENT-LOCAL-REPLAY.json' + parent, phases, canonical, word, replay, roles = map(read, (args.baseline_parent, phases_path, canonical_path, args.word, replay_path, args.owners)) + require(replay['status'] == 'PASS_INDEPENDENT_LOCAL_SCALAR_FRAME_AND_WRAPPER_REPLAY', 'local replay status') + require(replay['canonical_word_sha256'] == filehash(args.word), 'local word/replay hash binding') + require(set(replay['local']) == {'forward', 'backward'}, 'both native prefix orientations') + require(word['ports'] == canonical['ports'], 'local/controller port interface') + require(len(word['center_frames']) == len(canonical['center_frames']) == 8, 'eight centre interfaces') + require([basis(word['frames'][f]) for f in word['center_frames']] == [basis(canonical['frames'][f]) for f in canonical['center_frames']], 'ordered centre-frame interface') + context = make_context(parent, phases, canonical['ports'], word, replay, roles) + # Generalize the unchanged event/window/chart check to the two independently + # recounted local providers. The caller also binds these times to PLAN dispatch. + second = read(args.second_word) + second_replay_path = args.second_word.parent / 'INDEPENDENT-LOCAL-REPLAY.json' + second_replay = read(second_replay_path) + require(second_replay['status'] == replay['status'], 'second replay status') + require(second_replay['canonical_word_sha256'] == filehash(args.second_word), 'second word/replay hash binding') + require(second['ports'] == word['ports'] and second['R'] == word['R'], 'second provider interface') + require([basis(second['frames'][f]) for f in second['center_frames']] == + [basis(word['frames'][f]) for f in word['center_frames']], 'second centre interface') + global EXPECTED_WIDTHS + original_widths = EXPECTED_WIDTHS + EXPECTED_WIDTHS = dict(original_widths) + EXPECTED_WIDTHS[4] -= 4 + EXPECTED_WIDTHS[5] += 4 + new_widths, new_paid = local_inventory(second, second_replay) + EXPECTED_WIDTHS = original_widths + expected_widths = list(context['widths']) + for h in (635,637,638,639): expected_widths[h - 224] += 1 + require(new_widths == expected_widths, 'only four demoted helper widths change') + require(len(args.second_times) == len(set(args.second_times)) and + all(0 <= t < len(context['order']) for t in args.second_times), 'distinct valid changed calls') + changed = {context['order'][t] for t in args.second_times} + context['per_call_widths'] = {call: new_widths if call in changed else context['widths'] for call in context['order']} + context['per_call_paid'] = {call: new_paid if call in changed else context['paid'] for call in context['order']} + context['provider_replays'] = [replay, second_replay] + context['provider_paid'] = [context['paid'], new_paid] + context['provider_widths'] = [context['widths'], new_widths] + receipt = check_roles(context, roles) + receipt['changed_times'] = sorted(args.second_times) + receipt['second_word_sha256'] = filehash(args.second_word) + receipt['second_replay_sha256'] = filehash(second_replay_path) + receipt['controls_rejected'] = controls(context, roles) + receipt['input_sha256'] = {str(path): filehash(path) for path in (args.baseline_parent, phases_path, canonical_path, args.word, replay_path, args.owners)} + args.out.write_text(json.dumps(receipt, indent=2) + '\n', encoding='utf-8') + print(receipt['status'], 'roles=' + str(receipt['roles']), 'controls=' + str(len(receipt['controls_rejected']))) + + +if __name__ == '__main__': + main() diff --git a/research/demote635-t16/reproduce.py b/research/demote635-t16/reproduce.py new file mode 100644 index 0000000000..5a4ef3795e --- /dev/null +++ b/research/demote635-t16/reproduce.py @@ -0,0 +1,165 @@ +"""Fresh finite replay of both words, the parent assembly, and the mixed assembly. + +Python 3.12+, Git, standard library; network on first fetch. Apache-2.0. +Prepared for seslly with substantial OpenAI Codex assistance. +""" +import argparse +from concurrent.futures import ThreadPoolExecutor +from fractions import Fraction +import gzip +import hashlib +import json +import os +from pathlib import Path +import subprocess +import sys +import tarfile +import threading +import time + +from construct import build_word, nominate, read, sha + +if not __debug__: + raise RuntimeError('Assertions required; do not use -O') +HERE = Path(__file__).resolve().parent + + +def main(): + ap = argparse.ArgumentParser(description=__doc__) + ap.add_argument('--out', type=Path, required=True) + ap.add_argument('--main', type=Path, default=HERE.parents[1], help='repository root (normally automatic)') + args = ap.parse_args() + root, out = args.main.resolve(), args.out.resolve() + out.mkdir(parents=True, exist_ok=False) + pins = read(HERE/'SOURCES.json') + stages, lock = [], threading.Lock() + + def extract(commit, package, label): + repository = root + if subprocess.run(['git', '-C', str(root), 'cat-file', '-e', commit], + stdout=subprocess.DEVNULL, stderr=subprocess.DEVNULL).returncode: + repository = out/(label+'.git') + subprocess.run(['git', 'init', '--bare', str(repository)], check=True, capture_output=True) + subprocess.run(['git', '-C', str(repository), 'fetch', '--depth=1', pins['repository'], commit], check=True) + archive, destination = out/(label+'.tar'), out/label + subprocess.run(['git', '-C', str(repository), 'archive', '--output', str(archive), commit, package], check=True) + destination.mkdir() + with tarfile.open(archive) as stream: + stream.extractall(destination, filter='data') + archive.unlink() + return destination/package + + parent = extract(pins['parent_commit'], pins['parent_package'], 'parent-source') + native = extract(pins['native_commit'], pins['native_package'], 'native-source') + assert sha(parent/'MANIFEST.json') == pins['parent_manifest_sha256'] + actual = {p.relative_to(parent).as_posix(): sha(p) for p in parent.rglob('*') + if p.is_file() and p != parent/'MANIFEST.json'} + assert actual == read(parent/'MANIFEST.json'), 'complete parent source manifest' + for name, digest in read(parent/'data/UPSTREAM-PINS.json').items(): + assert sha(root/name) == digest, 'main dependency: '+name + source = root/'research/complex-k492-owner-repair/vendor/multicold' + ancestor = source/'vendor/pr558' + old = ancestor/'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', 'WITNESS_DISCOVER', 'WITNESS_RECORD', 'WITNESS_SPEC', + 'XPARAM', 'EXTRAH', 'PAIRING_RANKS', 'DIAG', 'HYBBUDGET', 'PR635_CODE', 'SW4_PIN', 'LEC_REASON_PINS'): + env.pop(key, None) + + def run(name, script, *arguments, environment=None): + started, log = time.monotonic(), out/(name+'.log') + command = [sys.executable, '-B', str(source/'code/run_portable.py'), str(script), *map(str, arguments)] + with log.open('w') as stream: + result = subprocess.run(command, env=environment or env, stdout=stream, stderr=subprocess.STDOUT) + with lock: + stages.append(dict(name=name, exit_code=result.returncode, seconds=time.monotonic()-started, + log_sha256=sha(log))) + (out/'STEPS.json').write_text(json.dumps(stages, indent=2)+'\n') + assert result.returncode == 0, name+':\n'+log.read_text()[-5000:] + print('PASS', name, flush=True) + + baseline_word = HERE/'data/BASELINE-WORD.json.gz' + new_word = out/'DEMOTE635-WORD.json.gz' + build_word(new_word) + slot_pins = read(parent/'construction/slots/SLOT-PINS-k8.json') + assert hashlib.sha256(gzip.decompress(baseline_word.read_bytes())).hexdigest() == slot_pins['word_sha256'] == pins['baseline_payload_sha256'] + nomination = out/'nomination' + nominate(parent, nomination) + + def local(job): + label, word = job + target = out/label + run(label+'-native', native/'code/hpe_audit_and_transport.py', '--raw', word, + '--routing', old/'complex-local/inputs/phase-baseline/CANONICAL-WORD.json.gz', '--out', target) + run(label+'-ledgers', native/'code/hpe_emit_local.py', target) + run(label+'-replay', native/'code/hpe_audit_local.py', target) + run(label+'-wrappers', native/'code/hpe_adapters_local.py', target/'CANONICAL-WORD.json.gz', + target/'RESIDUAL-ADAPTERS.json', target/'WRAPPER-CHECKS.json') + run(label+'-phases', ancestor/'code/phases_full.py', target, old/'complex-global/vendor531/vendor/clifford') + run(label+'-independent', parent/'independent/audit_local.py', '--word', word, '--main', root, + '--output', out/(label+'-INDEPENDENT.json')) + + with ThreadPoolExecutor(max_workers=2) as pool: + list(pool.map(local, [('baseline', baseline_word), ('demote635', new_word)])) + checks = read(out/'baseline/LOCAL-CHECKS.json') + assert {k: v['sha256'] for k, v in checks.items()} == slot_pins['program_sha256'] + assert sha(out/'baseline/CLIFFORD-RECIPES.json') == slot_pins['clifford_recipes_sha256'] + run('frame-controls', HERE/'controls.py', '--source', parent, '--word', new_word, + '--recipe', HERE/'data/RECIPE.json', '--main', root, '--out', out/'frame-controls') + run('parent-global', parent/'verify_t16.py', '--main', root, '--local', out/'baseline', '--work', out/'parent-global') + baseline = read(out/'parent-global/ASSEMBLY.json') + assert baseline['kappa_decimal'] == pins['comparison_kappa'] + mixed = dict(env, WITNESS_SPEC=str(nomination/'data/SPEC.json')) + code, glob = parent/'code', out/'global' + + def global_run(name, script, *arguments): + run(name, code/script, *arguments, environment=mixed) + + global_run('bind', 'bind_providers_portable.py', '--baseline', out/'parent-global/parent16', + '--provider', 'gauge44='+str(out/'baseline'), '--provider', 'demote635='+str(out/'demote635'), + '--plan', nomination/'data/PLAN.json', '--out', glob) + global_run('emit', 'emit_allcold.py', '--base', glob/'base', '--owners', nomination/'data/OWNERS.json', + '--plan', glob/'PLAN.json', '--out', glob/'hosted') + global_run('audit', 'audit_allcold.py', glob/'base', glob/'hosted', glob/'audit/ASYNC-AUDIT.json', '--mutation-controls') + global_run('invoice', 'invoice_allcold.py', '--base', glob/'base', '--hosted', glob/'hosted', + '--audit', glob/'audit', '--out', glob/'audit', + '--retained-invoice', old/'complex-global/vendor531/evidence/audit/PREFIX-AND-INVOICE.json') + global_run('assembly', 'assemble.py', source, glob, out/'ASSEMBLY.json') + for label, script in [('ADMISSION-CONTROLS', 'assembly_controls.py'), ('BIT-CONTROLS', 'bit_supplier_controls.py')]: + global_run(label, script, '--source-package', source, '--owner', glob/'audit/OWNERS-AND-PROFILE.json', + '--invoice', glob/'audit/PREFIX-AND-INVOICE.json', '--out', out/(label+'.json')) + spec = read(HERE/'data/SPEC.json') + independent_env = dict(env, T16_EXPECTED_IDLE=json.dumps(spec['expected']['idle_remainder_profile']), + T16_EXPECTED_WIDTHS=json.dumps(spec['providers']['gauge44']['inventory'])) + run('independent-owners', HERE/'independent.py', '--baseline-parent', + out/'parent-global/global8/base/split-centres/GLOBAL-TEMPLATE.json.gz', + '--owners', nomination/'data/OWNERS.json', '--word', out/'baseline/CANONICAL-WORD.json.gz', + '--second-word', out/'demote635/CANONICAL-WORD.json.gz', '--second-times', *read(HERE/'data/RECIPE.json')['calls'], + '--out', out/'INDEPENDENT-OWNERS.json', environment=independent_env) + result, independent = read(out/'ASSEMBLY.json'), read(out/'INDEPENDENT-OWNERS.json') + owner, invoice = read(glob/'audit/OWNERS-AND-PROFILE.json'), read(glob/'audit/PREFIX-AND-INVOICE.json') + audit = read(glob/'audit/ASYNC-AUDIT.json') + assert result['kappa'] == spec['expected']['kappa'] and Fraction(result['kappa']) > Fraction(baseline['kappa']) + assert independent['profile'] == result['complex_profile'] and independent['rank_mass'] == owner['rank_mass'] == 1041408 + assert independent['roles'] == owner['hosted_residuals'] == audit['complex_hosted_residuals'] == 69120 + assert independent['calls'] == audit['complete_invocations'] == invoice['complete_invocation_sweeps'] == 144 + assert independent['prefix_bits'] == invoice['global_prefix_bits'] < invoice['charged_prefix_bits'] == 512 + assert independent['physical_row_coefficient'] == invoice['finite']['physical_row_coefficient'] < 20161 + assert len(independent['controls_rejected']) == 6 and len(audit['mutations_rejected']) == 23 + assert len(read(out/'ADMISSION-CONTROLS.json')['rejected_controls']) == 114 + assert len(read(out/'BIT-CONTROLS.json')['rejected_controls']) == 12 + assert all(invoice['strict_checks'].values()) and len(result['outer']) == 47 + assert all(Fraction(v) > 0 for v in result['outer'].values()) + assert result['provider_counts'] == {'gauge44': 35, 'demote635': 109} + receipt = dict(status='PASS_DEMOTE635_T16_COMPLETE_ADMISSION', kappa=result['kappa'], + kappa_decimal=result['kappa_decimal'], comparison=baseline['kappa_decimal'], + parent_commit=pins['parent_commit'], reused_native_receipts=False, + historical_generators_rerun=False, stages=stages, + scope='Exact finite words, phases, whole-owner geometry and invoices. PR589 bit circuit cited and repriced. ' + 'Inherited uniform/compiler, realization/hosting, precision/tape and analytic obligations remain conditional.') + (out/'RESULT.json').write_text(json.dumps(receipt, indent=2)+'\n') + print(receipt['status'], result['kappa_decimal'], flush=True) + + +if __name__ == '__main__': + main()