repair-20261030T122207Z.json

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

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

{
  "table": "T625",
  "run": "20261030T122207Z",
  "finding": 1,
  "disposition": "done",
  "change": "Removed only Data properties.digits, whose unrecognized name rendered as digits: 100 (Unknown key).",
  "skill_evidence": {
    "manifest": "agents/runs/20261030T122207Z-repair-skills/manifest.json",
    "manifest_sha256": "f3ffe644f05a2d8ba38978976adde3737ab5de3d1ebeb214066f311233b3080e",
    "versions": [
      {
        "source": "local",
        "file": "skill-local.md",
        "sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
      },
      {
        "source": "live",
        "file": "skill-live.md",
        "sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
      }
    ],
    "canonical_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
  },
  "write_result": {
    "tid": "T625",
    "url": "Volumes_of_real_and_complex_Grassmann_manifolds",
    "revision": "ed62e8f8160022de702a2777352a870c3affa51a8fbede60ab86e49d20f3ae2f",
    "unchanged": false,
    "merged": false,
    "reviewed": false
  },
  "entries": 128,
  "numbers_sha256_before": "64d4e92b4f3cd1ae4aac29d4421fe32c96e9e90b2208bd0b3dc8f0bfc511139a",
  "numbers_sha256_after": "64d4e92b4f3cd1ae4aac29d4421fe32c96e9e90b2208bd0b3dc8f0bfc511139a",
  "values_recomputed": false,
  "numerical_scope": "No new values or mathematical claims. Confirmed exact equality of all stored values, identities, labels, order, and precision; retained the existing attached generator and numerical checks. No Sage computation was needed for this metadata-only repair.",
  "selection_sha256_before": "d771a206243e514694d3baaea3640aee21734cd9f599b12809b2f379650b9776",
  "selection_sha256_after": "d771a206243e514694d3baaea3640aee21734cd9f599b12809b2f379650b9776",
  "generator_sha256_before": "9d9d8bbaa8397dfd322d84b6c85768aefccd57991876d99a6483e6cd60e2658a",
  "generator_sha256_after": "9d9d8bbaa8397dfd322d84b6c85768aefccd57991876d99a6483e6cd60e2658a",
  "independent_sidecar_untouched": true,
  "independent_sidecar_sha256": "ed6e0f838bf552f2cc11c209323234e3d452d0a857108291f0698d014a683c08",
  "independent_verdict_reassessed_or_accepted": false,
  "fresh_independent_critique_required_by_this_change": false,
  "browser_before": {
    "stage": "before",
    "source": "live fetched HTML rendered at original URL with live assets",
    "unknown_key": true,
    "digits_diagnostic": true,
    "precision_claim": true,
    "javascript_errors": [],
    "math_errors": 0,
    "playwright_version": "1.64.1",
    "browser_version": "156.0.8078.4"
  },
  "browser_after": {
    "stage": "after",
    "source": "live fetched HTML rendered at original URL with live assets",
    "unknown_key": false,
    "digits_diagnostic": false,
    "precision_claim": true,
    "javascript_errors": [],
    "math_errors": 0,
    "playwright_version": "1.64.1",
    "browser_version": "156.0.8078.4"
  },
  "audit_after": {
    "tid": "T625",
    "title": "Volumes of real and complex Grassmann manifolds",
    "findings": [
      "parameter field takes 2 names (complex, real), each carrying entries of its own, so this reads as 2 tables sharing one title and one value column. If those are 2 named quantities, make 2 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_new_findings": [],
  "audit_disposition": "Retained the existing field warning: field identifies which real or complex subspace manifold has its Riemannian volume measured. It does not select a second quantity. The definition and common G_F(n,k) header already express this distinction.",
  "offered": false,
  "published": false,
  "human_review_performed": false
}