This work introduces QEC, a deterministic, replay-safe reasoning system for quantum error correction and invariant-driven computation. Unlike conventional adaptive systems that rely on stochastic exploration, QEC operates as a deterministic reasoning layer over system evolution, producing proof-carrying state transitions that are fully reproducible and verifiable. The system replaces probabilistic optimization with a structured pipeline of invariant detection, deterministic control, memory accumulation, governance, validation, repair reasoning, and invariant-preserving compression. Each stage produces canonical, hash-stable artifacts, ensuring that identical inputs yield byte-identical outputs across environments. QEC reframes failure as a structural phenomenon ("dark states") and introduces deterministic repair through symmetry breaking, validated via counterfactual replay. The system further demonstrates that reasoning itself can be compressed into minimal canonical forms without loss of replay fidelity. Empirical runs over QLDPC Tanner graph simulations demonstrate zero hash divergence across independent executions and compact proof artifacts (~2–5 KB), supporting the feasibility of deterministic reasoning with proof in complex systems. This work establishes a new paradigm: execution → reasoning → proof
This work introduces QEC, a deterministic, replay-safe reasoning system for quantum error correction and invariant-driven computation. Unlike conventional adaptive systems that rely on stochastic exploration, QEC operates as a deterministic reasoning layer over system evolution, producing proof-carrying state transitions that are fully reproducible and verifiable. The system replaces probabilistic optimization with a structured pipeline of invariant detection, deterministic control, memory accumulation, governance, validation, repair reasoning, and invariant-preserving compression. Each stage produces canonical, hash-stable artifacts, ensuring that identical inputs yield byte-identical outputs across environments. QEC reframes failure as a structural phenomenon ("dark states") and introduces deterministic repair through symmetry breaking, validated via counterfactual replay. The system further demonstrates that reasoning itself can be compressed into minimal canonical forms without loss of replay fidelity. Empirical runs over QLDPC Tanner graph simulations demonstrate zero hash divergence across independent executions and compact proof artifacts (~2–5 KB), supporting the feasibility of deterministic reasoning with proof in complex systems. This work establishes a new paradigm: execution → reasoning → proof
Quantum error-correcting code (QECC) implementations are hybrid software-control systems: measured syndromes drive decoder dispatch, recovery actions, and logical checks. Existing QECC verification techniques can prove formal obligations, and general quantum testing can expose final failures, but developers still lack a scalable testing workflow that generates concrete faults and explains where a QECC repair path first diverges. This paper presents ConQEC, to our knowledge the first concolic testing framework for QECC implementations. By combining concrete (Pauli) fault replay with symbolic repair-path constraints, ConQEC generates tests that expose not only final logical failures but also fault--syndrome--decoder--recovery (FSDR) diagnostics: the injected fault, observed syndrome, decoder decision, recovery action, oracle result, and earliest divergent stage. Its symbolic encoding of Pauli faults, syndrome predicates, decoder and recovery relations, and oracle checks enables this diagnostic workflow to scale beyond exponentially increasing amplitude-level quantum-state reasoning. We implemented ConQEC and evaluated it on generated source-level QECC families and public QECC artifacts with up to thousands of qubits. ConQEC detects the seeded bug in every experimental case and reports a replay-valid, fault-localizing FSDR witness for each.
This compendium presents four revised studies of deterministic computation, reusable intermediate results, and transformation invariants in belief-propagation diagnostics and quantum error-correction software. It connects earlier QSOL-IMC preprints with commit-pinned QEC source snapshots, reproducible experiments, and machine-checked mathematical models. The four studies examine baseline equivalence between min-sum decoding and unit-weight uniformly reweighted belief propagation; trace-indexed reuse of sign vectors and CRC32 values; the interaction of clipping, damping, freezing, and ternary projection in decoder transformation pipelines; and the interpretation of local “dark-state” observables in belief-propagation traces. The deposit contains four revised papers, editable manuscript sources, a dependency-free Lean 4 project, source snapshots, validation scripts, measured results, proof logs, provenance records, and integrity manifests. The formalization comprises 43 compiled theorem declarations. Empirical validation includes 576 paired decoder cases, 80 cached-versus-inline diagnostic comparisons, a reproduced reduction from 81 to 20 sign computations, 204 selected historical tests, and 18 synthetic dark-state scenario runs. The analysis also documents counterexamples and boundary conditions involving CRC32 collisions, cache provenance, source mutation, damping, NaN handling, transformation order, and the distinction between observed local stability and safe computational reuse. The Lean proofs establish properties of the stated exact mathematical models. They do not constitute a complete refinement proof for the Python/NumPy implementations or IEEE-754 arithmetic, nor do they establish physical quantum-hardware correctness or justify skipping live-decoder updates. Historical runtime improvements are identified as previously reported results, separate from the measurements reproduced in this deposit.
Quantum error correction (QEC) is a crucial component of fault-tolerant quantum computation, enabling the reliable execution of complex quantum algorithms. Current QEC protocols often rely on static error correction strategies, limiting the computational capabilities of quantum systems. This paper explores the potential of adaptive self-correcting QEC, proposing a novel architecture based on dynamic parameter adjustment within a quantum error correction network. We demonstrate the benefits of this approach through simulations and analyses, highlighting the ability of the system to dynamically adjust error correction strategies based on quantum state evolution, ultimately leading to improved precision and stability. The core claim addresses the challenge of traditional QEC's limitations – the lack of adaptability – and introduces a mechanism to automate parameter adjustment, thereby unlocking a new era of quantum computing performance.
Noise is one of the central obstacles to building useful quantum computers, and quantum error correction (QEC) provides the framework for protecting quantum information against it. Unlike classical error correction, QEC must preserve fragile quantum states without copying them, measuring them directly, or destroying the information they encode. Driven by rapid progress in both theory and experiment, this challenge has grown into one of the most active areas of quantum information science. This tutorial gives a guided introduction to modern QEC, developing the core concepts of codes, syndromes, stabilizers, decoding, and fault tolerance before connecting them to major code families and current research directions. We cover both established constructions and newer developments, including topological and subsystem codes, bosonic and qudit codes, dynamical codes, and quantum low-density parity-check (qLDPC) codes. The emphasis is on building operational understanding: explaining not only what the main objects are, but how they are used in code design, error diagnosis, decoding, and fault-tolerant computation. The tutorial is intended for newcomers seeking a first path through QEC, as well as researchers looking for a coherent reference for the concepts, code families, and tools that arise in current work.
This preprint formalizes the QSOLKCB/QEC v155.x release arc as a deterministic framework for detecting, classifying, localizing, and proving resistance to identity drift in hash-bound proof artifacts. The v155.x arc extends the v154.x multi-scale invariant compression baseline into a temporal integrity layer: v155.0 introduces deterministic DecayCheckpoint and DecayCheckpointSet artifacts for exact hash-position drift detection. v155.1 introduces DecayThresholdContract and DigitalDecaySignature artifacts for deterministic integer-threshold decay classification. v155.2 introduces subsystem-localized entropy drift receipts across layer, router, mask, shift, and readout receipt families, aggregated into EntropyDriftReceipt. v155.3 introduces DecayResistanceProof, binding clean entropy receipts and deterministic replay-proof hashes into a replay-safe resistance proof artifact. Across the arc, QEC enforces:- canonical JSON serialization- stable SHA-256 hashing- deterministic ordering- self-hash exclusion- explicit failure semantics- exact integer scoring- replay-safe proof construction- recomputed validation The framework is intentionally non-probabilistic. “Decay” is defined as exact hash divergence at explicit artifact positions rather than heuristic anomaly scoring or probabilistic entropy estimation. This work concerns deterministic proof receipts, replay validation, and invariant-driven computation in the QSOLKCB/QEC software system and release lineage. It does not claim to implement physical-layer quantum error correction, stabilizer decoding, syndrome processing, thermodynamic entropy, or quantum hardware control.
This artifact documents a formally verified optimization in the QSOL-IMC Quantum Error Correction (QEC) framework (v68.4.1). The optimization exploits the algebraic identity that belief propagation decoding using uniformly reweighted min-sum with ρ=1.0 is bitwise identical to baseline min-sum decoding under IEEE 754 double-precision arithmetic. This invariant is proven analytically, validated across all decoder schedules, and confirmed via bitwise equality tests. The optimization removes redundant benchmark computation by reusing baseline results for the ρ=1.0 case without altering outputs, convergence behavior, or test coverage. A secondary improvement eliminates repeated reconstruction of derived data structures through deterministic precomputation. The full test suite (3779 tests) remains unchanged and passes completely. The optimization reduces preview sweep runtime by approximately 43% and overall runtime by approximately 7.6%. This artifact includes formal proof, execution-path validation, safety analysis, and reproducibility guarantees, and serves as a reference for invariant-driven optimization in deterministic QEC benchmarking systems.