back to table · edit · history · where entries came from · files · download
5396 bytes, as of the version from 2026-10-30 22:25 (current). Recorded here, not run.
{
"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"
}
}