{
  "schema": "regular-graph-field-figure/v1",
  "license": "CC0",
  "toy": "C2 acting on M=C2; T is a point",
  "target_order": [
    "(g=e,coeff=e)",
    "(g=e,coeff=a)",
    "(g=a,coeff=e)",
    "(g=a,coeff=a)"
  ],
  "V": [
    [
      "1",
      "0"
    ],
    [
      "0",
      "0"
    ],
    [
      "0",
      "1"
    ],
    [
      "0",
      "0"
    ]
  ],
  "U": [
    [
      "0",
      "1"
    ],
    [
      "1",
      "0"
    ]
  ],
  "L": [
    [
      "0",
      "0",
      "1",
      "0"
    ],
    [
      "0",
      "0",
      "0",
      "1"
    ],
    [
      "1",
      "0",
      "0",
      "0"
    ],
    [
      "0",
      "1",
      "0",
      "0"
    ]
  ],
  "exact_checks": {
    "V_star_V_identity": true,
    "L_V_equals_V_U": true,
    "projection_diagonal": true,
    "cutoff_square_sum_each_orbit_point": true
  },
  "text_canvas_overflows": [],
  "proof_locators": [
    "RG.1-RG.7",
    "RG.8-RG.12",
    "RG.13"
  ],
  "font_dependency": "Shared unchanged DejaVuSans.ttf; full font and notice embedded in the SVG",
  "font_sha256": "3fdf69cabf06049ea70a00b5919340e2ce1e6d02b0cc3c4b44fb6801bd1e0d22",
  "human_source": "Connes, A survey of foliations and operator algebras (1982), the graph-operator problem; the original cutoff/module proofs are RG.1-RG.13",
  "scope": "module and reduced representation established from explicit PK input; geometric graph operator unfinished"
}