{
  "scope": "Exact M2 and M2 direct-sum M3 examples; general proof diagram is schematic, not a finite-dimensional reduction",
  "states": [
    {
      "b": "1/2",
      "weights": [
        "3/4",
        "1/4"
      ],
      "distortion_a": "3",
      "exact_norm_error": "1/2",
      "general_stability_bound": "16"
    },
    {
      "b": "1/4",
      "weights": [
        "5/8",
        "3/8"
      ],
      "distortion_a": "5/3",
      "exact_norm_error": "1/4",
      "general_stability_bound": "32/9"
    },
    {
      "b": "1/8",
      "weights": [
        "9/16",
        "7/16"
      ],
      "distortion_a": "9/7",
      "exact_norm_error": "1/8",
      "general_stability_bound": "64/49"
    },
    {
      "b": "0",
      "weights": [
        "1/2",
        "1/2"
      ],
      "distortion_a": "1",
      "exact_norm_error": "0",
      "general_stability_bound": "0"
    }
  ],
  "attaining_contraction_diagonal": [
    1,
    -1
  ],
  "center_example": {
    "A_diagonal": [
      3,
      1
    ],
    "B_diagonal": [
      6,
      3,
      0
    ],
    "T_value": [
      2,
      3
    ],
    "T_unit": [
      1,
      1
    ],
    "rank_one_tile_values": [
      [
        "1/2",
        "0"
      ],
      [
        "0",
        "1/3"
      ]
    ]
  },
  "general_bound": "For m<n with a_n<=a_m: norm(phi_m-phi_n)<=2*(a_m^2-1); different from the exact model error b",
  "local_proof_anchors": [
    "fct-1",
    "fct-2",
    "fct-3",
    "fct-4",
    "fct-5",
    "fct-6",
    "fct-7",
    "fct-8",
    "fct-9"
  ]
}