eightTickLogicalCode
plain-language theorem explainer
The eightTickLogicalCode supplies a concrete instance of the EightTickCode structure realizing one logical qubit encoded across eight physical qubits at rate 1/8 via the eight-tick phase pattern. Information theorists exploring phase-space redundancy in quantum channels would reference this construction when building fault-tolerant encodings from Recognition Science periodicity. The definition is a direct field assignment that populates the structure record without further computation.
Claim. The eight-tick logical code is the structure with eight physical qubits, one logical qubit, the eight-tick phase flag set true, and rate $1/8$.
background
The module derives quantum error correction from the eight-tick redundancy of Recognition Science, where the eight phases supply natural repetition for error detection and correction. The referenced EightTickCode structure records n_physical, n_logical, a Boolean flag for eight-tick usage, and the rate k/n. Upstream results on phase patterns note that an error shifts the phase pattern while syndrome measurement restores alignment; the module context frames this as INFO-007 with patent implications for phase-based codes.
proof idea
Direct record construction that assigns the four fields of the EightTickCode structure.
why it matters
This definition supplies the canonical eight-tick code instance inside the QEC module, directly instantiating the redundancy described in the module doc-comment. It sits under the eight-tick octave (T7) and supplies a concrete object for later channel-capacity or surface-code comparisons, though no downstream uses are recorded yet.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.