{
  "passed": true,
  "by": "Codex",
  "type": "self-review",
  "date": "2026-10-13",
  "count": 798,
  "checks": [
    {
      "name": "lacross_commute",
      "passed": true
    },
    {
      "name": "lacross_dimension",
      "passed": true
    },
    {
      "name": "lacross_X_low_weight_enumerated",
      "passed": true
    },
    {
      "name": "lacross_X_weight3_witness",
      "passed": true
    },
    {
      "name": "lacross_Z_low_weight_enumerated",
      "passed": true
    },
    {
      "name": "lacross_Z_weight3_witness",
      "passed": true
    },
    {
      "name": "surface4_commute",
      "passed": true
    },
    {
      "name": "surface4_dimension",
      "passed": true
    },
    {
      "name": "surface4_X_nonlogical_(0, 1)",
      "passed": true
    },
    {
      "name": "surface4_X_nonlogical_(7, 8)",
      "passed": true
    },
    {
      "name": "surface4_X_nonlogical_(9, 10)",
      "passed": true
    },
    {
      "name": "surface4_X_nonlogical_(16, 17)",
      "passed": true
    },
    {
      "name": "surface4_X_nonlogical_(18, 19)",
      "passed": true
    },
    {
      "name": "surface4_X_nonlogical_(25, 26)",
      "passed": true
    },
    {
      "name": "surface4_X_nonlogical_(27, 28)",
      "passed": true
    },
    {
      "name": "surface4_X_nonlogical_(34, 35)",
      "passed": true
    },
    {
      "name": "surface4_X_low_weight_enumerated",
      "passed": true
    },
    {
      "name": "surface4_X_weight3_witness",
      "passed": true
    },
    {
      "name": "surface4_Z_nonlogical_(2, 5)",
      "passed": true
    },
    {
      "name": "surface4_Z_nonlogical_(3, 6)",
      "passed": true
    },
    {
      "name": "surface4_Z_nonlogical_(11, 14)",
      "passed": true
    },
    {
      "name": "surface4_Z_nonlogical_(12, 15)",
      "passed": true
    },
    {
      "name": "surface4_Z_nonlogical_(20, 23)",
      "passed": true
    },
    {
      "name": "surface4_Z_nonlogical_(21, 24)",
      "passed": true
    },
    {
      "name": "surface4_Z_nonlogical_(29, 32)",
      "passed": true
    },
    {
      "name": "surface4_Z_nonlogical_(30, 33)",
      "passed": true
    },
    {
      "name": "surface4_Z_low_weight_enumerated",
      "passed": true
    },
    {
      "name": "surface4_Z_weight3_witness",
      "passed": true
    },
    {
      "name": "lacross_native_gate_count",
      "passed": true
    },
    {
      "name": "lacross_native_idle_count",
      "passed": true
    },
    {
      "name": "lacross_native_common_deadline",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_X0",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_X1",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_X2",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_X3",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_X4",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_X5",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_X6",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_X7",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_X8",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_X9",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_X10",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_X11",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_X12",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_X13",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_X14",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_Z0",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_Z1",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_Z2",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_Z3",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_Z4",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_Z5",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_Z6",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_Z7",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_Z8",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_Z9",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_Z10",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_Z11",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_Z12",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_Z13",
      "passed": true
    },
    {
      "name": "lacross_native_actual_measurement_Z14",
      "passed": true
    },
    {
      "name": "lacross_native_fault_mass",
      "passed": true
    },
    {
      "name": "lacross_native_channel_trace_beta0.0",
      "passed": true
    },
    {
      "name": "lacross_native_all_residual_classes_logical_beta0.0",
      "passed": true
    },
    {
      "name": "lacross_native_record_information_beta0.0",
      "passed": true
    },
    {
      "name": "lacross_native_channel_trace_beta0.01",
      "passed": true
    },
    {
      "name": "lacross_native_all_residual_classes_logical_beta0.01",
      "passed": true
    },
    {
      "name": "lacross_native_record_information_beta0.01",
      "passed": true
    },
    {
      "name": "lacross_native_channel_trace_beta0.1",
      "passed": true
    },
    {
      "name": "lacross_native_all_residual_classes_logical_beta0.1",
      "passed": true
    },
    {
      "name": "lacross_native_record_information_beta0.1",
      "passed": true
    },
    {
      "name": "lacross_routed_gate_count",
      "passed": true
    },
    {
      "name": "lacross_routed_idle_count",
      "passed": true
    },
    {
      "name": "lacross_routed_common_deadline",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_0",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_1",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_2",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_3",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_4",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_5",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_6",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_7",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_8",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_9",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_10",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_11",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_12",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_13",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_14",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_15",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_16",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_17",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_18",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_19",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_20",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_21",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_22",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_23",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_24",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_25",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_26",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_27",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_28",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_29",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_30",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_31",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_32",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_33",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_34",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_35",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_36",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_37",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_38",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_39",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_40",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_41",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_42",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_43",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_44",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_45",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_46",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_47",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_48",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_49",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_50",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_51",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_52",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_53",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_54",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_55",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_56",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_57",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_58",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_59",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_60",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_61",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_62",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_63",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_64",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_65",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_66",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_67",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_68",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_69",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_70",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_71",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_72",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_73",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_74",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_75",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_76",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_77",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_78",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_79",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_80",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_81",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_82",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_83",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_84",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_85",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_86",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_87",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_88",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_89",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_90",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_91",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_92",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_93",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_94",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_95",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_96",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_97",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_98",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_99",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_100",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_101",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_102",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_103",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_104",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_105",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_106",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_107",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_108",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_109",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_110",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_111",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_112",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_113",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_114",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_115",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_116",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_117",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_118",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_119",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_120",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_121",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_122",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_123",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_124",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_125",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_126",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_127",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_128",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_129",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_130",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_131",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_132",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_133",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_134",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_135",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_136",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_137",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_138",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_139",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_140",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_141",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_142",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_143",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_144",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_145",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_146",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_147",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_148",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_149",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_150",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_151",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_152",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_153",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_154",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_155",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_156",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_157",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_158",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_159",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_160",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_161",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_162",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_163",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_164",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_165",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_166",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_167",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_168",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_169",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_170",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_171",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_172",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_173",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_174",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_175",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_176",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_177",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_178",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_179",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_180",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_181",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_182",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_183",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_184",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_185",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_186",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_187",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_188",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_189",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_190",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_191",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_192",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_193",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_194",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_195",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_196",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_197",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_198",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_199",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_200",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_201",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_202",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_203",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_204",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_205",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_206",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_207",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_208",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_209",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_210",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_211",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_212",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_213",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_214",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_215",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_216",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_217",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_218",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_219",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_220",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_221",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_222",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_223",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_224",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_225",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_226",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_227",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_228",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_229",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_230",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_231",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_232",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_233",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_234",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_235",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_236",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_237",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_238",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_239",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_240",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_241",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_242",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_243",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_244",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_245",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_246",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_247",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_248",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_249",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_250",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_251",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_252",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_253",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_254",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_255",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_256",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_257",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_258",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_259",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_260",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_261",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_262",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_263",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_264",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_265",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_266",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_267",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_268",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_269",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_270",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_271",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_272",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_273",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_274",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_275",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_276",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_277",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_278",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_279",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_280",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_281",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_282",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_283",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_284",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_285",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_286",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_287",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_288",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_289",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_290",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_291",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_292",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_293",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_294",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_295",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_296",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_297",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_298",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_299",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_300",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_301",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_302",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_303",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_304",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_305",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_306",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_307",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_308",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_309",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_310",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_311",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_312",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_313",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_314",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_315",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_316",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_317",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_318",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_319",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_320",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_321",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_322",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_323",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_324",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_325",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_326",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_327",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_328",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_329",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_330",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_331",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_332",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_333",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_334",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_335",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_336",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_337",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_338",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_339",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_340",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_341",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_342",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_343",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_344",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_345",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_346",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_347",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_348",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_349",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_350",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_351",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_352",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_353",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_354",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_355",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_356",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_357",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_358",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_359",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_360",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_361",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_362",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_363",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_364",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_365",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_366",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_367",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_368",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_369",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_370",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_371",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_372",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_373",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_374",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_375",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_376",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_377",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_378",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_379",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_380",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_381",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_382",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_383",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_384",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_385",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_386",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_387",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_388",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_389",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_390",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_391",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_392",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_393",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_394",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_395",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_396",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_397",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_398",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_399",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_400",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_401",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_402",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_403",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_404",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_405",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_406",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_407",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_408",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_409",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_410",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_411",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_412",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_413",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_414",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_415",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_416",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_417",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_418",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_419",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_420",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_421",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_422",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_423",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_424",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_425",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_426",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_427",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_428",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_429",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_430",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_431",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_432",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_433",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_434",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_435",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_436",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_437",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_438",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_439",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_440",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_441",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_442",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_443",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_444",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_445",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_446",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_447",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_448",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_449",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_450",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_451",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_452",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_453",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_454",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_455",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_456",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_457",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_458",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_459",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_460",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_461",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_462",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_463",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_464",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_465",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_466",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_467",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_468",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_469",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_470",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_471",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_472",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_473",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_474",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_475",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_476",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_477",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_478",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_479",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_480",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_481",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_482",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_483",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_484",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_485",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_486",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_487",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_488",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_489",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_490",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_491",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_492",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_493",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_494",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_495",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_496",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_497",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_498",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_499",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_500",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_501",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_502",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_503",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_504",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_505",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_506",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_507",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_508",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_509",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_510",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_511",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_512",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_513",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_514",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_515",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_516",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_517",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_518",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_519",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_520",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_521",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_522",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_523",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_524",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_525",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_526",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_527",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_528",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_529",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_530",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_531",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_532",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_533",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_534",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_535",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_536",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_537",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_538",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_539",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_540",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_541",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_542",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_543",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_544",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_545",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_546",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_547",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_548",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_549",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_550",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_551",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_552",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_553",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_554",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_555",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_556",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_557",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_558",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_559",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_560",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_561",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_562",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_563",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_564",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_565",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_566",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_567",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_568",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_569",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_570",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_571",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_572",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_573",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_574",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_575",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_576",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_577",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_578",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_579",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_580",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_581",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_582",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_583",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_584",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_585",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_586",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_587",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_588",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_589",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_590",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_591",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_592",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_593",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_594",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_595",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_596",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_597",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_598",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_599",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_600",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_601",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_602",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_603",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_604",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_605",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_606",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_607",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_608",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_609",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_610",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_611",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_612",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_613",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_614",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_615",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_616",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_617",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_618",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_619",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_620",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_621",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_622",
      "passed": true
    },
    {
      "name": "lacross_routed_nearest_gate_623",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_X0",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_X1",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_X2",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_X3",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_X4",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_X5",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_X6",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_X7",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_X8",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_X9",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_X10",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_X11",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_X12",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_X13",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_X14",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_Z0",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_Z1",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_Z2",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_Z3",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_Z4",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_Z5",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_Z6",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_Z7",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_Z8",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_Z9",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_Z10",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_Z11",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_Z12",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_Z13",
      "passed": true
    },
    {
      "name": "lacross_routed_actual_measurement_Z14",
      "passed": true
    },
    {
      "name": "lacross_routed_fault_mass",
      "passed": true
    },
    {
      "name": "lacross_routed_channel_trace_beta0.0",
      "passed": true
    },
    {
      "name": "lacross_routed_all_residual_classes_logical_beta0.0",
      "passed": true
    },
    {
      "name": "lacross_routed_record_information_beta0.0",
      "passed": true
    },
    {
      "name": "lacross_routed_channel_trace_beta0.01",
      "passed": true
    },
    {
      "name": "lacross_routed_all_residual_classes_logical_beta0.01",
      "passed": true
    },
    {
      "name": "lacross_routed_record_information_beta0.01",
      "passed": true
    },
    {
      "name": "lacross_routed_channel_trace_beta0.1",
      "passed": true
    },
    {
      "name": "lacross_routed_all_residual_classes_logical_beta0.1",
      "passed": true
    },
    {
      "name": "lacross_routed_record_information_beta0.1",
      "passed": true
    },
    {
      "name": "lacross_routed_fault_0_fault_A_direct_propagation",
      "passed": true
    },
    {
      "name": "lacross_routed_fault_0_fault_B_direct_propagation",
      "passed": true
    },
    {
      "name": "lacross_routed_ambiguity_0_is_logical",
      "passed": true
    },
    {
      "name": "lacross_routed_fault_1_fault_A_direct_propagation",
      "passed": true
    },
    {
      "name": "lacross_routed_fault_1_fault_B_direct_propagation",
      "passed": true
    },
    {
      "name": "lacross_routed_ambiguity_1_is_logical",
      "passed": true
    },
    {
      "name": "lacross_routed_fault_2_fault_A_direct_propagation",
      "passed": true
    },
    {
      "name": "lacross_routed_fault_2_fault_B_direct_propagation",
      "passed": true
    },
    {
      "name": "lacross_routed_ambiguity_2_is_logical",
      "passed": true
    },
    {
      "name": "surface4_native_gate_count",
      "passed": true
    },
    {
      "name": "surface4_native_idle_count",
      "passed": true
    },
    {
      "name": "surface4_native_common_deadline",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_X0",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_X1",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_X2",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_X3",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_X4",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_X5",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_X6",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_X7",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_X8",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_X9",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_X10",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_X11",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_X12",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_X13",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_X14",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_X15",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_Z0",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_Z1",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_Z2",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_Z3",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_Z4",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_Z5",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_Z6",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_Z7",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_Z8",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_Z9",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_Z10",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_Z11",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_Z12",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_Z13",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_Z14",
      "passed": true
    },
    {
      "name": "surface4_native_actual_measurement_Z15",
      "passed": true
    },
    {
      "name": "surface4_native_fault_mass",
      "passed": true
    },
    {
      "name": "surface4_native_channel_trace_beta0.0",
      "passed": true
    },
    {
      "name": "surface4_native_all_residual_classes_logical_beta0.0",
      "passed": true
    },
    {
      "name": "surface4_native_record_information_beta0.0",
      "passed": true
    },
    {
      "name": "surface4_native_channel_trace_beta0.01",
      "passed": true
    },
    {
      "name": "surface4_native_all_residual_classes_logical_beta0.01",
      "passed": true
    },
    {
      "name": "surface4_native_record_information_beta0.01",
      "passed": true
    },
    {
      "name": "surface4_native_channel_trace_beta0.1",
      "passed": true
    },
    {
      "name": "surface4_native_all_residual_classes_logical_beta0.1",
      "passed": true
    },
    {
      "name": "surface4_native_record_information_beta0.1",
      "passed": true
    },
    {
      "name": "native_and_routed_all_generators_equal",
      "passed": true
    },
    {
      "name": "explicit_first_ambiguity_logical_0_2_3",
      "passed": true
    },
    {
      "name": "archive_MD5",
      "passed": true
    },
    {
      "name": "all_six_tables_404_rows",
      "passed": true
    },
    {
      "name": "unmatched_label_preserved",
      "passed": true
    },
    {
      "name": "matched_noise_models_128",
      "passed": true
    }
  ],
  "limits": "T137 author audit: independent binary elimination, explicit fault propagation,\nCSV reconstruction, measurement backpropagation and archive checksum checks.\nThis is Codex self-review, not an independent reviewer or hardware validation.\n A=0 certifies only the declared single-fault diagnostic; higher orders, repeated noisy checks and practical decoding are untested."
}