repair-evidence.json

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

5001 bytes, as of the version from 2026-11-02 04:21 (current). Recorded here, not run.

{
  "table": "T668",
  "stage": "repair",
  "run": "20261102T041628Z",
  "skill_manifest": "agents/runs/20261102T041628Z-repair-skills/manifest.json",
  "skill_sha256": {
    "skill-local.md": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
    "skill-live.md": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
  },
  "finding": 1,
  "change": {
    "section": "Comments.comment-extremal",
    "before": "These six cases are precisely the nonzero extremal weight-zero Jacobi cases with $m_X-1$ dividing $12$ CITE{CDH12}, Theorem 2.2. The other $17$ Niemeier root systems require additional constructions. Twined traces, with a nonidentity acting class, are not included. The integer keys such as A1^24 name the root system $A_1^{24}$; the exponent denotes the number of copies.",
    "after": "These six cases are precisely the nonzero extremal weight-zero Jacobi cases with $m_X-1$ dividing $12$ CITE{CDH12}, Theorem 2.2. The other $17$ Niemeier root systems require additional constructions. Twined traces, with a nonidentity acting class, are not included. The labels such as A1^24 name the root system $A_1^{24}$; the exponent denotes the number of copies."
  },
  "api_write": {
    "tid": "T668",
    "url": "Mathieu_and_umbral_moonshine_coefficients",
    "revision": "dd83e1cb655428bc7a26ec40bdcbec0a5924e5b24282a2b5d42b46d1d126cf2d",
    "unchanged": false,
    "merged": false,
    "reviewed": false
  },
  "audit": {
    "tid": "T668",
    "title": "Mathieu and umbral moonshine coefficients",
    "findings": [],
    "clean": true
  },
  "browser": {
    "status": 200,
    "url": "https://numberdb.org/T668",
    "comment": "These six cases are precisely the nonzero extremal weight-zero Jacobi cases with \n𝑚\n𝑋\n−\n1\n dividing \n12\n [1], Theorem 2.2. The other \n17\n Niemeier root systems require additional constructions. Twined traces, with a nonidentity acting class, are not included. The labels such as A1^24 name the root system \n𝐴\n1\n24\n; the exponent denotes the number of copies.",
    "math_errors": 0,
    "page_errors": [],
    "browser_version": "156.0.8078.4"
  },
  "numerical_checks": {
    "table": "T668",
    "sage_version": "10.9",
    "skill_manifest": "agents/runs/20261102T041628Z-repair-skills/manifest.json",
    "symbolic_labels": [
      "A1^24",
      "A2^12",
      "A3^8",
      "A4^6",
      "A6^4",
      "A12^2"
    ],
    "parameter_type": "Symbolic",
    "enumeration_matches": true,
    "exact_generator_comparisons": 840,
    "zero_count": 6,
    "max_integer_characters": 10,
    "method": "Recomputed all stored integers with the unchanged attached generator; this is a reproducibility check, not a new independent mathematical critique.",
    "new_values": 0,
    "argument_uncertainty": "Not applicable: all arguments are exact discrete indices."
  },
  "sage_command": "agents/sage.sh \"$TMPDIR/check-repair.py\" \"$TMPDIR/generate.py\" \"$TMPDIR/document-before.json\" > \"$TMPDIR/check-repair.log\" 2>&1",
  "only_wording_changed": true,
  "values_and_order_unchanged": true,
  "before_selection_sha256": "9f5c0e0396f1e3f50a5d1778edcf9c308937d977cdd0497aafdaed8019167fe7",
  "after_selection_sha256": "ff1452520db7c503bceeda337d83cf0969e662f6a5cba6aa9067865d33d0b7b6",
  "reviewed_generator_attachments_unchanged": {
    "generate.py": "802c58d985cecf35c73cd9889bdef4cdefe7a288c6f2e6318a5c7206564fc29f",
    "argument-selection.md": "10b12cd4099538c785ad939fdb7410f106d1fe15d31bf92e09336b562b612326"
  },
  "independent_sidecar_unchanged_sha256": "3e4b371ac1624d0c8613f5d22c0310b5afdd47e798f2f97397aad8b88917985f",
  "fresh_independent_critique_required": true,
  "reason": "The selection fingerprint binds the entire Comments section, although no arguments, mathematical definitions, enumeration or generator sources changed.",
  "draft_remains_private": true,
  "offered": false,
  "published": false,
  "reviewed": false,
  "initial_attempt": "Stopped locally before any write because the browser editor did not expose the optional base revision. The authenticated API edit then followed an immediate full-document reread.",
  "artifact_sha256": {
    "document-before.json": "c906094541f2558738066cd5e443eb8de93304e7e7fdba004f344bf625e1ed72",
    "document-after.json": "083e40a19038ed7cebe2d9e15ceaccc8a07a8440134fdb8f731b303e59410b71",
    "check-repair.py": "2ebe7a1d23fa46bf434856b09b5b47d71bc88695c85c1046a746959d0e4b3e46",
    "check-repair.log": "9f88eb2a660e7c33ed3e4a6cacef6ff4dba79ff17712ac55ecb95e76d1243e70",
    "generate.py": "802c58d985cecf35c73cd9889bdef4cdefe7a288c6f2e6318a5c7206564fc29f",
    "argument-selection.md": "10b12cd4099538c785ad939fdb7410f106d1fe15d31bf92e09336b562b612326",
    "change.txt": "179bef5cf319f0941beb92124c8078490455815d9296d217b50ffe18bfa4a72f",
    "comment-before.png": "8a210f12b217570a051150a3c6e7a7fefa11c5c59faba4c29a05faf877f5ed41",
    "comment-after.png": "7d3d5eeb30028712eff53c7e0e87b16972804b2657a2d972ce34119ec52ea098"
  }
}