{
  "controls_passed": true,
  "entries": [
    {
      "all_displayed_conversions": true,
      "coarse_source_checks": true,
      "independent_radius": "1.1991979e-127",
      "j2": "0.02174090500810580942637435173470451544670734035282978522337854121237866127261421240922724140369966305",
      "k": 1,
      "original_integral_endpoint_residuals": [
        "[1.346706861223057295200344984046152473677808855648233642634555367906250781982129247e-127 +/- 4.35e-209]",
        "[-7.1067726157420078297729347911404725471144662117671959247800725674984157585243508e-129 +/- 5.09e-209]"
      ],
      "radius": "2.5212003e-128",
      "same_bracket_at_700_bits": true,
      "scale_density_G_invariance": true,
      "uniqueness_polynomial_degree": 8,
      "written_interval_contains_all_checks": true,
      "xi_lower": "1882708952023858206341587593883096949153464055886105887326937945769058709576123808418891995026547417413588662575064589089887249/10830740992659433045228180406808920716548582325686783496759685861775864483615725089999900023844295226942934417817982702456930304",
      "xi_upper": "941354476011929103170793796941548474576732027943052943663468972884529354788061904209445997513273708706794331287532294544943625/5415370496329716522614090203404460358274291162843391748379842930887932241807862544999950011922147613471467208908991351228465152"
    },
    {
      "all_displayed_conversions": true,
      "coarse_source_checks": true,
      "independent_radius": "2.2249855e-127",
      "j2": "0.02915206629391926502281241701859397277715161737659517112695082330155950007957875070087385502091238105",
      "k": 2,
      "original_integral_endpoint_residuals": [
        "[6.50359950676108966024407374636666024679223223392619434258239579528898914453093990e-128 +/- 6.31e-209]",
        "[-1.056255614616489674128714561049449103646312082204200856980032969063019912306808458e-127 +/- 3.47e-209]"
      ],
      "radius": "4.0744798e-128",
      "same_bracket_at_700_bits": true,
      "scale_density_G_invariance": true,
      "uniqueness_polynomial_degree": 12,
      "written_interval_contains_all_checks": true,
      "xi_lower": "1216344401195627905580256872460441422532272270135473834317029796056925633383429730872616944469979311959843539141209515191146437/10830740992659433045228180406808920716548582325686783496759685861775864483615725089999900023844295226942934417817982702456930304",
      "xi_upper": "608172200597813952790128436230220711266136135067736917158514898028462816691714865436308472234989655979921769570604757595573219/5415370496329716522614090203404460358274291162843391748379842930887932241807862544999950011922147613471467208908991351228465152"
    },
    {
      "all_displayed_conversions": true,
      "coarse_source_checks": true,
      "independent_radius": "3.4033445e-127",
      "j2": "0.03463777984576747171580905906139692829514856160051217262695900220467039347384472848709709021506371445",
      "k": 3,
      "original_integral_endpoint_residuals": [
        "[1.664254828326679190637499738978017278701286725861484265397697560551863441575163799e-127 +/- 5.74e-209]",
        "[-1.96409763221807760412197029592951265935776599422300840051710680279244125081686294e-128 +/- 3.72e-209]"
      ],
      "radius": "5.8656207e-128",
      "same_bracket_at_700_bits": true,
      "scale_density_G_invariance": true,
      "uniqueness_polynomial_degree": 16,
      "written_interval_contains_all_checks": true,
      "xi_lower": "899327463970502622252257590066599446377642729747394137193950783727302994529732370497303554138554178917908638018194999582988213/10830740992659433045228180406808920716548582325686783496759685861775864483615725089999900023844295226942934417817982702456930304",
      "xi_upper": "449663731985251311126128795033299723188821364873697068596975391863651497264866185248651777069277089458954319009097499791494107/5415370496329716522614090203404460358274291162843391748379842930887932241807862544999950011922147613471467208908991351228465152"
    },
    {
      "all_displayed_conversions": true,
      "coarse_source_checks": true,
      "independent_radius": "4.7030962e-127",
      "j2": "0.03903724196983531278164266735932562892675852778274199997280982126331714653369242589533908765540989266",
      "k": 4,
      "original_integral_endpoint_residuals": [
        "[1.347986958560844120669926635996085993353128499749348903808763556979254398314735467e-127 +/- 2.22e-209]",
        "[-6.08173505034558406786829010692686598877861121295060398745282282667695014972129096e-128 +/- 5.89e-209]"
      ],
      "radius": "7.8381014e-128",
      "same_bracket_at_700_bits": true,
      "scale_density_G_invariance": true,
      "uniqueness_polynomial_degree": 20,
      "written_interval_contains_all_checks": true,
      "xi_lower": "356801524992437507330870894768238405655840068778063486415173146395946656657924827813862149942802876706495629885371069195300249/5415370496329716522614090203404460358274291162843391748379842930887932241807862544999950011922147613471467208908991351228465152",
      "xi_upper": "713603049984875014661741789536476811311680137556126972830346292791893313315849655627724299885605753412991259770742138390600499/10830740992659433045228180406808920716548582325686783496759685861775864483615725089999900023844295226942934417817982702456930304"
    },
    {
      "all_displayed_conversions": true,
      "coarse_source_checks": true,
      "independent_radius": "6.1049429e-127",
      "j2": "0.04273987354996289318503817766257573647389269204164277062817936139797923649714855642886256369926134530",
      "k": 5,
      "original_integral_endpoint_residuals": [
        "[1.943583661792794853290494238033726388445103193385502551797345011021473911656158142e-127 +/- 1.73e-209]",
        "[-7.7511450024848301216985705068740872862014362666851109578826493107508420063111881e-129 +/- 1.78e-209]"
      ],
      "radius": "9.9611102e-128",
      "same_bracket_at_700_bits": true,
      "scale_density_G_invariance": true,
      "uniqueness_polynomial_degree": 24,
      "written_interval_contains_all_checks": true,
      "xi_lower": "73940511394289432659024533940673170389695788380269441003572548078092772839156516101245863897591825594878043094489916347647101/1353842624082429130653522550851115089568572790710847937094960732721983060451965636249987502980536903367866802227247837807116288",
      "xi_upper": "591524091154315461272196271525385363117566307042155528028580384624742182713252128809966911180734604759024344755919330781176809/10830740992659433045228180406808920716548582325686783496759685861775864483615725089999900023844295226942934417817982702456930304"
    },
    {
      "all_displayed_conversions": true,
      "coarse_source_checks": true,
      "independent_radius": "7.5957287e-127",
      "j2": "0.04595660210452526949651760458545217600079315029007096349545551732349434800117965437339447055694419345",
      "k": 6,
      "original_integral_endpoint_residuals": [
        "[4.21272278237828889013569190908608724181640018412478837127785455092685056899805217e-128 +/- 3.70e-209]",
        "[-1.646824144326333652223705332657860383108093255641005579538529933207978264775909003e-127 +/- 4.47e-209]"
      ],
      "radius": "1.2214650e-127",
      "same_bracket_at_700_bits": true,
      "scale_density_G_invariance": true,
      "uniqueness_polynomial_degree": 28,
      "written_interval_contains_all_checks": true,
      "xi_lower": "505138467001078672083963909671700035531086848953287800599524777333822662055050024069677844692577967175084525496700009244108113/10830740992659433045228180406808920716548582325686783496759685861775864483615725089999900023844295226942934417817982702456930304",
      "xi_upper": "252569233500539336041981954835850017765543424476643900299762388666911331027525012034838922346288983587542262748350004622054057/5415370496329716522614090203404460358274291162843391748379842930887932241807862544999950011922147613471467208908991351228465152"
    },
    {
      "all_displayed_conversions": true,
      "coarse_source_checks": true,
      "independent_radius": "9.1658441e-127",
      "j2": "0.04881426319572194521700351678079134552169728670903077552354824134515424857072512473621644284003169583",
      "k": 7,
      "original_integral_endpoint_residuals": [
        "[5.57594347894809009331812179820477383227644337327132982461374726735815966503388851e-128 +/- 1.09e-209]",
        "[-1.546090441177126292123035827805613702388165861203162933636560978428700837075191029e-127 +/- 3.83e-209]"
      ],
      "radius": "1.4584444e-127",
      "same_bracket_at_700_bits": true,
      "scale_density_G_invariance": true,
      "uniqueness_polynomial_degree": 32,
      "written_interval_contains_all_checks": true,
      "xi_lower": "220390442249167024695105290860799111242356694753191277022927606766752385573129378949323494020079492295560555616304597548738459/5415370496329716522614090203404460358274291162843391748379842930887932241807862544999950011922147613471467208908991351228465152",
      "xi_upper": "440780884498334049390210581721598222484713389506382554045855213533504771146258757898646988040158984591121111232609195097476919/10830740992659433045228180406808920716548582325686783496759685861775864483615725089999900023844295226942934417817982702456930304"
    },
    {
      "all_displayed_conversions": true,
      "coarse_source_checks": true,
      "independent_radius": "1.0807918e-126",
      "j2": "0.05139505806784018940912893756012165044276140670875183484437928283619155596288762642243204230741008547",
      "k": 8,
      "original_integral_endpoint_residuals": [
        "[6.7948081335753084061722235703610431459666064741715735543549254655422293279361433e-129 +/- 4.98e-209]",
        "[-2.063615808649780634135226239712736987110210775666121289698821133943616628755470823e-127 +/- 1.08e-209]"
      ],
      "radius": "1.7059668e-127",
      "same_bracket_at_700_bits": true,
      "scale_density_G_invariance": true,
      "uniqueness_polynomial_degree": 36,
      "written_interval_contains_all_checks": true,
      "xi_lower": "390975205895615053184810523422187848291334823517130321988990846319698669254406102630138569095988942361777958860536723836290867/10830740992659433045228180406808920716548582325686783496759685861775864483615725089999900023844295226942934417817982702456930304",
      "xi_upper": "97743801473903763296202630855546962072833705879282580497247711579924667313601525657534642273997235590444489715134180959072717/2707685248164858261307045101702230179137145581421695874189921465443966120903931272499975005961073806735733604454495675614232576"
    },
    {
      "all_displayed_conversions": true,
      "coarse_source_checks": true,
      "independent_radius": "1.2516089e-126",
      "j2": "0.05375533886583299938395964687819251150032850937014257958337807907666060136247842924841552417706699464",
      "k": 9,
      "original_integral_endpoint_residuals": [
        "[3.48854851062884854502355915209611996995569051099919315882495792745913955384787946e-128 +/- 2.85e-209]",
        "[-1.805137500032721729698362299252312371712354190558131064041466548770644469965383845e-127 +/- 3.65e-209]"
      ],
      "radius": "1.9631764e-127",
      "same_bracket_at_700_bits": true,
      "scale_density_G_invariance": true,
      "uniqueness_polynomial_degree": 40,
      "written_interval_contains_all_checks": true,
      "xi_lower": "351285694378615142303945437755437286680372070686391275754209958039331976136378896700473555290022866300760879205973814030712897/10830740992659433045228180406808920716548582325686783496759685861775864483615725089999900023844295226942934417817982702456930304",
      "xi_upper": "175642847189307571151972718877718643340186035343195637877104979019665988068189448350236777645011433150380439602986907015356449/5415370496329716522614090203404460358274291162843391748379842930887932241807862544999950011922147613471467208908991351228465152"
    },
    {
      "all_displayed_conversions": true,
      "coarse_source_checks": true,
      "independent_radius": "1.4285560e-126",
      "j2": "0.05593545955260816511585374952575323841953559033600763623855223619072965097873642969350721651143238231",
      "k": 10,
      "original_integral_endpoint_residuals": [
        "[4.59858809907163425760701000694733801637054584921738594716331989199168833252081764e-128 +/- 1.58e-209]",
        "[-1.712566666544838185793524418657811310959312079587354324468323875918361216968963366e-127 +/- 5.15e-209]"
      ],
      "radius": "2.2293754e-127",
      "same_bracket_at_700_bits": true,
      "scale_density_G_invariance": true,
      "uniqueness_polynomial_degree": 44,
      "written_interval_contains_all_checks": true,
      "xi_lower": "318913625786271090201881969127024754983515325550916990094150972927484732915310185348025375738127061787094832782065295785601865/10830740992659433045228180406808920716548582325686783496759685861775864483615725089999900023844295226942934417817982702456930304",
      "xi_upper": "159456812893135545100940984563512377491757662775458495047075486463742366457655092674012687869063530893547416391032647892800933/5415370496329716522614090203404460358274291162843391748379842930887932241807862544999950011922147613471467208908991351228465152"
    }
  ],
  "independent_bits": 700,
  "live_skill_sha256": "dedecbdca15a728b6e594bfa79f0d149896fca336080ac27b53f513e0b16cd2e",
  "local_skill_sha256": "dedecbdca15a728b6e594bfa79f0d149896fca336080ac27b53f513e0b16cd2e",
  "python_version": "3.12.3",
  "sage_version": "10.9",
  "skill_manifest": "agents/runs/20261030T195647Z-build-skills/manifest.json",
  "stored_readback": true,
  "table": "T630",
  "working_bits": 500,
  "builder_run": "20261030T195647Z",
  "generator_verify": {
    "matched": 10,
    "differing": 0,
    "missing": 0,
    "extra": 0
  },
  "audit_clean": true,
  "dry_run": {
    "entries": 10,
    "longest_ball_characters": 145,
    "block_kb": 1.9
  },
  "resolved_local_check_error": "The auxiliary beta-to-j2 prefactor was corrected from 8/75 to 4/25 using T=I Omega^2/2 and the gravitational-energy formula; see certification.md. All corrected and stored checks passed."
}