complex-compression.json

{
  "assembly_control": {
    "absorption_gap": "292129899/2621440000000000000",
    "complex_saving": "1/200000000",
    "constraint_slacks": {
      "K_dominates_log_p": "199/1000",
      "K_smaller_than_ell": "301/500",
      "alpha_below_sqrt_p": "801/4000",
      "beta_below_one": "99/100",
      "beta_positive": "1/100",
      "c_positive": "1",
      "crt_layout": "29637/12500000000000",
      "delta_below_one_eighth": "1249/10000",
      "delta_positive": "1/10000",
      "dimension_upper_bound": "403/3000",
      "epsilon_positive": "199/1000",
      "gamma_sublinear": "403/2000",
      "gaussian_cost": "23/20000",
      "guard_width": "12761/1000000",
      "kappa_positive": "1/2147483648",
      "lambda_above_sigma": "207/100000000000",
      "lambda_above_tau": "3/100000000000",
      "lambda_below_one": "293/100000000000",
      "lambda_prime_above_lambda": "3/100000000000",
      "lambda_prime_below_one": "29/10000000000",
      "leaf_cost": "41/20000000000",
      "packed_overhead": "3/100000000000",
      "prefix_cost": "301/500",
      "prime_interval_growth": "301/500",
      "r_superpolynomial": "801/1000",
      "reserved_axes": "9999999971/10000000000",
      "scalar_cost": "8009/10000",
      "sigma_below_one": "1/200000000",
      "sigma_positive": "199999999/200000000",
      "tau_below_one": "37/12500000000",
      "tau_positive": "12499999963/12500000000"
    },
    "derived_powers": {
      "K": "199/1000",
      "alpha": "1199/4000",
      "d": "199/1000",
      "ell": "801/1000",
      "gamma": "1597/2000",
      "guard": "987239/1000000",
      "prime_interval_ratio": "301/500"
    },
    "guard_C0": 163683105526161774852211653011111562104603718642394038114964451144205360970948886318088192,
    "guard_C1": "4961/1000",
    "guard_node_charge": 22734667915643833353538716974924185538112,
    "internal_exponent": "12499999963/12500000000",
    "margins": {
      "g1": "301/500",
      "g2": "7363/12500000000000",
      "g3": "5771/10000000000000",
      "g4": "29637/12500000000000",
      "g5": "23/20000",
      "g6": "8009/10000",
      "g7": "199/1000"
    },
    "minimum_margin": "5771/10000000000000",
    "parameters": {
      "C1": "4961/1000",
      "beta": "1/100",
      "c": "1",
      "delta": "1/10000",
      "epsilon": "199/1000",
      "kappa": "1/2147483648",
      "lam": "99999999707/100000000000",
      "lamp": "9999999971/10000000000",
      "sigma": "199999999/200000000",
      "tau": "12499999963/12500000000"
    },
    "scalar_steps_per_network": 76381334640000,
    "status": "CONDITIONAL 2^-31 WITNESS; INTEGRATED BY make_complex_compression_patch.py"
  },
  "complex_saving_bounds": [
    "51398673045838292090857849606766382720173076252790111174265544824257427535587993958660229828949373361472104489956153718996531425249012520961384201330933506152857439676629858169195168592418473950847286705704133454710245132446289062500000000000000000/9363172999305215436221581015241596502034618481347562960468088228014944009581229914904097173353699301642642354043175036332045832942002138638772323693048099141964397949874382774146273349188203442607743188181987115650363854044901171907428448724023891479443447",
    "241026749929218135626922002966900194166176463240886238158226711475215131608159771926540137508038656420166519110934563773460492595048355115270210468487462711425609453100824574346977894053229889499018133469804488420972048430570566779351793229579925537109375/43907264980068871743765463525580733530018008256815554028737823228076353291768258691140471008949133727663016779727624219445587255292812615214648453452297704613601463827694035341066962778182963258367247597666627862656255850818804762596648789430833229620185320237056"
  ],
  "counts": {
    "L": 14236560000,
    "N": 17576000000,
    "W": 7082222160000,
    "central_roles": 27,
    "deficit": 6678880000,
    "disjoint_roles": 491956,
    "eta": "19/354111108",
    "h": 26,
    "intersection_two_roles": 29250,
    "m": 17576,
    "s": 124477130005280000,
    "side_roles": 521206,
    "v": 2600
  },
  "disjoint_partition": {
    "coefficients": 4604600,
    "every_ordered_disjoint_pair_once": true,
    "frame_types": {
      "coordinate": 19452,
      "source_line": 5182,
      "target_complement": 236
    },
    "h": 26,
    "partition_sha256": "ae5fdccf186ce6b32cb1eefd06f9e8808caeb1be3dce29fb24264db8553d15c3",
    "rectangles": 24870,
    "roles": 491956,
    "source_memberships": 217255,
    "target_memberships": 299571
  },
  "finite_screen": {
    "22": {
      "counts": {
        "L": 3600088800,
        "N": 3652264000,
        "W": 1131604196800,
        "central_roles": 23,
        "deficit": 104350400,
        "disjoint_roles": 219917,
        "eta": "1/115469816",
        "h": 22,
        "intersection_two_roles": 17094,
        "m": 10648,
        "s": 12049321383176000,
        "side_roles": 237011,
        "v": 1540
      },
      "saving_bounds": [
        "17608438759244286803242724844176895071130595865059243487510047459024979319331426006256091176883552296892579890197092187331697681608719666376118291001313095262306057963887522067979826015038415789604187011718750000000000000000/18854522913673031408499829086647203749567268823112797527342407233030827460912880684275330202337107914759720613563530304953379472505108546057952175078383309017069939897974063425258607716243920897498696334909857634890491766507486046713",
        "234364832192057387644964236849655991107212540604634423365921483915806206474450274958073711202486149599701974071156301931791009195605157286240519937225538526990668124108252393397985106125317043286932090495611191727221012115478515625/250949965476321827280057258109912782441578673906603850213515006579318681959944075431802021831165050852276167932970722379522073492609879403612529650009204913473378145378964128182771746256005530623114950114312315262359293197700241849076888576"
      ]
    },
    "24": {
      "counts": {
        "L": 7373836800,
        "N": 8291469824,
        "W": 2904406838784,
        "central_roles": 25,
        "deficit": 1835266048,
        "disjoint_roles": 329811,
        "eta": "7/153140544",
        "h": 24,
        "intersection_two_roles": 22632,
        "m": 13824,
        "s": 40150518304083968,
        "side_roles": 352443,
        "v": 2024
      },
      "saving_bounds": [
        "1605001396601603090514411145608321096638632738545087636598400845404655984965014532071817945011315909054565684149883693442205690817321726731073148807446656363963458560/334772714667937341146538722763784302985965355537385924994555981686255078710632586111704534664325136238007032537850407277369858861498674602997744482270987472582322998245932903",
        "184209014125119793635399813246617753223347651242644266634074567014669194288613081165722422689842748544226346268386949795022609064716948679745346860387245052200304826646195201305/38422491005643759992183187280952237886286740601194738841433990718005116007817582099970376101262674485091449600870538888600157199513186412148730901156125756563218827007727630754559238144"
      ]
    },
    "26": {
      "counts": {
        "L": 14236560000,
        "N": 17576000000,
        "W": 7082222160000,
        "central_roles": 27,
        "deficit": 6678880000,
        "disjoint_roles": 491956,
        "eta": "19/354111108",
        "h": 26,
        "intersection_two_roles": 29250,
        "m": 17576,
        "s": 124477130005280000,
        "side_roles": 521206,
        "v": 2600
      },
      "saving_bounds": [
        "51398673045838292090857849606766382720173076252790111174265544824257427535587993958660229828949373361472104489956153718996531425249012520961384201330933506152857439676629858169195168592418473950847286705704133454710245132446289062500000000000000000/9363172999305215436221581015241596502034618481347562960468088228014944009581229914904097173353699301642642354043175036332045832942002138638772323693048099141964397949874382774146273349188203442607743188181987115650363854044901171907428448724023891479443447",
        "241026749929218135626922002966900194166176463240886238158226711475215131608159771926540137508038656420166519110934563773460492595048355115270210468487462711425609453100824574346977894053229889499018133469804488420972048430570566779351793229579925537109375/43907264980068871743765463525580733530018008256815554028737823228076353291768258691140471008949133727663016779727624219445587255292812615214648453452297704613601463827694035341066962778182963258367247597666627862656255850818804762596648789430833229620185320237056"
      ]
    },
    "28": {
      "counts": {
        "L": 26143580736,
        "N": 35158608576,
        "W": 15815599948512,
        "central_roles": 29,
        "deficit": 18030055680,
        "disjoint_roles": 696482,
        "eta": "15/288837752",
        "h": 28,
        "intersection_two_roles": 37044,
        "m": 21952,
        "s": 347184032039679744,
        "side_roles": 733526,
        "v": 3276
      },
      "saving_bounds": [
        "6525705637654563270656337575602573548324983993664154657795152399236208002898051906717763438788675028494881821902359984046935320424844473385549343617359377274754094120039751794834406313066905874258550540537105224559911308814336000/1256154528097459765466646615976846522599492784038180057784354127593170105161175140421421455977884354751167142353046937183789081695559815453471064650104766058582130298926951139550170740534678987137827570284033146151215298223115097364560679",
        "66988274662032541689632505738606804790055428331319540127132340547630714315553760522792697116536029070878200698318588986942218273131186750233714967271833917529104441639004576961816553878628741986804074030401149708662042798959802911555599625/12894793179238840139322393578748195818147587303398110786528649575322077930221591545291562763759223047625161921883374475139629246716296754210301176649306148555281718275192932697963325939874935827997780078539716386396554426281347287114939767376203776"
      ]
    },
    "30": {
      "counts": {
        "L": 45989244000,
        "N": 66923416000,
        "W": 32933540488800,
        "central_roles": 31,
        "deficit": 41868344000,
        "disjoint_roles": 948778,
        "eta": "127/2697243300",
        "h": 30,
        "intersection_two_roles": 46110,
        "m": 27000,
        "s": 889205551329256000,
        "side_roles": 994888,
        "v": 4060
      },
      "saving_bounds": [
        "8092014575882865221262936550561392608017684427979664500853894066482655811649297356657675130992478224718281370942359897402354570117394357539193395799667060612197886272998694123590962067772435513282703418262696836255767407366999516855913959407726981292607008591759908817498931200/1753582242445918599318383841907924166071386633647702758293906848589918058617311272959467846167357944656171279717004474381523337600885090604902601647633232271913873159582572143713365177263540976929677717387618289651507679440101744172460759192952864534261868583160263790597152784881908097",
        "192115659575835137184647078681513663347828651080220315405328775145204852935070763016456990249319026776939488518560360966599875165362934900512894396838314932388226122309908717747281427065606783191772453136839123075035770213739861087486788177666004116318756413635264957775635984258837013417/41632476803987198560691981001561530688075260672724526078643321007015462773969161747900902763457129808977278590389761221526975681802547706638358123317680213244699792479654855710359318907841318521922397545710936536719558253301588121966426448308758545637232237002562581780162786431359127334573471744"
      ]
    },
    "32": {
      "counts": {
        "L": 77937868800,
        "N": 122023936000,
        "W": 64994228992000,
        "central_roles": 33,
        "deficit": 88172134400,
        "disjoint_roles": 1259398,
        "eta": "1/24154240",
        "h": 32,
        "intersection_two_roles": 56544,
        "m": 32768,
        "s": 2129730807437721600,
        "side_roles": 1315942,
        "v": 4960
      },
      "saving_bounds": [
        "1670478877446016271493583419462254727375746639311199275081154896131034552309633732224/419518461025482372994196257117545558195636787662225773793460462992271341459849933795188592941",
        "2606145765164808927463324104773648788614808285001119582395338387442331583872017785421805326357/654498704156976753767220516944432329061007495468144849696320006885658372206639127535310334225897930752"
      ]
    },
    "34": {
      "counts": {
        "L": 127835473920,
        "N": 214276603904,
        "W": 125817248995328,
        "central_roles": 35,
        "deficit": 172882259968,
        "disjoint_roles": 1682358,
        "eta": "71/2030882764",
        "h": 34,
        "intersection_two_roles": 68442,
        "m": 39304,
        "s": 4945120981630111744,
        "side_roles": 1750800,
        "v": 5984
      },
      "saving_bounds": [
        "255045343050477015621421364859561372939511928434998432001702615325424321229739930393022349874330285441043524103445848542736633565171751811748446962976577880235424162723903583637243715197285247873826668693838225623377410251187684419237729851138672853063186513920/77177705252360525842570137549313070174024560922268763607640605736202450031842670933942345969722186655968606828237271419521819725444647079850161920642384477717855645089340293209909593893602908654380536506369874294004306188613618389954717978988238186561197141592737164729",
        "152400453116566028815661077086170490152166438444221292166557770540712992995113813188606512515254512954146731879644434183921906066305885132029697652352662154764704704678360552189250720655264032895599074818421088403361389261443546890187335837363731604542807303474152074785/46116965361052192555253860346179215264503545774216287481627456532654317259042920932385678694791043758395551359823709408014619014585671166537552853369041829527493707552686148047494970245331681750413440413796627007636588006924157109768844430510719482715394973248091234282224425472"
      ]
    },
    "36": {
      "counts": {
        "L": 203714481600,
        "N": 363994344000,
        "W": 231533233646400,
        "central_roles": 37,
        "deficit": 320559724800,
        "disjoint_roles": 2181765,
        "eta": "131/4414516848",
        "h": 36,
        "intersection_two_roles": 81900,
        "m": 46656,
        "s": 10802414228446713600,
        "side_roles": 2263665,
        "v": 7140
      },
      "saving_bounds": [
        "129082702004632960194818918947851030167556484228767767179075095955102550192315504837349397064197501693484036749255524955262663414756802241979254047139813364755555458698044917471627092174902157639135044137278632186079186627358873748633046683779072/46763917202026526700334916149399866220135058956366241712049966138361521884530669714368794351477598887764922990363901835472348723252175552732814542492006868134791737292846662335407949363859119466576654880440104102397199559005343747103243170431608948253125",
        "285667763409147247580839607914238596439964072503307591438703411804406133625393916176069946997504754499187990994546999299029440284586844244623043137481664138730774109124617761762375340354747436388842239399113922613588397808468440144890279818636324201178354317/103491354208513497291805422413161294218771509507976597378217955143358048880577514295522574417580720762935301281394586230274379383102022078286155822174456966278290729525422229001186419466012749930282080553604139344356582028067136604105093722415461370338611311161600000"
      ]
    },
    "38": {
      "counts": {
        "L": 316404462816,
        "N": 600357185856,
        "W": 410273966761920,
        "central_roles": 39,
        "deficit": 567905446080,
        "disjoint_roles": 2777021,
        "eta": "21/832468888",
        "h": 38,
        "intersection_two_roles": 97014,
        "m": 54872,
        "s": 22512552536254628160,
        "side_roles": 2874035,
        "v": 8436
      },
      "saving_bounds": [
        "157486510711950581368160665696170212274456258533617239038896286879471310603221116310644580182552471044475488803043051415012809596094704135108300269182232811717007013929094977321789868574673736643650088479189149492536026460253743473265741946142840984861850738525390625000000000000000000/68128153089728466341578349428323522199929466536326490079894503758876385691860317485818166428993640961651958044004584620740508702825097820065189190335915611847112506717462965302189067859014467463348527484352276340275869126154115848383052910474992285024502434322327675040696848632464411025056403",
        "523490971185091577531642898689866494161338630501392167323941059304611526474681447871497581296944686177349833731681161938111937248205051670134815006419801629977924084154216508617458937087772040660427102132091425636867581511664969212628036518797439655924904430228771161637268960475921630859375/226460494075079013989930716303681814700268389170626161312334100287155960742177160570466077249209676911920677264553429391892886282786377258655674254879154783193607309842461794449925354966678976442703199313492591958160034242256324276083848610783679204087504499634043559898114147212533283161459896603648"
      ]
    },
    "40": {
      "counts": {
        "L": 480262848000,
        "N": 964430272000,
        "W": 698374025190400,
        "central_roles": 41,
        "deficit": 968334848000,
        "disjoint_roles": 3453407,
        "eta": "31/1430883200",
        "h": 40,
        "intersection_two_roles": 113880,
        "m": 64000,
        "s": 44695936643850752000,
        "side_roles": 3567287,
        "v": 9880
      },
      "saving_bounds": [
        "1004892864459408996257684759399392483469608716246350023127787991646755016403283023931770152593785431852264164273440750781426679065632653161682812909893548106279014400/513307921835159404252738205156042920837092142964521672187607374603336043712083444032540040067320948939875765792175306077875171512811174099845584033074287940704112409183140669",
        "10646212634838139764115108032515033182477949946359080726033595952199964634726985597797912104098433643931193685030946599920163331120270082840046539495323058923757556951237487647/5438177019939147313203429413427185211976127651655203030396261139212141045003355192215466593628214489734844537517231844521639433127056184206645563506920366249640426564927183272796012544"
      ]
    }
  },
  "intersection_two_circuit": {
    "additions": 66,
    "exact_integer_coefficient_map": true,
    "forward_and_reverse_support_frames_nested": true,
    "inputs": 24,
    "outputs": 24,
    "roles": 90
  },
  "matching": {
    "all_binary_dot_products_zero": true,
    "bijective": true,
    "h": 26,
    "sha256": "971c8bb9764460e7065fa98abc51f35718d8346d0f3f9420a88b73f46c15121c",
    "triples": 2600
  },
  "phase_controls": {
    "all_local_residual_bases_constructed": true,
    "directed_rectangle_checks": 292,
    "h": 8,
    "pair_basis_checked": true
  },
  "proof_sha256": {
    "notes/compact-control-guard.tex": "38eac1e967ca30dd7df111943e41e8fbb93cafbe0356e8ebc8cb2db78089067f",
    "notes/compact-control-layout.tex": "2bc28e50f3eb092195294cafa81213e520f6d42e7935e9905ad8a6199e2a7c87",
    "notes/compact-control-movement.tex": "b963c3d2f4e1b7059aa289bb4b4ac89b688920bcf42f5b20d7698cdef0132cc6",
    "notes/complex-compression.tex": "10312815290c7bb8ef4db153e30fba13c032bf17ccaf991a34f1aa6340405a0d"
  },
  "scope": "Exact finite construction and conditional accounting, not independent verification of upstream. The 2^-34 published source patch is unchanged. Finite screen has no all-h optimality claim.",
  "scoped_ceiling": {
    "scope": "Retained certified bit exponent and Gaussian assembly constraint; not a ceiling for other bit networks or assembly proofs.",
    "upper": "37/62500000000"
  },
  "simple_saving": "1/200000000",
  "simple_saving_slack": "6327905088757381266210517726197320860213564834023428380914238502970587995397957248384040253326510540940056675006565744952690323487021871681625607572102133267809363002224920542098340884579844031877/1322714957624537768348814594084081017946373785831661056097208653509731309266214363312574451139326759958422941315259446648925214325959138779243351860019215259008924476802349090576171875000000000000000000000",
  "status": "CONDITIONAL FINITE COMPLEX NETWORK; WRITTEN TRANSFER PROOF SUPPLIED; PUBLISHED WITNESS UNCHANGED",
  "upstream_commit": "adc7f1241b42e322a6451854ab7e4b4c146bf78a"
}