{
  "claim_id": "self-authored-pilot-06",
  "contract_id": "254-artin-membership",
  "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "requested_evidence_label": "independently_verified",
  "model": {
    "group_class": "finite_rank_Artin",
    "input_model": "coxeter_matrix_subset_conjugator_word_test_word",
    "arithmetic_model": "approximate_complex_float"
  },
  "claimed_uses": [
    "polynomial_runtime",
    "production_speedup",
    "lean_verified_membership_algorithm"
  ],
  "fixture_origin": "self_authored_synthetic_review_scenario",
  "claim_text": "A numerical coefficient backend is independently verified to implement polynomial-time membership in every finite-rank Artin parabolic.",
  "supplied_statuses_are_synthetic": false,
  "obligations": [
    {
      "id": "valid_finite_coxeter_matrix",
      "status": "unknown",
      "evidence_ids": []
    },
    {
      "id": "exact_word_and_parabolic_input",
      "status": "unknown",
      "evidence_ids": []
    },
    {
      "id": "categorical_detector_implementation",
      "status": "unknown",
      "evidence_ids": []
    },
    {
      "id": "exact_coefficient_field",
      "status": "unknown",
      "evidence_ids": []
    },
    {
      "id": "complex_size_and_coefficient_growth_measured",
      "status": "unknown",
      "evidence_ids": []
    },
    {
      "id": "external_kernel_trust_record",
      "status": "unknown",
      "evidence_ids": []
    }
  ],
  "evidence": []
}