{
  "table": "T631",
  "repair_run": "20261030T210745Z",
  "change": "Layout only in Formulas.weights and Formulas.symmetries; mathematical tokens and prose preserved.",
  "skill_manifest": "/home/ubuntu/numberdb-campaign-20261026-hundred/repo-family-titles-exactness/agents/runs/20261030T210745Z-repair-skills/manifest.json",
  "skill_manifest_sha256": "282cf03ae17d53c55d23b037e43ada5b3089ff8b86619e9f7e19823b30891567",
  "skill_versions": [
    {
      "source": "local",
      "file": "skill-local.md",
      "sha256": "10c1d8bd62d6ddfa2c016375ad82879151f0ab7a9516c2f371432108a85be009",
      "actual_sha256": "10c1d8bd62d6ddfa2c016375ad82879151f0ab7a9516c2f371432108a85be009"
    },
    {
      "source": "live",
      "file": "skill-live.md",
      "sha256": "10c1d8bd62d6ddfa2c016375ad82879151f0ab7a9516c2f371432108a85be009",
      "actual_sha256": "10c1d8bd62d6ddfa2c016375ad82879151f0ab7a9516c2f371432108a85be009"
    }
  ],
  "preservation": {
    "sidecar_sha256_before": "8e2cebdd516060a7076a29bd9959c91a58d4299f37fa35fcbfc54a03f4e5e4fb",
    "document_before_sha256": "6830021526fc355d1e497af407f95b3209daff6e677ccd06e309e3294300b075",
    "selection_before_sha256": "7573ffd2a563f61ea1f6ecad4c4b41419efbda2b11276aeeecb1d4e3db52cc1d",
    "selection_after_sha256": "4f70d5a74871ddc63d505be7b59e6cc87bec488136009973501c9479db206b1f",
    "fresh_independent_critique_required": true,
    "numbers_unchanged": true,
    "parameter_declarations_and_order_unchanged": true,
    "changed_fields": [
      "Formulas.weights",
      "Formulas.symmetries"
    ]
  },
  "reviewed_source_files_unchanged": {
    "generate.py": "fb65d748f6ec248cc8e8551ea7a9fdb6e8b5aa3a7df8fe69d533e4fe56e4062a",
    "argument-selection.md": "ab921fca645864f48a8666fa76cf82bd93dee4a5361b851617bcc4b64f49893c",
    "continuation.md": "f6963983c78a8e188d3443742af555b0c8f2cc326ce9247851bd11a9840d7321"
  },
  "numerical_checks": {
    "table": "T631",
    "purpose": "Verify preserved formulas for a layout-only repair; no new values",
    "skill_manifest": "agents/runs/20261030T210745Z-repair-skills/manifest.json",
    "skill_sha256_local": "10c1d8bd62d6ddfa2c016375ad82879151f0ab7a9516c2f371432108a85be009",
    "skill_sha256_live": "10c1d8bd62d6ddfa2c016375ad82879151f0ab7a9516c2f371432108a85be009",
    "generator_sha256": "fb65d748f6ec248cc8e8551ea7a9fdb6e8b5aa3a7df8fe69d533e4fe56e4062a",
    "sage": "10.9",
    "python": "3.12.3",
    "ordered_enumeration_matches": 664,
    "direct_weight_multiplicities_checked": 10470,
    "symmetry_equalities_checked": 7968,
    "closed_form_logarithm_controls": 2,
    "stored_decimal_enclosures_checked": 4,
    "ten_ulp_perturbations_rejected": 4,
    "minimum_relative_accuracy_bits": 496,
    "scope": "Finite exact multiplicity checks and two projective-space controls corroborate preserved formulas; this is not a fresh independent argument-selection critique or a full numerical recomputation."
  },
  "live_layout": {
    "playwright": "1.64.1",
    "chromium": "156.0.8078.4",
    "mode": "after"
  },
  "viewports": [
    {
      "viewport": 1440,
      "client": 648,
      "scroll": 648,
      "math_errors": 0,
      "math_count": 736,
      "page_errors": []
    },
    {
      "viewport": 1920,
      "client": 696,
      "scroll": 696,
      "math_errors": 0,
      "math_count": 736,
      "page_errors": []
    },
    {
      "viewport": 390,
      "client": 359,
      "scroll": 359,
      "math_errors": 0,
      "math_count": 736,
      "page_errors": []
    }
  ],
  "audit": {
    "tid": "T631",
    "title": "Coexact one-form Laplacian determinants on lens spaces",
    "findings": [
      "parameter convention takes 2 names (det, logdet), 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_disposition": "Existing convention warning retained: the definition explicitly identifies a positive determinant and its invertible real natural logarithm. No new finding.",
  "independent_review": "A fresh independent critique is required: Formulas is included in the selection fingerprint. The prior sidecar is untouched and is not reused as approval.",
  "commands": [
    "agents/sage.sh \"$TMPDIR/reflow-check.py\" \"$TMPDIR/generate.py\" \"$TMPDIR/document-before.json\"",
    "PYTHONPATH=\"$NUMBERDB_BROWSER_PYTHONPATH\" LD_LIBRARY_PATH=\"$NUMBERDB_BROWSER_LIBRARY_PATH${LD_LIBRARY_PATH:+:$LD_LIBRARY_PATH}\" python3 \"$TMPDIR/render_t631.py\" after"
  ],
  "artifact_sha256": {
    "document-before.json": "6830021526fc355d1e497af407f95b3209daff6e677ccd06e309e3294300b075",
    "document-after.json": "b37ac565183fecbc5a760dc0d98d16a1899c6e6bb66e509ce78aae7710594e3a",
    "reflow-check.py": "f3e05887a6633182fe1f2d24d70652efd98f3452854d041a6cca6462aef5bd4c",
    "reflow-check-output.json": "49444a74ad084753571470d7e8d8dedaa451791010c964c21d5e549ad9b0714f",
    "formulas.diff": "ca11eef6ddb2c545a0d9ebf864062782fc5851c6e743d55f655c5136a30af9d7",
    "layout-before.json": "889afda68b95c4d0e3c1fefd28c8b2be268668ffc77749d86fbe9926d7623bdd",
    "layout-after.json": "78a602b8f23d59a4a4db34805e012666f1a31e55f7bc8b005167d5839f656d0c"
  }
}