finding record / quantum-codes
recordedvf_916a76afc89cce11
vf_916a76afc89cce11
Canonical assertion
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.
Notation is rendered from the stored source. The pinned checkout remains the exact record.
- model_output
- computational
- 1 spans
- recorded
Scope and conditions
computational
family:detection_code; n:4; k:2; d:2; verifier:frozen_pauli_enumeration
Provenance summary
- cap_a1b2c3d4e5f60718 · vc_qc4220000000001
- model_output
- Jun 2, 2026, 11:40 PM
- not recorded
- 1
Exact record identityFinding ID, frontier identity, and pinned Git source
- vf_916a76afc89cce11
- vfr_001f148c07eebecb
- 016eeb08b9cf9a2971354b3b0bcde95ca56ee952
- 7e77b6a6f5c9014b1c3147ca72c6e1cb91a2fd67
Exact source and rootsGit 016eeb08b9cf and content-addressed ledgers
Source identity
- Commit
- 016eeb08b9cf9a2971354b3b0bcde95ca56ee952
- Tree
- 7e77b6a6f5c9014b1c3147ca72c6e1cb91a2fd67
- Committed
- 2026-07-18T19:27:16Z
- Repository
- Open source
Content roots
- Event log
- sha256:7a8d06e9c86b9437fffaa6dac9803827f9ad64ee32c34fb1603af8ca986a17ab
- Snapshot
- sha256:0975b1b7fda4c2fee1b5cf6fe312843f3f36425151da75eab389522ee1a73e10
- Proposals
- sha256:cdc0f3c3637294d70250b956867d9188df193909a104fa80bde8685e8d1e8ec0
- Actor registry
- sha256:393c47268f71d775aaec13a4f88608c46e61b059cb11e855817c36f5ad54bc5e
- Artifacts
- sha256:d4a485fdc3de718b4d21b6141a9cd564c4cc572a4d8b30744c9df61084efa748