{
  "created_utc": "2026-10-04T18:30:25.755740+00:00",
  "figure": {
    "path": "reflection_graph_kernel_bridge.png",
    "bytes": 171764,
    "sha256": "64b927ae3655c133623868d974d6943fcb040379c302629c9161932c19b442d4"
  },
  "reproducible_source": {
    "path": "render_reflection_bridge.py",
    "bytes": 4914,
    "sha256": "31ddf62c48873c6ec0e47201768c17435f5b734cd7661c2ef83998c8cc63cb9e"
  },
  "license": "CC0-1.0",
  "figure_kind": "Exact diagram, not a PDE numerical sample",
  "original_square": "(-1/4,1/4)^2",
  "reflection": "rho(x1,x2)=(x1,-x2)",
  "phase": "exp(-i epsilon x2)",
  "epsilon": "2/(Ka)",
  "K": "41472 lambda_star sqrt(33) e^2",
  "a": "sqrt((sqrt(2)-1)/2)",
  "reflection_determinant": -1,
  "absolute_jacobian": 1,
  "sample_point": [
    "1/8",
    "1/8"
  ],
  "reflected_point": [
    "1/8",
    "-1/8"
  ],
  "proof_locators": [
    "JM4",
    "JM5",
    "JM13",
    "JM14",
    "JM15",
    "JM16",
    "JM17",
    "JM19",
    "JM20",
    "JM23",
    "JM27"
  ],
  "graph_kernel_intersection_retained": true,
  "graph_unitarity_claimed": false,
  "formal_adjoint_zero_order_term_retained": true
}