back to table · edit · history · where entries came from · files · download
4407 bytes, as of the version from 2026-10-29 11:13 (current). Recorded here, not run.
{
"table": "T607",
"skill_manifest": "agents/runs/20261029T110934Z-repair-skills/manifest.json",
"skill_sha256": {
"local": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
"live": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
},
"generator_sha256": "0a71445840c0c6e79a801a32de8d082bf30b193e554904c7e8bf1029a45be2d5",
"versions": {
"sage": "10.9",
"python": "3.12.3",
"numberdb": "0.1.10"
},
"stored_values": [
{
"params": {
"algebra": "A1",
"m": "1"
},
"accuracy_bits": 425,
"stored_interval_contains_ball": true
},
{
"params": {
"algebra": "A1",
"m": "2"
},
"accuracy_bits": 426,
"stored_interval_contains_ball": true
},
{
"params": {
"algebra": "A1",
"m": "3"
},
"accuracy_bits": 425,
"stored_interval_contains_ball": true
},
{
"params": {
"algebra": "A1",
"m": "4"
},
"accuracy_bits": 425,
"stored_interval_contains_ball": true
},
{
"params": {
"algebra": "A2",
"m": "1"
},
"accuracy_bits": 425,
"stored_interval_contains_ball": true
},
{
"params": {
"algebra": "A2",
"m": "2"
},
"accuracy_bits": 425,
"stored_interval_contains_ball": true
},
{
"params": {
"algebra": "A2",
"m": "3"
},
"accuracy_bits": 425,
"stored_interval_contains_ball": true
},
{
"params": {
"algebra": "A2",
"m": "4"
},
"accuracy_bits": 424,
"stored_interval_contains_ball": true
},
{
"params": {
"algebra": "B2",
"m": "1"
},
"accuracy_bits": 425,
"stored_interval_contains_ball": true
},
{
"params": {
"algebra": "B2",
"m": "2"
},
"accuracy_bits": 425,
"stored_interval_contains_ball": true
},
{
"params": {
"algebra": "B2",
"m": "3"
},
"accuracy_bits": 424,
"stored_interval_contains_ball": true
},
{
"params": {
"algebra": "B2",
"m": "4"
},
"accuracy_bits": 424,
"stored_interval_contains_ball": true
},
{
"params": {
"algebra": "G2",
"m": "1"
},
"accuracy_bits": 425,
"stored_interval_contains_ball": true
},
{
"params": {
"algebra": "G2",
"m": "2"
},
"accuracy_bits": 424,
"stored_interval_contains_ball": true
},
{
"params": {
"algebra": "G2",
"m": "3"
},
"accuracy_bits": 424,
"stored_interval_contains_ball": true
},
{
"params": {
"algebra": "G2",
"m": "4"
},
"accuracy_bits": 423,
"stored_interval_contains_ball": true
}
],
"enumeration_unchanged": true,
"example": {
"params": {
"algebra": "G2",
"m": "5"
},
"printed_output": "[1.0000000035435951940209256271842819550872387780836891785048723604622636628865986558169833277646069059714992118874393813926221976 +/- 6.59e-128]",
"accuracy_bits": 423,
"higher_precision_accuracy_bits": 655,
"higher_precision_overlaps": true,
"direct_sum_bound": "[2.425073896049874190267308167502906949150663465324479812677129055514796353934730553719054616540333677614959472152913586909103772536476533969706965624503339542636401311232414917792437189160975459521703198262375507e-58 +/- 7.56e-269]",
"direct_sum_encloses_example": true,
"negative_control_rejected": true,
"argument_uncertainty": "Integer m=5 and symbolic G2 are exact; rational coefficients and pi are enclosed by Arb.",
"limitation": "The independent direct sum confirms normalization within its stated bound; the 100-digit ball uses the original generator, with higher-precision consistency checking."
},
"new_stored_values": 0,
"scope": "Presentation repair only. Existing numerical evidence and generator retained; no values, parameter declarations, enumeration, completeness, or rigour claims changed.",
"fresh_independent_critique_required": true,
"reason": "Comments and Programs are within the campaign selection-fingerprint boundary. The existing independent sidecar must be retained without edits."
}