TFPT scientific source excerpt Original repository path: experiments/theory-contracts/original-paper-source-reconciliation-20261102/weights_20261105B/c6-walk-weights.json Original file SHA-256: be95b5dc9b69ce28935ed739c2efeea34091c8141d02fb8add324fad1fe71e1d Inclusive original lines: 1-200 Line numbers below refer to the original source. This bounded excerpt is source evidence; it is not a new proof/checker run. Conversation metadata and personal execution details are omitted where indicated. 000001 | { 000002 | "scope": "Existing full local C6 Green and structural inverse-square-root walk amplitudes. No physical time, Gibbs law, primitive mixed field source or new parameter selected.", 000003 | "delta": "0.59327728013322400139406654542092656816159854335148182043611442793", 000004 | "delta_interval": [ 000005 | "14831932003330600034851663635523164204039963583787/25000000000000000000000000000000000000000000000000", 000006 | "59327728013322400139406654542092656816159854335149/100000000000000000000000000000000000000000000000000" 000007 | ], 000008 | "exact_delta_interval_verified": true, 000009 | "matrix_producer": "Original v17_hexagonal_resolvent.U6_power(1)", 000010 | "green_weight_rule": "a^-1*(b/a)^n per oriented walk of length n", 000011 | "inverse_sqrt_weight_rule": "binomial(2n,n)/(4^n*sqrt(a))*(b/a)^n per oriented walk of length n", 000012 | "source_sha256": { 000013 | "verification/v17_hexagonal_resolvent.py": "b41a5cbab3ec83793ea903db1377dea15f89fbd2cd6022cb79ec66f0fe463b1e", 000014 | "documents/archive--tfpt-45--source_extracts--03_em_flavor_source/sections/003-subsection-discrete-phase-operator-and-transport-grammar.tex": "00a2cf1b249b77280dbbf6dfb41c91c77e08aa63e0f30b682d1a8a621f3dd7ec", 000015 | "documents/archive--tfpt-45--source_extracts--03_em_flavor_source/sections/005-source.tex": "786d2619e775775d70adf177794138485b261968042a880b2f0f617bb0111814" 000016 | }, 000017 | "rows": [ 000018 | { 000019 | "y": "1", 000020 | "epsilon": 0, 000021 | "a": "1.351977931122275946373324650960093783715032143798416364", 000022 | "b": "0.5932772801332240013940665454209265681615985433514818204", 000023 | "q": "0.8776434385149244871552433156583679452536624318121680824", 000024 | "certified_q_upper": "877643439/1000000000", 000025 | "certified_prefactor_green_upper": 1, 000026 | "certified_prefactor_inverse_sqrt_upper": 1, 000027 | "N": 633, 000028 | "exact_rational_tail_verified_below": "1e-35 for both operator norms", 000029 | "tail_formula": "C*q_upper^(N+1)/(1-q_upper)", 000030 | "green_max_entry_error": "1.242655294e-36", 000031 | "inverse_sqrt_max_entry_error": "3.220099626e-38", 000032 | "green_identity_residual": "3.111990584e-79", 000033 | "inverse_sqrt_identity_residual": "2.763573938e-75", 000034 | "green_absolute_PF": "6.045095048096521889322705756434658792510734104305687341", 000035 | "inverse_sqrt_absolute_PF": "2.458677499814996454249994040392565565095711171398910274", 000036 | "green_first_row": [ 000037 | "1.68387532383425441490764319054507592104244094", 000038 | "1.07585636542379301946039753475601724497984801", 000039 | "0.767818195903711210499208782571962221036911721", 000040 | "0.67387060160725901449584993123362393943477369", 000041 | "0.767818195903711210499208782571962221036911721", 000042 | "1.07585636542379301946039753475601724497984801" 000043 | ], 000044 | "inverse_sqrt_first_row": [ 000045 | "1.13606850473625524178518029298795687343150882", 000046 | "0.377018857783846126050037963769432322637122049", 000047 | "0.203544408318419940093191568731203431996739545", 000048 | "0.161482462874209080178354682403337182396479164", 000049 | "0.203544408318419940093191568731203431996739545", 000050 | "0.377018857783846126050037963769432322637122049" 000051 | ], 000052 | "sample_weights": [ 000053 | { 000054 | "length": 0, 000055 | "green_per_oriented_walk": "0.739657043935547595089468325814703884663704411", 000056 | "inverse_sqrt_per_oriented_walk": "0.860033164439341603631721858305577439051181399" 000057 | }, 000058 | { 000059 | "length": 1, 000060 | "green_per_oriented_walk": "0.32457757568068928289311400873813530413565272", 000061 | "inverse_sqrt_per_oriented_walk": "0.188700615918853810900801668868649831821484876" 000062 | }, 000063 | { 000064 | "length": 2, 000065 | "green_per_oriented_walk": "0.142431689792619137073769134496029387075199018", 000066 | "inverse_sqrt_per_oriented_walk": "0.0621044465268401083111034231662982960340311583" 000067 | }, 000068 | { 000069 | "length": 3, 000070 | "green_per_oriented_walk": "0.0625021189915426656535675580698515988390286963", 000071 | "inverse_sqrt_per_oriented_walk": "0.022710649998700921755142731908463633576193899" 000072 | }, 000073 | { 000074 | "length": 6, 000075 | "green_per_oriented_walk": "0.00528152190324218037574197425275044536263773638", 000076 | "inverse_sqrt_per_oriented_walk": "0.00138533851859814408653682215532841669811971026" 000077 | } 000078 | ] 000079 | }, 000080 | { 000081 | "y": "1/3", 000082 | "epsilon": 0, 000083 | "a": "0.4630890422333870574844357620712048948261432549095274749", 000084 | "b": "0.1977590933777413337980221818069755227205328477838272735", 000085 | "q": "0.8540866889183482092257463214612228709834278151221355183", 000086 | "certified_q_upper": "854086689/1000000000", 000087 | "certified_prefactor_green_upper": 3, 000088 | "certified_prefactor_inverse_sqrt_upper": 2, 000089 | "N": 530, 000090 | "exact_rational_tail_verified_below": "1e-35 for both operator norms", 000091 | "tail_formula": "C*q_upper^(N+1)/(1-q_upper)", 000092 | "green_max_entry_error": "1.128564878e-36", 000093 | "inverse_sqrt_max_entry_error": "1.870524123e-38", 000094 | "green_identity_residual": "2.58488996e-79", 000095 | "inverse_sqrt_identity_residual": "2.21085915e-75", 000096 | "green_absolute_PF": "14.79927985116303755431782941158126361393225922787246926", 000097 | "inverse_sqrt_absolute_PF": "3.84698321430741851818011640357799661745403993254090785", 000098 | "green_first_row": [ 000099 | "4.4213592100824303103139000727687235759634658", 000100 | "2.6483813818008135242188274510132586873016138", 000101 | "1.78030958106764978538919544182619724759605424", 000102 | "1.52053871534368062478788355313362816817345735", 000103 | "1.78030958106764978538919544182619724759605424", 000104 | "2.6483813818008135242188274510132586873016138" 000105 | ], 000106 | "inverse_sqrt_first_row": [ 000107 | "1.87819362738182747107087101354827948172877806", 000108 | "0.579836663842261750319686057833441851219890977", 000109 | "0.292449482527311710302092251493276142319951055", 000110 | "0.22421729418644412586568877137628114864557781", 000111 | "0.292449482527311710302092251493276142319951055", 000112 | "0.579836663842261750319686057833441851219890977" 000113 | ], 000114 | "sample_weights": [ 000115 | { 000116 | "length": 0, 000117 | "green_per_oriented_walk": "2.15941192470717371238464929841206483364806787", 000118 | "inverse_sqrt_per_oriented_walk": "1.46949376477315265687200434679211933809741978" 000119 | }, 000120 | { 000121 | "length": 1, 000122 | "green_per_oriented_walk": "0.922162490391973719943412414032375775364807281", 000123 | "inverse_sqrt_per_oriented_walk": "0.313768765985314997843508869500756027258571233" 000124 | }, 000125 | { 000126 | "length": 2, 000127 | "green_per_oriented_walk": "0.393803354031789463958066109899802634532741236", 000128 | "inverse_sqrt_per_oriented_walk": "0.100494647409897647811928472224335859972842825" 000129 | }, 000130 | { 000131 | "length": 3, 000132 | "green_per_oriented_walk": "0.168171101364975557473713248266047304598182506", 000133 | "inverse_sqrt_per_oriented_walk": "0.0357629752751401416351386360232113715517162605" 000134 | }, 000135 | { 000136 | "length": 6, 000137 | "green_per_oriented_walk": "0.01309686170143011931432900466963010093454007", 000138 | "inverse_sqrt_per_oriented_walk": "0.00201053444121353107783780531494523467498040002" 000139 | } 000140 | ] 000141 | }, 000142 | { 000143 | "y": "2/3", 000144 | "epsilon": 0, 000145 | "a": "0.7964223755667203908177690954045382281594765882428608082", 000146 | "b": "0.395518186755482667596044363613951045441065695567654547", 000147 | "q": "0.9932372542246537590096273606045003308275991501645514864", 000148 | "certified_q_upper": "198647451/200000000", 000149 | "certified_prefactor_green_upper": 2, 000150 | "certified_prefactor_inverse_sqrt_upper": 2, 000151 | "N": 12714, 000152 | "exact_rational_tail_verified_below": "1e-35 for both operator norms", 000153 | "tail_formula": "C*q_upper^(N+1)/(1-q_upper)", 000154 | "green_max_entry_error": "1.049437423e-36", 000155 | "inverse_sqrt_max_entry_error": "4.659362276e-39", 000156 | "green_identity_residual": "5.876051553e-78", 000157 | "inverse_sqrt_identity_residual": "8.8434366e-75", 000158 | "green_absolute_PF": "185.6664720228762493108444609099347638970776306529402361", 000159 | "inverse_sqrt_absolute_PF": "13.62594848158748357854954830996727370489787092824965579", 000160 | "green_first_row": [ 000161 | "32.1605114666247432441486165609581857077931558", 000162 | "31.1153213251689227759574588750045807324440978", 000163 | "30.4938466795733336918943523915927464575429766", 000164 | "30.2876245467669931309922218157819238093103262", 000165 | "30.4938466795733336918943523915927464575429766", 000166 | "31.1153213251689227759574588750045807324440978" 000167 | ], 000168 | "inverse_sqrt_first_row": [ 000169 | "3.23504135147001535266417206782388283972785773", 000170 | "2.24927753416646937764104037394014344931196721", 000171 | "1.98738797018684436964153120280459642931143352", 000172 | "1.91757612141084073132023308865391110792321173", 000173 | "1.98738797018684436964153120280459642931143352", 000174 | "2.24927753416646937764104037394014344931196721" 000175 | ], 000176 | "sample_weights": [ 000177 | { 000178 | "length": 0, 000179 | "green_per_oriented_walk": "1.25561514929614740152695465680884842807337476", 000180 | "inverse_sqrt_per_oriented_walk": "1.12054234605219065836367365271727746444129468" 000181 | }, 000182 | { 000183 | "length": 1, 000184 | "green_per_oriented_walk": "0.623561871624892070515340914052596624932854471", 000185 | "inverse_sqrt_per_oriented_walk": "0.278241100758832410091919664750299904855384639" 000186 | }, 000187 | { 000188 | "length": 2, 000189 | "green_per_oriented_walk": "0.309672440605946918300321135477682732719554403", 000190 | "inverse_sqrt_per_oriented_walk": "0.103634785098805473165880633573262306864013848" 000191 | }, 000192 | { 000193 | "length": 3, 000194 | "green_per_oriented_walk": "0.153789102308248945523092426562818885819824297", 000195 | "inverse_sqrt_per_oriented_walk": "0.0428891372473748378683548051607883642110278202" 000196 | }, 000197 | { 000198 | "length": 6, 000199 | "green_per_oriented_walk": "0.018836255680759354210013438122941899622184618", 000200 | "inverse_sqrt_per_oriented_walk": "0.00379208729746290917838578509826059702081484981"