{
  "claim_id": "illustrative-sampled-eigenvalue-nonlinear-stability-claim",
  "contract_id": "325-complete-polynomial-numerical-range",
  "family": "325",
  "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "statement_type": "finite_complete_Crouzeix_polynomial_inequality",
  "documentary_gap_count": 17,
  "issues": [
    {
      "code": "MODEL_SCOPE_MISMATCH",
      "message": "The declared norm_model differs from the reviewed theorem model; a separate bridge is needed.",
      "obligation": "norm_model"
    },
    {
      "code": "MODEL_SCOPE_MISMATCH",
      "message": "The declared comparison_domain differs from the reviewed theorem model; a separate bridge is needed.",
      "obligation": "comparison_domain"
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: eigenvalue_maximum_bounds_arbitrary_nonnormal_norm."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: sampled_boundary_max_is_rigorous_upper."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: finite_test_agreement_accepts_source_theorem."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: general_nonlinear_stability_from_polynomial_norm."
    },
    {
      "code": "ADDITIONAL_RESULT_REQUIRED",
      "message": "The reviewed statement does not supply the claimed use: production_speedup_from_sharper_constant."
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "matrix_input_and_Euclidean_norm_model_fit"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "matrix_coefficient_tensor_order_preserved"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "rigorous_outer_enclosure_of_entire_numerical_range"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "covered_supremum_bound_with_matrix_norm_and_error_control"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "arithmetic_rounding_input_uncertainty_and_budget_accounted"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "new_source_constant_separate_from_published_prior_bound"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "finite_reference_not_formally_verified_source_program"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "error_polynomial_target_and_physical_or_discretization_bridge"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "source_proof_imports_and_independent_check_status_recorded"
    },
    {
      "code": "OBLIGATION_UNKNOWN",
      "message": "A material theorem or engineering obligation remains undocumented or unknown.",
      "obligation": "existing_direct_norm_cost_and_actual_workflow_value_compared"
    }
  ],
  "documentary_manifest_complete": false,
  "mathematical_applicability_certified": false,
  "independent_proof_verification": "not_run",
  "evidence_contents_verified": false,
  "interpretation": "A complete manifest is only documentary completeness; supplied statuses and references are not independently established."
}