{
  "model": "Nonfactor II-infinity coefficient over an irrational rotation",
  "c": "log(2)",
  "rotation": "(sqrt(5)-1)/2",
  "base": "R/Z with Lebesgue probability",
  "roof": "log(2)*(1+indicator_[0,1/2)(omega))",
  "fiber_trace_law": "Tr_D gamma = (1/2) Tr_D",
  "automorphism": "(alpha X)(T omega)=gamma^(1+indicator_[0,1/2)(omega))(X(omega))",
  "roof_multiples_of_log2": [2, 1, 2],
  "forward_sample": {
    "source_base": "0", "source_height": "c/4", "time": "3c",
    "crossing_number": 2, "signed_roof_sum": "3c",
    "target_base": "2b-1", "target_height": "c/4", "fiber_trace_factor": "1/8",
    "identity": "exp(-c/4)/8=exp(-3c)*exp(-c/4)"
  },
  "negative_sample": {
    "source_height": "c/4", "time": "-c/2", "crossing_number": -1,
    "signed_roof_sum": "-2c", "target_base": "1-b", "target_height": "7c/4",
    "fiber_trace_factor": "4",
    "identity": "4*exp(-7c/4)=exp(c/2)*exp(-c/4)"
  },
  "regular_height_sample": {
    "density": "3*exp(-s)", "modified_zero_height_value": 99,
    "regular_height": "c/4", "recovered_coefficient": 3,
    "qualification": "This concrete chosen height is regular; the abstract lemma selects a nonzero height from a Fubini-conull set."
  },
  "proof_locators": ["zdc-3/ZDC15", "zdc-6/ZDC45-ZDC47", "zdc-8/ZDC59-ZDC68"],
  "diagram_qualifications": [
    "Only three consecutive points of an infinite irrational orbit are plotted.",
    "Horizontal distance between the three fibers in panel A is schematic.",
    "The curve in panel B is an exact scalar density, not an operator spectrum.",
    "Panel C uses a logarithmic vertical scale."
  ]
}