{
  "counts": {
    "band_positions": 145094,
    "optimal_configurations": 9456,
    "random_strings": 80,
    "rejections": 23,
    "strings": 511
  },
  "historical_example": {
    "at_position_5_costs": {
      "distance2": 5,
      "distance5": 7
    },
    "distance_2_to_3": {
      "matches": [
        [
          0,
          null
        ],
        [
          0,
          null
        ],
        [
          1,
          0
        ],
        [
          3,
          0
        ],
        [
          2,
          1
        ],
        [
          3,
          3
        ],
        [
          2,
          4
        ],
        [
          1,
          5
        ]
      ],
      "trace": [
        {
          "active_sources_in_rank_order": [],
          "candidates": [],
          "enter": null,
          "expire": null,
          "length": 0,
          "position": 0,
          "rank": 3,
          "source": null
        },
        {
          "active_sources_in_rank_order": [],
          "candidates": [],
          "enter": null,
          "expire": null,
          "length": 0,
          "position": 1,
          "rank": 6,
          "source": null
        },
        {
          "active_sources_in_rank_order": [
            0
          ],
          "candidates": [
            {
              "length": 1,
              "rank": 3,
              "source": 0
            }
          ],
          "enter": 0,
          "expire": null,
          "length": 1,
          "position": 2,
          "rank": 1,
          "source": 0
        },
        {
          "active_sources_in_rank_order": [
            0,
            1
          ],
          "candidates": [
            {
              "length": 3,
              "rank": 3,
              "source": 0
            },
            {
              "length": 0,
              "rank": 6,
              "source": 1
            }
          ],
          "enter": 1,
          "expire": null,
          "length": 3,
          "position": 3,
          "rank": 4,
          "source": 0
        },
        {
          "active_sources_in_rank_order": [
            2,
            1
          ],
          "candidates": [
            {
              "length": 2,
              "rank": 6,
              "source": 1
            }
          ],
          "enter": 2,
          "expire": 0,
          "length": 2,
          "position": 4,
          "rank": 7,
          "source": 1
        },
        {
          "active_sources_in_rank_order": [
            2,
            3
          ],
          "candidates": [
            {
              "length": 1,
              "rank": 1,
              "source": 2
            },
            {
              "length": 3,
              "rank": 4,
              "source": 3
            }
          ],
          "enter": 3,
          "expire": 1,
          "length": 3,
          "position": 5,
          "rank": 2,
          "source": 3
        },
        {
          "active_sources_in_rank_order": [
            3,
            4
          ],
          "candidates": [
            {
              "length": 0,
              "rank": 4,
              "source": 3
            },
            {
              "length": 2,
              "rank": 7,
              "source": 4
            }
          ],
          "enter": 4,
          "expire": 2,
          "length": 2,
          "position": 6,
          "rank": 5,
          "source": 4
        },
        {
          "active_sources_in_rank_order": [
            5,
            4
          ],
          "candidates": [
            {
              "length": 1,
              "rank": 2,
              "source": 5
            }
          ],
          "enter": 5,
          "expire": 3,
          "length": 1,
          "position": 7,
          "rank": 0,
          "source": 5
        }
      ]
    },
    "lcp": [
      0,
      1,
      1,
      3,
      3,
      0,
      2,
      2
    ],
    "suffix_array": [
      7,
      2,
      5,
      0,
      3,
      6,
      1,
      4
    ],
    "text": "ABAABABA",
    "wide_band": {
      "matches": [
        [
          0,
          null
        ],
        [
          0,
          null
        ],
        [
          1,
          0
        ],
        [
          3,
          0
        ],
        [
          2,
          1
        ],
        [
          3,
          0
        ],
        [
          2,
          1
        ],
        [
          1,
          2
        ]
      ],
      "trace": [
        {
          "active_sources_in_rank_order": [],
          "candidates": [],
          "enter": null,
          "expire": null,
          "length": 0,
          "position": 0,
          "rank": 3,
          "source": null
        },
        {
          "active_sources_in_rank_order": [
            0
          ],
          "candidates": [
            {
              "length": 0,
              "rank": 3,
              "source": 0
            }
          ],
          "enter": 0,
          "expire": null,
          "length": 0,
          "position": 1,
          "rank": 6,
          "source": null
        },
        {
          "active_sources_in_rank_order": [
            0,
            1
          ],
          "candidates": [
            {
              "length": 1,
              "rank": 3,
              "source": 0
            }
          ],
          "enter": 1,
          "expire": null,
          "length": 1,
          "position": 2,
          "rank": 1,
          "source": 0
        },
        {
          "active_sources_in_rank_order": [
            2,
            0,
            1
          ],
          "candidates": [
            {
              "length": 3,
              "rank": 3,
              "source": 0
            },
            {
              "length": 0,
              "rank": 6,
              "source": 1
            }
          ],
          "enter": 2,
          "expire": null,
          "length": 3,
          "position": 3,
          "rank": 4,
          "source": 0
        },
        {
          "active_sources_in_rank_order": [
            2,
            0,
            3,
            1
          ],
          "candidates": [
            {
              "length": 2,
              "rank": 6,
              "source": 1
            }
          ],
          "enter": 3,
          "expire": null,
          "length": 2,
          "position": 4,
          "rank": 7,
          "source": 1
        },
        {
          "active_sources_in_rank_order": [
            2,
            0,
            3,
            1,
            4
          ],
          "candidates": [
            {
              "length": 1,
              "rank": 1,
              "source": 2
            },
            {
              "length": 3,
              "rank": 3,
              "source": 0
            }
          ],
          "enter": 4,
          "expire": null,
          "length": 3,
          "position": 5,
          "rank": 2,
          "source": 0
        },
        {
          "active_sources_in_rank_order": [
            2,
            5,
            3,
            1,
            4
          ],
          "candidates": [
            {
              "length": 0,
              "rank": 4,
              "source": 3
            },
            {
              "length": 2,
              "rank": 6,
              "source": 1
            }
          ],
          "enter": 5,
          "expire": 0,
          "length": 2,
          "position": 6,
          "rank": 5,
          "source": 1
        },
        {
          "active_sources_in_rank_order": [
            2,
            5,
            3,
            6,
            4
          ],
          "candidates": [
            {
              "length": 1,
              "rank": 1,
              "source": 2
            }
          ],
          "enter": 6,
          "expire": 1,
          "length": 1,
          "position": 7,
          "rank": 0,
          "source": 2
        }
      ]
    }
  },
  "overlap": {
    "copy_trace": [
      {
        "byte": 65,
        "destination": 2,
        "source": 0
      },
      {
        "byte": 66,
        "destination": 3,
        "source": 1
      },
      {
        "byte": 65,
        "destination": 4,
        "source": 2
      },
      {
        "byte": 66,
        "destination": 5,
        "source": 3
      },
      {
        "byte": 65,
        "destination": 6,
        "source": 4
      },
      {
        "byte": 66,
        "destination": 7,
        "source": 5
      },
      {
        "byte": 65,
        "destination": 8,
        "source": 6
      }
    ],
    "payload": {
      "bits": "001000001001000010100101010",
      "payload_hex": "2090a540",
      "valid_bits": 27
    },
    "tokens": [
      [
        "L",
        65
      ],
      [
        "L",
        66
      ],
      [
        "M",
        7,
        2
      ]
    ]
  },
  "refusal_witnesses": [
    {
      "bits": "00100000110",
      "cap": 18,
      "case": "truncated-length-gamma",
      "error": "truncated gamma",
      "payload_hex": "20c0",
      "size": 7,
      "valid_bits": 11,
      "window": 8
    },
    {
      "bits": "00100000110111",
      "cap": 4,
      "case": "length-over-cap",
      "error": "gamma value beyond allowed bound",
      "payload_hex": "20dc",
      "size": 7,
      "valid_bits": 14,
      "window": 8
    },
    {
      "bits": "00100000100100001011011",
      "cap": 3,
      "case": "distance-over-window",
      "error": "gamma value beyond allowed bound",
      "payload_hex": "2090b6",
      "size": 5,
      "valid_bits": 23,
      "window": 2
    },
    {
      "bits": "111",
      "cap": 3,
      "case": "match-before-output",
      "error": "gamma value has empty domain",
      "payload_hex": "e0",
      "size": 3,
      "valid_bits": 3,
      "window": 8
    },
    {
      "bits": "00100000110111",
      "cap": 18,
      "case": "length-over-remaining-output",
      "error": "gamma value beyond allowed bound",
      "payload_hex": "20dc",
      "size": 5,
      "valid_bits": 14,
      "window": 8
    },
    {
      "bits": "0010000010",
      "cap": 18,
      "case": "trailing-valid-bit",
      "error": "trailing valid bits",
      "payload_hex": "2080",
      "size": 1,
      "valid_bits": 10,
      "window": 8
    },
    {
      "bits": "001000001001000010110",
      "cap": 3,
      "case": "truncated-distance-gamma",
      "error": "truncated gamma",
      "payload_hex": "2090b0",
      "size": 5,
      "valid_bits": 21,
      "window": 2
    },
    {
      "bits": "0010000011000",
      "cap": 18,
      "case": "oversized-gamma-zero-prefix",
      "error": "gamma value beyond allowed bound",
      "payload_hex": "20c0",
      "size": 7,
      "valid_bits": 13,
      "window": 8
    }
  ],
  "scope": "Author cross-check, not independent review; payload requires external valid-bit count, size, window and cap; not DEFLATE.",
  "seven_A": {
    "greedy_payload": {
      "bits": "0010000011001001",
      "payload_hex": "20c9",
      "valid_bits": 16
    },
    "greedy_tokens": [
      [
        "L",
        65
      ],
      [
        "M",
        6,
        1
      ]
    ],
    "optimal": {
      "cost": 15,
      "decisions": [
        [
          "L",
          65
        ],
        [
          "M",
          3,
          1
        ],
        [
          "M",
          5,
          1
        ],
        [
          "M",
          4,
          1
        ],
        [
          "M",
          3,
          1
        ],
        [
          "L",
          65
        ],
        [
          "L",
          65
        ]
      ],
      "distance_bands": [
        {
          "exponent": 0,
          "matches": [
            [
              0,
              null
            ],
            [
              6,
              0
            ],
            [
              5,
              1
            ],
            [
              4,
              2
            ],
            [
              3,
              3
            ],
            [
              2,
              4
            ],
            [
              1,
              5
            ]
          ],
          "range": [
            1,
            1
          ]
        },
        {
          "exponent": 1,
          "matches": [
            [
              0,
              null
            ],
            [
              0,
              null
            ],
            [
              5,
              0
            ],
            [
              4,
              1
            ],
            [
              3,
              2
            ],
            [
              2,
              3
            ],
            [
              1,
              4
            ]
          ],
          "range": [
            2,
            3
          ]
        },
        {
          "exponent": 2,
          "matches": [
            [
              0,
              null
            ],
            [
              0,
              null
            ],
            [
              0,
              null
            ],
            [
              0,
              null
            ],
            [
              3,
              0
            ],
            [
              2,
              1
            ],
            [
              1,
              2
            ]
          ],
          "range": [
            4,
            6
          ]
        }
      ],
      "dp": [
        15,
        6,
        5,
        5,
        3,
        18,
        9,
        0
      ],
      "tokens": [
        [
          "L",
          65
        ],
        [
          "M",
          3,
          1
        ],
        [
          "M",
          3,
          1
        ]
      ],
      "trace": [
        {
          "best_destination": 7,
          "destination_range": [
            7,
            8
          ],
          "distance_band": [
            1,
            1
          ],
          "length_interval": [
            3,
            3
          ],
          "max_length": 3,
          "position": 4,
          "suffix_bits": 0,
          "token_bits": 3,
          "total_bits": 3,
          "witness": 3
        },
        {
          "best_destination": 7,
          "destination_range": [
            7,
            8
          ],
          "distance_band": [
            2,
            3
          ],
          "length_interval": [
            3,
            3
          ],
          "max_length": 3,
          "position": 4,
          "suffix_bits": 0,
          "token_bits": 5,
          "total_bits": 5,
          "witness": 2
        },
        {
          "best_destination": 7,
          "destination_range": [
            7,
            8
          ],
          "distance_band": [
            4,
            6
          ],
          "length_interval": [
            3,
            3
          ],
          "max_length": 3,
          "position": 4,
          "suffix_bits": 0,
          "token_bits": 7,
          "total_bits": 7,
          "witness": 0
        },
        {
          "best_destination": 6,
          "destination_range": [
            6,
            7
          ],
          "distance_band": [
            1,
            1
          ],
          "length_interval": [
            3,
            3
          ],
          "max_length": 4,
          "position": 3,
          "suffix_bits": 9,
          "token_bits": 3,
          "total_bits": 12,
          "witness": 2
        },
        {
          "best_destination": 7,
          "destination_range": [
            7,
            8
          ],
          "distance_band": [
            1,
            1
          ],
          "length_interval": [
            4,
            4
          ],
          "max_length": 4,
          "position": 3,
          "suffix_bits": 0,
          "token_bits": 5,
          "total_bits": 5,
          "witness": 2
        },
        {
          "best_destination": 6,
          "destination_range": [
            6,
            7
          ],
          "distance_band": [
            2,
            3
          ],
          "length_interval": [
            3,
            3
          ],
          "max_length": 4,
          "position": 3,
          "suffix_bits": 9,
          "token_bits": 5,
          "total_bits": 14,
          "witness": 1
        },
        {
          "best_destination": 7,
          "destination_range": [
            7,
            8
          ],
          "distance_band": [
            2,
            3
          ],
          "length_interval": [
            4,
            4
          ],
          "max_length": 4,
          "position": 3,
          "suffix_bits": 0,
          "token_bits": 7,
          "total_bits": 7,
          "witness": 1
        },
        {
          "best_destination": 5,
          "destination_range": [
            5,
            6
          ],
          "distance_band": [
            1,
            1
          ],
          "length_interval": [
            3,
            3
          ],
          "max_length": 5,
          "position": 2,
          "suffix_bits": 18,
          "token_bits": 3,
          "total_bits": 21,
          "witness": 1
        },
        {
          "best_destination": 7,
          "destination_range": [
            6,
            8
          ],
          "distance_band": [
            1,
            1
          ],
          "length_interval": [
            4,
            5
          ],
          "max_length": 5,
          "position": 2,
          "suffix_bits": 0,
          "token_bits": 5,
          "total_bits": 5,
          "witness": 1
        },
        {
          "best_destination": 5,
          "destination_range": [
            5,
            6
          ],
          "distance_band": [
            2,
            3
          ],
          "length_interval": [
            3,
            3
          ],
          "max_length": 5,
          "position": 2,
          "suffix_bits": 18,
          "token_bits": 5,
          "total_bits": 23,
          "witness": 0
        },
        {
          "best_destination": 7,
          "destination_range": [
            6,
            8
          ],
          "distance_band": [
            2,
            3
          ],
          "length_interval": [
            4,
            5
          ],
          "max_length": 5,
          "position": 2,
          "suffix_bits": 0,
          "token_bits": 7,
          "total_bits": 7,
          "witness": 0
        },
        {
          "best_destination": 4,
          "destination_range": [
            4,
            5
          ],
          "distance_band": [
            1,
            1
          ],
          "length_interval": [
            3,
            3
          ],
          "max_length": 6,
          "position": 1,
          "suffix_bits": 3,
          "token_bits": 3,
          "total_bits": 6,
          "witness": 0
        },
        {
          "best_destination": 6,
          "destination_range": [
            5,
            7
          ],
          "distance_band": [
            1,
            1
          ],
          "length_interval": [
            4,
            5
          ],
          "max_length": 6,
          "position": 1,
          "suffix_bits": 9,
          "token_bits": 5,
          "total_bits": 14,
          "witness": 0
        },
        {
          "best_destination": 7,
          "destination_range": [
            7,
            8
          ],
          "distance_band": [
            1,
            1
          ],
          "length_interval": [
            6,
            6
          ],
          "max_length": 6,
          "position": 1,
          "suffix_bits": 0,
          "token_bits": 7,
          "total_bits": 7,
          "witness": 0
        }
      ]
    },
    "optimal_payload": {
      "bits": "001000001111111",
      "payload_hex": "20fe",
      "valid_bits": 15
    }
  },
  "status": "PASS"
}