{
  "status": "PASS",
  "title": "Machine-Native Reasoning: Reviewed Mathematical Core",
  "formal_selected_results": 27,
  "formal_selected_total": 27,
  "formal_admission_record_sha256": "355e81cb511a9d4a4357f4f4b1ebcf1bbe13e9fc128bd4e0d24e4a7a468c3fbf",
  "formal_frozen_source_sha256": "727af49876690ee83bb18b46895dea01aae296bfeaf83331221870970e59daf0",
  "reader_pdf": "Machine_Native_Reasoning_Reviewed_Core.pdf",
  "reader_pdf_sha256": "f737ebd1eeb6c0aacc31ac35787480b0bba3cb7dbdd81d5cf8b7bb82c6756cbd",
  "pages": 41,
  "bookmarks": 46,
  "links": 54,
  "fonts_embedded": 18,
  "all_fonts_embedded": true,
  "preserved_source_spans": {
    "inline_math": 564,
    "proofs": 27,
    "displays": 54,
    "statements": 39
  },
  "original_figures_unchanged": 6,
  "fresh_original_finite_assertions": 205477,
  "fresh_original_finite_groups": 27,
  "final_rendered_pages": 41,
  "final_pixels_match_visually_reviewed_candidate": true,
  "underfull_table_cell_notices": [
    "Underfull \\hbox (badness 1087) in paragraph at lines 960--960",
    "Underfull \\hbox (badness 2781) in paragraph at lines 996--997"
  ],
  "no_overfull_or_unresolved_reference_or_missing_character_diagnostics": true,
  "whole_expanded_monograph_rebuilt": false,
  "expanded_monograph_status": "Latest 1,155-page source and full PDF unrecovered; see WIDER_MONOGRAPH_STATUS.md",
  "scope_limits": [
    "The reader covers the authenticated selected core, not the entire wider monograph.",
    "Finite regressions do not replace written or formal proofs.",
    "The accepted release uses the same Lean kernel, not a second implementation."
  ]
}