back to table · edit · history · where entries came from · files · download
42110 bytes, as of the version from 2026-09-28 01:32 (current). Recorded here, not run.
{
"table": "T418",
"baseline_sha256": "32159d1be260c1badb6879cb7e138acac13759c93141a8c232a7ca12154c328c",
"candidate_sha256": "b0cdb4e7a9b481992c3b3f715d138bf18ed49866d0a4f1dcfd554f738ef1f9d5",
"proof": {
"generator_sha256": "a2ce8d44e0eb4fb5ebb0645e7318b1a088245ab2a98f14c081fa8ce55de16702",
"computation_generator_sha256": "a3c603ef1d0e13e8303a514fe53a4ffb63a11066e314ce593766117a7d179753",
"attachment_specialization": "Only DEFAULT_TABLE is specialized for this attachment.",
"entries_sha256": "1757f190a3be86118af923000f1a7b8684a030f9646cc1a3b9e3ac41596671e5",
"all_entries_checked": true,
"independent_checks": {
"controls": {
"uniform_flow": "pass",
"rational_solution": "pass",
"toepfer_relative_difference": "6.08784780299568643192777855121341820679478313488043349510080024614322932091998694450998727194118121954427882406917799636638648429027237510708534076102779043439258777495721539386049739263975205277836e-200",
"toepfer_shear_hartree": "0.469599988361013304509333653447588458721334078450291830947017969251283786051206453625497172251755578996709231067247196753289232755681543465724088691904846830352217290883156582634338600398351432917605",
"reynolds_analogy": "pass in both conventions",
"heat_monotonicity": "pass for all selected Prandtl numbers in both runs",
"momentum_identity": "pass at every beta in both runs"
},
"collocation": {
"-1/6": {
"relative_differences": {
"shear_hartree": 3.219646771412954e-14,
"shear_wedge": 3.219646771412954e-14,
"momentum_hartree": 2.55351295663786e-15,
"momentum_wedge": 2.55351295663786e-15,
"heat:1/8:hartree": 5.329070518200751e-15,
"heat:1/8:wedge": 5.329070518200751e-15,
"heat:1/6:hartree": 6.439293542825908e-15,
"heat:1/6:wedge": 6.439293542825908e-15,
"heat:1/4:hartree": 7.327471962526033e-15,
"heat:1/4:wedge": 7.549516567451064e-15,
"heat:1/3:hartree": 8.215650382226158e-15,
"heat:1/3:wedge": 8.43769498715119e-15,
"heat:1/2:hartree": 9.992007221626409e-15,
"heat:1/2:wedge": 9.992007221626409e-15,
"heat:2/3:hartree": 1.1102230246251565e-14,
"heat:2/3:wedge": 1.1102230246251565e-14,
"heat:1:hartree": 1.2434497875801753e-14,
"heat:1:wedge": 1.2656542480726785e-14,
"heat:3/2:hartree": 1.3766765505351941e-14,
"heat:3/2:wedge": 1.3766765505351941e-14,
"heat:2:hartree": 1.4432899320127035e-14,
"heat:2:wedge": 1.4432899320127035e-14,
"heat:3:hartree": 1.4876988529977098e-14,
"heat:3:wedge": 1.4876988529977098e-14,
"heat:4:hartree": 1.4654943925052066e-14,
"heat:4:wedge": 1.4654943925052066e-14,
"heat:6:hartree": 1.2434497875801753e-14,
"heat:6:wedge": 1.2434497875801753e-14,
"heat:8:hartree": 3.552713678800501e-15,
"heat:8:wedge": 3.552713678800501e-15
},
"nodes": 4325,
"scope": "Independent SciPy collocation and quadrature control, not a 100-digit check."
},
"-1/8": {
"relative_differences": {
"shear_hartree": 1.176836406102666e-14,
"shear_wedge": 1.199040866595169e-14,
"momentum_hartree": 1.4099832412739488e-14,
"momentum_wedge": 1.4099832412739488e-14
},
"nodes": 4060,
"scope": "Independent SciPy collocation and quadrature control, not a 100-digit check."
},
"0": {
"relative_differences": {
"shear_hartree": 6.439293542825908e-15,
"shear_wedge": 6.439293542825908e-15,
"momentum_hartree": 8.881784197001252e-16,
"momentum_wedge": 1.1102230246251565e-15,
"heat:1/8:hartree": 6.661338147750939e-16,
"heat:1/8:wedge": 6.661338147750939e-16,
"heat:1/6:hartree": 1.3322676295501878e-15,
"heat:1/6:wedge": 1.3322676295501878e-15,
"heat:1/4:hartree": 1.9984014443252818e-15,
"heat:1/4:wedge": 1.9984014443252818e-15,
"heat:1/3:hartree": 2.4424906541753444e-15,
"heat:1/3:wedge": 2.4424906541753444e-15,
"heat:1/2:hartree": 3.3306690738754696e-15,
"heat:1/2:wedge": 3.3306690738754696e-15,
"heat:2/3:hartree": 4.440892098500626e-15,
"heat:2/3:wedge": 4.440892098500626e-15,
"heat:1:hartree": 6.661338147750939e-15,
"heat:1:wedge": 6.661338147750939e-15,
"heat:3/2:hartree": 9.103828801926284e-15,
"heat:3/2:wedge": 9.103828801926284e-15,
"heat:2:hartree": 1.0880185641326534e-14,
"heat:2:wedge": 1.0658141036401503e-14,
"heat:3:hartree": 1.3766765505351941e-14,
"heat:3:wedge": 1.354472090042691e-14,
"heat:4:hartree": 1.5765166949677223e-14,
"heat:4:wedge": 1.5765166949677223e-14,
"heat:6:hartree": 2.1316282072803006e-14,
"heat:6:wedge": 2.1316282072803006e-14,
"heat:8:hartree": 2.531308496145357e-14,
"heat:8:wedge": 2.5091040356528538e-14
},
"nodes": 3377,
"scope": "Independent SciPy collocation and quadrature control, not a 100-digit check."
},
"1/4": {
"relative_differences": {
"shear_hartree": 2.6645352591003757e-15,
"shear_wedge": 2.886579864025407e-15,
"momentum_hartree": 4.463096558993129e-14,
"momentum_wedge": 4.463096558993129e-14
},
"nodes": 3275,
"scope": "Independent SciPy collocation and quadrature control, not a 100-digit check."
},
"1/3": {
"relative_differences": {
"shear_hartree": 1.7763568394002505e-15,
"shear_wedge": 1.7763568394002505e-15,
"momentum_hartree": 3.3306690738754696e-15,
"momentum_wedge": 3.3306690738754696e-15,
"heat:1/8:hartree": 1.3322676295501878e-15,
"heat:1/8:wedge": 1.2212453270876722e-15,
"heat:1/6:hartree": 1.3322676295501878e-15,
"heat:1/6:wedge": 1.1102230246251565e-15,
"heat:1/4:hartree": 1.2212453270876722e-15,
"heat:1/4:wedge": 1.3322676295501878e-15,
"heat:1/3:hartree": 1.4432899320127035e-15,
"heat:1/3:wedge": 1.4432899320127035e-15,
"heat:1/2:hartree": 1.1102230246251565e-15,
"heat:1/2:wedge": 1.2212453270876722e-15,
"heat:2/3:hartree": 1.1102230246251565e-16,
"heat:2/3:wedge": 0.0,
"heat:1:hartree": 1.3322676295501878e-15,
"heat:1:wedge": 1.3322676295501878e-15,
"heat:3/2:hartree": 3.1086244689504383e-15,
"heat:3/2:wedge": 3.1086244689504383e-15,
"heat:2:hartree": 4.884981308350689e-15,
"heat:2:wedge": 5.10702591327572e-15,
"heat:3:hartree": 7.771561172376096e-15,
"heat:3:wedge": 7.771561172376096e-15,
"heat:4:hartree": 1.532107773982716e-14,
"heat:4:wedge": 1.532107773982716e-14,
"heat:6:hartree": 2.1316282072803006e-14,
"heat:6:wedge": 2.1094237467877974e-14,
"heat:8:hartree": 2.5757174171303632e-14,
"heat:8:wedge": 2.5979218776228663e-14
},
"nodes": 3185,
"scope": "Independent SciPy collocation and quadrature control, not a 100-digit check."
},
"1/2": {
"relative_differences": {
"shear_hartree": 1.4432899320127035e-15,
"shear_wedge": 1.3322676295501878e-15,
"momentum_hartree": 9.992007221626409e-16,
"momentum_wedge": 9.992007221626409e-16,
"heat:1/8:hartree": 1.4432899320127035e-15,
"heat:1/8:wedge": 1.3322676295501878e-15,
"heat:1/6:hartree": 1.6653345369377348e-15,
"heat:1/6:wedge": 1.5543122344752192e-15,
"heat:1/4:hartree": 1.5543122344752192e-15,
"heat:1/4:wedge": 1.5543122344752192e-15,
"heat:1/3:hartree": 1.887379141862766e-15,
"heat:1/3:wedge": 1.887379141862766e-15,
"heat:1/2:hartree": 1.2212453270876722e-15,
"heat:1/2:wedge": 1.1102230246251565e-15,
"heat:2/3:hartree": 1.1102230246251565e-15,
"heat:2/3:wedge": 9.992007221626409e-16,
"heat:1:hartree": 2.220446049250313e-16,
"heat:1:wedge": 2.220446049250313e-16,
"heat:3/2:hartree": 1.7763568394002505e-15,
"heat:3/2:wedge": 1.7763568394002505e-15,
"heat:2:hartree": 3.1086244689504383e-15,
"heat:2:wedge": 3.3306690738754696e-15,
"heat:3:hartree": 6.217248937900877e-15,
"heat:3:wedge": 6.439293542825908e-15,
"heat:4:hartree": 1.5765166949677223e-14,
"heat:4:wedge": 1.5765166949677223e-14,
"heat:6:hartree": 2.2648549702353193e-14,
"heat:6:wedge": 2.2870594307278225e-14,
"heat:8:hartree": 2.8199664825478976e-14,
"heat:8:wedge": 2.842170943040401e-14
},
"nodes": 3107,
"scope": "Independent SciPy collocation and quadrature control, not a 100-digit check."
},
"2/3": {
"relative_differences": {
"shear_hartree": 2.9976021664879227e-15,
"shear_wedge": 3.1086244689504383e-15,
"momentum_hartree": 1.687538997430238e-14,
"momentum_wedge": 1.709743457922741e-14,
"heat:1/8:hartree": 9.992007221626409e-16,
"heat:1/8:wedge": 1.2212453270876722e-15,
"heat:1/6:hartree": 1.2212453270876722e-15,
"heat:1/6:wedge": 1.2212453270876722e-15,
"heat:1/4:hartree": 9.992007221626409e-16,
"heat:1/4:wedge": 1.2212453270876722e-15,
"heat:1/3:hartree": 1.2212453270876722e-15,
"heat:1/3:wedge": 1.4432899320127035e-15,
"heat:1/2:hartree": 1.5543122344752192e-15,
"heat:1/2:wedge": 1.7763568394002505e-15,
"heat:2/3:hartree": 1.3322676295501878e-15,
"heat:2/3:wedge": 1.4432899320127035e-15,
"heat:1:hartree": 1.2212453270876722e-15,
"heat:1:wedge": 1.1102230246251565e-15,
"heat:3/2:hartree": 6.661338147750939e-16,
"heat:3/2:wedge": 7.771561172376096e-16,
"heat:2:hartree": 1.1102230246251565e-16,
"heat:2:wedge": 2.220446049250313e-16,
"heat:3:hartree": 8.881784197001252e-16,
"heat:3:wedge": 8.881784197001252e-16,
"heat:4:hartree": 1.9984014443252818e-15,
"heat:4:wedge": 1.7763568394002505e-15,
"heat:6:hartree": 3.774758283725532e-15,
"heat:6:wedge": 3.774758283725532e-15,
"heat:8:hartree": 5.995204332975845e-15,
"heat:8:wedge": 5.773159728050814e-15
},
"nodes": 3371,
"scope": "Independent SciPy collocation and quadrature control, not a 100-digit check."
},
"3/4": {
"relative_differences": {
"shear_hartree": 3.6637359812630166e-15,
"shear_wedge": 3.6637359812630166e-15,
"momentum_hartree": 5.773159728050814e-15,
"momentum_wedge": 5.773159728050814e-15
},
"nodes": 3246,
"scope": "Independent SciPy collocation and quadrature control, not a 100-digit check."
},
"4/5": {
"relative_differences": {
"shear_hartree": 4.3298697960381105e-15,
"shear_wedge": 4.3298697960381105e-15,
"momentum_hartree": 1.4210854715202004e-14,
"momentum_wedge": 1.4210854715202004e-14
},
"nodes": 3188,
"scope": "Independent SciPy collocation and quadrature control, not a 100-digit check."
},
"1": {
"relative_differences": {
"shear_hartree": 4.9960036108132044e-15,
"shear_wedge": 4.9960036108132044e-15,
"momentum_hartree": 7.549516567451064e-15,
"momentum_wedge": 7.549516567451064e-15,
"heat:1/8:hartree": 7.771561172376096e-16,
"heat:1/8:wedge": 7.771561172376096e-16,
"heat:1/6:hartree": 9.992007221626409e-16,
"heat:1/6:wedge": 9.992007221626409e-16,
"heat:1/4:hartree": 1.3322676295501878e-15,
"heat:1/4:wedge": 1.3322676295501878e-15,
"heat:1/3:hartree": 1.2212453270876722e-15,
"heat:1/3:wedge": 1.2212453270876722e-15,
"heat:1/2:hartree": 1.3322676295501878e-15,
"heat:1/2:wedge": 1.3322676295501878e-15,
"heat:2/3:hartree": 1.6653345369377348e-15,
"heat:2/3:wedge": 1.6653345369377348e-15,
"heat:1:hartree": 1.7763568394002505e-15,
"heat:1:wedge": 1.7763568394002505e-15,
"heat:3/2:hartree": 1.3322676295501878e-15,
"heat:3/2:wedge": 1.3322676295501878e-15,
"heat:2:hartree": 1.2212453270876722e-15,
"heat:2:wedge": 1.2212453270876722e-15,
"heat:3:hartree": 8.881784197001252e-16,
"heat:3:wedge": 8.881784197001252e-16,
"heat:4:hartree": 2.4424906541753444e-15,
"heat:4:wedge": 2.4424906541753444e-15,
"heat:6:hartree": 5.995204332975845e-15,
"heat:6:wedge": 5.995204332975845e-15,
"heat:8:hartree": 9.769962616701378e-15,
"heat:8:wedge": 9.769962616701378e-15
},
"nodes": 3335,
"scope": "Independent SciPy collocation and quadrature control, not a 100-digit check."
}
}
},
"convergence": {
"-1/6": {
"shear_hartree": "1.9259398956532491618984341918155815849334674377934697417032790438976349907512478157802739884E-148",
"shear_wedge": "1.4825104485895435534934027214644593705168487070169508254435807806653879594717848125342171894E-148",
"momentum_hartree": "5.512588468623074898395737457711664158477158282169922231714755367480072902812163603351958834E-149",
"momentum_wedge": "1.0873479912339321552674596982660020660418258076110122809650172437208203478605343710759357907E-149",
"heat:1/8:hartree": "1.20891694880343055133769805491243783405468237488654290638132604271525912638489381215487391371E-148",
"heat:1/8:wedge": "9.1961114640977490402513537027342328368165600943744427033935763323739235557428888103707988577E-149",
"heat:1/6:hartree": "4.6216277554836836651184409918947572179295795669859569127796500820832565743404194381786987059E-149",
"heat:1/6:wedge": "1.38909133109609036288526970056711479698830427197017718538660212067783224335895649422519251018E-148",
"heat:1/4:hartree": "4.223795997492128824428517659837796213160116742098319348062349434689433037634518113031322284E-149",
"heat:1/4:wedge": "2.9124296842876110221118875833707620909346667103158816938541648904203714256402041341178243936E-148",
"heat:1/3:hartree": "1.4005183253270919298149864109904984274129219049601686776038821578648320623845490735645567595E-148",
"heat:1/3:wedge": "8.636043553239030061362003027660300671125661695206449747177899007149179820542168769275877967E-149",
"heat:1/2:hartree": "1.28201744967011222260382439354144850412015261613990611896030417541482912416298785345369956032E-148",
"heat:1/2:wedge": "5.6025300111171500501654728877937520874672491110147329891909118974232346970360480665649478972E-149",
"heat:2/3:hartree": "5.158363706227100002810344914853579373231842655111151211727231336240499641547759170083825133E-149",
"heat:2/3:wedge": "7.9546744487654196340340021124715023674833217785237976332011474184670999070558015050273350441E-149",
"heat:1:hartree": "2.4186881676471063320736535535215358829711526719699855717238792356437301254793132245993390199E-149",
"heat:1:wedge": "2.346787566187067457878301161435844784891226797003991125140906773735189203062716334142097345E-149",
"heat:3/2:hartree": "4.8337837685695296122507537854556844105349124715737335486223222262069545509080318372653228373E-149",
"heat:3/2:wedge": "4.669804824774123225271413328636632712868930123454799602361641800938099684530037000746477556E-150",
"heat:2:hartree": "5.0560029051440701987314922200961469244172979087093864043094602979560747395396780939060017429E-149",
"heat:2:wedge": "1.0187081587748449372600061169103412129032327306835960440510656160473780963029617231077932569E-148",
"heat:3:hartree": "2.7661005067600978431971222973956739702592685513664117177065522118962449836104367073276126282E-149",
"heat:3:wedge": "5.5120789165374927471059120048702359507224073031054938649627794403104028605702631614021826246E-149",
"heat:4:hartree": "4.665188133544451201873014295071374382671170669463177673907132923434444883960205088554743795E-149",
"heat:4:wedge": "7.8383660720643677847896237458032201202153586264202527241289236751666633462173306736010579523E-149",
"heat:6:hartree": "3.951804277339394420385357701799537464769040019672057971768230351677670066216239174353543616E-149",
"heat:6:wedge": "6.911632398740221706612185643316272981356325278651280715911959633325167273466375120112643699E-149",
"heat:8:hartree": "3.5606970137180836851982322699067095947366813261031308096751730383061316513258061679152348489E-149",
"heat:8:wedge": "4.2008152534401299764415893387477675854384996421469951592601274405710261582050196458831424125E-149"
},
"-1/8": {
"shear_hartree": "1.69212847629979318387673617321496882049811977777897606355254611252567734418975091582807932282E-148",
"shear_wedge": "9.172475321691919094253731761035267681914645595434752868381794505431693465314736454571008246E-149",
"momentum_hartree": "8.9587073274769632049039964212754907468177986267561762777821381069359968714151404601064193410E-149",
"momentum_wedge": "3.594187018595906090783153211052528662540641795067697509267909067508859849208866174045735751E-149"
},
"0": {
"shear_hartree": "1.0321189251161574231404213438778879312250500664882516499342907309158680455300960073408994056E-149",
"shear_wedge": "1.1943030797460567533046369738439319042450889598898142924641735336163028682176920952777902069E-149",
"momentum_hartree": "1.0321189251161574231404213438778879312250500664882516499342907309158680455300960073408994056E-149",
"momentum_wedge": "1.1943030797460567533046369738439319042450889598898142924641735336163028682176920952777902069E-149",
"heat:1/8:hartree": "1.89224122471893300751849260422731299155235349110769665795932740304049556727717848475326648912E-148",
"heat:1/8:wedge": "1.5183114693147906072216217844061640101569053785220632900583990228177153552734619887502636311E-148",
"heat:1/6:hartree": "1.5257623003162237111120129170158826855623768756485883053311149103707658009226874475164242107E-148",
"heat:1/6:wedge": "1.6337686619589576910407878573813022171214963685582267873930371517004543638805275597738440932E-148",
"heat:1/4:hartree": "1.55589785552512468100334293489770949253697147617418209494028547513563067697260596933895501845E-148",
"heat:1/4:wedge": "1.88721075302291282622239559761467028330312822239240103237352373080581052428214215410452395099E-148",
"heat:1/3:hartree": "1.3688796755298066730741466953730763427665814785213959618857898548795139019267253745521782056E-149",
"heat:1/3:wedge": "9.730431024812804431867106943835753936918942390730353223494664569047115689841118696869764369E-149",
"heat:1/2:hartree": "7.726029634640501649375018488067036052326893536797025975848429891129773476243792502589322247E-149",
"heat:1/2:wedge": "3.30935009454334910947759996882810751501750671866210446422001165731539895008451509101282443E-150",
"heat:2/3:hartree": "8.692804370933113726721223955663557059130446238908147727154660036874055959556158933608488324E-149",
"heat:2/3:wedge": "1.47961075213837249501314816956067241462447041791194762581600079666451588526439517921673445854E-148",
"heat:1:hartree": "1.0321189251161574231404213438778879312250500664882516499342907309158680455300960073408994056E-149",
"heat:1:wedge": "1.1943030797460567533046369738439319042450889598898142924641735336163028682176920952777902069E-149",
"heat:3/2:hartree": "6.3449640103672094140671032573130029083798245216328799359517059349688238666771237690232777839E-149",
"heat:3/2:wedge": "5.906466831235444320117828898704183096713716836511872959689769168191085725104422545469795011E-149",
"heat:2:hartree": "3.8547830216418161036649306108531341671260433035834157785000534233101536174538114254798776326E-149",
"heat:2:wedge": "8.313069962344579668435304345705274172228808983841909040295961459815865945449913204083248084E-149",
"heat:3:hartree": "5.244287024739874101851938883913311351044191764389526399233069182557498372295466835101133912E-149",
"heat:3:wedge": "7.614672286155502625109938195156341457311027174466542575904406473296549673879670703531545673E-149",
"heat:4:hartree": "3.917930378424727763698302583829416441718317535183622176603984610524819651782790293077749085E-149",
"heat:4:wedge": "3.103667270310564990853647570484235276982162696300491860000277024765567074951744898902261417E-149",
"heat:6:hartree": "1.969964059710498477347401622873378518841642198968920992736429108593794199662648744254072935E-149",
"heat:6:wedge": "6.536033482478114606593271975785922723666217708856148529181709891863655254729834772994383838E-149",
"heat:8:hartree": "3.9485728611070400585061869927672323948570912651061828205952727724618997426141376878247937305E-149",
"heat:8:wedge": "7.1937618078211274368770842003762030154218265131428277845105605832644764994540519391464713050E-149"
},
"1/4": {
"shear_hartree": "6.335471082563598738337845617072932204185420252125688490324538952165388085625649340586672001E-149",
"shear_wedge": "1.1956084647607150002761945071664126559276880323245175172509792500641754568695481876921282585E-149",
"momentum_hartree": "5.6787820476120359200589163834726267739525765908321171064895272570052571114764371337856837298E-149",
"momentum_wedge": "1.587861109017522662968920670555717466981468259468611677610110187424095897998076468638355393E-149"
},
"1/3": {
"shear_hartree": "2.273956560490251247638687453143969674985175274393100360186576658609225708684811276964797085E-149",
"shear_wedge": "2.692342560620447183582561174246190649400046759079293134932010717631211900607154656714884791E-149",
"momentum_hartree": "1.0258172039524527543098888696672237183384641414384771678957158870054053596243610023548354839E-148",
"momentum_wedge": "9.440102969695232797997190497313394252031260765870968565840852221533364082750085854027897760E-149",
"heat:1/8:hartree": "1.6136426867501030247674935764404480525803223277443932062971538512483262698459462990042399217E-148",
"heat:1/8:wedge": "2.63714129268879928236395887689216599612071134466413985301139284357910464304799862637973576182E-148",
"heat:1/6:hartree": "9.4663357668625461732513931385017829025567230946371878804105607303482253695177341901136398293E-149",
"heat:1/6:wedge": "7.679897090922035612783982857482876873702715664707784230228294902339914983206165960025208277E-149",
"heat:1/4:hartree": "2.750889847991032137769098051961950514764862831033532634561231442163537370571421322824919897E-149",
"heat:1/4:wedge": "2.08439414758189148253549114594270407736912203057455892495080240463964414175956685588933160128E-148",
"heat:1/3:hartree": "4.438150532772074574297489405644660993856909448691449598955512742230854126292999209785442328E-149",
"heat:1/3:wedge": "3.594386846883110232524400553179308295797022405537766026885313674362654826844353866631556145E-149",
"heat:1/2:hartree": "2.386799330244209108912986632785919985047507977600453126316847117795095030636663818190864954E-149",
"heat:1/2:wedge": "1.39433582979867335956080997425021714464451317358203752251289400575013150356318344939612726685E-148",
"heat:2/3:hartree": "9.235931387568245448354736008146687076758741958568329462342639903200300159854836276395505302E-149",
"heat:2/3:wedge": "4.1002377896457154550536620961561748727524957161571564304898122428756164133992585628844433388E-149",
"heat:1:hartree": "2.445291471436796046074055214772539004437418611408916862345627147705539915428845156844287155E-149",
"heat:1:wedge": "3.097858684762754333836796808010669912431270895269626947019847575177631776055105735938969318E-149",
"heat:3/2:hartree": "5.98910572250346425857187896093882286450488644777953981035394002619632188265573830280677348E-150",
"heat:3/2:wedge": "8.175297431285933923142459403625368569652026261639057971853344086794351280756415829532302678E-149",
"heat:2:hartree": "5.0506148757868776159372533927634350141499512396388942805911127250519051632843562240802711515E-149",
"heat:2:wedge": "8.9029764496290877373569063693803868977611758640887419801049266866461799233316317451717430588E-149",
"heat:3:hartree": "6.2613663136751584028214251780630444962461330612146705678041537718555120167125459662349346666E-149",
"heat:3:wedge": "7.4302846983298880933649443375173260045692301301459272625887590643856651358513795874223433893E-149",
"heat:4:hartree": "3.02614375915395003712479194560584465775905089600415123957719598029479632058988554726134557E-150",
"heat:4:wedge": "1.070598304310159420584162067929796822270653305943909993887079940759103740801331516945904674E-149",
"heat:6:hartree": "3.7320037071824495091722245188641583133131576181819417732078710064965102314732665805145174779E-149",
"heat:6:wedge": "5.5499935328030475090250909344405733890118161752351125306843577576024476036241006544431626978E-149",
"heat:8:hartree": "9.993473362987044703404908982521000879661379032139739056258126755161939072542374365539489533E-149",
"heat:8:wedge": "1.846606247145675837601348675406103323058629243562036955532511176682271074491268249972970277E-149"
},
"1/2": {
"shear_hartree": "7.50342542051903809815343179678725854177677375987862430660651770507692446959183528196394246E-150",
"shear_wedge": "4.792736651927680160347692259349467653953159643987126729901683075125583963877151446163366202E-149",
"momentum_hartree": "8.2155663531008411357739077419513211673996775976637912450891879467097460726980000457626451223E-149",
"momentum_wedge": "3.046666537400366709823261885917853762852985630545746044244012548974767179156894239908449621E-149",
"heat:1/8:hartree": "1.0042707440165197627368742126600133348069083488309710538733614230257265587644446792829670194E-148",
"heat:1/8:wedge": "1.7302675428608697946184036503676514225520837689709237205198522677477946737351394135688659377E-148",
"heat:1/6:hartree": "1.5131027761285036568414250781328433205516127129196436574074384241946359123856258288548638450E-148",
"heat:1/6:wedge": "1.7968004474076853110456084222439100083247469189547922608395123421290145470018363959780669597E-148",
"heat:1/4:hartree": "7.668244426497762320088942415672059011518349150830434124501470495681188938825269989110834994E-149",
"heat:1/4:wedge": "1.55427974398725199808549392654023353404427193001968316853371544824593875045406672566548315770E-148",
"heat:1/3:hartree": "6.477561639374548118657382427831188260402264799937765767146658288820138299264167729620439227E-149",
"heat:1/3:wedge": "1.4000926185731996881137171940994999721508280226283071844723386094715436232274576681222675673E-148",
"heat:1/2:hartree": "1.9723122591485435249484297825310254001481925119847661023775253969570818834907019686675697148E-149",
"heat:1/2:wedge": "6.899032244003857583683375008038207575793197166796871831165281320924680075412521932464825912E-150",
"heat:2/3:hartree": "1.0110994848475593122654735787105878489918430750068427467760865156636391366976437482360956848E-148",
"heat:2/3:wedge": "8.3419752480367058797492119891818231902640820603522847782993230332149413094541488153250236334E-149",
"heat:1:hartree": "9.61108754771721033488479103682476937390689101976203712468913018851092950783100726226432349E-150",
"heat:1:wedge": "9.968588835183705246894975477723302872858441972138930510944806999997841630390112423067796438E-149",
"heat:3/2:hartree": "2.550468876337464711634615501647109360536347413675651799672684101143132558435071732901837666E-149",
"heat:3/2:wedge": "2.3864960653360651306367780206345474861367305580490124538405692116756153022141376364385266815E-149",
"heat:2:hartree": "3.154710374322503732079202465213106039608386402054641314437005498029062477563070653444849020E-149",
"heat:2:wedge": "1.1385314291471094204338651732475822510398395548053671205480743078826864295519192128688843669E-149",
"heat:3:hartree": "8.20203933579458314365372170047370053305550153156907932813701552183315681045038595068240873E-150",
"heat:3:wedge": "4.166935665679239998652345597339279538283350345508922949481435694881933511500510610780768025E-149",
"heat:4:hartree": "1.089831258777656549575350252947029716953342251163261069898125714787038460614853330902616991E-149",
"heat:4:wedge": "6.014590815609610153815206789906308287308287166846213887516203767245309598024496347810219918E-149",
"heat:6:hartree": "3.55649302470782823434796917029213321235977143445112092090917175799046855142255321727798912206E-148",
"heat:6:wedge": "3.4968907509470445276184774257563742801014696425854044511361361582029647308258740591893695491E-149",
"heat:8:hartree": "4.2091485772003791583217685297471820026350169482553385117863785784850998458941699291119790193E-148",
"heat:8:wedge": "3.622522425213300860071560648991285748354472871229697681685258214074273841736916183744842912E-149"
},
"2/3": {
"shear_hartree": "2.99320191468994444255354131392148355587782563320856494896653275291768305314686898515186248369E-148",
"shear_wedge": "1.624247754322545767393156793110699088166048652134048390870840574006265087241891904670609075E-149",
"momentum_hartree": "4.187279960570316625367801243296422727236967822234848112795960611823718361883933215555221284E-149",
"momentum_wedge": "4.278868135598113536619242058564048349654654043010565047271857308372919997797800991398901748E-149",
"heat:1/8:hartree": "5.415452683147177981160708946939723239602619893299262894925028708025101812214462635193180624E-149",
"heat:1/8:wedge": "6.319891610619509607916566259509487640281750942747014112314422480006867816379944281594296202E-149",
"heat:1/6:hartree": "9.1510934486164276253493033848863268257416735922226923723657158766109954143035985477674567369E-149",
"heat:1/6:wedge": "1.33599975777819848717995813313244075818885087278878971024503437778696407742991286859404408714E-148",
"heat:1/4:hartree": "1.55938450966145843096525361695390322722058387799539162960661426930039336560026484386950802279E-148",
"heat:1/4:wedge": "1.5110788359428468064382669728216173241190532313067903602725008161294794265401638578936779489E-148",
"heat:1/3:hartree": "1.2222507717259409871280392773432182777332011323564400646156617009424773389417995139438618733E-148",
"heat:1/3:wedge": "1.4363052294705148099147275097890610623682411710013786729338746248435374501835728206764126975E-149",
"heat:1/2:hartree": "5.493274119701394093258206448383911439721327107550221432788978765381592026663206255301648752E-149",
"heat:1/2:wedge": "1.14939007082994111035896429142174326750527648640515180333065958775370313073429136931818801940E-148",
"heat:2/3:hartree": "2.3614308805299406420517153906762815572857604464861441927851904935470394504187741143081070992E-149",
"heat:2/3:wedge": "6.5949368740206913603939617246591935836595336182819436186235627065338441120043503793724248390E-149",
"heat:1:hartree": "3.362761398043374948664705004092958002096727724418351664286326527226566333887646740252332702E-149",
"heat:1:wedge": "1.914816528339147017255303358158773635771304486383673263550843046365413820518404401793381204E-149",
"heat:3/2:hartree": "1.9666353241147427767639030363024617257507580042186572435176936440972367212446879362584302582E-149",
"heat:3/2:wedge": "6.821553978453696721445180622154844292178966169903744601154519371571211933352022054315807523E-149",
"heat:2:hartree": "1.9998058032147344859457429413368866232533865523886308534595643089067358958161059932691296163E-149",
"heat:2:wedge": "3.74015944333626874569306532800659438172048817690481348379362412100583062382331712395393731E-150",
"heat:3:hartree": "5.0893448425078840905823893994223252408503702001831460535071759151253561746971339377638605786E-149",
"heat:3:wedge": "6.280174165966439043126443166844417450986991992562929431239617899887109329219625517308472648E-149",
"heat:4:hartree": "4.123256665917558722378566840610656082004134651206470823951199443923364681102612101909090435E-149",
"heat:4:wedge": "9.435616875328175033200923851943480689635846505317171757191598640737294070387729923578339841E-150",
"heat:6:hartree": "3.6701732411131051183747443177095244476505492763418577076796915118044456261081144918211965351E-148",
"heat:6:wedge": "4.3980730898392744403247534085744457488500227635840677812919214864465226565414321956452237699E-149",
"heat:8:hartree": "2.1168137387417057753034610283210399826002598209694067867241497551702451148554118350601419903E-148",
"heat:8:wedge": "2.98091294337068062180411981035574182719289858777242126371329339794098650545344063516782370265E-148"
},
"3/4": {
"shear_hartree": "1.12653066196877909929933016129646603207513155983701321698255460365761886891111758509530559570E-148",
"shear_wedge": "4.698263692815990076241533662014703252725399182969639244712279555624828749684113356901447584E-149",
"momentum_hartree": "1.48480740342502772394804002263071969289293533773467815106647079935834742268130919028254223513E-148",
"momentum_wedge": "4.890330478097044524138798957251598343447530681939608888826827073822476110811808099012181899E-149"
},
"4/5": {
"shear_hartree": "3.73437024045656876072091779862937954976450708530846131990948151155081219314845019627038508038E-148",
"shear_wedge": "3.12274282393136195665806347728961447801421074033584137874021115171969643665214668493797259633E-148",
"momentum_hartree": "1.1837529944850805980485680053006203184596963963071943297851783248882410845349849905692053448E-149",
"momentum_wedge": "1.06855935382678213192154833100461788733954310627529583983912839014762797940473666514579654313E-148"
},
"1": {
"shear_hartree": "3.1569773366023376239308247888753781183243341098787361335255786511382267933505678481617165151E-148",
"shear_wedge": "3.1569773366023376239308247888753781183243341098787361335255786511382267933505678481617165151E-148",
"momentum_hartree": "4.733472034925189849356579363569844343760906977525639516122625036536188541259162967992304530E-149",
"momentum_wedge": "4.733472034925189849356579363569844343760906977525639516122625036536188541259162967992304530E-149",
"heat:1/8:hartree": "1.19818537729768062081961811302568708623421186393086817468549108294117074239130663852459410415E-148",
"heat:1/8:wedge": "1.19818537729768062081961811302568708623421186393086817468549108294117074239130663852459410415E-148",
"heat:1/6:hartree": "1.36520533349160971897062358668427769502118369171483405176924390181597245323097012761620704766E-148",
"heat:1/6:wedge": "1.36520533349160971897062358668427769502118369171483405176924390181597245323097012761620704766E-148",
"heat:1/4:hartree": "9.927724755333561700908530505177208945333457402260782544795551982380456921388396565431253910E-149",
"heat:1/4:wedge": "9.927724755333561700908530505177208945333457402260782544795551982380456921388396565431253910E-149",
"heat:1/3:hartree": "7.0025116390027656406243244928414290918388805764454600410946181981027151328717656913099835287E-149",
"heat:1/3:wedge": "7.0025116390027656406243244928414290918388805764454600410946181981027151328717656913099835287E-149",
"heat:1/2:hartree": "4.256751041892467737987146296843591897293084061761156500198734064423959268223000382626536146E-149",
"heat:1/2:wedge": "4.256751041892467737987146296843591897293084061761156500198734064423959268223000382626536146E-149",
"heat:2/3:hartree": "7.5373910863511700647683345507548526184213118669540930916640916558454163285158120366521324700E-149",
"heat:2/3:wedge": "7.5373910863511700647683345507548526184213118669540930916640916558454163285158120366521324700E-149",
"heat:1:hartree": "1.096487637851843604962807755982344256972183596623897433857671972548614829645941342973330317E-150",
"heat:1:wedge": "1.096487637851843604962807755982344256972183596623897433857671972548614829645941342973330317E-150",
"heat:3/2:hartree": "4.7518468983581291012591854615610045606280932804577050950840739623013943923609092982788090552E-149",
"heat:3/2:wedge": "4.7518468983581291012591854615610045606280932804577050950840739623013943923609092982788090552E-149",
"heat:2:hartree": "6.0860900070249576195059842180502930707072598937833670993599006433745253097991427565840146450E-149",
"heat:2:wedge": "6.0860900070249576195059842180502930707072598937833670993599006433745253097991427565840146450E-149",
"heat:3:hartree": "3.1831576096411117063667956974167443733710143544654531797057869047728617850978712285526088102E-149",
"heat:3:wedge": "3.1831576096411117063667956974167443733710143544654531797057869047728617850978712285526088102E-149",
"heat:4:hartree": "1.4912677438667616296935956399410539481328363436481438473263722414105819562630442119660411913E-149",
"heat:4:wedge": "1.4912677438667616296935956399410539481328363436481438473263722414105819562630442119660411913E-149",
"heat:6:hartree": "3.04684125639598301114275516570295415453919105009448182443960957345404917635872834617386998932E-148",
"heat:6:wedge": "3.04684125639598301114275516570295415453919105009448182443960957345404917635872834617386998932E-148",
"heat:8:hartree": "1.5304388870190900497483974324260988258901131025147981318511881747308080751353648956568531351E-148",
"heat:8:wedge": "1.5304388870190900497483974324260988258901131025147981318511881747308080751353648956568531351E-148"
}
},
"artifact_hashes": {
"-1_6-0.json": "9af0072d817de205d7b50559d589f82ea0dde29b848aeb361e84f4ce3c466b5a",
"-1_6-1.json": "c46915211444d646f972401d3e68172dffbc028e583cd110ca5617fe8d0f59b2",
"-1_8-0.json": "c2a50d8778f556a09ab17b19d721dd24ae56572252be9f14729ea8e4085a1675",
"-1_8-1.json": "f5fbb841a44f7985af2256fa3048829f0a1c95300297cbe3893116647372c952",
"0-0.json": "4a74f01e498628868ceb6f587ccf645f08cc92492829852e392a83b811d05868",
"0-1.json": "a65eff9e94a72dfe301f29da7da2a6f05095136153aec3bff1d2b778589978f1",
"1-0.json": "f7e6b90c01e5eb9738808fb8df327d7205cc34c1da1bbb87453d5896e5cca066",
"1-1.json": "9f6dd84463eaffd49efa7b7ab8dff1d7d7449fd77c36a130b214407b997e75fc",
"1_2-0.json": "74d3b86295deb9a3886a41d0e789b46b6daeac314ce966a1cf9d9a8365be3fc4",
"1_2-1.json": "fa4d3d959eff61af4f631dad3f91c3e17d99a29abc05a9ba039f99057dfc2989",
"1_3-0.json": "c8b6ba8a7b72b7c7f4466641dd654184b553a539b92bd7d3cc9073c949dd6076",
"1_3-1.json": "384c06a3b83077cadf5f90eeba15391a5f83cca4da9011d8d86317893dfff780",
"1_4-0.json": "84efea90948e59b1b66bf1334b55edf60b0a7d78854fbe62d890dde0bd292a2c",
"1_4-1.json": "c00b061c86df15d8ca1d3ee16fc02b169337130a73d27083ac5b7d4951a4aa5a",
"2_3-0.json": "a0275ebe1eaa1beac98be2fc0877bb8108e15d07143c274258df8195cc17d65f",
"2_3-1.json": "09662b227885abedb13fa55eeabebbebf1b965dcbe2e6dc7b0a3c942629962bc",
"3_4-0.json": "f5a474a83714aefd9c2a555c6ed6415147494278ca749f00185c2f8ef670130f",
"3_4-1.json": "4bc7897a591208bc8b5bb7777e5653ef72af16656819c702c985adaee3cb6137",
"4_5-0.json": "dedd3f13d7fbdddfa6f19bc3acd234aee3fdb935ad7df76bb3f079920937ad38",
"4_5-1.json": "63521e12b0377dea9beb590b2256bb1806b4554306b4c2b681acdb2de8162f41",
"T417-entries.json": "d19cdfa4a679c84bc93b80d96bc00c1f9d5a78a9f4dccb4495c42c9b1d1c7e79",
"T418-entries.json": "4b3ae738a85cc787399ad563fa176cb401c8b103c37b87d8249a01725cdc97cc",
"T419-entries.json": "ae391ec56f19ecb5898ffd778fcafcfd0790652b198a35a3b4e1c2ed2ab72f9b",
"diagnostics.json": "ac205255c6faf17e2663f669aacbc81b173f726d207cbeab997c42ef2eac4d5d"
},
"limitations": "Taylor truncation, finite-domain shooting and the asymptotic thermal tail are convergence-tested, not rigorously enclosed. The high-precision scaling control reuses the Taylor integrator; the separate collocation solver checks only ordinary floating-point accuracy.",
"authorization": "User requested the joint 100-digit precision refinement.",
"application_script_sha256": "cf52986175077d4d4bbd11ce93f723c9ec0ddcad7203d787f6653dc07c62c2df"
},
"provenance": {
"pipeline": "precision-repair",
"engine": "codex-cli",
"model": "gpt-5.2",
"stage": "checked-refinement"
},
"batch": "fs-20260927",
"authority": "Website database and revisions; cloud files are supporting evidence."
}