Three real, independently studied molecular quality-control systems, each already understood on its own terms in the biochemistry literature: a two-stage editing mechanism that turns a roughly 1-in-40 mischarging error into one closer to 1-in-40,000; RNA secondary structure, which is folding in the literal sense the word is used everywhere else in this corpus; and nonsense-mediated decay, a surveillance system that deletes defective transcripts on a precise structural rule. This chapter lays out what each system actually does, then states plainly where the C→K→F→U naming is being borrowed as an organizing template and where it is not claiming anything beyond that.
Aminoacyl-tRNA synthetases (aaRSs) charge tRNAs with their cognate amino acid, and about half of them rely on a proofreading step to do this accurately enough for the cell to function. The classic case is isoleucyl-tRNA synthetase (IleRS) discriminating against valine, an amino acid one methyl group smaller than isoleucine and difficult to exclude by shape alone at the aminoacylation site. Left uncorrected, this misactivation would occur at a rate on the order of 1 in 10 to 1 in 100. A second, physically separate active site — the editing (or "fine sieve") site — hydrolyzes the misactivated product after the fact, bringing the net error rate for this step down to roughly 1 in 40,000. The two-site logic is literally called the "double sieve": a coarse sieve (the aminoacylation site) excludes amino acids larger than cognate, and a fine sieve (the editing site) catches smaller or isosteric near-misses that slipped through the first site (Fersht & Kaeser 1976; reviewed in Ling, Reynolds & Ibba 2009).
RNA secondary structure is a separate, unrelated system, but the word "fold" is not a metaphor here — a single-stranded RNA molecule base-pairs with itself to form stems, loops, and pseudoknots, and that literal folding step determines function for everything from tRNA's cloverleaf shape to riboswitches to the untranslated regions that regulate translation.
Nonsense-mediated decay (NMD) is a third, independent surveillance system, acting on mature mRNA rather than on tRNA charging or folding. In mammals, an mRNA is flagged for NMD when a stop codon is found more than roughly 50–55 nucleotides upstream of the last exon-exon junction — the standard model holds that exon-junction complexes (EJCs) deposited during splicing are normally displaced by the first ribosome to translate the message, and any EJC left behind because translation stopped early is the signal that triggers degradation (reviewed in Kurosaki, Popp & Maquat 2019; Wikipedia's Nonsense-mediated decay entry summarizes the same 50–55 nt rule consistently with the primary literature).
This corpus's C (Contact) → K (threshold/commit) → F (Fold) → U (Unfold/express) convention maps onto these three systems as a nested pair followed by two further stages, not as one flat four-step sequence for all three at once — the double-sieve mechanism is itself a C·K pair (contact at the coarse sieve, threshold-crossing hydrolysis at the fine sieve), and that pair is what feeds into F and U for the rest of the molecular cascade.
| Operator | dm³ role | Molecular system | Key molecules/rule |
|---|---|---|---|
| C — Contact | Establish initial recognition/binding | Amino acid binds the aaRS aminoacylation site (coarse sieve) | aaRS, ATP, cognate + near-cognate amino acids |
| K — Threshold | Irreversible commitment or correction | Editing-site hydrolysis (fine sieve): misactivated product is irreversibly cleaved if it fails the second check | aaRS editing domain, near-cognate discrimination |
| F — Fold | Literal folding into a stable structure | RNA secondary structure: base-pairing into stems, loops, pseudoknots | tRNA cloverleaf, riboswitches, UTR structure |
| U — Unfold/express | Final expression, or removal if defective | NMD as a quality gate: correctly terminated mRNA is exported/translated; a transcript with a premature stop >50–55 nt from the last exon-exon junction is degraded instead | EJC, UPF1/2/3, ribosome (pioneer round) |
Calling NMD "U-layer sorry elimination" (the phrasing used in this book's index) is a naming
analogy to a Lean proof assistant's sorry tactic — a placeholder marking an
incomplete proof step — and nothing more: a premature stop codon is a literal molecular
defect with a real biochemical consequence (a truncated, often toxic protein), not a gap in a
formal proof. The analogy is between two different kinds of "catch the broken thing before it
ships," not a claim that translation is a proof system.
The pre-editing/post-editing error-rate improvement for the classic Ile/Val discrimination case (roughly 1/10–1/100 down to roughly 1/40,000) is well established for that specific pair and should not be read as a universal constant across all twenty aaRSs — editing stringency varies by enzyme and by which near-cognate amino acid is being excluded. The broader, independently measured figure for overall translational fidelity in cells — on the order of 1 to 3 amino acid misincorporations per 10,000 residues synthesized, corresponding to a decoding fidelity window cited in the range of roughly 1/2,400 to 1/40,000 — is a composite of aaRS charging fidelity, ribosomal decoding fidelity, and proofreading at multiple steps, not attributable to tRNA charging alone. This chapter's earlier index entry cited a "10⁻⁴ → 10⁻⁸" range for this improvement; that figure has been corrected here to the actual literature range above, which is roughly an order of magnitude looser at the low end and does not reach 10⁻⁸ for this specific mechanism.
The NMD threshold (50–55 nucleotides from the last exon-exon junction) is a precise, well-replicated rule in mammalian systems specifically; it is a mechanistic consequence of EJC deposition and ribosome scanning distance, not an arbitrary round number, and does not need any further interpretation to be a real, checkable fact.
Unlike some of this book's other bio-domain chapters, no n-bonacci or 1/3-radius numerical claim is made here at all. The C·K·F·U labels above are an organizing template for presenting three unrelated, well-studied molecular systems side by side under one consistent naming convention used throughout Book VI — nothing in this chapter claims any of the three systems' rate constants, thresholds, or structures numerically derive from, converge to, or instantiate any of this corpus's proved constants (ε₀=1/3, μ_max=−2, τ=2). Where a number appears in §3, it is a molecular-biology number with a molecular-biology citation, full stop.
No Lean file exists for this chapter. The double-sieve mechanism has the most naturally formalizable shape of the three systems — a two-stage filter with a real-valued discrimination margin at each stage — and is sketched here for the record only:
-- sketch only, not yet a file in this repo
structure ChargingAttempt where
aminoAcid : String
coarseFit : ℝ -- steric fit at the aminoacylation site, higher = better fit
fineMisfit : ℝ -- how much the editing site's discriminator disfavors it
-- passes the coarse sieve if fit exceeds a size-exclusion bound
def passesCoarse (bound : ℝ) (a : ChargingAttempt) : Prop := a.coarseFit ≥ bound
-- survives editing (is NOT hydrolyzed) if fine-sieve misfit stays below its own bound
def survivesEditing (bound : ℝ) (a : ChargingAttempt) : Prop := a.fineMisfit < bound
-- not proved: that real physical (coarseFit, fineMisfit) values for the twenty aaRS/amino-acid
-- pairs actually satisfy any stated bound -- that is a question for structural biology and
-- enzyme kinetics, not a theorem this sketch can supply
As with the thymic-selection sketch elsewhere in this book, the shape of the object is honestly statable in a few lines; whether any real enzyme's measured kinetic parameters satisfy it is an empirical question this sketch does not and cannot answer.
Fersht, A.R., Kaeser, H.J. (1976). Enzyme editing mechanisms and the genetic code. Nature or successor reviews on aaRS proofreading kinetics — the original kinetic-proofreading-in-aaRS framing that the double-sieve model builds on.
Ling, J., Reynolds, N., Ibba, M. (2009). Aminoacyl-tRNA synthesis and translational quality control. Annu. Rev. Microbiol. 63, 61–78. — Standard modern review of the double-sieve mechanism and observed error rates.
Kurosaki, T., Popp, M.W., Maquat, L.E. (2019). Quality and quantity control of gene expression by nonsense-mediated mRNA decay. Nat. Rev. Mol. Cell Biol. 20, 406–420. — The 50–55 nt EJC rule and NMD mechanism in mammals.
Nogueira Grossi, P. (2026). Principia Orthogona Vol I. G6 LLC. doi:10.5281/zenodo.19117400 — dm³ framework foundations: C, K, F, U operators.
See also: Thymic Selection as a Three-Stage Proofreading Cascade (the same C→K→F convention applied to an immunological rather than molecular cascade) · Book VI Index