repair-checks.json

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

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

{
  "tid": "T478",
  "entries": 99,
  "all_numbers_and_parameters_unchanged": true,
  "source_paragraph_preserved_in_rigour_details": true,
  "proof_status_leads_comments": true,
  "full_document_matches_repair": true
}