back to table · edit · history · where entries came from · files · download
15244 bytes, as of the version from 2026-10-30 20:20 (current). Recorded here, not run.
{
"table": "T630",
"repair_run": "20261030T201440Z",
"skill_evidence": {
"manifest": "agents/runs/20261030T201440Z-repair-skills/manifest.json",
"versions": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "dedecbdca15a728b6e594bfa79f0d149896fca336080ac27b53f513e0b16cd2e"
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "dedecbdca15a728b6e594bfa79f0d149896fca336080ac27b53f513e0b16cd2e"
}
],
"canonical_snapshot_sha256": "dedecbdca15a728b6e594bfa79f0d149896fca336080ac27b53f513e0b16cd2e"
},
"finding": "Reader page returns HTTP 500.",
"diagnosis": "The live /preview/T630 reported: Error while Parse program SageMath: 'language'. The renderer reads program['language']; the live program mapping had only code.",
"change": {
"path": "Programs.SageMath.language",
"added": "Sage",
"revision": "79bd46265651f916ddf4a05439c1c0c66668db448a84afb220baeaf91f01e609"
},
"numerical_check": {
"table": "T630",
"method": "Execute the live displayed program with its unchanged generator; compare full propagated Arb balls with exact stored decimal intervals.",
"independent_critique": false,
"sage_version": "10.9",
"rows_checked": 10,
"generator_sha256": "17a23641127a22e5277a29929f879ba357930df00afa03c99dd172d29ba9dfac",
"program_code_sha256": "de6a553b94e9d9263004d65bcb69a06dd19f2bc2d70a7683360dc7c12f04f575",
"skill_manifest": "agents/runs/20261030T201440Z-repair-skills/manifest.json",
"local_skill_sha256": "dedecbdca15a728b6e594bfa79f0d149896fca336080ac27b53f513e0b16cd2e",
"live_skill_sha256": "dedecbdca15a728b6e594bfa79f0d149896fca336080ac27b53f513e0b16cd2e",
"results": [
{
"k": 1,
"stored": "0.02174090500810580942637435173470451544670734035282978522337854121237866127261421240922724140369966305",
"enclosure": "[0.0217409050081058094263743517347045154467073403528297852233785412123786612726142124092272414036996630514324937716174184157557071 +/- 5.41e-128]",
"radius": "2.5212003e-128",
"entire_ball_in_written_interval": true
},
{
"k": 2,
"stored": "0.02915206629391926502281241701859397277715161737659517112695082330155950007957875070087385502091238105",
"enclosure": "[0.0291520662939192650228124170185939727771516173765951711269508233015595000795787507008738550209123810499390864253866301978752749 +/- 7.07e-128]",
"radius": "4.0744798e-128",
"entire_ball_in_written_interval": true
},
{
"k": 3,
"stored": "0.03463777984576747171580905906139692829514856160051217262695900220467039347384472848709709021506371445",
"enclosure": "[0.034637779845767471715809059061396928295148561600512172626959002204670393473844728487097090215063714445814586746601638368401862 +/- 3.04e-127]",
"radius": "5.8656207e-128",
"entire_ball_in_written_interval": true
},
{
"k": 4,
"stored": "0.03903724196983531278164266735932562892675852778274199997280982126331714653369242589533908765540989266",
"enclosure": "[0.039037241969835312781642667359325628926758527782741999972809821263317146533692425895339087655409892662469148186321522386327440 +/- 1.05e-127]",
"radius": "7.8381014e-128",
"entire_ball_in_written_interval": true
},
{
"k": 5,
"stored": "0.04273987354996289318503817766257573647389269204164277062817936139797923649714855642886256369926134530",
"enclosure": "[0.042739873549962893185038177662575736473892692041642770628179361397979236497148556428862563699261345298103266241395496021673788 +/- 5.56e-127]",
"radius": "9.9611102e-128",
"entire_ball_in_written_interval": true
},
{
"k": 6,
"stored": "0.04595660210452526949651760458545217600079315029007096349545551732349434800117965437339447055694419345",
"enclosure": "[0.045956602104525269496517604585452176000793150290070963495455517323494348001179654373394470556944193450632044299041695548256328 +/- 4.54e-127]",
"radius": "1.2214650e-127",
"entire_ball_in_written_interval": true
},
{
"k": 7,
"stored": "0.04881426319572194521700351678079134552169728670903077552354824134515424857072512473621644284003169583",
"enclosure": "[0.048814263195721945217003516780791345521697286709030775523548241345154248570725124736216442840031695830777243480129101830770505 +/- 2.45e-127]",
"radius": "1.4584444e-127",
"entire_ball_in_written_interval": true
},
{
"k": 8,
"stored": "0.05139505806784018940912893756012165044276140670875183484437928283619155596288762642243204230741008547",
"enclosure": "[0.051395058067840189409128937560121650442761406708751834844379282836191555962887626422432042307410085474508979579044422939732666 +/- 5.57e-127]",
"radius": "1.7059668e-127",
"entire_ball_in_written_interval": true
},
{
"k": 9,
"stored": "0.05375533886583299938395964687819251150032850937014257958337807907666060136247842924841552417706699464",
"enclosure": "[0.053755338865832999383959646878192511500328509370142579583378079076660601362478429248415524177066994640141168010273743515212288 +/- 2.19e-127]",
"radius": "1.9631764e-127",
"entire_ball_in_written_interval": true
},
{
"k": 10,
"stored": "0.05593545955260816511585374952575323841953559033600763623855223619072965097873642969350721651143238231",
"enclosure": "[0.055935459552608165115853749525753238419535590336007636238552236190729650978736429693507216511432382307852550058590389883334176 +/- 2.34e-127]",
"radius": "2.2293754e-127",
"entire_ball_in_written_interval": true
}
]
},
"browser_before": {
"phase": "before",
"status": 500,
"url": "https://numberdb.org/T630",
"title": "Server Error (500)",
"page_errors": [],
"chromium_version": "156.0.8078.4",
"playwright_version": "1.64.1",
"headings": [
"Server Error (500)"
],
"math_errors": 0,
"math_elements": 0,
"links": []
},
"browser_after": {
"phase": "after",
"status": 200,
"url": "https://numberdb.org/T630",
"title": "Dimensionless squared angular momentum at axisymmetric bifurcations of Maclaurin spheroids - NumberDB",
"page_errors": [],
"chromium_version": "156.0.8078.4",
"playwright_version": "1.64.1",
"headings": [],
"math_errors": 0,
"math_elements": 55,
"links": [
{
"text": "[1]",
"href": "#AKM"
},
{
"text": "[1]",
"href": "#AKM"
},
{
"text": "[1]",
"href": "#AKM"
},
{
"text": "[1]",
"href": "#AKM"
},
{
"text": "dimensionless squared angular velocity at the same bifurcation",
"href": "T629"
},
{
"text": "(3)",
"href": "#formula-angular-momentum"
},
{
"text": "[1]",
"href": "#AKM"
},
{
"text": "kinetic-to-gravitational energy ratio",
"href": "Kinetic-to-gravitational_energy_ratios_at_axisymmetric_bifurcations_of_Maclaurin_spheroids"
},
{
"text": "eccentricity ek at the same branch",
"href": "Eccentricities_at_axisymmetric_bifurcations_of_Maclaurin_spheroids"
},
{
"text": "(3)",
"href": "#formula-angular-momentum"
},
{
"text": "(2)",
"href": "#formula-bifurcation"
},
{
"text": "[1]",
"href": "#AKM"
},
{
"text": "[2]",
"href": "#AKM-text"
},
{
"text": "Legendre polynomial",
"href": "Legendre_polynomials"
},
{
"text": "(1)",
"href": "#formula-oblate"
},
{
"text": "secondary Legendre polynomials",
"href": "Secondary_polynomials_of_the_Legendre_polynomials"
},
{
"text": "Legendre functions of the second kind",
"href": "Values_of_the_Legendre_functions_of_the_second_kind"
},
{
"text": "[1]",
"href": "#AKM"
},
{
"text": "(4)",
"href": "#formula-physical"
},
{
"text": "the polytropic moment-of-inertia table",
"href": "Moment_of_inertia_of_polytropic_stars?entry=0"
},
{
"text": "Eccentricities at axisymmetric Maclaurin bifurcations",
"href": "Eccentricities_at_axisymmetric_bifurcations_of_Maclaurin_spheroids"
},
{
"text": "(3)",
"href": "#formula-angular-momentum"
},
{
"text": "Dimensionless squared angular velocity at axisymmetric Maclaurin bifurcations",
"href": "T629"
},
{
"text": "(3)",
"href": "#formula-angular-momentum"
},
{
"text": "Kinetic-to-gravitational energy ratios at axisymmetric Maclaurin bifurcations",
"href": "Kinetic-to-gravitational_energy_ratios_at_axisymmetric_bifurcations_of_Maclaurin_spheroids"
},
{
"text": "(5)",
"href": "#formula-energy-relation"
},
{
"text": "Legendre polynomials",
"href": "Legendre_polynomials"
},
{
"text": "Secondary Legendre polynomials",
"href": "Secondary_polynomials_of_the_Legendre_polynomials"
},
{
"text": "Legendre functions of the second kind",
"href": "Values_of_the_Legendre_functions_of_the_second_kind"
},
{
"text": "Moments of inertia of polytropic stars",
"href": "Moment_of_inertia_of_polytropic_stars"
},
{
"text": "How well the digits are known",
"href": "/help#how-well-known"
},
{
"text": "[1]",
"href": "#AKM"
},
{
"text": "How they were obtained",
"href": "/help#how-well-known"
},
{
"text": "Legendre polynomials",
"href": "Legendre_polynomials"
},
{
"text": "[1]",
"href": "#AKM"
}
]
},
"rendered_content": {
"all_ten_values_and_identities_visible": true,
"all_sections_present": true,
"number_heading": "$j_k^2$",
"all_CITE_fragments_resolve": true,
"math_errors": 0,
"internal_link_destinations": [
{
"url": "https://numberdb.org/Eccentricities_at_axisymmetric_bifurcations_of_Maclaurin_spheroids",
"status": 200,
"bytes": 32949
},
{
"url": "https://numberdb.org/Kinetic-to-gravitational_energy_ratios_at_axisymmetric_bifurcations_of_Maclaurin_spheroids",
"status": 200,
"bytes": 35060
},
{
"url": "https://numberdb.org/Legendre_polynomials",
"status": 200,
"bytes": 63221
},
{
"url": "https://numberdb.org/Moment_of_inertia_of_polytropic_stars",
"status": 200,
"bytes": 35032
},
{
"url": "https://numberdb.org/Moment_of_inertia_of_polytropic_stars?entry=0",
"status": 200,
"bytes": 35430,
"entry_0_present": true
},
{
"url": "https://numberdb.org/Secondary_polynomials_of_the_Legendre_polynomials",
"status": 200,
"bytes": 74670
},
{
"url": "https://numberdb.org/T629",
"status": 200,
"bytes": 19901
},
{
"url": "https://numberdb.org/Values_of_the_Legendre_functions_of_the_second_kind",
"status": 200,
"bytes": 464281
},
{
"url": "https://numberdb.org/help#how-well-known",
"status": 200,
"bytes": 61775
}
],
"preexisting_renderer_note": "The Data properties renderer displays digits: 100 (Unknown key); retained the valid precision metadata. This is separate from the repaired program-language exception."
},
"audit": {
"tid": "T630",
"title": "Dimensionless squared angular momentum at axisymmetric bifurcations of Maclaurin spheroids",
"findings": [],
"clean": true
},
"readback": {
"responses": [
{
"file": "document-after.json",
"status": 200,
"bytes": 10011,
"sha256": "98061428fb0f2d25cee1bb2b4a65d1462dd977ff462229dbc09bde576b4cc6c2"
},
{
"file": "audit-after.json",
"status": 200,
"bytes": 149,
"sha256": "465d8b57d83e60203b70cbf2c02f7ea3d9c8ff7e8a2a84f5829c0366650b100e"
},
{
"file": "page-after.html",
"status": 200,
"bytes": 36878,
"sha256": "c9c1fdbc1d0a6af40a707ea0fe5152b5cb1e1973ff62306c5bbfa2a83eb75d50"
},
{
"file": "title-after.html",
"status": 200,
"bytes": 36793,
"sha256": "b00942585dee331db3f2aea10a488971b6cecd7d8badfe1efa3398fdc27a613a"
},
{
"file": "anonymous-after.json",
"status": 200,
"bytes": 49,
"sha256": "fb72e4a6e50bb8da48ca057360e7318ecae0afe73f86f7b812535c14743074d3"
},
{
"file": "attachment-after-generate.py",
"status": 200,
"bytes": 4962,
"sha256": "17a23641127a22e5277a29929f879ba357930df00afa03c99dd172d29ba9dfac"
},
{
"file": "attachment-after-checks.py",
"status": 200,
"bytes": 8211,
"sha256": "16571e97925fdcaf7c7363c954a0e9ab83cbdd1e292dc8e7b5396d9e10a8ee30"
},
{
"file": "attachment-after-argument-selection.md",
"status": 200,
"bytes": 3307,
"sha256": "810ec562a1328914beface82be88e9173444370c58af7e547e9d6b0efdf16e09"
},
{
"file": "attachment-after-certification.md",
"status": 200,
"bytes": 5391,
"sha256": "eac75cae6004fb56cef265d24f271d1f9f87f9439a29094fe82ff1014a7ded2c"
}
],
"all_reviewed_attachments_unchanged": true,
"only_document_change": "Programs.SageMath.language = Sage",
"stored_values_unchanged": true,
"selection_sha256_before": "d42f0966c6790bbba99fab78b096991a698fa94854cba10ffa572bf003dc9dce",
"selection_sha256_after": "4f4f322091c430ff339dbab856052a98440e3573ff5739975aa81d245db5df67",
"fresh_independent_critique_required": true,
"critique_sidecar_sha256": "ea79daed15c7bd37ffeb6c5ec588b98a4ebfb607fc1a5d8e28555c63e1229ac5"
},
"fingerprint": {
"table": "T630",
"selection_sha256": "4f4f322091c430ff339dbab856052a98440e3573ff5739975aa81d245db5df67",
"generator_files": {
"generate.py": "17a23641127a22e5277a29929f879ba357930df00afa03c99dd172d29ba9dfac",
"checks.py": "16571e97925fdcaf7c7363c954a0e9ab83cbdd1e292dc8e7b5396d9e10a8ee30",
"argument-selection.md": "810ec562a1328914beface82be88e9173444370c58af7e547e9d6b0efdf16e09",
"certification.md": "eac75cae6004fb56cef265d24f271d1f9f87f9439a29094fe82ff1014a7ded2c"
}
},
"independent_sidecar": "agents/critiques/T630-arguments.json",
"independent_sidecar_changed": false,
"fresh_independent_critique_required": true,
"review_state": "Private draft; not offered, published or reviewed."
}