insertion redistribution witness.json

{
  "scope": "formal local diagnostic, not an admitted alternate genealogy",
  "old_Arphaxad_Shelah_intervals": [
    135,
    130
  ],
  "inserted_Cainan_path": [
    135,
    130,
    130
  ],
  "same_total_without_Cainan": [
    265,
    130
  ],
  "old_cuts": [
    0,
    135,
    265
  ],
  "inserted_cuts": [
    0,
    135,
    265,
    395
  ],
  "redistributed_cuts": [
    0,
    265,
    395
  ],
  "observation": "The Cainan-labelled boundary exists only in the insertion state."
}