check-report.json

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

781 bytes, as of the version from 2026-10-29 10:13. Recorded here, not run.

{
  "table": "T5",
  "date": "2026-10-29",
  "prepared_sha256": "56243debf7b2f1beeb5b0d759a1aabfc000fded5b7a70cd6a19c56445f9fea52",
  "entry_count": 1,
  "before_interval": "[2, 2.371177]",
  "after_interval": "[2, 2.25]",
  "exact_upper_endpoint": "9/4",
  "enclosure_strictly_tightened": true,
  "quantity_and_entry_identity_preserved": true,
  "references": 12,
  "all_references_cited_and_citations_resolved": true,
  "primary_source_files_hash_checked": 15,
  "skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
  "scope": "Exact-endpoint and document-integrity checks, plus a primary-source literature review; these checks do not reprove the matrix-multiplication theorem.",
  "lean_rebuilt_locally": false,
  "human_review_requested": true
}