diff --git a/docs/cartan_fingerprint.md b/docs/cartan_fingerprint.md
index 899ca9df..88dd5560 100644
--- a/docs/cartan_fingerprint.md
+++ b/docs/cartan_fingerprint.md
@@ -65,6 +65,8 @@ The 17/1792 gap is the **minimum complementary binding energy** — the threshol
 
 **This is not analogy — it's isomorphism.** The Hachimoji DNA codec (`dna_codec.py`) already implements encoding with exactly this structure. The Cartan-DNA bridge (`cartan_dna_bridge.py`) provably maps the encoder's base-pairing matrix to the spectral gap chain.
 
+**Non-claim:** The chiral labels (`achiral_stable`, `chiral_scarred`, `left_handed_mass_bias`, `right_handed_vector_bias`) in `BraidStateN.lean` are a purely numerical construct for braid classification. No claim is made that DNA or any biological system employs chiral labeling of this form. The isomorphism is at the structural level of complementary pairing — the numerical labels are an independent computational layer.
+
 ## §5 — Adversarial Review Audit Trail
 
 | Review Date | Agents | Retracted Claims | Surviving Claims |
diff --git a/docs/helical_encoding.md b/docs/helical_encoding.md
index b8668635..2682cfa4 100644
--- a/docs/helical_encoding.md
+++ b/docs/helical_encoding.md
@@ -75,6 +75,10 @@ The 8-base expansion **doubles** the number of independent crossing pairs — fr
 - **Not speculative.** The Hachimoji DNA codec already works. The Cartan-DNA bridge already computes the gap. The formalization already exists in Lean.
 - **Not a "unified theory."** This describes ONE encoding structure — the helical complementary pairing that both DNA and the braid compressor use. It does not claim to explain all information encoding in nature.
 
+### Specific Non-Claim: Chiral Labels
+
+The chiral label system (`achiral_stable`, `chiral_scarred`, `left_handed_mass_bias`, `right_handed_vector_bias`) defined in `formal/CoreFormalism/BraidStateN.lean` is a **purely numerical/computational construct**. No biological claim is made that DNA, RNA, or any biological system employs anything analogous to these labels. The isomorphic relationship between the Cartan matrix and DNA base-pairing is at the **structural level** of complementary pairing in a periodic linear chain — the numerical labels layered on top of that structure for braid classification purposes are an independent computational framework with no biological counterpart or claim.
+
 ## References
 
 - Hoshika et al. (2019) — Hachimoji DNA, *Science* 363:884-887
diff --git a/formal/CoreFormalism/BraidStateN.lean b/formal/CoreFormalism/BraidStateN.lean
index 7718dcee..73188787 100644
--- a/formal/CoreFormalism/BraidStateN.lean
+++ b/formal/CoreFormalism/BraidStateN.lean
@@ -332,6 +332,7 @@ def mkTestState8 : BraidStateN 8 :=
       | 5 => mkStrand (-32768)  5  -- strand 5: phase = -0.5
       | 6 => mkStrand 98304     6  -- strand 6: phase = 1.5
       | 7 => mkStrand 262144    7  -- strand 7: phase = 4.0
+      | _ => mkStrand 0 0
     , step_count := 0 }
 
 /-- Rosbby (chiral) label assignment: alternating left/right handed bias. -/