{
  "claim_id": "self-authored-pilot-10",
  "contract_id": "103-logspace-language-equality",
  "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "requested_evidence_label": "source_claim",
  "model": {
    "input_model": "binary_language",
    "machine_model": "finite_control_endmarked_input_local_binary_work_tapes",
    "randomness_model": "fresh_independent_fair_bits",
    "space_model": "all_traversed_writable_cells",
    "randomized_time_model": "polynomial_worst_case_all_coin_tapes"
  },
  "claimed_uses": [],
  "fixture_origin": "self_authored_synthetic_review_scenario",
  "claim_text": "A hypothetical record declares only binary-language class equality with the source machine/resource/acceptance model; every required documentary status is supplied for a completeness control.",
  "supplied_statuses_are_synthetic": true,
  "obligations": [
    {
      "id": "exact_machine_semantics_mapping",
      "status": "supported",
      "evidence_ids": [
        "synthetic-status-control"
      ]
    },
    {
      "id": "fixed_machine_time_and_space_promises",
      "status": "supported",
      "evidence_ids": [
        "synthetic-status-control"
      ]
    },
    {
      "id": "rl_or_bpl_acceptance_gap",
      "status": "supported",
      "evidence_ids": [
        "synthetic-status-control"
      ]
    },
    {
      "id": "language_decision_not_random_sample_output",
      "status": "supported",
      "evidence_ids": [
        "synthetic-status-control"
      ]
    },
    {
      "id": "compiler_and_numerical_time_bounds_separately_reviewed",
      "status": "supported",
      "evidence_ids": [
        "synthetic-status-control"
      ]
    },
    {
      "id": "independent_check_status_recorded",
      "status": "supported",
      "evidence_ids": [
        "synthetic-status-control"
      ]
    }
  ],
  "evidence": [
    {
      "id": "synthetic-status-control",
      "reference": "Synthetic status declarations explained in source-card.md; not independent support",
      "contents_verified": false
    }
  ]
}