{
  "negative": {
    "u": "1/4",
    "t": "-3/2",
    "u+t": "-5/4",
    "n": -2,
    "v": "3/4",
    "h+f_target-f_source": "-3/2"
  },
  "positive": {
    "u": "3/4",
    "t": "7/4",
    "n": 2,
    "v": "1/2"
  },
  "chronological_order": [
    "down: a_i(z,u)^-1",
    "return: c_i(y,z)",
    "up: a_i(y,v)"
  ],
  "product": "a_i(y,v) c_i(y,z) a_i(z,u)^-1",
  "top_panel": "Transport diagram; vertical lengths schematic, return arrow may be signed.",
  "lower_panel": "Exact local orbit segment in a unit-roof suspension; no finite-base assumption.",
  "all_exact_assertions_pass": true
}