back to table · edit · history · where entries came from · files · download
3307 bytes, as of the version from 2026-10-31 21:13 (current). Recorded here, not run.
{
"table": "T641",
"checks_passed": true,
"count": 30,
"controls": [
"integral of u^2/u^2 = 1",
"integral of u^2/(1+u)^2 = 3/2-2 log 2",
"integral A(1) = log(2 pi)-gamma",
"perturbed integral rejected",
"diagonal solve gives x=(1/2,1/4), distance 0"
],
"gram_entries_checked": 465,
"distinct_independent_integrals": 278,
"all_prefix_independent_solves": 30,
"all_coefficients_checked": 465,
"positive_pivots": 30,
"positive_distances": 30,
"strict_decreases": 29,
"quadratic_norms_checked": 30,
"schur_decreases_checked": 29,
"stored_intervals_contain_both_enclosures": 30,
"generator_working_bits": 589,
"independent_working_bits": 720,
"tail_start": 16,
"tail_last_power": 125,
"minimum_generator_accuracy_bits": 537,
"maximum_generator_radius": "1.5971976e-164",
"maximum_independent_radius": "3.6694770e-136",
"maximum_normal_equation_residual_bound": "[9.464025844954971234323714495421053568996906301244253862793020432836241098607732958287479156864903272226549589803598417783925031786661035709263987200509335519416368354539180852304616523648342986467778609944844353277952853443e-157 +/- 2.89e-381]",
"maximum_quadratic_radius": "[8.354078209033270250551679229982215448750598527189035443331476358144526363047314596610018560355556695508600481160953120662233408089955677280184395007560646269555021315017720945280015249204407859246132696984013278103060161966e-156 +/- 2.96e-379]",
"versions": {
"sage": "10.9",
"python": "3.12.3",
"numberdb": "0.1.10"
},
"skills": {
"manifest": "/home/ubuntu/numberdb-campaign-20261026-hundred/repo-tables-wanted-label/agents/runs/20261031T205515Z-build-skills/manifest.json",
"manifest_content": {
"versions": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
}
],
"unavailable": [],
"status": "ready",
"policy": "Read the archived current canonical skill. One valid version is enough; two valid versions must match. Coordinate mismatches before starting."
},
"read_sha256": {
"skill-local.md": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
"skill-live.md": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
}
},
"verify_report": "<VerifyReport T641: 30/30 matched, 0 differing, 0 missing, 0 extra>",
"program_check": "Programs snippet agrees on all N=1,...,30",
"audit": {
"tid": "T641",
"title": "Squared Nyman\u2013Beurling approximation distances",
"findings": [],
"clean": true
},
"stored_document_sha256": "a08cdf94778739a855026f3edc54de5f6c7147ca9f487acb0013320e974e09b5",
"source_sha256": {
"generate.py": "7e155af1d4a4963f874e0c536051c1cf0b7afd01e21b93d64a674c7fab8592c8",
"checks.py": "3a6ea0c72d6588b2fdda2d91a0414232f1d64092a5e928cd4121cc4d05798678",
"argument-selection.md": "8fe73d811f03171d14556a56436684807793308371bacd96d357daf06c2186b8",
"derivation.md": "cab62172e7e5e884adb29a3180ebb15a878314805b99ec7cb69fbf480d1cbf45"
}
}