numerical-evidence.json

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

2916 bytes, as of the version from 2026-10-27 09:44 (current). Recorded here, not run.

{
  "table": "T543",
  "run": "20261027T091201Z-build",
  "stage": "build",
  "skill_manifest": "agents/runs/20261027T091201Z-build-skills/manifest.json",
  "skill_versions": [
    {
      "source": "local",
      "file": "skill-local.md",
      "sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
    },
    {
      "source": "live",
      "file": "skill-live.md",
      "sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
    }
  ],
  "method": "Exact rational polynomial arithmetic; no decimal approximation or error interval.",
  "computed_checks": {
    "control_n1_n2": true,
    "all_pass": true,
    "rows": [
      {
        "n": 1,
        "degree_h": 3,
        "terms": 8,
        "characters": 51,
        "maier_equal": true,
        "identities_pass": true
      },
      {
        "n": 2,
        "degree_h": 5,
        "terms": 19,
        "characters": 192,
        "maier_equal": true,
        "identities_pass": true
      },
      {
        "n": 3,
        "degree_h": 7,
        "terms": 34,
        "characters": 438,
        "maier_equal": true,
        "identities_pass": true
      },
      {
        "n": 4,
        "degree_h": 9,
        "terms": 53,
        "characters": 843,
        "maier_equal": true,
        "identities_pass": true
      }
    ]
  },
  "stored_checks": {
    "control_n1_n2": true,
    "all_pass": true,
    "rows": [
      {
        "n": 1,
        "degree_h": 3,
        "terms": 8,
        "characters": 51,
        "maier_equal": true,
        "identities_pass": true
      },
      {
        "n": 2,
        "degree_h": 5,
        "terms": 19,
        "characters": 192,
        "maier_equal": true,
        "identities_pass": true
      },
      {
        "n": 3,
        "degree_h": 7,
        "terms": 34,
        "characters": 438,
        "maier_equal": true,
        "identities_pass": true
      },
      {
        "n": 4,
        "degree_h": 9,
        "terms": 53,
        "characters": 843,
        "maier_equal": true,
        "identities_pass": true
      }
    ]
  },
  "generator_verify_all": true,
  "measure": {
    "entries": 4,
    "longest": 843,
    "longest_at": "4",
    "block_kb": 1.6875
  },
  "versions": {
    "sage": "10.9",
    "python": "3.12.3",
    "numberdb": "0.1.10"
  },
  "source_checks": "Maier Table 3 transformed by equations (8),(9),(53), Definition 7.1; controls at orders 1 and 2; independently known free-particle limit; all displayed identities checked symbolically.",
  "independent_critique": "Pending separate controller stage; this build supplies no acceptance.",
  "generator_files": {
    "generate.py": "a0921f2844e93270dc5c73ce209776201ab1c4def8cca91b70bd13b54ff61407",
    "checks.py": "fd70a7ab1a6202cc53ca629ce2ed77674105189125b506d935f75dc1ee97dc1f",
    "argument-selection.md": "683871b41d24cddab26eec0145d9177bc19508f2efe4692e280205a2770cba0b"
  }
}