back to table · edit · history · where entries came from · files · download
7451 bytes, as of the version from 2026-10-27 02:01 (current). Recorded here, not run.
{
"tid": "T521",
"before_count": 40,
"after_count": 45,
"added": [
[
0,
3,
0
],
[
0,
3,
2
],
[
0,
4,
0
],
[
0,
4,
2
],
[
1,
3,
0
]
],
"complete": true,
"rigour": "heuristic (agreement-checked)",
"created_utc": "2026-10-27T01:37:08.403170+00:00",
"independent_checks": [
{
"params": [
0,
3,
0
],
"independent_at_140": "6.9488227810796297894364364454708297576748511326098917351623806881914223381998041868399523518060955371932775196199522876058985330082274162562",
"independent_at_180": "6.94882278107962978943643644547082975767485113260989173516238068819142233819980418683995235180609553719327751961995228760589853300822741625622905126797209509018001848543512647000418",
"independent_precision_agreement": "1.81719471816e-141",
"relative_difference_from_bessel_quadrature": "1.32316641441e-181",
"stored_error_ulps": "0.19327751962",
"finite_and_positive": true
},
{
"params": [
0,
3,
2
],
"independent_at_140": "0.18800512891853449147796056630636679206237190005730584012810204429190239388677901392577981392113502455554722757309953083166691746882993038623",
"independent_at_180": "0.188005128918534491477960566306366792062371900057305840128102044291902393886779013925779813921135024555547227573099530831666917468829930386227299650435684165911615381034321578864032",
"independent_precision_agreement": "7.82440782238e-142",
"relative_difference_from_bessel_quadrature": "1.3762840322e-180",
"stored_error_ulps": "0.444527724269",
"finite_and_positive": true
},
{
"params": [
0,
4,
0
],
"independent_at_140": "27.24133841780597340670998026455793502399788809861827465512290187919531478484839302736940746053615984731341941410271860479901670599515062555",
"independent_at_180": "27.2413384178059734067099802645579350239978880986182746551229018791953147848483930273694074605361598473134194141027186047990167059951506255496273830157971797607862102590394912357216",
"independent_precision_agreement": "2.73423785972e-141",
"relative_difference_from_bessel_quadrature": "6.32955123377e-183",
"stored_error_ulps": "0.26865805859",
"finite_and_positive": true
},
{
"params": [
0,
4,
2
],
"independent_at_140": "0.19577062524728791721745808327557723741882789696652502819793384616635299296944446265535291116385808576889018535739531367106306453671748180471",
"independent_at_180": "0.195770625247287917217458083275577237418827896966525028197933846166352992969444462655352911163858085768890185357395313671063064536717481804700735826585036816865970277019715056658125",
"independent_precision_agreement": "2.3407697382e-140",
"relative_difference_from_bessel_quadrature": "2.15198659362e-180",
"stored_error_ulps": "0.311098146426",
"finite_and_positive": true
},
{
"params": [
1,
3,
0
],
"independent_at_140": "6.9975630166806323595567578268530960056977542843533629083362558072713688625385844199401170928965287869332633825410436854857903731235448194191",
"independent_at_180": "6.99756301668063235955675782685309600569775428435336290833625580727136886253858441994011709289652878693326338254104368548579037312354481941913399529150775746523424245823495450358895",
"independent_precision_agreement": "8.92000980719e-142",
"relative_difference_from_bessel_quadrature": "1.90424578774e-183",
"stored_error_ulps": "0.066736617459",
"finite_and_positive": true
}
],
"controls": [
{
"params": {
"a": 0,
"b": 1,
"k": 0
},
"number": "1.570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058534",
"at_150": "1.57079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406",
"at_200": "1.570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064240558725142051350969260552779822311474477465191",
"relative_difference": "4.19836370406e-152",
"upper_tail_bounds": [
"3.82881668466e-254",
"1.222463778e-318"
],
"endpoint_substitution": "t=u^2",
"rigour": "heuristic (agreement-checked)",
"closed_form_relative_error": "1.13226611298e-200"
},
{
"params": {
"a": 0,
"b": 2,
"k": 0
},
"number": "2.467401100272339654708622749969037783828424851810197656603337344055011205604801310750443350929638058",
"at_150": "2.4674011002723396547086227499690377838284248518101976566033373440550112056048013107504433509296380579560064784435057860194430870305075116819026544195",
"at_200": "2.4674011002723396547086227499690377838284248518101976566033373440550112056048013107504433509296380579560064784435057860194430870305075116819026544194962994152475999640516439076428765103082100821952173",
"relative_difference": "4.6073013738e-152",
"upper_tail_bounds": [
"3.82881668466e-254",
"1.222463778e-318"
],
"endpoint_substitution": "t=u^2",
"rigour": "heuristic (agreement-checked)",
"closed_form_relative_error": "1.54787705725e-200"
},
{
"params": {
"a": 0,
"b": 1,
"k": 1
},
"number": "1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"at_150": "1.0",
"at_200": "1.0",
"relative_difference": "0.0",
"upper_tail_bounds": [
"3.82881668466e-254",
"1.222463778e-318"
],
"endpoint_substitution": "none",
"rigour": "heuristic (agreement-checked)",
"closed_form_relative_error": "0.0"
},
{
"params": {
"a": 0,
"b": 2,
"k": 1
},
"number": "0.5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"at_150": "0.5",
"at_200": "0.5",
"relative_difference": "0.0",
"upper_tail_bounds": [
"3.82881668466e-254",
"1.222463778e-318"
],
"endpoint_substitution": "none",
"rigour": "heuristic (agreement-checked)",
"closed_form_relative_error": "0.0"
}
],
"retained_reproduction_count": 40,
"all_old_entries_annotations_and_comments_identical": true,
"default_enumeration_matches": true,
"prior_outcomes_sha256": "8f7764d069fca13e7924d5bea8af86c1a72796864de4692213edf1c2ef70cd55",
"source_sha256": {
"generate.py": "b4efe2f6e897a9b285c224e31bc950beb1fe0110c9153b7cc473512eeacb7173",
"even-checks.py": "17738db798b2b3604d058c0a84f824206ef697b73b6cef8b1aef8686467feaab",
"even-selection.md": "73bcbc8379076f44c86f9808e93aa2dc5fb09d7e6a0ff0651abc0e818a4ce9b0"
},
"baseline_generator_sha256": "6f50e2a959efd804b670232fe50fdb6ab25048e388278cc83652438a94aa9cfc",
"limitations": [
"Quadrature discretization error is not certified.",
"Only these five even moments are added.",
"Historical checks.py still targets the retained 40-row odd slice."
]
}