{
  "schema": "exact-mathematical-scene/v1",
  "license": "CC0-1.0",
  "a": [
    1,
    -1
  ],
  "v1": [
    1,
    1
  ],
  "v2": [
    1,
    -1
  ],
  "kernel_support": [
    [
      1,
      -1
    ],
    [
      2,
      0
    ],
    [
      2,
      -2
    ],
    [
      3,
      -1
    ]
  ],
  "kernel_coefficients": [
    1,
    -2,
    -3,
    6
  ],
  "inverse_support": "-a+j*v1+k*v2, j,k nonnegative integers",
  "inverse_hull": "x+1 >= abs(y-1)",
  "negative_dual_interior": "eta_x < -abs(eta_y)",
  "error_truncation": "0 <= j,k <= 2",
  "error_atoms": [
    [
      3,
      3,
      -8
    ],
    [
      3,
      -3,
      -27
    ],
    [
      6,
      0,
      216
    ]
  ],
  "error_support_function_at_eta_minus_e1": -3,
  "proof_locators": [
    "manuscript.md Theorem1.1",
    "Example6.1 equations6.1-6.7",
    "Section5 equations5.7-5.12"
  ],
  "scene_scope": "Exact worked model; finite displayed inverse lattice is not the full support",
  "blender_decision": "Two-dimensional affine support geometry is clearer in exact Cartesian drawings."
}