Recorded data and provenance for the associated calculation.
| utc | 2026-10-13T21:00:58.575719+00:00 |
|---|---|
| count | 158 |
| lambda_over_mu | 2064391680 |
| Lambda_over_mu | 64512240 |
| beta | 49/1296 |
| barrier_margin_over_Wmax | 98/81 |
| source_sha256 | a3468ec989eb376233cea5350822636cc4dced0976191a9ae44ffcbf1eebf631 |
View complete data
{
"utc": "2026-10-13T21:00:58.575719+00:00",
"checks": [
{
"name": "mixed exact characteristic",
"exact": true
},
{
"name": "mixed rotation zero",
"exact": true
},
{
"name": "Gaussian physical tangent shear",
"exact": true
},
{
"name": "mixed generic rank three witness",
"exact": true
},
{
"name": "d2 n76 common Lambda above f",
"exact": true
},
{
"name": "d2 n76 common lambda above FD",
"exact": true
},
{
"name": "d2 n76 every active occupation squeeze",
"exact": true
},
{
"name": "d2 n81 common Lambda above f",
"exact": true
},
{
"name": "d2 n81 common lambda above FD",
"exact": true
},
{
"name": "d2 n81 every active occupation squeeze",
"exact": true
},
{
"name": "d2 n95 common Lambda above f",
"exact": true
},
{
"name": "d2 n95 common lambda above FD",
"exact": true
},
{
"name": "d2 n95 every active occupation squeeze",
"exact": true
},
{
"name": "d3 n1 common Lambda above f",
"exact": true
},
{
"name": "d3 n1 common lambda above FD",
"exact": true
},
{
"name": "d3 n1 every active occupation squeeze",
"exact": true
},
{
"name": "d3 n4 common Lambda above f",
"exact": true
},
{
"name": "d3 n4 common lambda above FD",
"exact": true
},
{
"name": "d3 n4 every active occupation squeeze",
"exact": true
},
{
"name": "d4 n3 common Lambda above f",
"exact": true
},
{
"name": "d4 n3 common lambda above FD",
"exact": true
},
{
"name": "d4 n3 every active occupation squeeze",
"exact": true
},
{
"name": "d4 n20 common Lambda above f",
"exact": true
},
{
"name": "d4 n20 common lambda above FD",
"exact": true
},
{
"name": "d4 n20 every active occupation squeeze",
"exact": true
},
{
"name": "d4 n72 common Lambda above f",
"exact": true
},
{
"name": "d4 n72 common lambda above FD",
"exact": true
},
{
"name": "d4 n72 every active occupation squeeze",
"exact": true
},
{
"name": "d5 n10 common Lambda above f",
"exact": true
},
{
"name": "d5 n10 common lambda above FD",
"exact": true
},
{
"name": "d5 n10 every active occupation squeeze",
"exact": true
},
{
"name": "d5 n15 common Lambda above f",
"exact": true
},
{
"name": "d5 n15 common lambda above FD",
"exact": true
},
{
"name": "d5 n15 every active occupation squeeze",
"exact": true
},
{
"name": "d5 n22 common Lambda above f",
"exact": true
},
{
"name": "d5 n22 common lambda above FD",
"exact": true
},
{
"name": "d5 n22 every active occupation squeeze",
"exact": true
},
{
"name": "d6 n13 common Lambda above f",
"exact": true
},
{
"name": "d6 n13 common lambda above FD",
"exact": true
},
{
"name": "d6 n13 every active occupation squeeze",
"exact": true
},
{
"name": "d6 n35 common Lambda above f",
"exact": true
},
{
"name": "d6 n35 common lambda above FD",
"exact": true
},
{
"name": "d6 n35 every active occupation squeeze",
"exact": true
},
{
"name": "d10 n23 common Lambda above f",
"exact": true
},
{
"name": "d10 n23 common lambda above FD",
"exact": true
},
{
"name": "d10 n23 every active occupation squeeze",
"exact": true
},
{
"name": "barrier 1/2",
"exact": true
},
{
"name": "barrier 5/2",
"exact": true
},
{
"name": "barrier 9/2",
"exact": true
},
{
"name": "common barrier margin",
"exact": true
},
{
"name": "d2 rest moment stationary",
"error": 8.038873388460929e-14,
"tolerance": 1e-08
},
{
"name": "d2 axis0 width chirp",
"error": 2.2186201462111504e-10,
"tolerance": 2e-06
},
{
"name": "d2 axis1 width chirp",
"error": 2.429046085611365e-11,
"tolerance": 2e-06
},
{
"name": "d2 axis9 width chirp",
"error": 1.5115116169406004e-10,
"tolerance": 2e-06
},
{
"name": "d2 equalwidth0,1 trace square",
"error": 3.738258438433745e-11,
"tolerance": 3e-06
},
{
"name": "d2 equalwidth squeeze r",
"error": 6.280369834735101e-16,
"tolerance": 3e-05
},
{
"name": "d2 equalwidth squeeze z",
"error": 5.4681526434272356e-11,
"tolerance": 3e-06
},
{
"name": "d2 equalwidth zero coordinates",
"error": 2.4495359666875048e-11,
"tolerance": 3e-06
},
{
"name": "d2 mixed0,2 full Jacobian",
"error": 8.563443671263515e-10,
"tolerance": 3e-06
},
{
"name": "d2 mixed1,2 full Jacobian",
"error": 2.377156524697173e-09,
"tolerance": 3e-06
},
{
"name": "d2 equalwidth2,9 trace square",
"error": 4.72668707536372e-08,
"tolerance": 3e-06
},
{
"name": "d2 equalwidth squeeze r",
"error": 0.0,
"tolerance": 3e-05
},
{
"name": "d2 equalwidth squeeze z",
"error": 9.409341108634143e-08,
"tolerance": 3e-06
},
{
"name": "d2 equalwidth zero coordinates",
"error": 7.83050099681687e-16,
"tolerance": 3e-06
},
{
"name": "d2 symplectic flow",
"error": 8.842156495371803e-16,
"tolerance": 2e-12
},
{
"name": "d2 symplectic power2",
"error": 1.6148698540002277e-16,
"tolerance": 1e-11
},
{
"name": "d2 symplectic power4",
"error": 6.298439762970417e-16,
"tolerance": 1e-11
},
{
"name": "d2 symplectic power6",
"error": 9.985912304448401e-16,
"tolerance": 1e-11
},
{
"name": "d2 block closure",
"error": 0.0,
"tolerance": 1e-11
},
{
"name": "d3 rest moment stationary",
"error": 9.406308475145214e-14,
"tolerance": 1e-08
},
{
"name": "d3 axis0 width chirp",
"error": 1.2515768013813362e-10,
"tolerance": 2e-06
},
{
"name": "d3 axis2 width chirp",
"error": 3.698396845917642e-09,
"tolerance": 2e-06
},
{
"name": "d3 axis9 width chirp",
"error": 1.3856336191073354e-10,
"tolerance": 2e-06
},
{
"name": "d3 equalwidth0,1 trace square",
"error": 4.701312354367376e-11,
"tolerance": 3e-06
},
{
"name": "d3 equalwidth squeeze r",
"error": 1.2560739669470201e-15,
"tolerance": 3e-05
},
{
"name": "d3 equalwidth squeeze z",
"error": 6.863604699223336e-11,
"tolerance": 3e-06
},
{
"name": "d3 equalwidth zero coordinates",
"error": 4.070921911851033e-12,
"tolerance": 3e-06
},
{
"name": "d3 mixed0,3 full Jacobian",
"error": 1.0626428977309824e-09,
"tolerance": 3e-06
},
{
"name": "d3 mixed2,3 full Jacobian",
"error": 1.4596081481097429e-08,
"tolerance": 3e-06
},
{
"name": "d3 equalwidth3,9 trace square",
"error": 3.78999024838604e-08,
"tolerance": 3e-06
},
{
"name": "d3 equalwidth squeeze r",
"error": 0.0,
"tolerance": 3e-05
},
{
"name": "d3 equalwidth squeeze z",
"error": 7.543141021308915e-08,
"tolerance": 3e-06
},
{
"name": "d3 equalwidth zero coordinates",
"error": 7.238268785592265e-16,
"tolerance": 3e-06
},
{
"name": "d3 symplectic flow",
"error": 7.54435136493165e-16,
"tolerance": 2e-12
},
{
"name": "d3 symplectic power2",
"error": 1.6148698540002277e-16,
"tolerance": 1e-11
},
{
"name": "d3 symplectic power4",
"error": 3.1492198814852086e-16,
"tolerance": 1e-11
},
{
"name": "d3 symplectic power6",
"error": 7.766820681237645e-16,
"tolerance": 1e-11
},
{
"name": "d3 block closure",
"error": 0.0,
"tolerance": 1e-11
},
{
"name": "d4 rest moment stationary",
"error": 1.1324187774526157e-13,
"tolerance": 1e-08
},
{
"name": "d4 axis0 width chirp",
"error": 7.063797166243329e-10,
"tolerance": 2e-06
},
{
"name": "d4 axis3 width chirp",
"error": 1.993465533821426e-09,
"tolerance": 2e-06
},
{
"name": "d4 axis9 width chirp",
"error": 1.2737171635926179e-10,
"tolerance": 2e-06
},
{
"name": "d4 equalwidth0,1 trace square",
"error": 1.4946824316024698e-11,
"tolerance": 3e-06
},
{
"name": "d4 equalwidth squeeze r",
"error": 2.5121479338940403e-15,
"tolerance": 3e-05
},
{
"name": "d4 equalwidth squeeze z",
"error": 1.569002773120036e-10,
"tolerance": 3e-06
},
{
"name": "d4 equalwidth zero coordinates",
"error": 3.9580352138779525e-12,
"tolerance": 3e-06
},
{
"name": "d4 mixed0,4 full Jacobian",
"error": 1.208652364029832e-09,
"tolerance": 3e-06
},
{
"name": "d4 mixed3,4 full Jacobian",
"error": 1.4175764403601065e-08,
"tolerance": 3e-06
},
{
"name": "d4 equalwidth4,9 trace square",
"error": 3.032082003437195e-08,
"tolerance": 3e-06
},
{
"name": "d4 equalwidth squeeze r",
"error": 0.0,
"tolerance": 3e-05
},
{
"name": "d4 equalwidth squeeze z",
"error": 6.03361182488094e-08,
"tolerance": 3e-06
},
{
"name": "d4 equalwidth zero coordinates",
"error": 9.657932402227846e-16,
"tolerance": 3e-06
},
{
"name": "d4 symplectic flow",
"error": 9.535469516558861e-16,
"tolerance": 2e-12
},
{
"name": "d4 symplectic power2",
"error": 1.6148698540002277e-16,
"tolerance": 1e-11
},
{
"name": "d4 symplectic power4",
"error": 6.298439762970417e-16,
"tolerance": 1e-11
},
{
"name": "d4 symplectic power6",
"error": 4.4381832464215114e-16,
"tolerance": 1e-11
},
{
"name": "d4 block closure",
"error": 0.0,
"tolerance": 1e-11
},
{
"name": "d5 rest moment stationary",
"error": 1.2770016692521884e-13,
"tolerance": 1e-08
},
{
"name": "d5 axis0 width chirp",
"error": 5.287667061991565e-10,
"tolerance": 2e-06
},
{
"name": "d5 axis4 width chirp",
"error": 1.3148465874361882e-09,
"tolerance": 2e-06
},
{
"name": "d5 axis9 width chirp",
"error": 1.2049080589785604e-10,
"tolerance": 2e-06
},
{
"name": "d5 equalwidth0,1 trace square",
"error": 1.592101717754417e-11,
"tolerance": 3e-06
},
{
"name": "d5 equalwidth squeeze r",
"error": 5.0242958677880805e-15,
"tolerance": 3e-05
},
{
"name": "d5 equalwidth squeeze z",
"error": 1.2233189117965437e-10,
"tolerance": 3e-06
},
{
"name": "d5 equalwidth zero coordinates",
"error": 7.231467157642045e-12,
"tolerance": 3e-06
},
{
"name": "d5 mixed0,5 full Jacobian",
"error": 1.1620644244945333e-09,
"tolerance": 3e-06
},
{
"name": "d5 mixed4,5 full Jacobian",
"error": 1.039904690301215e-08,
"tolerance": 3e-06
},
{
"name": "d5 equalwidth5,9 trace square",
"error": 2.4445495490715082e-08,
"tolerance": 3e-06
},
{
"name": "d5 equalwidth squeeze r",
"error": 0.0,
"tolerance": 3e-05
},
{
"name": "d5 equalwidth squeeze z",
"error": 4.8640983854511795e-08,
"tolerance": 3e-06
},
{
"name": "d5 equalwidth zero coordinates",
"error": 5.772308336883809e-16,
"tolerance": 3e-06
},
{
"name": "d5 symplectic flow",
"error": 1.2450542156009527e-15,
"tolerance": 2e-12
},
{
"name": "d5 symplectic power2",
"error": 3.2297397080004555e-16,
"tolerance": 1e-11
},
{
"name": "d5 symplectic power4",
"error": 1.5746099407426042e-15,
"tolerance": 1e-11
},
{
"name": "d5 symplectic power6",
"error": 2.4410007855318314e-15,
"tolerance": 1e-11
},
{
"name": "d5 block closure",
"error": 0.0,
"tolerance": 1e-11
},
{
"name": "d6 rest moment stationary",
"error": 1.3796244387938543e-13,
"tolerance": 1e-08
},
{
"name": "d6 axis0 width chirp",
"error": 4.847258325207275e-10,
"tolerance": 2e-06
},
{
"name": "d6 axis5 width chirp",
"error": 1.0200609369039816e-09,
"tolerance": 2e-06
},
{
"name": "d6 axis9 width chirp",
"error": 1.1322273820658933e-10,
"tolerance": 2e-06
},
{
"name": "d6 equalwidth0,1 trace square",
"error": 1.264804933295628e-11,
"tolerance": 3e-06
},
{
"name": "d6 equalwidth squeeze r",
"error": 0.0,
"tolerance": 3e-05
},
{
"name": "d6 equalwidth squeeze z",
"error": 1.1161280631989104e-10,
"tolerance": 3e-06
},
{
"name": "d6 equalwidth zero coordinates",
"error": 8.779034175899948e-12,
"tolerance": 3e-06
},
{
"name": "d6 mixed0,6 full Jacobian",
"error": 9.887985581900915e-10,
"tolerance": 3e-06
},
{
"name": "d6 mixed5,6 full Jacobian",
"error": 6.6123296296555515e-09,
"tolerance": 3e-06
},
{
"name": "d6 equalwidth6,9 trace square",
"error": 2.0011071984457603e-08,
"tolerance": 3e-06
},
{
"name": "d6 equalwidth squeeze r",
"error": 0.0,
"tolerance": 3e-05
},
{
"name": "d6 equalwidth squeeze z",
"error": 3.9822363433841406e-08,
"tolerance": 3e-06
},
{
"name": "d6 equalwidth zero coordinates",
"error": 6.729576208791156e-16,
"tolerance": 3e-06
},
{
"name": "d6 symplectic flow",
"error": 8.567225457824321e-16,
"tolerance": 2e-12
},
{
"name": "d6 symplectic power2",
"error": 3.2297397080004555e-16,
"tolerance": 1e-11
},
{
"name": "d6 symplectic power4",
"error": 1.2596879525940834e-15,
"tolerance": 1e-11
},
{
"name": "d6 symplectic power6",
"error": 1.8862278797291425e-15,
"tolerance": 1e-11
},
{
"name": "d6 block closure",
"error": 0.0,
"tolerance": 1e-11
},
{
"name": "d10 rest moment stationary",
"error": 1.6077746776921858e-13,
"tolerance": 1e-08
},
{
"name": "d10 axis0 width chirp",
"error": 4.345132987371232e-10,
"tolerance": 2e-06
},
{
"name": "d10 axis9 width chirp",
"error": 7.8168408717234e-10,
"tolerance": 2e-06
},
{
"name": "d10 equalwidth0,1 trace square",
"error": 3.1904213160023772e-12,
"tolerance": 3e-06
},
{
"name": "d10 equalwidth squeeze r",
"error": 0.0,
"tolerance": 3e-05
},
{
"name": "d10 equalwidth squeeze z",
"error": 9.877980805333502e-11,
"tolerance": 3e-06
},
{
"name": "d10 equalwidth zero coordinates",
"error": 1.0549602299822022e-11,
"tolerance": 3e-06
},
{
"name": "d10 symplectic flow",
"error": 9.313354856262817e-16,
"tolerance": 2e-12
},
{
"name": "d10 symplectic power2",
"error": 1.6148698540002277e-16,
"tolerance": 1e-11
},
{
"name": "d10 symplectic power4",
"error": 7.873049703713021e-16,
"tolerance": 1e-11
},
{
"name": "d10 symplectic power6",
"error": 1.7752732985686045e-15,
"tolerance": 1e-11
},
{
"name": "d10 block closure",
"error": 0.0,
"tolerance": 1e-11
},
{
"name": "generic exact energy cancellation",
"error": 1.0029669825032504e-17,
"tolerance": 1e-12
}
],
"count": 158,
"targets": [
{
"d": 2,
"n": 76,
"k": 75,
"frequency_over_mu": 2926,
"f_over_mu": "153/2",
"FD_over_mu": "469059367317315064292241153168133/46770925090046726297364199200"
},
{
"d": 2,
"n": 81,
"k": 80,
"frequency_over_mu": 3321,
"f_over_mu": "163/2",
"FD_over_mu": "30871314564048001584569188150923973/2663534471117186738246101035200"
},
{
"d": 2,
"n": 95,
"k": 94,
"frequency_over_mu": 4560,
"f_over_mu": "191/2",
"FD_over_mu": "2621172113623223920782608814399094293431/157624288365238915636945670409007740"
},
{
"d": 3,
"n": 1,
"k": 0,
"frequency_over_mu": 1,
"f_over_mu": "11/6",
"FD_over_mu": "0"
},
{
"d": 3,
"n": 4,
"k": 3,
"frequency_over_mu": 20,
"f_over_mu": "37/3",
"FD_over_mu": "37/3"
},
{
"d": 4,
"n": 3,
"k": 2,
"frequency_over_mu": 15,
"f_over_mu": "57/4",
"FD_over_mu": "11/2"
},
{
"d": 4,
"n": 20,
"k": 19,
"frequency_over_mu": 8855,
"f_over_mu": "19823/12",
"FD_over_mu": "2946535985/201552"
},
{
"d": 4,
"n": 72,
"k": 71,
"frequency_over_mu": 1215450,
"f_over_mu": "264649/4",
"FD_over_mu": "385651217573398402395274997928133/112593464818360871402433376"
},
{
"d": 5,
"n": 10,
"k": 9,
"frequency_over_mu": 2002,
"f_over_mu": "25381/30",
"FD_over_mu": "348911/180"
},
{
"d": 5,
"n": 15,
"k": 14,
"frequency_over_mu": 11628,
"f_over_mu": "68879/20",
"FD_over_mu": "58868877/4004"
},
{
"d": 5,
"n": 22,
"k": 21,
"frequency_over_mu": 65780,
"f_over_mu": "412561/30",
"FD_over_mu": "14019926807/135660"
},
{
"d": 6,
"n": 13,
"k": 12,
"frequency_over_mu": 18564,
"f_over_mu": "436511/60",
"FD_over_mu": "853661/44"
},
{
"d": 6,
"n": 35,
"k": 34,
"frequency_over_mu": 3838380,
"f_over_mu": "3692515/6",
"FD_over_mu": "888161829393373/126543240"
},
{
"d": 10,
"n": 23,
"k": 22,
"frequency_over_mu": 64512240,
"f_over_mu": "14943591113/630",
"FD_over_mu": "163107703437059/2238390"
}
],
"lambda_over_mu": 2064391680,
"Lambda_over_mu": 64512240,
"beta": "49/1296",
"barrier_margin_over_Wmax": "98/81",
"max_f_over_mu": {
"d": 10,
"n": 23,
"k": 22,
"frequency_over_mu": 64512240,
"f_over_mu": "14943591113/630",
"FD_over_mu": "163107703437059/2238390"
},
"max_FD_over_mu": {
"d": 10,
"n": 23,
"k": 22,
"frequency_over_mu": 64512240,
"f_over_mu": "14943591113/630",
"FD_over_mu": "163107703437059/2238390"
},
"source_sha256": "a3468ec989eb376233cea5350822636cc4dced0976191a9ae44ffcbf1eebf631"
}