{
 "schema": "vela.frontier-twin.v0.1",
 "what": "Machine twin of the frontier page family: the same loader output the human pages render, re-serialized. The page footer prints this document's sha256 as computed at bake.",
 "slug": "quantum-codes",
 "vfr_id": "vfr_001f148c07eebecb",
 "name": "Quantum codes: stabilizer [[n,k,d]] certificates",
 "head": {
  "id": "vev_37ec53921b78c6e0",
  "after_hash": "sha256:56c6a418cb9f79462249f28a7fcbde52baef8b358c64ef5ea9c05ebb186187ba"
 },
 "reproduce": "vela reproduce projects/quantum-codes",
 "snapshot_hash": null,
 "stats": {
  "avg_confidence": 0.876,
  "categories": {
   "computational": 4,
   "open_question": 1
  },
  "condition_record_count": 5,
  "confidence_distribution": {
   "high_gt_80": 4,
   "low_lt_60": 1,
   "medium_60_80": 0
  },
  "confidence_update_count": 0,
  "contested": 0,
  "event_count": 6,
  "evidence_atom_count": 5,
  "findings": 5,
  "gaps": 0,
  "human_reviewed": 0,
  "link_types": {},
  "links": 0,
  "negative_space": 0,
  "proposal_count": 6,
  "replicated": 0,
  "review_event_count": 5,
  "source_count": 5,
  "unreplicated": 5
 },
 "frontier": {
  "compiled_at": "2026-06-02T23:37:31Z",
  "compiler": "vela/0.691.0",
  "dependencies": [],
  "description": "",
  "errors": 0,
  "name": "Quantum codes: stabilizer [[n,k,d]] certificates",
  "papers_processed": 0
 },
 "proof_state": {
  "latest_packet": {
   "event_log_hash": null,
   "generated_at": null,
   "packet_manifest_hash": null,
   "snapshot_hash": null,
   "status": "never_exported"
  }
 },
 "actors": [
  {
   "algorithm": "ed25519",
   "created_at": "2026-06-10T06:16:10.577486+00:00",
   "id": "reviewer:will-blair",
   "public_key": "4892f93877e637b5f59af31d9ec6704814842fb278cacb0eb94704baef99455e"
  }
 ],
 "events": [
  {
   "k": 0,
   "actor": {
    "id": "reviewer:will-blair",
    "type": "human"
   },
   "after_hash": "sha256:null",
   "before_hash": "sha256:null",
   "caveats": [],
   "id": "vev_99715ce20164c3e4",
   "kind": "artifact.asserted",
   "payload": {
    "artifact": {
     "access_tier": "public",
     "content_hash": "sha256:7134a5134ebfe7229373db39c725690695a2efb9b0408141a110e13793e328cf",
     "created": "2026-06-02T23:40:00.000000+00:00",
     "id": "va_ce1b6b35c3c0bb68",
     "kind": "code",
     "license": "public source locator; no restricted bytes deposited",
     "locator": "projects/quantum-codes/.vela/workspaces/vtask_a1b2c3d4e5f60718/certificates.json",
     "media_type": "application/json",
     "metadata": {
      "artifact_packet_id": "cap_a1b2c3d4e5f60718",
      "exit_code": 0,
      "external_artifact_id": "va_qcverify00000001",
      "method": "exact recomputation of k = n - rank and distance d (lightest logical) over the full Pauli group",
      "parent_artifact_ids": [],
      "producer_agent": "adapter:stabilizer-code-verifier",
      "task": "vtask_a1b2c3d4e5f60718",
      "topic": "Certified [[n,k,d]] parameters of small stabilizer quantum codes",
      "verifier": "verify.py"
     },
     "name": "Frozen stabilizer-code verifier and certificate set ([[4,2,2]], [[5,1,3]], [[7,1,3]], [[9,1,3]])",
     "provenance": {
      "authors": [
       {
        "name": "Stabilizer code frozen verifier",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-06-02T23:40:00.000000+00:00",
       "extractor_version": "vela/0.691.0",
       "method": "artifact_to_state_import",
       "model": "adapter:stabilizer-code-verifier",
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "publisher": "artifact packet",
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "model_output",
      "title": "cap_a1b2c3d4e5f60718 · Frozen stabilizer-code verifier and certificate set ([[4,2,2]], [[5,1,3]], [[7,1,3]], [[9,1,3]])",
      "url": "projects/quantum-codes/.vela/workspaces/vtask_a1b2c3d4e5f60718/certificates.json",
      "year": null
     },
     "retracted": false,
     "source_url": "projects/quantum-codes/.vela/workspaces/vtask_a1b2c3d4e5f60718/certificates.json",
     "storage_mode": "remote",
     "target_findings": [
      "vf_916a76afc89cce11",
      "vf_d5782594d6fabd80",
      "vf_b6c315bb1ecb182d",
      "vf_f682d49c4214bdbc",
      "vf_00940b13c44c9822"
     ]
    },
    "proposal_id": "vpr_f7dad07500216d3c"
   },
   "reason": "Import artifact va_qcverify00000001 from artifact packet cap_a1b2c3d4e5f60718",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "va_ce1b6b35c3c0bb68",
    "type": "artifact"
   },
   "timestamp": "2026-06-02T23:37:53.241227+00:00"
  },
  {
   "k": 1,
   "actor": {
    "id": "reviewer:will-blair",
    "type": "human"
   },
   "after_hash": "sha256:192b24b3e788b1af9a501c10b782c3967288d2d5f1e777fb6c062a198dea3928",
   "before_hash": "sha256:null",
   "caveats": [
    "Parameters recomputed by a frozen brute-force verifier over the full Pauli group; exit 0.",
    "Agent output is source material until reviewer acceptance."
   ],
   "id": "vev_9bd7e81ab409052b",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_7313028c1077b829"
   },
   "reason": "Candidate claim vc_qc4220000000001 imported from artifact packet cap_a1b2c3d4e5f60718",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_916a76afc89cce11",
    "type": "finding"
   },
   "timestamp": "2026-06-02T23:37:53.259364+00:00"
  },
  {
   "k": 2,
   "actor": {
    "id": "reviewer:will-blair",
    "type": "human"
   },
   "after_hash": "sha256:cc0e470579554205684c5645a5df4b38a3711017277aee06870ec42acc530899",
   "before_hash": "sha256:null",
   "caveats": [
    "Distance recomputed exactly; optimality at n=5 follows the quantum Hamming bound.",
    "Agent output is source material until reviewer acceptance."
   ],
   "id": "vev_26d7be1c5f37810f",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_1f4196a6758e1b4b"
   },
   "reason": "Candidate claim vc_qc5130000000001 imported from artifact packet cap_a1b2c3d4e5f60718",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_d5782594d6fabd80",
    "type": "finding"
   },
   "timestamp": "2026-06-02T23:37:53.276687+00:00"
  },
  {
   "k": 3,
   "actor": {
    "id": "reviewer:will-blair",
    "type": "human"
   },
   "after_hash": "sha256:16d9a9fc869467d2b9b8efd2593ae3bd08d0c6cf0ef8fbef0c185c5f419440f6",
   "before_hash": "sha256:null",
   "caveats": [
    "Parameters recomputed by the frozen verifier; exit 0.",
    "Agent output is source material until reviewer acceptance."
   ],
   "id": "vev_a94dcf02290ecc47",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_ab419cca4a99a8ea"
   },
   "reason": "Candidate claim vc_qc7130000000001 imported from artifact packet cap_a1b2c3d4e5f60718",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_b6c315bb1ecb182d",
    "type": "finding"
   },
   "timestamp": "2026-06-02T23:37:53.295845+00:00"
  },
  {
   "k": 4,
   "actor": {
    "id": "reviewer:will-blair",
    "type": "human"
   },
   "after_hash": "sha256:abe42526de2454b5ad137d2b73dda2b534894f605df7a8429d145db2ff2c4eea",
   "before_hash": "sha256:null",
   "caveats": [
    "Parameters recomputed by the frozen verifier; exit 0.",
    "Agent output is source material until reviewer acceptance."
   ],
   "id": "vev_a3e4c0807a64b32d",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_48bd2c2afdb23008"
   },
   "reason": "Candidate claim vc_qc9130000000001 imported from artifact packet cap_a1b2c3d4e5f60718",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_f682d49c4214bdbc",
    "type": "finding"
   },
   "timestamp": "2026-06-02T23:37:53.315230+00:00"
  },
  {
   "k": 5,
   "actor": {
    "id": "reviewer:will-blair",
    "type": "human"
   },
   "after_hash": "sha256:56c6a418cb9f79462249f28a7fcbde52baef8b358c64ef5ea9c05ebb186187ba",
   "before_hash": "sha256:null",
   "caveats": [
    "Recorded as an open frontier edge with a known non-tight band; no resolution is claimed.",
    "Agent output is source material until reviewer acceptance."
   ],
   "id": "vev_37ec53921b78c6e0",
   "kind": "finding.asserted",
   "payload": {
    "proposal_id": "vpr_bbf2f812da2779c8"
   },
   "reason": "Candidate claim vc_qcopen000000001 imported from artifact packet cap_a1b2c3d4e5f60718",
   "schema": "vela.event.v0.1",
   "target": {
    "id": "vf_00940b13c44c9822",
    "type": "finding"
   },
   "timestamp": "2026-06-02T23:37:53.332998+00:00"
  }
 ],
 "findings": [
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "The largest distance of a single-logical-qubit stabilizer code at length 10, [[10,1,d]], is open within the band d in [3,4]; whether a [[10,1,4]] stabilizer code exists is undetermined here.",
    "type": "open_question"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "family:single_logical_qubit; n:10; k:1; d_band:3-4; status:open"
   },
   "confidence": {
    "basis": "agent-imported candidate claim; reviewer acceptance required",
    "extraction_confidence": 0.7,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.5
   },
   "created": "2026-06-02T23:40:00.000000+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [
     {
      "artifact_id": "va_qcverify00000001",
      "artifact_packet_id": "cap_a1b2c3d4e5f60718",
      "candidate_claim_id": "vc_qcopen000000001"
     }
    ],
    "method": "ScienceClaw-shaped artifact packet import",
    "model_system": "agent artifact packet",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "computational"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_00940b13c44c9822",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "Stabilizer code frozen verifier",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-06-02T23:40:00.000000+00:00",
     "extractor_version": "vela/0.691.0",
     "method": "artifact_to_state_import",
     "model": "adapter:stabilizer-code-verifier",
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "publisher": "artifact packet",
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "model_output",
    "title": "cap_a1b2c3d4e5f60718 · vc_qcopen000000001",
    "url": "codetables.de (Grassl)",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "The [[4,2,2]] code with stabilizers XXXX, ZZZZ encodes 2 logical qubits in 4 physical qubits with distance 2, verified by exact recomputation of k and d.",
    "type": "computational"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "family:detection_code; n:4; k:2; d:2; verifier:frozen_pauli_enumeration"
   },
   "confidence": {
    "basis": "agent-imported candidate claim; reviewer acceptance required",
    "extraction_confidence": 0.7,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.97
   },
   "created": "2026-06-02T23:40:00.000000+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [
     {
      "artifact_id": "va_qcverify00000001",
      "artifact_packet_id": "cap_a1b2c3d4e5f60718",
      "candidate_claim_id": "vc_qc4220000000001"
     }
    ],
    "method": "ScienceClaw-shaped artifact packet import",
    "model_system": "agent artifact packet",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "computational"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_916a76afc89cce11",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "Stabilizer code frozen verifier",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-06-02T23:40:00.000000+00:00",
     "extractor_version": "vela/0.691.0",
     "method": "artifact_to_state_import",
     "model": "adapter:stabilizer-code-verifier",
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "publisher": "artifact packet",
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "model_output",
    "title": "cap_a1b2c3d4e5f60718 · vc_qc4220000000001",
    "url": "Gottesman 1997",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "The Steane code [[7,1,3]] (CSS from the [7,4,3] Hamming code) encodes 1 logical qubit in 7 physical qubits with distance 3, verified from its six stabilizer generators.",
    "type": "computational"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "family:CSS; n:7; k:1; d:3; base_code:hamming_7_4_3"
   },
   "confidence": {
    "basis": "agent-imported candidate claim; reviewer acceptance required",
    "extraction_confidence": 0.7,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.97
   },
   "created": "2026-06-02T23:40:00.000000+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [
     {
      "artifact_id": "va_qcverify00000001",
      "artifact_packet_id": "cap_a1b2c3d4e5f60718",
      "candidate_claim_id": "vc_qc7130000000001"
     }
    ],
    "method": "ScienceClaw-shaped artifact packet import",
    "model_system": "agent artifact packet",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "computational"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_b6c315bb1ecb182d",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "Stabilizer code frozen verifier",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-06-02T23:40:00.000000+00:00",
     "extractor_version": "vela/0.691.0",
     "method": "artifact_to_state_import",
     "model": "adapter:stabilizer-code-verifier",
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "publisher": "artifact packet",
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "model_output",
    "title": "cap_a1b2c3d4e5f60718 · vc_qc7130000000001",
    "url": "Steane 1996",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "The perfect five-qubit code [[5,1,3]] (cyclic stabilizers XZZXI and rotations) encodes 1 logical qubit in 5 physical qubits with distance 3, and is optimal at its length.",
    "type": "computational"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "family:perfect_code; n:5; k:1; d:3; optimal:true"
   },
   "confidence": {
    "basis": "agent-imported candidate claim; reviewer acceptance required",
    "extraction_confidence": 0.7,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.97
   },
   "created": "2026-06-02T23:40:00.000000+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [
     {
      "artifact_id": "va_qcverify00000001",
      "artifact_packet_id": "cap_a1b2c3d4e5f60718",
      "candidate_claim_id": "vc_qc5130000000001"
     }
    ],
    "method": "ScienceClaw-shaped artifact packet import",
    "model_system": "agent artifact packet",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "computational"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_d5782594d6fabd80",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "Stabilizer code frozen verifier",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-06-02T23:40:00.000000+00:00",
     "extractor_version": "vela/0.691.0",
     "method": "artifact_to_state_import",
     "model": "adapter:stabilizer-code-verifier",
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "publisher": "artifact packet",
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "model_output",
    "title": "cap_a1b2c3d4e5f60718 · vc_qc5130000000001",
    "url": "Laflamme, Miquel, Paz, Zurek 1996",
    "year": null
   },
   "updated": null,
   "version": 1
  },
  {
   "assertion": {
    "direction": null,
    "entities": [],
    "relation": null,
    "text": "The Shor code [[9,1,3]] (concatenated bit- and phase-flip repetition) encodes 1 logical qubit in 9 physical qubits with distance 3, verified from its eight stabilizer generators.",
    "type": "computational"
   },
   "conditions": {
    "age_group": null,
    "cell_type": null,
    "clinical_trial": false,
    "concentration_range": null,
    "duration": null,
    "human_data": false,
    "in_vitro": false,
    "in_vivo": false,
    "species_unverified": [],
    "species_verified": [],
    "text": "family:concatenated; n:9; k:1; d:3"
   },
   "confidence": {
    "basis": "agent-imported candidate claim; reviewer acceptance required",
    "extraction_confidence": 0.7,
    "kind": "frontier_epistemic",
    "method": "expert_judgment",
    "score": 0.97
   },
   "created": "2026-06-02T23:40:00.000000+00:00",
   "evidence": {
    "effect_size": null,
    "evidence_spans": [
     {
      "artifact_id": "va_qcverify00000001",
      "artifact_packet_id": "cap_a1b2c3d4e5f60718",
      "candidate_claim_id": "vc_qc9130000000001"
     }
    ],
    "method": "ScienceClaw-shaped artifact packet import",
    "model_system": "agent artifact packet",
    "p_value": null,
    "replicated": false,
    "replication_count": null,
    "sample_size": null,
    "species": null,
    "type": "computational"
   },
   "flags": {
    "contested": false,
    "declining": false,
    "gap": false,
    "gravity_well": false,
    "negative_space": false,
    "retracted": false
   },
   "id": "vf_f682d49c4214bdbc",
   "links": [],
   "previous_version": null,
   "provenance": {
    "authors": [
     {
      "name": "Stabilizer code frozen verifier",
      "orcid": null
     }
    ],
    "citation_count": null,
    "doi": null,
    "extraction": {
     "extracted_at": "2026-06-02T23:40:00.000000+00:00",
     "extractor_version": "vela/0.691.0",
     "method": "artifact_to_state_import",
     "model": "adapter:stabilizer-code-verifier",
     "model_version": null
    },
    "journal": null,
    "openalex_id": null,
    "pmc": null,
    "pmid": null,
    "publisher": "artifact packet",
    "review": {
     "corrections": [],
     "reviewed": false,
     "reviewed_at": null,
     "reviewer": null
    },
    "source_type": "model_output",
    "title": "cap_a1b2c3d4e5f60718 · vc_qc9130000000001",
    "url": "Shor 1995",
    "year": null
   },
   "updated": null,
   "version": 1
  }
 ],
 "proposals": [
  {
   "actor": {
    "id": "agent:stabilizer-code-verifier",
    "type": "agent"
   },
   "agent_run": {
    "agent": "adapter:stabilizer-code-verifier",
    "context": {
     "artifact_packet_id": "cap_a1b2c3d4e5f60718",
     "producer_name": "Stabilizer code frozen verifier",
     "topic": "Certified [[n,k,d]] parameters of small stabilizer quantum codes"
    },
    "model": "external-artifact-runtime",
    "run_id": "cap_a1b2c3d4e5f60718",
    "started_at": "2026-06-02T23:40:00.000000+00:00"
   },
   "applied_event_id": "vev_26d7be1c5f37810f",
   "caveats": [
    "Distance recomputed exactly; optimality at n=5 follows the quantum Hamming bound.",
    "Agent output is source material until reviewer acceptance."
   ],
   "created_at": "2026-06-02T23:37:42.457118+00:00",
   "decision_reason": "Verified stabilizer-code certificate accepted under reviewer authority (frozen verifier exit 0).",
   "id": "vpr_1f4196a6758e1b4b",
   "kind": "finding.add",
   "payload": {
    "artifact_packet": {
     "created_at": "2026-06-02T23:40:00.000000+00:00",
     "packet_id": "cap_a1b2c3d4e5f60718",
     "producer": {
      "id": "adapter:stabilizer-code-verifier",
      "kind": "source_adapter",
      "name": "Stabilizer code frozen verifier"
     },
     "schema": "carina.artifact_packet.v0.1",
     "topic": "Certified [[n,k,d]] parameters of small stabilizer quantum codes"
    },
    "candidate_claim_id": "vc_qc5130000000001",
    "evidence_artifact_ids": [
     "va_qcverify00000001"
    ],
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "The perfect five-qubit code [[5,1,3]] (cyclic stabilizers XZZXI and rotations) encodes 1 logical qubit in 5 physical qubits with distance 3, and is optimal at its length.",
      "type": "computational"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "family:perfect_code; n:5; k:1; d:3; optimal:true"
     },
     "confidence": {
      "basis": "agent-imported candidate claim; reviewer acceptance required",
      "extraction_confidence": 0.7,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.97
     },
     "created": "2026-06-02T23:40:00.000000+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [
       {
        "artifact_id": "va_qcverify00000001",
        "artifact_packet_id": "cap_a1b2c3d4e5f60718",
        "candidate_claim_id": "vc_qc5130000000001"
       }
      ],
      "method": "ScienceClaw-shaped artifact packet import",
      "model_system": "agent artifact packet",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "computational"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_d5782594d6fabd80",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "Stabilizer code frozen verifier",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-06-02T23:40:00.000000+00:00",
       "extractor_version": "vela/0.691.0",
       "method": "artifact_to_state_import",
       "model": "adapter:stabilizer-code-verifier",
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "publisher": "artifact packet",
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "model_output",
      "title": "cap_a1b2c3d4e5f60718 · vc_qc5130000000001",
      "url": "Laflamme, Miquel, Paz, Zurek 1996",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Candidate claim vc_qc5130000000001 imported from artifact packet cap_a1b2c3d4e5f60718",
   "reviewed_at": "2026-06-02T23:37:53.276634+00:00",
   "reviewed_by": "reviewer:will-blair",
   "schema": "vela.proposal.v0.1",
   "source_refs": [
    "Bennett et al. 1996",
    "Laflamme, Miquel, Paz, Zurek 1996",
    "artifact_packet:cap_a1b2c3d4e5f60718",
    "packet_artifact:va_qcverify00000001"
   ],
   "status": "applied",
   "target": {
    "id": "vf_d5782594d6fabd80",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:stabilizer-code-verifier",
    "type": "agent"
   },
   "agent_run": {
    "agent": "adapter:stabilizer-code-verifier",
    "context": {
     "artifact_packet_id": "cap_a1b2c3d4e5f60718",
     "producer_name": "Stabilizer code frozen verifier",
     "topic": "Certified [[n,k,d]] parameters of small stabilizer quantum codes"
    },
    "model": "external-artifact-runtime",
    "run_id": "cap_a1b2c3d4e5f60718",
    "started_at": "2026-06-02T23:40:00.000000+00:00"
   },
   "applied_event_id": "vev_a3e4c0807a64b32d",
   "caveats": [
    "Parameters recomputed by the frozen verifier; exit 0.",
    "Agent output is source material until reviewer acceptance."
   ],
   "created_at": "2026-06-02T23:37:42.466367+00:00",
   "decision_reason": "Verified stabilizer-code certificate accepted under reviewer authority (frozen verifier exit 0).",
   "id": "vpr_48bd2c2afdb23008",
   "kind": "finding.add",
   "payload": {
    "artifact_packet": {
     "created_at": "2026-06-02T23:40:00.000000+00:00",
     "packet_id": "cap_a1b2c3d4e5f60718",
     "producer": {
      "id": "adapter:stabilizer-code-verifier",
      "kind": "source_adapter",
      "name": "Stabilizer code frozen verifier"
     },
     "schema": "carina.artifact_packet.v0.1",
     "topic": "Certified [[n,k,d]] parameters of small stabilizer quantum codes"
    },
    "candidate_claim_id": "vc_qc9130000000001",
    "evidence_artifact_ids": [
     "va_qcverify00000001"
    ],
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "The Shor code [[9,1,3]] (concatenated bit- and phase-flip repetition) encodes 1 logical qubit in 9 physical qubits with distance 3, verified from its eight stabilizer generators.",
      "type": "computational"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "family:concatenated; n:9; k:1; d:3"
     },
     "confidence": {
      "basis": "agent-imported candidate claim; reviewer acceptance required",
      "extraction_confidence": 0.7,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.97
     },
     "created": "2026-06-02T23:40:00.000000+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [
       {
        "artifact_id": "va_qcverify00000001",
        "artifact_packet_id": "cap_a1b2c3d4e5f60718",
        "candidate_claim_id": "vc_qc9130000000001"
       }
      ],
      "method": "ScienceClaw-shaped artifact packet import",
      "model_system": "agent artifact packet",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "computational"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_f682d49c4214bdbc",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "Stabilizer code frozen verifier",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-06-02T23:40:00.000000+00:00",
       "extractor_version": "vela/0.691.0",
       "method": "artifact_to_state_import",
       "model": "adapter:stabilizer-code-verifier",
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "publisher": "artifact packet",
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "model_output",
      "title": "cap_a1b2c3d4e5f60718 · vc_qc9130000000001",
      "url": "Shor 1995",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Candidate claim vc_qc9130000000001 imported from artifact packet cap_a1b2c3d4e5f60718",
   "reviewed_at": "2026-06-02T23:37:53.315166+00:00",
   "reviewed_by": "reviewer:will-blair",
   "schema": "vela.proposal.v0.1",
   "source_refs": [
    "Shor 1995",
    "artifact_packet:cap_a1b2c3d4e5f60718",
    "packet_artifact:va_qcverify00000001"
   ],
   "status": "applied",
   "target": {
    "id": "vf_f682d49c4214bdbc",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:stabilizer-code-verifier",
    "type": "agent"
   },
   "agent_run": {
    "agent": "adapter:stabilizer-code-verifier",
    "context": {
     "artifact_packet_id": "cap_a1b2c3d4e5f60718",
     "producer_name": "Stabilizer code frozen verifier",
     "topic": "Certified [[n,k,d]] parameters of small stabilizer quantum codes"
    },
    "model": "external-artifact-runtime",
    "run_id": "cap_a1b2c3d4e5f60718",
    "started_at": "2026-06-02T23:40:00.000000+00:00"
   },
   "applied_event_id": "vev_9bd7e81ab409052b",
   "caveats": [
    "Parameters recomputed by a frozen brute-force verifier over the full Pauli group; exit 0.",
    "Agent output is source material until reviewer acceptance."
   ],
   "created_at": "2026-06-02T23:37:42.452786+00:00",
   "decision_reason": "Verified stabilizer-code certificate accepted under reviewer authority (frozen verifier exit 0).",
   "id": "vpr_7313028c1077b829",
   "kind": "finding.add",
   "payload": {
    "artifact_packet": {
     "created_at": "2026-06-02T23:40:00.000000+00:00",
     "packet_id": "cap_a1b2c3d4e5f60718",
     "producer": {
      "id": "adapter:stabilizer-code-verifier",
      "kind": "source_adapter",
      "name": "Stabilizer code frozen verifier"
     },
     "schema": "carina.artifact_packet.v0.1",
     "topic": "Certified [[n,k,d]] parameters of small stabilizer quantum codes"
    },
    "candidate_claim_id": "vc_qc4220000000001",
    "evidence_artifact_ids": [
     "va_qcverify00000001"
    ],
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "The [[4,2,2]] code with stabilizers XXXX, ZZZZ encodes 2 logical qubits in 4 physical qubits with distance 2, verified by exact recomputation of k and d.",
      "type": "computational"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "family:detection_code; n:4; k:2; d:2; verifier:frozen_pauli_enumeration"
     },
     "confidence": {
      "basis": "agent-imported candidate claim; reviewer acceptance required",
      "extraction_confidence": 0.7,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.97
     },
     "created": "2026-06-02T23:40:00.000000+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [
       {
        "artifact_id": "va_qcverify00000001",
        "artifact_packet_id": "cap_a1b2c3d4e5f60718",
        "candidate_claim_id": "vc_qc4220000000001"
       }
      ],
      "method": "ScienceClaw-shaped artifact packet import",
      "model_system": "agent artifact packet",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "computational"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_916a76afc89cce11",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "Stabilizer code frozen verifier",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-06-02T23:40:00.000000+00:00",
       "extractor_version": "vela/0.691.0",
       "method": "artifact_to_state_import",
       "model": "adapter:stabilizer-code-verifier",
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "publisher": "artifact packet",
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "model_output",
      "title": "cap_a1b2c3d4e5f60718 · vc_qc4220000000001",
      "url": "Gottesman 1997",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Candidate claim vc_qc4220000000001 imported from artifact packet cap_a1b2c3d4e5f60718",
   "reviewed_at": "2026-06-02T23:37:53.259301+00:00",
   "reviewed_by": "reviewer:will-blair",
   "schema": "vela.proposal.v0.1",
   "source_refs": [
    "Gottesman 1997",
    "artifact_packet:cap_a1b2c3d4e5f60718",
    "packet_artifact:va_qcverify00000001",
    "projects/quantum-codes/.vela/workspaces/vtask_a1b2c3d4e5f60718/verify.py"
   ],
   "status": "applied",
   "target": {
    "id": "vf_916a76afc89cce11",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:stabilizer-code-verifier",
    "type": "agent"
   },
   "agent_run": {
    "agent": "adapter:stabilizer-code-verifier",
    "context": {
     "artifact_packet_id": "cap_a1b2c3d4e5f60718",
     "producer_name": "Stabilizer code frozen verifier",
     "topic": "Certified [[n,k,d]] parameters of small stabilizer quantum codes"
    },
    "model": "external-artifact-runtime",
    "run_id": "cap_a1b2c3d4e5f60718",
    "started_at": "2026-06-02T23:40:00.000000+00:00"
   },
   "applied_event_id": "vev_a94dcf02290ecc47",
   "caveats": [
    "Parameters recomputed by the frozen verifier; exit 0.",
    "Agent output is source material until reviewer acceptance."
   ],
   "created_at": "2026-06-02T23:37:42.461791+00:00",
   "decision_reason": "Verified stabilizer-code certificate accepted under reviewer authority (frozen verifier exit 0).",
   "id": "vpr_ab419cca4a99a8ea",
   "kind": "finding.add",
   "payload": {
    "artifact_packet": {
     "created_at": "2026-06-02T23:40:00.000000+00:00",
     "packet_id": "cap_a1b2c3d4e5f60718",
     "producer": {
      "id": "adapter:stabilizer-code-verifier",
      "kind": "source_adapter",
      "name": "Stabilizer code frozen verifier"
     },
     "schema": "carina.artifact_packet.v0.1",
     "topic": "Certified [[n,k,d]] parameters of small stabilizer quantum codes"
    },
    "candidate_claim_id": "vc_qc7130000000001",
    "evidence_artifact_ids": [
     "va_qcverify00000001"
    ],
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "The Steane code [[7,1,3]] (CSS from the [7,4,3] Hamming code) encodes 1 logical qubit in 7 physical qubits with distance 3, verified from its six stabilizer generators.",
      "type": "computational"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "family:CSS; n:7; k:1; d:3; base_code:hamming_7_4_3"
     },
     "confidence": {
      "basis": "agent-imported candidate claim; reviewer acceptance required",
      "extraction_confidence": 0.7,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.97
     },
     "created": "2026-06-02T23:40:00.000000+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [
       {
        "artifact_id": "va_qcverify00000001",
        "artifact_packet_id": "cap_a1b2c3d4e5f60718",
        "candidate_claim_id": "vc_qc7130000000001"
       }
      ],
      "method": "ScienceClaw-shaped artifact packet import",
      "model_system": "agent artifact packet",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "computational"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_b6c315bb1ecb182d",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "Stabilizer code frozen verifier",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-06-02T23:40:00.000000+00:00",
       "extractor_version": "vela/0.691.0",
       "method": "artifact_to_state_import",
       "model": "adapter:stabilizer-code-verifier",
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "publisher": "artifact packet",
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "model_output",
      "title": "cap_a1b2c3d4e5f60718 · vc_qc7130000000001",
      "url": "Steane 1996",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Candidate claim vc_qc7130000000001 imported from artifact packet cap_a1b2c3d4e5f60718",
   "reviewed_at": "2026-06-02T23:37:53.295790+00:00",
   "reviewed_by": "reviewer:will-blair",
   "schema": "vela.proposal.v0.1",
   "source_refs": [
    "Steane 1996",
    "artifact_packet:cap_a1b2c3d4e5f60718",
    "packet_artifact:va_qcverify00000001"
   ],
   "status": "applied",
   "target": {
    "id": "vf_b6c315bb1ecb182d",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:stabilizer-code-verifier",
    "type": "agent"
   },
   "agent_run": {
    "agent": "adapter:stabilizer-code-verifier",
    "context": {
     "artifact_packet_id": "cap_a1b2c3d4e5f60718",
     "producer_name": "Stabilizer code frozen verifier",
     "topic": "Certified [[n,k,d]] parameters of small stabilizer quantum codes"
    },
    "model": "external-artifact-runtime",
    "run_id": "cap_a1b2c3d4e5f60718",
    "started_at": "2026-06-02T23:40:00.000000+00:00"
   },
   "applied_event_id": "vev_37ec53921b78c6e0",
   "caveats": [
    "Recorded as an open frontier edge with a known non-tight band; no resolution is claimed.",
    "Agent output is source material until reviewer acceptance."
   ],
   "created_at": "2026-06-02T23:37:42.472939+00:00",
   "decision_reason": "Verified stabilizer-code certificate accepted under reviewer authority (frozen verifier exit 0).",
   "id": "vpr_bbf2f812da2779c8",
   "kind": "finding.add",
   "payload": {
    "artifact_packet": {
     "created_at": "2026-06-02T23:40:00.000000+00:00",
     "packet_id": "cap_a1b2c3d4e5f60718",
     "producer": {
      "id": "adapter:stabilizer-code-verifier",
      "kind": "source_adapter",
      "name": "Stabilizer code frozen verifier"
     },
     "schema": "carina.artifact_packet.v0.1",
     "topic": "Certified [[n,k,d]] parameters of small stabilizer quantum codes"
    },
    "candidate_claim_id": "vc_qcopen000000001",
    "evidence_artifact_ids": [
     "va_qcverify00000001"
    ],
    "finding": {
     "assertion": {
      "direction": null,
      "entities": [],
      "relation": null,
      "text": "The largest distance of a single-logical-qubit stabilizer code at length 10, [[10,1,d]], is open within the band d in [3,4]; whether a [[10,1,4]] stabilizer code exists is undetermined here.",
      "type": "open_question"
     },
     "conditions": {
      "age_group": null,
      "cell_type": null,
      "clinical_trial": false,
      "concentration_range": null,
      "duration": null,
      "human_data": false,
      "in_vitro": false,
      "in_vivo": false,
      "species_unverified": [],
      "species_verified": [],
      "text": "family:single_logical_qubit; n:10; k:1; d_band:3-4; status:open"
     },
     "confidence": {
      "basis": "agent-imported candidate claim; reviewer acceptance required",
      "extraction_confidence": 0.7,
      "kind": "frontier_epistemic",
      "method": "expert_judgment",
      "score": 0.5
     },
     "created": "2026-06-02T23:40:00.000000+00:00",
     "evidence": {
      "effect_size": null,
      "evidence_spans": [
       {
        "artifact_id": "va_qcverify00000001",
        "artifact_packet_id": "cap_a1b2c3d4e5f60718",
        "candidate_claim_id": "vc_qcopen000000001"
       }
      ],
      "method": "ScienceClaw-shaped artifact packet import",
      "model_system": "agent artifact packet",
      "p_value": null,
      "replicated": false,
      "replication_count": null,
      "sample_size": null,
      "species": null,
      "type": "computational"
     },
     "flags": {
      "contested": false,
      "declining": false,
      "gap": false,
      "gravity_well": false,
      "negative_space": false,
      "retracted": false
     },
     "id": "vf_00940b13c44c9822",
     "links": [],
     "previous_version": null,
     "provenance": {
      "authors": [
       {
        "name": "Stabilizer code frozen verifier",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-06-02T23:40:00.000000+00:00",
       "extractor_version": "vela/0.691.0",
       "method": "artifact_to_state_import",
       "model": "adapter:stabilizer-code-verifier",
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "publisher": "artifact packet",
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "model_output",
      "title": "cap_a1b2c3d4e5f60718 · vc_qcopen000000001",
      "url": "codetables.de (Grassl)",
      "year": null
     },
     "updated": null,
     "version": 1
    }
   },
   "reason": "Candidate claim vc_qcopen000000001 imported from artifact packet cap_a1b2c3d4e5f60718",
   "reviewed_at": "2026-06-02T23:37:53.332943+00:00",
   "reviewed_by": "reviewer:will-blair",
   "schema": "vela.proposal.v0.1",
   "source_refs": [
    "artifact_packet:cap_a1b2c3d4e5f60718",
    "codetables.de (Grassl)",
    "packet_artifact:va_qcverify00000001"
   ],
   "status": "applied",
   "target": {
    "id": "vf_00940b13c44c9822",
    "type": "finding"
   }
  },
  {
   "actor": {
    "id": "agent:stabilizer-code-verifier",
    "type": "agent"
   },
   "agent_run": {
    "agent": "adapter:stabilizer-code-verifier",
    "context": {
     "artifact_packet_id": "cap_a1b2c3d4e5f60718",
     "producer_name": "Stabilizer code frozen verifier",
     "topic": "Certified [[n,k,d]] parameters of small stabilizer quantum codes"
    },
    "model": "external-artifact-runtime",
    "run_id": "cap_a1b2c3d4e5f60718",
    "started_at": "2026-06-02T23:40:00.000000+00:00"
   },
   "applied_event_id": "vev_99715ce20164c3e4",
   "caveats": [],
   "created_at": "2026-06-02T23:37:42.447460+00:00",
   "decision_reason": "Verified stabilizer-code certificate accepted under reviewer authority (frozen verifier exit 0).",
   "id": "vpr_f7dad07500216d3c",
   "kind": "artifact.assert",
   "payload": {
    "artifact": {
     "access_tier": "public",
     "content_hash": "sha256:7134a5134ebfe7229373db39c725690695a2efb9b0408141a110e13793e328cf",
     "created": "2026-06-02T23:40:00.000000+00:00",
     "id": "va_ce1b6b35c3c0bb68",
     "kind": "code",
     "license": "public source locator; no restricted bytes deposited",
     "locator": "projects/quantum-codes/.vela/workspaces/vtask_a1b2c3d4e5f60718/certificates.json",
     "media_type": "application/json",
     "metadata": {
      "artifact_packet_id": "cap_a1b2c3d4e5f60718",
      "exit_code": 0,
      "external_artifact_id": "va_qcverify00000001",
      "method": "exact recomputation of k = n - rank and distance d (lightest logical) over the full Pauli group",
      "parent_artifact_ids": [],
      "producer_agent": "adapter:stabilizer-code-verifier",
      "task": "vtask_a1b2c3d4e5f60718",
      "topic": "Certified [[n,k,d]] parameters of small stabilizer quantum codes",
      "verifier": "verify.py"
     },
     "name": "Frozen stabilizer-code verifier and certificate set ([[4,2,2]], [[5,1,3]], [[7,1,3]], [[9,1,3]])",
     "provenance": {
      "authors": [
       {
        "name": "Stabilizer code frozen verifier",
        "orcid": null
       }
      ],
      "citation_count": null,
      "doi": null,
      "extraction": {
       "extracted_at": "2026-06-02T23:40:00.000000+00:00",
       "extractor_version": "vela/0.691.0",
       "method": "artifact_to_state_import",
       "model": "adapter:stabilizer-code-verifier",
       "model_version": null
      },
      "journal": null,
      "openalex_id": null,
      "pmc": null,
      "pmid": null,
      "publisher": "artifact packet",
      "review": {
       "corrections": [],
       "reviewed": false,
       "reviewed_at": null,
       "reviewer": null
      },
      "source_type": "model_output",
      "title": "cap_a1b2c3d4e5f60718 · Frozen stabilizer-code verifier and certificate set ([[4,2,2]], [[5,1,3]], [[7,1,3]], [[9,1,3]])",
      "url": "projects/quantum-codes/.vela/workspaces/vtask_a1b2c3d4e5f60718/certificates.json",
      "year": null
     },
     "retracted": false,
     "source_url": "projects/quantum-codes/.vela/workspaces/vtask_a1b2c3d4e5f60718/certificates.json",
     "storage_mode": "remote",
     "target_findings": [
      "vf_916a76afc89cce11",
      "vf_d5782594d6fabd80",
      "vf_b6c315bb1ecb182d",
      "vf_f682d49c4214bdbc",
      "vf_00940b13c44c9822"
     ]
    },
    "artifact_packet": {
     "created_at": "2026-06-02T23:40:00.000000+00:00",
     "packet_id": "cap_a1b2c3d4e5f60718",
     "producer": {
      "id": "adapter:stabilizer-code-verifier",
      "kind": "source_adapter",
      "name": "Stabilizer code frozen verifier"
     },
     "schema": "carina.artifact_packet.v0.1",
     "topic": "Certified [[n,k,d]] parameters of small stabilizer quantum codes"
    },
    "external_artifact_id": "va_qcverify00000001",
    "parent_artifact_ids": []
   },
   "reason": "Import artifact va_qcverify00000001 from artifact packet cap_a1b2c3d4e5f60718",
   "reviewed_at": "2026-06-02T23:37:53.241218+00:00",
   "reviewed_by": "reviewer:will-blair",
   "schema": "vela.proposal.v0.1",
   "source_refs": [
    "artifact_packet:cap_a1b2c3d4e5f60718",
    "projects/quantum-codes/.vela/workspaces/vtask_a1b2c3d4e5f60718/certificates.json"
   ],
   "status": "applied",
   "target": {
    "id": "va_ce1b6b35c3c0bb68",
    "type": "artifact"
   }
  }
 ],
 "statement_attestations": [],
 "statement_registrations": [],
 "attempt_claims": [],
 "verifier_attachments": [],
 "transfers": [],
 "endorsements": [],
 "sources": [
  {
   "authors": [
    "Stabilizer code frozen verifier"
   ],
   "caveats": [
    "source requires human review before being treated as evidence"
   ],
   "content_hash": "sha256:4d56502418de7c21526e25aaf251a868b21471e13896f22666ab3ca7d6f105e1",
   "extraction_mode": "artifact_to_state_import",
   "finding_ids": [
    "vf_00940b13c44c9822"
   ],
   "id": "vs_545204481032f09c",
   "imported_at": "2026-06-02T23:40:00.000000+00:00",
   "locator": "title:cap_a1b2c3d4e5f60718 · vc_qcopen000000001",
   "source_quality": "synthetic",
   "source_type": "synthetic_report",
   "title": "cap_a1b2c3d4e5f60718 · vc_qcopen000000001"
  },
  {
   "authors": [
    "Stabilizer code frozen verifier"
   ],
   "caveats": [
    "source requires human review before being treated as evidence"
   ],
   "content_hash": "sha256:43a2b5d8e854499aedbd5c73aa44c84d8027a7dd252123c68e7a0207c86f43fc",
   "extraction_mode": "artifact_to_state_import",
   "finding_ids": [
    "vf_f682d49c4214bdbc"
   ],
   "id": "vs_61958124d07d7047",
   "imported_at": "2026-06-02T23:40:00.000000+00:00",
   "locator": "title:cap_a1b2c3d4e5f60718 · vc_qc9130000000001",
   "source_quality": "synthetic",
   "source_type": "synthetic_report",
   "title": "cap_a1b2c3d4e5f60718 · vc_qc9130000000001"
  },
  {
   "authors": [
    "Stabilizer code frozen verifier"
   ],
   "caveats": [
    "source requires human review before being treated as evidence"
   ],
   "content_hash": "sha256:24365e70d4437c2f8c80f00014ad18b37fe9f6b835779fdff480c1ce56f84939",
   "extraction_mode": "artifact_to_state_import",
   "finding_ids": [
    "vf_d5782594d6fabd80"
   ],
   "id": "vs_b073181f565768dd",
   "imported_at": "2026-06-02T23:40:00.000000+00:00",
   "locator": "title:cap_a1b2c3d4e5f60718 · vc_qc5130000000001",
   "source_quality": "synthetic",
   "source_type": "synthetic_report",
   "title": "cap_a1b2c3d4e5f60718 · vc_qc5130000000001"
  },
  {
   "authors": [
    "Stabilizer code frozen verifier"
   ],
   "caveats": [
    "source requires human review before being treated as evidence"
   ],
   "content_hash": "sha256:8ffcccf9d46727a90f83a01b6b2d988ce0e3afd1a3ebf42f830e440f12821a31",
   "extraction_mode": "artifact_to_state_import",
   "finding_ids": [
    "vf_b6c315bb1ecb182d"
   ],
   "id": "vs_b6189be57a1464b0",
   "imported_at": "2026-06-02T23:40:00.000000+00:00",
   "locator": "title:cap_a1b2c3d4e5f60718 · vc_qc7130000000001",
   "source_quality": "synthetic",
   "source_type": "synthetic_report",
   "title": "cap_a1b2c3d4e5f60718 · vc_qc7130000000001"
  },
  {
   "authors": [
    "Stabilizer code frozen verifier"
   ],
   "caveats": [
    "source requires human review before being treated as evidence"
   ],
   "content_hash": "sha256:aaf81d5d2e11953081c77b6329aad3609193d7c247d337e42201f4ca13ee1446",
   "extraction_mode": "artifact_to_state_import",
   "finding_ids": [
    "vf_916a76afc89cce11"
   ],
   "id": "vs_e24ee7112e60786f",
   "imported_at": "2026-06-02T23:40:00.000000+00:00",
   "locator": "title:cap_a1b2c3d4e5f60718 · vc_qc4220000000001",
   "source_quality": "synthetic",
   "source_type": "synthetic_report",
   "title": "cap_a1b2c3d4e5f60718 · vc_qc4220000000001"
  }
 ],
 "evidence_atoms": [
  {
   "caveats": [],
   "condition_refs": [
    "vcnd_d6e3371dc4b53eec"
   ],
   "evidence_type": "computational",
   "extraction_method": "artifact_to_state_import",
   "finding_id": "vf_00940b13c44c9822",
   "human_verified": false,
   "id": "vea_36d9be88a32f2f42",
   "locator": "span:0",
   "measurement_or_claim": "{\"artifact_id\":\"va_qcverify00000001\",\"artifact_packet_id\":\"cap_a1b2c3d4e5f60718\",\"candidate_claim_id\":\"vc_qcopen000000001\"}",
   "source_id": "vs_545204481032f09c",
   "supports_or_challenges": "supports"
  },
  {
   "caveats": [],
   "condition_refs": [
    "vcnd_fba676dd47e4f18f"
   ],
   "evidence_type": "computational",
   "extraction_method": "artifact_to_state_import",
   "finding_id": "vf_d5782594d6fabd80",
   "human_verified": false,
   "id": "vea_643886b4da5c066a",
   "locator": "span:0",
   "measurement_or_claim": "{\"artifact_id\":\"va_qcverify00000001\",\"artifact_packet_id\":\"cap_a1b2c3d4e5f60718\",\"candidate_claim_id\":\"vc_qc5130000000001\"}",
   "source_id": "vs_b073181f565768dd",
   "supports_or_challenges": "supports"
  },
  {
   "caveats": [],
   "condition_refs": [
    "vcnd_3c3a3c78b4c82d39"
   ],
   "evidence_type": "computational",
   "extraction_method": "artifact_to_state_import",
   "finding_id": "vf_b6c315bb1ecb182d",
   "human_verified": false,
   "id": "vea_7531a52eeb9b633b",
   "locator": "span:0",
   "measurement_or_claim": "{\"artifact_id\":\"va_qcverify00000001\",\"artifact_packet_id\":\"cap_a1b2c3d4e5f60718\",\"candidate_claim_id\":\"vc_qc7130000000001\"}",
   "source_id": "vs_b6189be57a1464b0",
   "supports_or_challenges": "supports"
  },
  {
   "caveats": [],
   "condition_refs": [
    "vcnd_d160019969e6a65c"
   ],
   "evidence_type": "computational",
   "extraction_method": "artifact_to_state_import",
   "finding_id": "vf_916a76afc89cce11",
   "human_verified": false,
   "id": "vea_b04c2b23bac9567f",
   "locator": "span:0",
   "measurement_or_claim": "{\"artifact_id\":\"va_qcverify00000001\",\"artifact_packet_id\":\"cap_a1b2c3d4e5f60718\",\"candidate_claim_id\":\"vc_qc4220000000001\"}",
   "source_id": "vs_e24ee7112e60786f",
   "supports_or_challenges": "supports"
  },
  {
   "caveats": [],
   "condition_refs": [
    "vcnd_378b96c9433e5679"
   ],
   "evidence_type": "computational",
   "extraction_method": "artifact_to_state_import",
   "finding_id": "vf_f682d49c4214bdbc",
   "human_verified": false,
   "id": "vea_f7ece0cb915eacb3",
   "locator": "span:0",
   "measurement_or_claim": "{\"artifact_id\":\"va_qcverify00000001\",\"artifact_packet_id\":\"cap_a1b2c3d4e5f60718\",\"candidate_claim_id\":\"vc_qc9130000000001\"}",
   "source_id": "vs_61958124d07d7047",
   "supports_or_challenges": "supports"
  }
 ]
}