From 7f17cf29f36fdf346437796c320b68126ab96ddd Mon Sep 17 00:00:00 2001 From: allaun Date: Tue, 30 Jun 2026 20:16:18 -0500 Subject: [PATCH] =?UTF-8?q?docs:=20add=20non-claim=20clarification=20?= =?UTF-8?q?=E2=80=94=20chiral=20labels=20are=20numerical,=20not=20biologic?= =?UTF-8?q?al?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit helical_encoding.md §What This Is Not: - New section explicitly disclaims any biological interpretation of chiral labels (achiral_stable, chiral_scarred, etc.) - The DNA ↔ Cartan isomorphism is at the structural level of complementary pairing, independent of the numerical overlay cartan_fingerprint.md: - Same clarification added to the isomorphism section --- docs/cartan_fingerprint.md | 2 ++ docs/helical_encoding.md | 4 ++++ formal/CoreFormalism/BraidStateN.lean | 1 + 3 files changed, 7 insertions(+) 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. -/