verification.json

{
  "status": "PASS",
  "journal_steps_verified": 50,
  "first_step": 1585,
  "last_step": 1634,
  "last_record_sha256": "ef0a40d43b12db2fff1190a06063dee5a385e5fc42459f270771857c1bb38dd8",
  "group_count": 45,
  "groups": [
    {
      "group": "Frozen evidence source bindings",
      "status": "PASS",
      "models": [
        "source_bindings"
      ]
    },
    {
      "group": "Sequential journal, reassessments, and predecessor hashes",
      "status": "PASS",
      "models": []
    },
    {
      "group": "scope",
      "status": "PASS",
      "models": [
        "scope"
      ]
    },
    {
      "group": "Actual source rows, row rounding, and full1025 suffix",
      "status": "PASS",
      "models": [
        "postflood_rounded_rows"
      ]
    },
    {
      "group": "LXX_910_source",
      "status": "PASS",
      "models": [
        "LXX_910_source"
      ]
    },
    {
      "group": "SP_120_source",
      "status": "PASS",
      "models": [
        "SP_120_source"
      ]
    },
    {
      "group": "source_translation_extent",
      "status": "PASS",
      "models": [
        "source_translation_extent"
      ]
    },
    {
      "group": "lower_spine_map",
      "status": "PASS",
      "models": [
        "lower_spine_map"
      ]
    },
    {
      "group": "lower_decimal_mechanism",
      "status": "PASS",
      "models": [
        "lower_decimal_mechanism"
      ]
    },
    {
      "group": "SP_MT_Shem_condition",
      "status": "PASS",
      "models": [
        "SP_MT_Shem_condition"
      ]
    },
    {
      "group": "translation_cut_domain",
      "status": "PASS",
      "models": [
        "translation_cut_domain"
      ]
    },
    {
      "group": "inverse_prefix_extent",
      "status": "PASS",
      "models": [
        "inverse_prefix_extent"
      ]
    },
    {
      "group": "three_cumulative_restoration",
      "status": "PASS",
      "models": [
        "three_cumulative_restoration"
      ]
    },
    {
      "group": "restoration_compensation",
      "status": "PASS",
      "models": [
        "restoration_compensation"
      ]
    },
    {
      "group": "restoration_grid_edges",
      "status": "PASS",
      "models": [
        "restoration_grid_edges"
      ]
    },
    {
      "group": "LXX_530_target_transport",
      "status": "PASS",
      "models": [
        "LXX_530_target_transport"
      ]
    },
    {
      "group": "MT_7000_packet",
      "status": "PASS",
      "models": [
        "MT_7000_packet"
      ]
    },
    {
      "group": "LXX_7000_packet",
      "status": "PASS",
      "models": [
        "LXX_7000_packet"
      ]
    },
    {
      "group": "LXX_MT_7000_translation",
      "status": "PASS",
      "models": [
        "LXX_MT_7000_translation"
      ]
    },
    {
      "group": "packet_generator",
      "status": "PASS",
      "models": [
        "packet_generator"
      ]
    },
    {
      "group": "packet_interval_dependencies",
      "status": "PASS",
      "models": [
        "packet_interval_dependencies"
      ]
    },
    {
      "group": "packet_head_boundary",
      "status": "PASS",
      "models": [
        "packet_head_boundary"
      ]
    },
    {
      "group": "12600_MT_Flood_cut",
      "status": "PASS",
      "models": [
        "12600_MT_Flood_cut"
      ]
    },
    {
      "group": "three_MSS_12600_path",
      "status": "PASS",
      "models": [
        "three_MSS_12600_path"
      ]
    },
    {
      "group": "12600_coarsenings",
      "status": "PASS",
      "models": [
        "12600_coarsenings"
      ]
    },
    {
      "group": "selected_700_grid",
      "status": "PASS",
      "models": [
        "selected_700_grid"
      ]
    },
    {
      "group": "12600_source_edges",
      "status": "PASS",
      "models": [
        "12600_source_edges"
      ]
    },
    {
      "group": "three_MSS_translated_path",
      "status": "PASS",
      "models": [
        "three_MSS_translated_path"
      ]
    },
    {
      "group": "4836_junction",
      "status": "PASS",
      "models": [
        "4836_junction"
      ]
    },
    {
      "group": "SP_Jubilee_prefix",
      "status": "PASS",
      "models": [
        "SP_Jubilee_prefix"
      ]
    },
    {
      "group": "fixed_Flood_target_table",
      "status": "PASS",
      "models": [
        "fixed_Flood_target_table"
      ]
    },
    {
      "group": "Jubilee_target_dependence",
      "status": "PASS",
      "models": [
        "Jubilee_target_dependence"
      ]
    },
    {
      "group": "Jubilee_partition_dependencies",
      "status": "PASS",
      "models": [
        "Jubilee_partition_dependencies"
      ]
    },
    {
      "group": "LXX_Jubilee_refinement",
      "status": "PASS",
      "models": [
        "LXX_Jubilee_refinement"
      ]
    },
    {
      "group": "Shem_600_restoration_Jubilee_transport",
      "status": "PASS",
      "models": [
        "Shem_600_restoration_Jubilee_transport"
      ]
    },
    {
      "group": "three_4900_placements",
      "status": "PASS",
      "models": [
        "three_4900_placements"
      ]
    },
    {
      "group": "5436_incidence_roles",
      "status": "PASS",
      "models": [
        "5436_incidence_roles"
      ]
    },
    {
      "group": "source_to_comparison_kernel",
      "status": "PASS",
      "models": [
        "source_to_comparison_kernel"
      ]
    },
    {
      "group": "lower_upper_mode_synthesis",
      "status": "PASS",
      "models": [
        "lower_upper_mode_synthesis"
      ]
    },
    {
      "group": "Dependency ledger classification and completeness",
      "status": "PASS",
      "models": [
        "dependency_ledger"
      ]
    },
    {
      "group": "Scope ledger classifications tied to computed witnesses",
      "status": "PASS",
      "models": [
        "scope_ledger"
      ]
    },
    {
      "group": "Reader selection qualitative coverage",
      "status": "PASS",
      "models": [
        "reader_selection"
      ]
    },
    {
      "group": "Covenant_common_refinement",
      "status": "PASS",
      "models": [
        "Covenant_common_refinement"
      ]
    },
    {
      "group": "Source-conditioned fitted row-parameter dictionary",
      "status": "PASS",
      "models": [
        "rounded_source_parameter_bridge"
      ]
    },
    {
      "group": "C1585–C1625 and C1633 journal result-to-model bindings",
      "status": "PASS",
      "models": []
    }
  ],
  "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",
    "rounded_source_parameter_bridge",
    "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."
}