repair-results-20261102.json

back to table · edit · history · where entries came from · files · download

1040 bytes, as of the version from 2026-11-02 14:37 (current). Recorded here, not run.

{
  "table": "T679",
  "checked_companion_entry": [
    "2.2.4",
    "1/2",
    "3"
  ],
  "sage_version": "10.9",
  "skill_manifest": "agents/runs/20261102T143152Z-repair-skills/manifest.json",
  "skill_sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
  "local_factor": "729*T^4 + 54*T^3 - 18*T^2 + 2*T + 1",
  "eigenvalue_polynomial": "T^4 + 2*T^3 - 18*T^2 + 54*T + 729",
  "control_root_valuations": [
    "0",
    "1",
    "2",
    "3"
  ],
  "coefficient_valuations": [
    [
      0,
      0
    ],
    [
      1,
      0
    ],
    [
      2,
      2
    ],
    [
      3,
      3
    ],
    [
      4,
      6
    ]
  ],
  "lower_hull": [
    [
      0,
      0
    ],
    [
      1,
      0
    ],
    [
      3,
      3
    ],
    [
      4,
      6
    ]
  ],
  "eigenvalue_valuations": [
    "0",
    "3/2",
    "3/2",
    "3"
  ],
  "unit_residue_checked_modulo": "3^210",
  "simple_unit_root": true,
  "conclusion": "A unique unit eigenvalue exists, but the full Newton polygon is not ordinary."
}