repair-evidence.json

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

2661 bytes, as of the version from 2026-10-25 14:25 (current). Recorded here, not run.

{
  "tid": "T489",
  "run": "20261025T141846Z-repair",
  "changes": [
    "Wrap the unchanged program in a language/code record.",
    "Rename the geometry comment label to rectangle-geometry; preserve the rectangle formula label and beam citation.",
    "Use relative precision for the existing 100-significant-digit claim."
  ],
  "numerical_checks": {
    "generator_verify": "80/80 matched, no differing, missing or extra entries",
    "independent_stored_interval_checks": 80,
    "square_parameters_matched_to_T486": 18,
    "minimum_relative_enclosure_digits": 118.28,
    "approximate_entries_at_100_significant_digits": 56,
    "exact_entries": 24,
    "program_output": "exactly matches unit-square n=2 and n=3"
  },
  "rendering_checks": "All three original defects reproduced using live /preview, and the proposed replacements rendered without parser or MathJax errors. A combined preview of the saved changed sections also passed.",
  "access_limit": "Anonymous https://numberdb.org/T489 returns 404 because the table is private. Rendering checks use live preview of API-fetched fields; they do not establish access to the full authenticated table page.",
  "audit": {
    "tid": "T489",
    "title": "Steklov eigenvalues of the classical planar domains",
    "findings": [
      "parameter domain takes 4 names (annulus-1-2, rectangle-1x2, unit-disk, unit-square), each carrying entries of its own, so this reads as 4 tables sharing one title and one value column. If those are 4 named quantities, make 4 tables and relate them in Similar tables; if they are one object in several parts, or one number in several conventions, say so in the definition and leave them together"
    ],
    "clean": false
  },
  "audit_decision": "Keep one table: domain names what the Steklov eigenvalue is taken of, and all rows give sigma_n(Omega) under the same boundary condition and density. This is the skill's permitted object argument case.",
  "values_and_parameter_order_unchanged": true,
  "versions": {
    "python": "3.12.3 (main, Mar 23 2026, 19:04:32) [GCC 13.3.0]",
    "sage": "10.9",
    "numberdb": "0.1.10",
    "mpmath": "1.4.1"
  },
  "browser": {
    "playwright": "1.64.1"
  },
  "sha256": {
    "generate.py": "384bac49b4b777a6fb1f6e9e74566b7367df1a25782b2e2fc1d2633adb25ba0d",
    "checks.py": "ebcbad7d9a5521fcf9efebaa80a8bf05eba11cc235be0fb79cbb2008003e3339",
    "repair-checks.py": "d1abf677c58dab5d2972ce86607a2bbf3730d5af33d90d817c4588c4e0f42771",
    "sage-checks-fixed.txt": "55b4378657aa85bc3e1d2a83f61eca2cfbaf46f6c3385ff66b1de138ef030e7b"
  },
  "status": "Unpublished draft; no publication, review or offer action performed."
}