{
  "checks": [
    {
      "name": "word_0_()",
      "passed": true
    },
    {
      "name": "word_1_(0,)",
      "passed": true
    },
    {
      "name": "word_1_(1,)",
      "passed": true
    },
    {
      "name": "word_1_(2,)",
      "passed": true
    },
    {
      "name": "word_2_(0, 0)",
      "passed": true
    },
    {
      "name": "word_2_(0, 1)",
      "passed": true
    },
    {
      "name": "word_2_(0, 2)",
      "passed": true
    },
    {
      "name": "word_2_(1, 0)",
      "passed": true
    },
    {
      "name": "word_2_(1, 1)",
      "passed": true
    },
    {
      "name": "word_2_(1, 2)",
      "passed": true
    },
    {
      "name": "word_2_(2, 0)",
      "passed": true
    },
    {
      "name": "word_2_(2, 1)",
      "passed": true
    },
    {
      "name": "word_2_(2, 2)",
      "passed": true
    },
    {
      "name": "word_3_(0, 0, 0)",
      "passed": true
    },
    {
      "name": "word_3_(0, 0, 1)",
      "passed": true
    },
    {
      "name": "word_3_(0, 0, 2)",
      "passed": true
    },
    {
      "name": "word_3_(0, 1, 0)",
      "passed": true
    },
    {
      "name": "word_3_(0, 1, 1)",
      "passed": true
    },
    {
      "name": "word_3_(0, 1, 2)",
      "passed": true
    },
    {
      "name": "word_3_(0, 2, 0)",
      "passed": true
    },
    {
      "name": "word_3_(0, 2, 1)",
      "passed": true
    },
    {
      "name": "word_3_(0, 2, 2)",
      "passed": true
    },
    {
      "name": "word_3_(1, 0, 0)",
      "passed": true
    },
    {
      "name": "word_3_(1, 0, 1)",
      "passed": true
    },
    {
      "name": "word_3_(1, 0, 2)",
      "passed": true
    },
    {
      "name": "word_3_(1, 1, 0)",
      "passed": true
    },
    {
      "name": "word_3_(1, 1, 1)",
      "passed": true
    },
    {
      "name": "word_3_(1, 1, 2)",
      "passed": true
    },
    {
      "name": "word_3_(1, 2, 0)",
      "passed": true
    },
    {
      "name": "word_3_(1, 2, 1)",
      "passed": true
    },
    {
      "name": "word_3_(1, 2, 2)",
      "passed": true
    },
    {
      "name": "word_3_(2, 0, 0)",
      "passed": true
    },
    {
      "name": "word_3_(2, 0, 1)",
      "passed": true
    },
    {
      "name": "word_3_(2, 0, 2)",
      "passed": true
    },
    {
      "name": "word_3_(2, 1, 0)",
      "passed": true
    },
    {
      "name": "word_3_(2, 1, 1)",
      "passed": true
    },
    {
      "name": "word_3_(2, 1, 2)",
      "passed": true
    },
    {
      "name": "word_3_(2, 2, 0)",
      "passed": true
    },
    {
      "name": "word_3_(2, 2, 1)",
      "passed": true
    },
    {
      "name": "word_3_(2, 2, 2)",
      "passed": true
    },
    {
      "name": "word_4_(0, 0, 0, 0)",
      "passed": true
    },
    {
      "name": "word_4_(0, 0, 0, 1)",
      "passed": true
    },
    {
      "name": "word_4_(0, 0, 0, 2)",
      "passed": true
    },
    {
      "name": "word_4_(0, 0, 1, 0)",
      "passed": true
    },
    {
      "name": "word_4_(0, 0, 1, 1)",
      "passed": true
    },
    {
      "name": "word_4_(0, 0, 1, 2)",
      "passed": true
    },
    {
      "name": "word_4_(0, 0, 2, 0)",
      "passed": true
    },
    {
      "name": "word_4_(0, 0, 2, 1)",
      "passed": true
    },
    {
      "name": "word_4_(0, 0, 2, 2)",
      "passed": true
    },
    {
      "name": "word_4_(0, 1, 0, 0)",
      "passed": true
    },
    {
      "name": "word_4_(0, 1, 0, 1)",
      "passed": true
    },
    {
      "name": "word_4_(0, 1, 0, 2)",
      "passed": true
    },
    {
      "name": "word_4_(0, 1, 1, 0)",
      "passed": true
    },
    {
      "name": "word_4_(0, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "word_4_(0, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "word_4_(0, 1, 2, 0)",
      "passed": true
    },
    {
      "name": "word_4_(0, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "word_4_(0, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "word_4_(0, 2, 0, 0)",
      "passed": true
    },
    {
      "name": "word_4_(0, 2, 0, 1)",
      "passed": true
    },
    {
      "name": "word_4_(0, 2, 0, 2)",
      "passed": true
    },
    {
      "name": "word_4_(0, 2, 1, 0)",
      "passed": true
    },
    {
      "name": "word_4_(0, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "word_4_(0, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "word_4_(0, 2, 2, 0)",
      "passed": true
    },
    {
      "name": "word_4_(0, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "word_4_(0, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "word_4_(1, 0, 0, 0)",
      "passed": true
    },
    {
      "name": "word_4_(1, 0, 0, 1)",
      "passed": true
    },
    {
      "name": "word_4_(1, 0, 0, 2)",
      "passed": true
    },
    {
      "name": "word_4_(1, 0, 1, 0)",
      "passed": true
    },
    {
      "name": "word_4_(1, 0, 1, 1)",
      "passed": true
    },
    {
      "name": "word_4_(1, 0, 1, 2)",
      "passed": true
    },
    {
      "name": "word_4_(1, 0, 2, 0)",
      "passed": true
    },
    {
      "name": "word_4_(1, 0, 2, 1)",
      "passed": true
    },
    {
      "name": "word_4_(1, 0, 2, 2)",
      "passed": true
    },
    {
      "name": "word_4_(1, 1, 0, 0)",
      "passed": true
    },
    {
      "name": "word_4_(1, 1, 0, 1)",
      "passed": true
    },
    {
      "name": "word_4_(1, 1, 0, 2)",
      "passed": true
    },
    {
      "name": "word_4_(1, 1, 1, 0)",
      "passed": true
    },
    {
      "name": "word_4_(1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "word_4_(1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "word_4_(1, 1, 2, 0)",
      "passed": true
    },
    {
      "name": "word_4_(1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "word_4_(1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "word_4_(1, 2, 0, 0)",
      "passed": true
    },
    {
      "name": "word_4_(1, 2, 0, 1)",
      "passed": true
    },
    {
      "name": "word_4_(1, 2, 0, 2)",
      "passed": true
    },
    {
      "name": "word_4_(1, 2, 1, 0)",
      "passed": true
    },
    {
      "name": "word_4_(1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "word_4_(1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "word_4_(1, 2, 2, 0)",
      "passed": true
    },
    {
      "name": "word_4_(1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "word_4_(1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "word_4_(2, 0, 0, 0)",
      "passed": true
    },
    {
      "name": "word_4_(2, 0, 0, 1)",
      "passed": true
    },
    {
      "name": "word_4_(2, 0, 0, 2)",
      "passed": true
    },
    {
      "name": "word_4_(2, 0, 1, 0)",
      "passed": true
    },
    {
      "name": "word_4_(2, 0, 1, 1)",
      "passed": true
    },
    {
      "name": "word_4_(2, 0, 1, 2)",
      "passed": true
    },
    {
      "name": "word_4_(2, 0, 2, 0)",
      "passed": true
    },
    {
      "name": "word_4_(2, 0, 2, 1)",
      "passed": true
    },
    {
      "name": "word_4_(2, 0, 2, 2)",
      "passed": true
    },
    {
      "name": "word_4_(2, 1, 0, 0)",
      "passed": true
    },
    {
      "name": "word_4_(2, 1, 0, 1)",
      "passed": true
    },
    {
      "name": "word_4_(2, 1, 0, 2)",
      "passed": true
    },
    {
      "name": "word_4_(2, 1, 1, 0)",
      "passed": true
    },
    {
      "name": "word_4_(2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "word_4_(2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "word_4_(2, 1, 2, 0)",
      "passed": true
    },
    {
      "name": "word_4_(2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "word_4_(2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "word_4_(2, 2, 0, 0)",
      "passed": true
    },
    {
      "name": "word_4_(2, 2, 0, 1)",
      "passed": true
    },
    {
      "name": "word_4_(2, 2, 0, 2)",
      "passed": true
    },
    {
      "name": "word_4_(2, 2, 1, 0)",
      "passed": true
    },
    {
      "name": "word_4_(2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "word_4_(2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "word_4_(2, 2, 2, 0)",
      "passed": true
    },
    {
      "name": "word_4_(2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "word_4_(2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "fixed_label_startup_2",
      "passed": true
    },
    {
      "name": "fixed_label_startup_4",
      "passed": true
    },
    {
      "name": "fixed_label_startup_8",
      "passed": true
    },
    {
      "name": "fixed_label_startup_16",
      "passed": true
    },
    {
      "name": "fixed_label_startup_30",
      "passed": true
    },
    {
      "name": "fixed_label_startup_64",
      "passed": true
    },
    {
      "name": "movement_budget_unknown",
      "passed": true
    },
    {
      "name": "repeated_initial_positions",
      "passed": true
    },
    {
      "name": "zero_optimum_ratio_undefined",
      "passed": true
    },
    {
      "name": "reject_nonmetric",
      "passed": true
    },
    {
      "name": "reject_asymmetry",
      "passed": true
    },
    {
      "name": "reject_pseudometric",
      "passed": true
    },
    {
      "name": "reject_negative_distance",
      "passed": true
    },
    {
      "name": "reject_bool_label",
      "passed": true
    },
    {
      "name": "reject_bad_request",
      "passed": true
    },
    {
      "name": "reject_numeric_distance",
      "passed": true
    }
  ],
  "total_checks": 137,
  "passed": true,
  "interpretation": "Brute enumeration cross-checks bounded DP and three named policies; no source algorithm or proof validation."
}