JSON
{
  "scope": "strict finite IO_ terminal migration",
  "status": "ABORT",
  "abort_reasons": ["The baseline uniqueness gate could not be established as a machine-countable set from the paged responses; mutations were therefore prohibited."],
  "read_parameters": {"mode":"full","includeComponents":true,"includeNets":false,"includeProperties":true,"filter_prefix":"IO_","limit":20,"offsets":[0,20,40,60,80,100,120,140,160,180,200,220,240,260]},
  "ledger_fields": ["offset","total","showing/count"],
  "initial_page_ledger": [[0,280,20],[20,280,20],[40,280,20],[60,280,20],[80,280,20],[100,280,20],[120,280,20],[140,280,20],[160,280,20],[180,280,20],[200,280,20],[220,280,20],[240,280,20],[260,280,20]],
  "intermediate_page_ledger": [[0,280,20],[20,280,20],[40,280,20],[60,280,20],[80,280,20],[100,280,20],[120,280,20],[140,280,20],[160,280,20],[180,280,20],[200,280,20],[220,280,20],[240,280,20],[260,280,20]],
  "final_page_ledger": [[0,280,20],[20,280,20],[40,280,20],[60,280,20],[80,280,20],[100,280,20],[120,280,20],[140,280,20],[160,280,20],[180,280,20],[200,280,20],[220,280,20],[240,280,20],[260,280,20]],
  "uniqueness": {"initial_unique_count":null,"intermediate_unique_count":null,"final_unique_count":null,"certified":false},
  "sentinel": {"count":1,"list":["IO_1"]},
  "target_count": {"expected":279,"certified":null},
  "sorted_target_partitions": [],
  "initial_mismatches": {"component_count":null,"per_property":{"Functional Group":null,"Pin Group":null,"Section":null,"Pin Orientation":null,"Terminal Order":null},"list":[]},
  "initial_mutation_batch_ledger": [],
  "intermediate_mismatches": {"component_count":null,"per_property":{"Functional Group":null,"Pin Group":null,"Section":null,"Pin Orientation":null,"Terminal Order":null},"list":[]},
  "corrective_batch_ledger": {"batch_count":0,"batches":[]},
  "final_mismatches": {"component_count":null,"per_property":{"Functional Group":null,"Pin Group":null,"Section":null,"Pin Orientation":null,"Terminal Order":null},"list":[]},
  "io_1_unchanged_proof": {"before":{"Pin Number":"A9","Functional Group":"User I/O","Pin Group":"User I/O","Section":"User I/O","Pin Orientation":"Left","Terminal Order":1},"final":{"Pin Number":"A9","Functional Group":"User I/O","Pin Group":"User I/O","Section":"User I/O","Pin Orientation":"Left","Terminal Order":1},"unchanged":true},
  "mutation_restrictions_compliance": {"property_mutation_calls":0,"mutated_designators":[],"io_1_mutated":false,"non_io_target_mutated":false,"non_requested_properties_modified":false,"assets_modified":false,"project_metadata_modified":false},
  "result": {"initial_page_gates_passed":true,"initial_uniqueness_gate_passed":false,"final_page_gates_passed":true,"final_zero_mismatches_proven":false,"pass":false}
}