{
  "epsilon": 0.25,
  "thin_spatial_slope": 2,
  "thick_spatial_slope": 3,
  "temporal_section": {
    "spatial_normal": 0
  },
  "spatial_section": {
    "imaginary_time_normal": 0,
    "imaginary_spatial_normal": 0
  },
  "real_fibre": {
    "final_input": -1.5,
    "intermediate": -0.5,
    "output": 0.5,
    "final_normal": -2.0,
    "nonnegative_total_length": 2.0
  },
  "proof": "E.1 (E.7)–(E.8), E.2–E.3",
  "human_sources": [
    "Kashiwara–Schapira, freely accessible Micro-hyperbolic systems, §3.1",
    "Kashiwara–Kawai, author-hosted HolIII, III.1/IV.2"
  ],
  "scope": "Exact sections and real fibre sample; no numerical proof or whole-complex-cone claim."
}