back to table · edit · history · where entries came from · files · download
5925 bytes, as of the version from 2026-10-26 21:52 (current). Recorded here, not run.
{
"table": "T529",
"status": "pass",
"stored_readback_checked": true,
"skill_manifest": "agents/runs/20261026T213949Z-build-skills/manifest.json",
"skill_manifest_sha256": "d03b756eaa1cd22ce39c8cee78fb3a44b052146786d6371925ac7bc9dec564f3",
"skill_versions": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18"
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18"
}
],
"versions": {
"python": "3.12.3",
"sage": "10.9",
"numberdb": "0.1.10"
},
"selection": {
"parameter": "n",
"type": "Z",
"domain": "n >= 1",
"enumeration": [
1,
2,
3,
4,
5,
6,
7,
8,
9,
10,
11,
12
],
"category": "discrete_index",
"independent_critique_pending": true
},
"working_bits": 513,
"guard_bits": 180,
"independent_bits": 768,
"minimum_working_accuracy_bits": 509,
"written_measurement": {
"entries": 12,
"longest": 104,
"longest_at": 5,
"block_kb": 1.126953125
},
"ball_measurement": {
"entries": 12,
"longest": 174,
"longest_at": 7,
"block_kb": 1.5595703125
},
"checks": {
"exactness": true,
"named_imports": true,
"resolvent_polynomial_identities": 13,
"resolvent_controls": "M0=1; p1=x^2/2+x/2+1/4",
"exact_resolvent_coefficient_comparisons": 13,
"exact_airy_quotient_comparisons": 13,
"table6_moment_comparisons": 5,
"gaussian_marginal_mean": true,
"second_moment_from_signed_and_absolute_bridge": true,
"decimal_interval_containment": 6,
"exact_rational_rows": 6,
"written_recurrence_checks": 12,
"written_strict_log_convexity_checks": 11
},
"rows": [
{
"n": 1,
"rational_factor": "1/8",
"factor": "sqrt(pi/2)",
"P_n": "1/8",
"resolvent_origin": "1/4",
"number": "0.1566642671644375314009853303006903283129366712881211447893702235213933534129901234341622398986285791",
"working_accuracy_bits": 511,
"independent_accuracy_bits": 765
},
{
"n": 2,
"rational_factor": "1/20",
"factor": "1",
"P_n": "3/32",
"resolvent_origin": "3/8",
"number": "1/20",
"working_accuracy_bits": null,
"independent_accuracy_bits": 765
},
{
"n": 3,
"rational_factor": "71/4096",
"factor": "sqrt(pi/2)",
"P_n": "71/512",
"resolvent_origin": "71/64",
"number": "0.02172492767319348579974601260029104162152051496378242437508844896488071893031698977309671686094263500",
"working_accuracy_bits": 510,
"independent_accuracy_bits": 764
},
{
"n": 4,
"rational_factor": "211/18480",
"factor": "1",
"P_n": "633/2048",
"resolvent_origin": "633/128",
"number": "211/18480",
"working_accuracy_bits": null,
"independent_accuracy_bits": 764
},
{
"n": 5,
"rational_factor": "15103/2752512",
"factor": "sqrt(pi/2)",
"P_n": "15103/16384",
"resolvent_origin": "15103/512",
"number": "0.006876919488770984574814806092852858853324621426433726428088548891612036762336047462757371620364198029",
"working_accuracy_bits": 510,
"independent_accuracy_bits": 764
},
{
"n": 6,
"rational_factor": "75233/16336320",
"factor": "1",
"P_n": "225699/65536",
"resolvent_origin": "225699/1024",
"number": "75233/16336320",
"working_accuracy_bits": null,
"independent_accuracy_bits": 764
},
{
"n": 7,
"rational_factor": "32420011/12079595520",
"factor": "sqrt(pi/2)",
"P_n": "32420011/2097152",
"resolvent_origin": "32420011/16384",
"number": "0.003363726711788444768609464048800874916380655981079917274186329927468320563750814957504072184892612974",
"working_accuracy_bits": 510,
"independent_accuracy_bits": 764
},
{
"n": 8,
"rational_factor": "75516257/28555887360",
"factor": "1",
"P_n": "679646313/8388608",
"resolvent_origin": "679646313/32768",
"number": "75516257/28555887360",
"working_accuracy_bits": null,
"independent_accuracy_bits": 764
},
{
"n": 9,
"rational_factor": "32582240233/18425409699840",
"factor": "sqrt(pi/2)",
"P_n": "32582240233/67108864",
"resolvent_origin": "32582240233/131072",
"number": "0.002216275403080094493851059159739809784973862663721130261546872160039679508018671955934231627356727298",
"working_accuracy_bits": 510,
"independent_accuracy_bits": 764
},
{
"n": 10,
"rational_factor": "292964136763/149061732019200",
"factor": "1",
"P_n": "878892410289/268435456",
"resolvent_origin": "878892410289/262144",
"number": "292964136763/149061732019200",
"working_accuracy_bits": null,
"independent_accuracy_bits": 764
},
{
"n": 11,
"rational_factor": "35129956012241/24013333950627840",
"factor": "sqrt(pi/2)",
"P_n": "105389868036723/4294967296",
"resolvent_origin": "105389868036723/2097152",
"number": "0.001833517603342294109299157800715258541521973482296296455234191354783242043803844261519504596008434124",
"working_accuracy_bits": 509,
"independent_accuracy_bits": 764
},
{
"n": 12,
"rational_factor": "1158609985088903/646927916963328000",
"factor": "1",
"P_n": "3475829955266709/17179869184",
"resolvent_origin": "3475829955266709/4194304",
"number": "1158609985088903/646927916963328000",
"working_accuracy_bits": null,
"independent_accuracy_bits": 764
}
],
"generator_verify": "<VerifyReport T529: 12/12 matched, 0 differing, 0 missing, 0 extra>"
}