numerical-evidence.json

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

2275 bytes, as of the version from 2026-10-27 19:33. Recorded here, not run.

{
  "status": "blocked",
  "table": "T558",
  "stored_entries": 0,
  "computed_entries": 6,
  "indices": [
    0,
    1,
    2,
    3,
    4,
    5
  ],
  "blocking_error": "NumberDB rejects mu in polynomial input: trailing input at 'u'",
  "skill_manifest": "agents/runs/20261027T192330Z-build-skills/manifest.json",
  "skill_sha256": {
    "local": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
    "live": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
  },
  "numerical_checks": {
    "entries_checked": 6,
    "indices": [
      0,
      1,
      2,
      3,
      4,
      5
    ],
    "independent_wronskians": 6,
    "published_explicit_polynomials": 5,
    "recurrence_degree_monicity_integrality": true,
    "mu_zero_and_reverse_bessel_specializations": true,
    "painleve_III_and_log_derivative_identities": true,
    "known_and_perturbed_controls": true,
    "measure": {
      "entries": 6,
      "longest": 959,
      "longest_at": 5,
      "block_kb": 1.7587890625
    }
  },
  "dry_run_exit": 0,
  "fill_exit": 1,
  "verify_performed": false,
  "readback_independent_checks_performed": false,
  "audit": {
    "tid": "T558",
    "title": "Umemura polynomials for Painlevé III",
    "findings": [],
    "clean": true
  },
  "precision": "Exact integer polynomial coefficients; no decimal precision or error claim",
  "versions": {
    "sage_version": "10.9",
    "numberdb_version": "0.1.10"
  },
  "files_sha256": {
    "generate.py": "1fbc5f06efa52679555466f141e721b90848124ab8e4bff87718f53aab520988",
    "checks.py": "2a8a216419c01de7ecddf359e7aee237b109242321d31d56bf99cd6f0cf83caf",
    "check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
    "argument-selection.md": "b26f83196af4369aa57f8205ef5cff85b8719aa47041b6d16cd1b7d3d659908c",
    "program.py": "b4784d3d92ed1f3fdecf7e2fcace7ce27bd5a34ecdc8485ac277431a5c6c51fe",
    "values.json": "624ba2942a3e5245a24393063d33dbef9b0ec01e6fe13a4e0d56a881379e7bda",
    "sigma23-080.pdf": "de61e2fa2ff554fe9559ac07e2c163546c07cdb0015225fadb47b5a9984af6ed",
    "format-probe.json": "cee16db067d6d7e5b8c43f775ed70b0297e7b0bf1ac4e9cabfec81e09ad2768d",
    "fill.log": "f2b57dc6b7eef0b25fe942d0dfc0f3f9f5cf4fde56c917378523c3674b27f2e5"
  }
}