{
  "format": "nwqlib.development-claims/1",
  "scope": "Only the four-system-qubit analytical contract specimen; these statuses do not certify the proposed framework or a backend.",
  "claims": [
    {
      "id": "selected-realization-accounting",
      "status": "witnessed",
      "owner": "docs/scripts/contract_specimen.py:fold and lower",
      "claim": "The chosen reference realization drives both the logical recipe and its dynamic inventory.",
      "independent_relation": "HZH=X on each of the three occupied system qubits. Across three settings, direct preparation contributes 9 X; HZH contributes 18 H and 9 Z. A Repeat executes its body count times even when stored once.",
      "falsifier": "Switch to HZH while keeping the direct-X inventory or lowered recipe; undercount a repeated body.",
      "witnesses": ["tests/test_contract_specimen.py::test_selected_realization_changes_dynamic_work"],
      "evidence_kind": "exact algebra and logical structural counts",
      "cost": "Small recipe traversal and fixed-size exact algebra; no simulation or compilation.",
      "unverified": "Native gates, compiler optimizations, runtime, hardware accuracy, and arbitrary block implementations."
    },
    {
      "id": "complete-observation-consumption",
      "status": "witnessed",
      "owner": "docs/scripts/contract_specimen.py:projected_pencil and check",
      "claim": "The m=2 projected result requires all three unknown Chebyshev moments; available contributions survive a partial fixture.",
      "independent_relation": "S11=(mu0+mu2)/2 and H11=5(mu3+3mu1)/4. Missing mu2 leaves the full pencil undetermined by the remaining observations.",
      "falsifier": "Remove degree 2 while keeping a final energy; the legal partial record keeps degrees 1 and 3 and reports the missing contribution.",
      "witnesses": ["tests/test_contract_specimen.py::test_partial_and_ground_evidence_boundaries"],
      "evidence_kind": "exact reconstruction identity and incomplete-evidence case",
      "cost": "A few JSON copies and rational operations.",
      "unverified": "Streaming transport, duplicate remote receipts, finite-shot covariance, and adaptive stopping."
    },
    {
      "id": "ground-identification-boundary",
      "status": "witnessed",
      "owner": "docs/scripts/contract_specimen.py:Result, Provenance, ClaimAssessments and check",
      "claim": "Projected or near-spectrum evidence alone cannot establish the global-ground claim.",
      "independent_relation": "The full spectrum is s plus or minus sqrt(2), s in {-3,-1,1,3}, by commuting tensor factors. The reference |0000> instead has exact sector energies 3 plus or minus sqrt(2), which are excited states despite exact eigenpairs.",
      "falsifier": "Remove the full-spectrum evidence while keeping the ground certificate. A complete projected result must remain legal without that certificate.",
      "witnesses": ["tests/test_contract_specimen.py::test_partial_and_ground_evidence_boundaries", "tests/test_contract_specimen.py::test_exact_sector_moments_and_pencil"],
      "evidence_kind": "independent analytical spectrum and evidence-removal case",
      "cost": "Fixed two-dimensional rational algebra; no full-state solve.",
      "unverified": "Ground identification for general Hamiltonians, finite-shot energy coverage, and device error bounds."
    },
    {
      "id": "content-and-lifecycle-identity",
      "status": "witnessed",
      "owner": "docs/scripts/contract_specimen.py:seal and check",
      "claim": "Changed content or inconsistent references cannot keep a valid artifact chain; fixture evidence does not become executed work.",
      "independent_relation": "A consumer binds the digest of each scientific or execution premise. Planned settings, logical recipes, target compilation, real execution, and exact fixture contributions describe different populations.",
      "falsifier": "Edit a payload without rehashing, leave a stale parent reference, mislink an observation, or change zero real executions into a positive count.",
      "witnesses": ["tests/test_contract_specimen.py::test_digest_and_lifecycle_falsifiers"],
      "evidence_kind": "content-integrity and cross-record lifecycle checks",
      "cost": "Hashing and inspecting a bounded JSON bundle.",
      "unverified": "Remote submission ambiguity, retries, cancellation, budget reservations, concurrent execution, and content-store security."
    },
    {
      "id": "lanczos-scientific-anchor",
      "status": "witnessed",
      "owner": "docs/scripts/contract_specimen.py:projected_pencil; algorithms/lanczos numerical reconstruction and signed readout",
      "claim": "The named analytical fixture has the stated moments and pencil; its analytical distributions enter the current Lanczos decoder and reconstruct the same projected energy.",
      "independent_relation": "On {|1110>,|1111>}, H=[[-2,1],[1,-4]], giving raw moments (1,-2,5,-16), Chebyshev moments (1,-2/5,-3/5,86/125), and det(Hproj-E*S)=(E^2+6E+7)/25. Five Pauli labels require three index qubits; odd/even/odd readouts measure 7/3/7 bits.",
      "falsifier": "Change a moment, normalization, pencil coefficient or signed readout contribution while keeping the same scientific claim.",
      "witnesses": ["tests/test_contract_specimen.py::test_exact_sector_moments_and_pencil", "tests/test_lanczos.py::test_committed_analytical_fixture_enters_current_reconstruction"],
      "evidence_kind": "independent exact algebra and current production reconstruction/readout conformance",
      "cost": "Bounded method planning, analytical histogram decoding and one two-dimensional projected solve; no native circuit, simulation, transpilation or backend calls.",
      "unverified": "The retired seven-qubit builder connection is historical evidence. Current native construction, signed coefficients and other Hamiltonians have separate method witnesses; this specimen does not establish large-scale accuracy, compiler memory or target performance."
    }
  ],
  "remaining_design_scope": [
    "Vendor-SDK-free production records and Algorithm protocol",
    "General symbolic planning, error allocation, and bounded realization comparison",
    "Calibrated device assessment and budget admission with resource lifetimes",
    "Target preparation and execution receipts",
    "LCHS physical-norm recovery, QLS observable reconstruction, and other algorithm witnesses",
    "Streaming materialization, scalar-output data_storage, and FT logical metrics",
    "Backend and simulator work remains separately deferred"
  ]
}