{
  "status": "PASS",
  "journal_steps_verified": 47,
  "first_step": 1585,
  "last_step": 1631,
  "last_record_sha256": "69e1b99ef4a0317f07bd7f2eed89a085168d9bce984b9c240f0c978433621fc9",
  "group_count": 44,
  "covered_models": [
    "12600_MT_Flood_cut",
    "12600_coarsenings",
    "12600_source_edges",
    "4836_junction",
    "5436_incidence_roles",
    "Covenant_common_refinement",
    "Jubilee_partition_dependencies",
    "Jubilee_target_dependence",
    "LXX_530_target_transport",
    "LXX_7000_packet",
    "LXX_910_source",
    "LXX_Jubilee_refinement",
    "LXX_MT_7000_translation",
    "MT_7000_packet",
    "SP_120_source",
    "SP_Jubilee_prefix",
    "SP_MT_Shem_condition",
    "Shem_600_restoration_Jubilee_transport",
    "dependency_ledger",
    "fixed_Flood_target_table",
    "inverse_prefix_extent",
    "lower_decimal_mechanism",
    "lower_spine_map",
    "lower_upper_mode_synthesis",
    "packet_generator",
    "packet_head_boundary",
    "packet_interval_dependencies",
    "postflood_rounded_rows",
    "reader_selection",
    "restoration_compensation",
    "restoration_grid_edges",
    "scope",
    "scope_ledger",
    "selected_700_grid",
    "source_bindings",
    "source_to_comparison_kernel",
    "source_translation_extent",
    "three_4900_placements",
    "three_MSS_12600_path",
    "three_MSS_translated_path",
    "three_cumulative_restoration",
    "translation_cut_domain"
  ],
  "qualitative_models": [
    "dependency_ledger",
    "reader_selection",
    "scope_ledger"
  ],
  "uncovered_models": [],
  "count_note": "Groups are computational or integrity checks, not independent historical witnesses."
}