back to table · edit · history · where entries came from · files · download
3905 bytes, as of the version from 2026-11-02 06:04 (current). Recorded here, not run.
{
"table": "T670",
"sage": "10.9",
"python": "3.12.3",
"skill_manifest": "agents/runs/20261102T055816Z-repair-skills/manifest.json",
"skill_sha256": {
"local": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
"live": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
},
"document_sha256": "bcdb64b067c27d796b8eba6db539187ae7abbcbee1f703ccbebd4d0e581f9329",
"generator_sha256": "81143e0e5a62e45ae04991d161d3fc5365254f6936b0b416a10db7c39fdda564",
"all_stored_values_reproduced": 500,
"minimum_reproduction_accuracy_bits": 408,
"maximum_reproduction_discrepancy_ulps": "[0.4981656980655730232031010591 +/- 5.18e-29]",
"independent_normalization_samples": [
{
"Delta": -3,
"forms": 1,
"geometric_height": "[-0.74875248550333782791815552017829410794622234715568205012016357563866241556880463339370777646976823331078824677107401640596104454495157553092070599242379 +/- 5.10e-153]",
"accuracy_bits": 505,
"stored_interval_contains_enclosure": true
},
{
"Delta": -4,
"forms": 1,
"geometric_height": "[-0.73816798298680943118056140762819931212796018295015427536567096410239113349687687704266103556331933712956622756688164955948858686770678028747016075745142 +/- 3.28e-153]",
"accuracy_bits": 506,
"stored_interval_contains_enclosure": true
},
{
"Delta": -12,
"forms": 1,
"geometric_height": "[-0.63322795541001360968195016660193134660030565809563950776671690738976347857385551412606388863703178538712133326764556878368012450565855377141526086715128 +/- 4.55e-153]",
"accuracy_bits": 506,
"stored_interval_contains_enclosure": true
},
{
"Delta": -23,
"forms": 3,
"geometric_height": "[-0.63473328569237541213775427009031352129170907621808123543121025464843128411659946706921574977954401239046357170040826050179040336640976413022756409555418 +/- 4.23e-153]",
"accuracy_bits": 505,
"stored_interval_contains_enclosure": true
},
{
"Delta": -28,
"forms": 1,
"geometric_height": "[-0.36667739311477800162032015918161130781302267821256686700805786977360299156079347967862386000300877107315255870742815219232619724981573494179428836471799 +/- 6.89e-153]",
"accuracy_bits": 504,
"stored_interval_contains_enclosure": true
},
{
"Delta": -144,
"forms": 4,
"geometric_height": "[-0.29022811567979568097744206803302374394721250990440309890182737831966915469980095642279126511078164304707335004524951169047520575228461769294879260185083 +/- 6.28e-153]",
"accuracy_bits": 504,
"stored_interval_contains_enclosure": true
},
{
"Delta": -823,
"forms": 9,
"geometric_height": "[0.57349952546070852089494170617877940463018515950808635291638462380846290515812572255539908338007239000808245870169413217061103033498687830779366484076770 +/- 7.60e-153]",
"accuracy_bits": 504,
"stored_interval_contains_enclosure": true
},
{
"Delta": -972,
"forms": 9,
"geometric_height": "[0.2212482691096272614032405732266997570144092202109433991380453521060654161517292378867483651069820614479664671169883267937172121145096283116258072545566 +/- 1.04e-152]",
"accuracy_bits": 502,
"stored_interval_contains_enclosure": true
},
{
"Delta": -1000,
"forms": 10,
"geometric_height": "[0.21777557137516644014793172512200679086722646719495787912983445162136654681605274190321883220675754822275824902926816214210722734839946338850633836648669 +/- 6.32e-153]",
"accuracy_bits": 502,
"stored_interval_contains_enclosure": true
}
],
"square_AGM_control_passed": true,
"perturbation_controls_rejected": true,
"source": "Barquero-Sanchez et al. (2017), Remark 1.4, equation (1.2)",
"fresh_independent_critique_required_after_prose_move": true
}