{
  "step": "C318",
  "status": "passed",
  "input_sha256": {
    "PREVIOUS_DATA.json": "2fbae4c23692b209806cde5e518edd01faa584448c48656f5383f5e0c651a221",
    "C286_DATA.json": "71867add8e2b0000e7d11270e2ee28969ef41d788b5a1ec74add0b6237cc9905",
    "C287_DATA.json": "1f3fe8798fb89b1559247a1b209aabfa854d0ae5399b45623f4c398a36fa8ce0"
  },
  "scope": "Typed decomposition of existing paired458 change on five fixed states.",
  "rows": [
    {
      "i": 3,
      "j": 7,
      "SP_gear": 1,
      "SP_birth_rail": "primary",
      "selected_Flood_boundary": "Flood start",
      "cumulative_path": [
        {
          "Cainan": 0,
          "annual_index": 3,
          "coordinate": -5887,
          "source_admitted": true
        },
        {
          "Cainan": 1,
          "annual_index": 3,
          "coordinate": -6347,
          "source_admitted": true
        },
        {
          "Cainan": 1,
          "annual_index": 5,
          "coordinate": -6345,
          "source_admitted": true
        }
      ],
      "regular_path": [
        {
          "stage": 0,
          "tradition": "SP",
          "gear": 1,
          "role": "Flood start",
          "Cainan": 0,
          "Terah60": 0,
          "full430": 1,
          "coordinate": 3106,
          "source_admitted": true,
          "source_record": {
            "tradition": "SP",
            "gear": 1,
            "role": "Flood start",
            "Cainan": 0,
            "Terah60": 0,
            "full430": 1,
            "center": 3106,
            "base_native_Cainan": 0,
            "base_center": 3106
          }
        },
        {
          "stage": 1,
          "tradition": "MT",
          "gear": 1,
          "role": "Flood start",
          "Cainan": 0,
          "Terah60": 0,
          "full430": 1,
          "coordinate": 2456,
          "source_admitted": true,
          "source_record": {
            "tradition": "MT",
            "gear": 1,
            "role": "Flood start",
            "Cainan": 0,
            "Terah60": 0,
            "full430": 1,
            "center": 2456,
            "base_native_Cainan": 0,
            "base_center": 2456
          }
        },
        {
          "stage": 2,
          "tradition": "MT",
          "gear": 1,
          "role": "Flood start",
          "Cainan": 1,
          "Terah60": 0,
          "full430": 1,
          "coordinate": 2586,
          "source_admitted": true,
          "source_record": {
            "tradition": "MT",
            "gear": 1,
            "role": "Flood start",
            "Cainan": 1,
            "Terah60": 0,
            "full430": 1,
            "center": 2586,
            "base_native_Cainan": 0,
            "base_center": 2456
          }
        },
        {
          "stage": 3,
          "tradition": "MT",
          "gear": 1,
          "role": "Flood start",
          "Cainan": 1,
          "Terah60": 1,
          "full430": 1,
          "coordinate": 2646,
          "source_admitted": true,
          "source_record": {
            "tradition": "MT",
            "gear": 1,
            "role": "Flood start",
            "Cainan": 1,
            "Terah60": 1,
            "full430": 1,
            "center": 2646,
            "base_native_Cainan": 0,
            "base_center": 2456
          }
        },
        {
          "stage": 4,
          "tradition": "MT",
          "gear": 2,
          "role": "Flood start",
          "Cainan": 1,
          "Terah60": 1,
          "full430": 1,
          "coordinate": 2648,
          "source_admitted": true,
          "source_record": {
            "tradition": "MT",
            "gear": 2,
            "role": "Flood start",
            "Cainan": 1,
            "Terah60": 1,
            "full430": 1,
            "center": 2648,
            "base_native_Cainan": 0,
            "base_center": 2458
          }
        }
      ],
      "joint_source_admission": true,
      "C287_endpoint_match": true,
      "formal_paired_displacement": -458,
      "exact_phase_paths": [
        {
          "phase": "-1/4",
          "cumulative_path": [
            "-23549/4",
            "-25389/4",
            "-25381/4"
          ],
          "regular_path": [
            "12423/4",
            "9823/4",
            "10343/4",
            "10583/4",
            "10591/4"
          ],
          "T8993_commutation_residual": "0",
          "two_resulting_sides": "1058",
          "terminal_paths_source_admitted": true
        },
        {
          "phase": "1/4",
          "cumulative_path": [
            "-23547/4",
            "-25387/4",
            "-25379/4"
          ],
          "regular_path": [
            "12425/4",
            "9825/4",
            "10345/4",
            "10585/4",
            "10593/4"
          ],
          "T8993_commutation_residual": "0",
          "two_resulting_sides": "1058",
          "terminal_paths_source_admitted": true
        }
      ],
      "failure_reasons": []
    },
    {
      "i": 4,
      "j": 6,
      "SP_gear": 2,
      "SP_birth_rail": "companion",
      "selected_Flood_boundary": "Flood close",
      "cumulative_path": [
        {
          "Cainan": 0,
          "annual_index": 4,
          "coordinate": -5886,
          "source_admitted": true
        },
        {
          "Cainan": 1,
          "annual_index": 4,
          "coordinate": -6346,
          "source_admitted": true
        },
        {
          "Cainan": 1,
          "annual_index": 6,
          "coordinate": -6344,
          "source_admitted": true
        }
      ],
      "regular_path": [
        {
          "stage": 0,
          "tradition": "SP",
          "gear": 2,
          "role": "Flood close",
          "Cainan": 0,
          "Terah60": 0,
          "full430": 1,
          "coordinate": 3107,
          "source_admitted": true,
          "source_record": {
            "tradition": "SP",
            "gear": 2,
            "role": "Flood close",
            "Cainan": 0,
            "Terah60": 0,
            "full430": 1,
            "center": 3107,
            "base_native_Cainan": 0,
            "base_center": 3107
          }
        },
        {
          "stage": 1,
          "tradition": "MT",
          "gear": 2,
          "role": "Flood close",
          "Cainan": 0,
          "Terah60": 0,
          "full430": 1,
          "coordinate": 2457,
          "source_admitted": true,
          "source_record": {
            "tradition": "MT",
            "gear": 2,
            "role": "Flood close",
            "Cainan": 0,
            "Terah60": 0,
            "full430": 1,
            "center": 2457,
            "base_native_Cainan": 0,
            "base_center": 2457
          }
        },
        {
          "stage": 2,
          "tradition": "MT",
          "gear": 2,
          "role": "Flood close",
          "Cainan": 1,
          "Terah60": 0,
          "full430": 1,
          "coordinate": 2587,
          "source_admitted": true,
          "source_record": {
            "tradition": "MT",
            "gear": 2,
            "role": "Flood close",
            "Cainan": 1,
            "Terah60": 0,
            "full430": 1,
            "center": 2587,
            "base_native_Cainan": 0,
            "base_center": 2457
          }
        },
        {
          "stage": 3,
          "tradition": "MT",
          "gear": 2,
          "role": "Flood close",
          "Cainan": 1,
          "Terah60": 1,
          "full430": 1,
          "coordinate": 2647,
          "source_admitted": true,
          "source_record": {
            "tradition": "MT",
            "gear": 2,
            "role": "Flood close",
            "Cainan": 1,
            "Terah60": 1,
            "full430": 1,
            "center": 2647,
            "base_native_Cainan": 0,
            "base_center": 2457
          }
        },
        {
          "stage": 4,
          "tradition": "MT",
          "gear": 3,
          "role": "Flood close",
          "Cainan": 1,
          "Terah60": 1,
          "full430": 1,
          "coordinate": 2649,
          "source_admitted": true,
          "source_record": {
            "tradition": "MT",
            "gear": 3,
            "role": "Flood close",
            "Cainan": 1,
            "Terah60": 1,
            "full430": 1,
            "center": 2649,
            "base_native_Cainan": 0,
            "base_center": 2459
          }
        }
      ],
      "joint_source_admission": true,
      "C287_endpoint_match": true,
      "formal_paired_displacement": -458,
      "exact_phase_paths": [
        {
          "phase": "-1/4",
          "cumulative_path": [
            "-23545/4",
            "-25385/4",
            "-25377/4"
          ],
          "regular_path": [
            "12427/4",
            "9827/4",
            "10347/4",
            "10587/4",
            "10595/4"
          ],
          "T8993_commutation_residual": "0",
          "two_resulting_sides": "1058",
          "terminal_paths_source_admitted": true
        },
        {
          "phase": "1/4",
          "cumulative_path": [
            "-23543/4",
            "-25383/4",
            "-25375/4"
          ],
          "regular_path": [
            "12429/4",
            "9829/4",
            "10349/4",
            "10589/4",
            "10597/4"
          ],
          "T8993_commutation_residual": "0",
          "two_resulting_sides": "1058",
          "terminal_paths_source_admitted": true
        }
      ],
      "failure_reasons": []
    },
    {
      "i": 5,
      "j": 5,
      "SP_gear": 2,
      "SP_birth_rail": "primary",
      "selected_Flood_boundary": "Flood start",
      "cumulative_path": [
        {
          "Cainan": 0,
          "annual_index": 5,
          "coordinate": -5885,
          "source_admitted": true
        },
        {
          "Cainan": 1,
          "annual_index": 5,
          "coordinate": -6345,
          "source_admitted": true
        },
        {
          "Cainan": 1,
          "annual_index": 7,
          "coordinate": -6343,
          "source_admitted": true
        }
      ],
      "regular_path": [
        {
          "stage": 0,
          "tradition": "SP",
          "gear": 2,
          "role": "Flood start",
          "Cainan": 0,
          "Terah60": 0,
          "full430": 1,
          "coordinate": 3108,
          "source_admitted": true,
          "source_record": {
            "tradition": "SP",
            "gear": 2,
            "role": "Flood start",
            "Cainan": 0,
            "Terah60": 0,
            "full430": 1,
            "center": 3108,
            "base_native_Cainan": 0,
            "base_center": 3108
          }
        },
        {
          "stage": 1,
          "tradition": "MT",
          "gear": 2,
          "role": "Flood start",
          "Cainan": 0,
          "Terah60": 0,
          "full430": 1,
          "coordinate": 2458,
          "source_admitted": true,
          "source_record": {
            "tradition": "MT",
            "gear": 2,
            "role": "Flood start",
            "Cainan": 0,
            "Terah60": 0,
            "full430": 1,
            "center": 2458,
            "base_native_Cainan": 0,
            "base_center": 2458
          }
        },
        {
          "stage": 2,
          "tradition": "MT",
          "gear": 2,
          "role": "Flood start",
          "Cainan": 1,
          "Terah60": 0,
          "full430": 1,
          "coordinate": 2588,
          "source_admitted": true,
          "source_record": {
            "tradition": "MT",
            "gear": 2,
            "role": "Flood start",
            "Cainan": 1,
            "Terah60": 0,
            "full430": 1,
            "center": 2588,
            "base_native_Cainan": 0,
            "base_center": 2458
          }
        },
        {
          "stage": 3,
          "tradition": "MT",
          "gear": 2,
          "role": "Flood start",
          "Cainan": 1,
          "Terah60": 1,
          "full430": 1,
          "coordinate": 2648,
          "source_admitted": true,
          "source_record": {
            "tradition": "MT",
            "gear": 2,
            "role": "Flood start",
            "Cainan": 1,
            "Terah60": 1,
            "full430": 1,
            "center": 2648,
            "base_native_Cainan": 0,
            "base_center": 2458
          }
        },
        {
          "stage": 4,
          "tradition": "MT",
          "gear": 3,
          "role": "Flood start",
          "Cainan": 1,
          "Terah60": 1,
          "full430": 1,
          "coordinate": 2650,
          "source_admitted": true,
          "source_record": {
            "tradition": "MT",
            "gear": 3,
            "role": "Flood start",
            "Cainan": 1,
            "Terah60": 1,
            "full430": 1,
            "center": 2650,
            "base_native_Cainan": 0,
            "base_center": 2460
          }
        }
      ],
      "joint_source_admission": true,
      "C287_endpoint_match": true,
      "formal_paired_displacement": -458,
      "exact_phase_paths": [
        {
          "phase": "-1/4",
          "cumulative_path": [
            "-23541/4",
            "-25381/4",
            "-25373/4"
          ],
          "regular_path": [
            "12431/4",
            "9831/4",
            "10351/4",
            "10591/4",
            "10599/4"
          ],
          "T8993_commutation_residual": "0",
          "two_resulting_sides": "1058",
          "terminal_paths_source_admitted": true
        },
        {
          "phase": "1/4",
          "cumulative_path": [
            "-23539/4",
            "-25379/4",
            "-25371/4"
          ],
          "regular_path": [
            "12433/4",
            "9833/4",
            "10353/4",
            "10593/4",
            "10601/4"
          ],
          "T8993_commutation_residual": "0",
          "two_resulting_sides": "1058",
          "terminal_paths_source_admitted": true
        }
      ],
      "failure_reasons": []
    },
    {
      "i": 6,
      "j": 4,
      "SP_gear": 3,
      "SP_birth_rail": "companion",
      "selected_Flood_boundary": "Flood close",
      "cumulative_path": [
        {
          "Cainan": 0,
          "annual_index": 6,
          "coordinate": -5884,
          "source_admitted": true
        },
        {
          "Cainan": 1,
          "annual_index": 6,
          "coordinate": -6344,
          "source_admitted": true
        },
        {
          "Cainan": 1,
          "annual_index": 8,
          "coordinate": -6342,
          "source_admitted": false
        }
      ],
      "regular_path": [
        {
          "stage": 0,
          "tradition": "SP",
          "gear": 3,
          "role": "Flood close",
          "Cainan": 0,
          "Terah60": 0,
          "full430": 1,
          "coordinate": 3109,
          "source_admitted": true,
          "source_record": {
            "tradition": "SP",
            "gear": 3,
            "role": "Flood close",
            "Cainan": 0,
            "Terah60": 0,
            "full430": 1,
            "center": 3109,
            "base_native_Cainan": 0,
            "base_center": 3109
          }
        },
        {
          "stage": 1,
          "tradition": "MT",
          "gear": 3,
          "role": "Flood close",
          "Cainan": 0,
          "Terah60": 0,
          "full430": 1,
          "coordinate": 2459,
          "source_admitted": true,
          "source_record": {
            "tradition": "MT",
            "gear": 3,
            "role": "Flood close",
            "Cainan": 0,
            "Terah60": 0,
            "full430": 1,
            "center": 2459,
            "base_native_Cainan": 0,
            "base_center": 2459
          }
        },
        {
          "stage": 2,
          "tradition": "MT",
          "gear": 3,
          "role": "Flood close",
          "Cainan": 1,
          "Terah60": 0,
          "full430": 1,
          "coordinate": 2589,
          "source_admitted": true,
          "source_record": {
            "tradition": "MT",
            "gear": 3,
            "role": "Flood close",
            "Cainan": 1,
            "Terah60": 0,
            "full430": 1,
            "center": 2589,
            "base_native_Cainan": 0,
            "base_center": 2459
          }
        },
        {
          "stage": 3,
          "tradition": "MT",
          "gear": 3,
          "role": "Flood close",
          "Cainan": 1,
          "Terah60": 1,
          "full430": 1,
          "coordinate": 2649,
          "source_admitted": true,
          "source_record": {
            "tradition": "MT",
            "gear": 3,
            "role": "Flood close",
            "Cainan": 1,
            "Terah60": 1,
            "full430": 1,
            "center": 2649,
            "base_native_Cainan": 0,
            "base_center": 2459
          }
        },
        {
          "stage": 4,
          "tradition": "MT",
          "gear": 4,
          "role": "Flood close",
          "Cainan": 1,
          "Terah60": 1,
          "full430": 1,
          "coordinate": 2651,
          "source_admitted": false,
          "source_record": null
        }
      ],
      "joint_source_admission": false,
      "C287_endpoint_match": false,
      "formal_paired_displacement": -458,
      "exact_phase_paths": [
        {
          "phase": "-1/4",
          "cumulative_path": [
            "-23537/4",
            "-25377/4",
            "-25369/4"
          ],
          "regular_path": [
            "12435/4",
            "9835/4",
            "10355/4",
            "10595/4",
            "10603/4"
          ],
          "T8993_commutation_residual": "0",
          "two_resulting_sides": "1058",
          "terminal_paths_source_admitted": false
        },
        {
          "phase": "1/4",
          "cumulative_path": [
            "-23535/4",
            "-25375/4",
            "-25367/4"
          ],
          "regular_path": [
            "12437/4",
            "9837/4",
            "10357/4",
            "10597/4",
            "10605/4"
          ],
          "T8993_commutation_residual": "0",
          "two_resulting_sides": "1058",
          "terminal_paths_source_admitted": false
        }
      ],
      "failure_reasons": [
        "Cumulative ON-Shem annual index8 is outside retained0..7",
        "Regular MT Gear4 source endpoint is absent; not created"
      ]
    },
    {
      "i": 7,
      "j": 3,
      "SP_gear": 3,
      "SP_birth_rail": "primary",
      "selected_Flood_boundary": "Flood start",
      "cumulative_path": [
        {
          "Cainan": 0,
          "annual_index": 7,
          "coordinate": -5883,
          "source_admitted": true
        },
        {
          "Cainan": 1,
          "annual_index": 7,
          "coordinate": -6343,
          "source_admitted": true
        },
        {
          "Cainan": 1,
          "annual_index": 9,
          "coordinate": -6341,
          "source_admitted": false
        }
      ],
      "regular_path": [
        {
          "stage": 0,
          "tradition": "SP",
          "gear": 3,
          "role": "Flood start",
          "Cainan": 0,
          "Terah60": 0,
          "full430": 1,
          "coordinate": 3110,
          "source_admitted": true,
          "source_record": {
            "tradition": "SP",
            "gear": 3,
            "role": "Flood start",
            "Cainan": 0,
            "Terah60": 0,
            "full430": 1,
            "center": 3110,
            "base_native_Cainan": 0,
            "base_center": 3110
          }
        },
        {
          "stage": 1,
          "tradition": "MT",
          "gear": 3,
          "role": "Flood start",
          "Cainan": 0,
          "Terah60": 0,
          "full430": 1,
          "coordinate": 2460,
          "source_admitted": true,
          "source_record": {
            "tradition": "MT",
            "gear": 3,
            "role": "Flood start",
            "Cainan": 0,
            "Terah60": 0,
            "full430": 1,
            "center": 2460,
            "base_native_Cainan": 0,
            "base_center": 2460
          }
        },
        {
          "stage": 2,
          "tradition": "MT",
          "gear": 3,
          "role": "Flood start",
          "Cainan": 1,
          "Terah60": 0,
          "full430": 1,
          "coordinate": 2590,
          "source_admitted": true,
          "source_record": {
            "tradition": "MT",
            "gear": 3,
            "role": "Flood start",
            "Cainan": 1,
            "Terah60": 0,
            "full430": 1,
            "center": 2590,
            "base_native_Cainan": 0,
            "base_center": 2460
          }
        },
        {
          "stage": 3,
          "tradition": "MT",
          "gear": 3,
          "role": "Flood start",
          "Cainan": 1,
          "Terah60": 1,
          "full430": 1,
          "coordinate": 2650,
          "source_admitted": true,
          "source_record": {
            "tradition": "MT",
            "gear": 3,
            "role": "Flood start",
            "Cainan": 1,
            "Terah60": 1,
            "full430": 1,
            "center": 2650,
            "base_native_Cainan": 0,
            "base_center": 2460
          }
        },
        {
          "stage": 4,
          "tradition": "MT",
          "gear": 4,
          "role": "Flood start",
          "Cainan": 1,
          "Terah60": 1,
          "full430": 1,
          "coordinate": 2652,
          "source_admitted": false,
          "source_record": null
        }
      ],
      "joint_source_admission": false,
      "C287_endpoint_match": false,
      "formal_paired_displacement": -458,
      "exact_phase_paths": [
        {
          "phase": "-1/4",
          "cumulative_path": [
            "-23533/4",
            "-25373/4",
            "-25365/4"
          ],
          "regular_path": [
            "12439/4",
            "9839/4",
            "10359/4",
            "10599/4",
            "10607/4"
          ],
          "T8993_commutation_residual": "0",
          "two_resulting_sides": "1058",
          "terminal_paths_source_admitted": false
        },
        {
          "phase": "1/4",
          "cumulative_path": [
            "-23531/4",
            "-25371/4",
            "-25363/4"
          ],
          "regular_path": [
            "12441/4",
            "9841/4",
            "10361/4",
            "10601/4",
            "10609/4"
          ],
          "T8993_commutation_residual": "0",
          "two_resulting_sides": "1058",
          "terminal_paths_source_admitted": false
        }
      ],
      "failure_reasons": [
        "Cumulative ON-Shem annual index9 is outside retained0..7",
        "Regular MT Gear4 source endpoint is absent; not created"
      ]
    }
  ],
  "counts": {
    "cases": 5,
    "cumulative_preterminal_admitted_paths": 5,
    "regular_preterminal_admitted_paths": 5,
    "joint_admitted_terminal_paths": 3,
    "joint_failed_terminal_paths": 2,
    "formal_exact_phase_commutations": 10,
    "source_admitted_exact_phase_commutations": 6
  },
  "identities": {
    "aggregate_regular_variant_difference": "650\u2212130\u221260=460",
    "common_displacement": "\u2212460+2=\u2212458",
    "retained_2K_width": "600+(460\u22122)=1058=2\u00d7529"
  },
  "critical_distinctions": [
    "Cumulative Cainan insertion460 and regular Cainan insertion130 are different typed operations.",
    "Cumulative+2 changes the annual source index; regular+2 changes the Gear within the admitted Noah/Shem/Flood domain.",
    "Only regular Flood start/close records are used; no SP companion is imported into MT.",
    "Cumulative ON-Shem indices8/9 and regular Gear4 remain unadmitted.",
    "The commuting equalities are conditional algebra on fixed source states, not extra independent529 witnesses or a global458 operator."
  ],
  "suggested_next_bounded_question": "Assemble the minimal typed dependency system for the C314\u2013C318 equalities and determine which constraints remain independent after fixed source constants and the common8993 translations are imposed.",
  "later_step_executed": false
}