IndisputableMonolith.Information.QECThresholdFromPhiLadder
The module defines QEC code families and their thresholds extracted from the phi ladder in the Recognition Science information domain. Researchers modeling error correction bounds under RS-native constants would cite these objects. The module supplies only definitions and basic properties, with no embedded proofs.
claimQECCodeFamily as a parameterized family of quantum error-correcting codes; codeThreshold : ℕ → ℝ>0 with codeThreshold_pos and codeThreshold_decay; QECThresholdCert as the certification object.
background
The module imports IndisputableMonolith.Constants, whose sole documented content is the RS time quantum τ₀ = 1 tick. It introduces sibling definitions QECCodeFamily, qecCodeFamilyCount, codeThreshold, codeThreshold_pos, codeThreshold_decay, QECThresholdCert and qecThresholdCert that together encode threshold extraction from the phi ladder.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the information-domain objects that later results on error correction and information capacity would reference. It sits directly above the imported Constants module and populates the phi-ladder structure for QEC analysis.
scope and limits
- Does not prove any threshold value or decay rate.
- Does not import or reference the J-cost or forcing-chain lemmas.
- Does not contain numerical evaluation or explicit phi-ladder rungs.
- Does not claim physical realizability of the defined codes.