{
  "assertions_checked": 15,
  "checks": {
    "abstract_model_restored": true,
    "causal_at_restoration_claimed_explicit_implementation": true,
    "causal_before_restoration_kept_obligations_open": true,
    "draft_5_calls_source_arguments_informal": true,
    "draft_5_theorem_is_conditional": true,
    "early_claimed_theorem_12_2": true,
    "early_treated_modern_source_as_nonpremise": true,
    "fixed_layout_still_awaited_end_to_end_audit": true,
    "manual_address_premise_visible": true,
    "normalization_gap_identified": true,
    "radius_certificate_withdrawn": true,
    "radius_withdrawal_cites_old_fresh_gap": true,
    "transitional_body_still_retained_theorem_label": true,
    "transitional_opening_qualified_route": true,
    "withdrawal_explicit": true
  },
  "conclusion": {
    "causal_companion_wording_froze_at_restoration_stage": true,
    "direct_current_theorem_is_conditional": true,
    "direct_theorem_withdrawal_was_historical": true,
    "numerical_radius_remains_withdrawn": true,
    "paper_files_modified_by_this_check": false
  },
  "snapshots_checked": 10,
  "status": "pass"
}