{
  "status": "passed",
  "checks": [
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 1, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 1, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 1, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 2, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 2, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 2, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 3, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 3, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 3, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 1, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 1, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 1, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 2, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 2, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 2, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 3, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 3, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 3, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 1, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 1, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 1, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 2, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 2, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 2, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 3, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 3, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 3, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (1, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (2, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 1, 1, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 1, 1, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 1, 1, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 1, 2, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 1, 2, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 1, 2, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 1, 3, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 1, 3, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 1, 3, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 2, 1, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 2, 1, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 2, 1, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 2, 2, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 2, 2, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 2, 2, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 2, 3, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 2, 3, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 2, 3, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 3, 1, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 3, 1, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 3, 1, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 3, 2, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 3, 2, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 3, 2, 3)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 3, 3, 1)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 3, 3, 2)",
      "passed": true
    },
    {
      "name": "all-target live solver and original-ID witnesses vs independent binary-choice oracle (3, 3, 3, 3)",
      "passed": true
    },
    {
      "name": "original-ID positive proposals exact for repeated_sixty_four",
      "passed": true
    },
    {
      "name": "source-program/non-count solver status explicit for repeated_sixty_four",
      "passed": true
    },
    {
      "name": "original-ID positive proposals exact for duplicate_value_identities",
      "passed": true
    },
    {
      "name": "source-program/non-count solver status explicit for duplicate_value_identities",
      "passed": true
    },
    {
      "name": "original-ID positive proposals exact for even_values_odd_target",
      "passed": true
    },
    {
      "name": "source-program/non-count solver status explicit for even_values_odd_target",
      "passed": true
    },
    {
      "name": "original-ID positive proposals exact for thirty_two_distinct_powers",
      "passed": true
    },
    {
      "name": "source-program/non-count solver status explicit for thirty_two_distinct_powers",
      "passed": true
    },
    {
      "name": "original-ID positive proposals exact for greedy_largest_trap",
      "passed": true
    },
    {
      "name": "source-program/non-count solver status explicit for greedy_largest_trap",
      "passed": true
    },
    {
      "name": "original-ID positive proposals exact for beyond_total",
      "passed": true
    },
    {
      "name": "source-program/non-count solver status explicit for beyond_total",
      "passed": true
    },
    {
      "name": "original-ID positive proposals exact for empty_zero",
      "passed": true
    },
    {
      "name": "source-program/non-count solver status explicit for empty_zero",
      "passed": true
    },
    {
      "name": "original-ID positive proposals exact for reference_budget_positive_witness",
      "passed": true
    },
    {
      "name": "source-program/non-count solver status explicit for reference_budget_positive_witness",
      "passed": true
    },
    {
      "name": "original-ID positive proposals exact for conservative_integer_boundary",
      "passed": true
    },
    {
      "name": "source-program/non-count solver status explicit for conservative_integer_boundary",
      "passed": true
    },
    {
      "name": "original-ID positive proposals exact for larger_python_integer_range",
      "passed": true
    },
    {
      "name": "source-program/non-count solver status explicit for larger_python_integer_range",
      "passed": true
    },
    {
      "name": "existing solver handles repeated case with checked witness and exact binomial reference",
      "passed": true
    },
    {
      "name": "solver satisfaction status does not erase duplicate-value multiplicity",
      "passed": true
    },
    {
      "name": "reference budget remains unknown count while exact checked positive is sufficient",
      "passed": true
    },
    {
      "name": "thirty-two distinct powers finite reference stops without fabricating count",
      "passed": true
    },
    {
      "name": "large exact Python inputs are unsupported by adapter rather than rounded",
      "passed": true
    },
    {
      "name": "conservative total boundary is accepted exactly",
      "passed": true
    },
    {
      "name": "invalid solver duration refused 0",
      "passed": true
    },
    {
      "name": "invalid solver duration refused -1",
      "passed": true
    },
    {
      "name": "invalid solver duration refused 11",
      "passed": true
    },
    {
      "name": "invalid solver duration refused True",
      "passed": true
    },
    {
      "name": "invalid solver duration refused nan",
      "passed": true
    },
    {
      "name": "invalid solver duration refused inf",
      "passed": true
    },
    {
      "name": "invalid solver duration refused '2'",
      "passed": true
    }
  ],
  "exhaustive_value_words": 117,
  "live_method_target_queries": 1080,
  "independent_oracle": "explicit binary index-choice sum set for all positive value words 1..3 of lengths 2..4",
  "scope": "Live solver model/witness and typed range/budget checks; source proofs and practical reconciliation requirements remain unvalidated."
}