Archive PURE_EQUATION_MAP.md

archive/2026-07-02/docs/PURE_EQUATION_MAP.md

@@ -0,0 +1,189 @@
+# SilverSight — Pure Equation Map
+
+## 1. Fisher Geometry (Δ₇ → S⁷)
+
+$$\Delta_7 := \{p \in \mathbb{R}^8 : p_i > 0,\; \sum_{i=1}^8 p_i = 1\}$$
+
+$$T_p\Delta_7 := \{v \in \mathbb{R}^8 : \sum_{i=1}^8 v_i = 0\}$$
+
+$$g_p(u,v) = \sum_{i=1}^8 \frac{u_i v_i}{p_i},\qquad u,v \in T_p\Delta_7$$
+
+$$d_F(p,q) = 2\arccos\Bigl(\sum_{i=1}^8\sqrt{p_i q_i}\Bigr)$$
+
+$$\psi : \Delta_7 \to S^7,\qquad \psi(p) = (\sqrt{p_1},\ldots,\sqrt{p_8})$$
+
+$$g_p(u,v) = 4 \cdot g^{S^7}_{\psi(p)}(d\psi_p(u), d\psi_p(v))$$
+
+$$d_F(p,q) = 2 \cdot d_{S^7}(\psi(p), \psi(q))$$
+
+$$d_B(p,q) = \arccos\Bigl(\sum_{i=1}^8 \sqrt{p_i q_i}\Bigr)$$
+
+$$\boxed{d_F(p,q) = 2\,d_B(p,q)}$$
+
+$$\frac{1}{\pi} d_F(p,q) \leq d_{\text{chord}}(\Phi(p),\Phi(q)) \leq \frac{1}{2} d_F(p,q)$$
+
+---
+
+## 2. G1: Chaos Game Contraction
+
+$$w_j(p) = \frac{A_j p + b_j}{1 + B_j},\qquad p \in \Delta_7$$
+
+$$\Delta_7^{(\varepsilon_j)} := \{p \in \Delta_7 : p_i \geq (b_j)_i/(1+B_j)\},\qquad \varepsilon_j = \min_i (b_j)_i/(1+B_j) > 0$$
+
+$$\widehat{w}_j(x) = \Phi(w_j(x^2)) = \frac{\sqrt{A_j x^2 + b_j}}{\sqrt{1+B_j}}$$
+
+$$d_B(w_j(p), w_j(q)) \leq \frac{1}{\sqrt{1+B_j}} \, d_B(p,q)$$
+
+$$d_F(w_j(p), w_j(q)) \leq \lambda_j \, d_F(p,q),\qquad \lambda_j = \frac{1}{\sqrt{1+B_j}} < 1$$
+
+$$\lambda = \max_j \lambda_j < 1$$
+
+$$\kappa_j(p) = \sup_{v \in T_p\Delta_7 \setminus \{0\}} \frac{\|dw_j|_p(v)\|_{F,w_j(p)}}{\|v\|_{F,p}}$$
+
+$$\kappa_j(p) \leq \frac{1}{\sqrt{1+B_j}} \leq 1 - \frac{B_j}{2(1+B_j)}$$
+
+$$\mathcal{A} = \bigcup_{j=1}^k w_j(\mathcal{A})$$
+
+---
+
+## 3. G2: Semantic Feature Collision Breaking
+
+$$F(E)_i = \frac{f_i(E)}{|E|},\qquad f_i(E) = \sum_{\ell=1}^{L} \mathbf{1}_{\{\chi(e_\ell) = i\}}$$
+
+$$\mathcal{N} := \{\text{bin-add}, \text{bin-sub}, \text{bin-mul}, \text{bin-div}, \text{bin-eq}, \text{un-neg}, \text{var}, \text{const}\}$$
+
+$$\tau(E)_t = \frac{|\{n \in T(E) : \lambda(n) = t\}|}{|T(E)|},\qquad t \in \mathcal{N}$$
+
+$$b_{t,t',i} := |\{(u,v) : \lambda(u) = t,\; \lambda(v) = t',\; \text{child index} = i\}|$$
+
+$$M = \sum_{t,t',i} b_{t,t',i} = |T(E)| - 1$$
+
+$$\delta(E)_{t,t',i} = b_{t,t',i} / M$$
+
+$$\Phi(E) := (F(E),\; \tau(E)) \in \Delta_7 \times \Delta_{k-1}$$
+
+$$\Phi_{+}(E) := (F(E),\; \tau(E),\; \delta(E)) \in \Delta_7 \times \Delta_{k-1} \times \Delta_{2k^2-1}$$
+
+$$d^{\times}_F((p,r), (q,s)) = \sqrt{d^2_F(p,q) + d^2_F(r,s)}$$
+
+$$d^F(\pi(x), \pi(y)) \leq d^{\times}(x, y)$$
+
+$$d_F(F(E_1), F(E_2)) \leq \frac{C}{L}$$
+
+$$d^{\times}_F(\Phi(E_1), \Phi(E_2)) \leq \sqrt{\frac{C_1^2}{L^2} + \frac{C_2^2}{N^2}}$$
+
+---
+
+## 4. G3: Eigensolid Fixed Point
+
+$$C(p)_{2k-1} = C(p)_{2k} = \frac{p_{2k-1} + p_{2k}}{2},\qquad k = 1,2,3,4$$
+
+$$M = \{p \in \Delta_7 : p_1 = p_2,\; p_3 = p_4,\; p_5 = p_6,\; p_7 = p_8\}$$
+
+$$\phi(q_1,q_2,q_3,q_4) = \Bigl(\frac{q_1}{2},\frac{q_1}{2},\frac{q_2}{2},\frac{q_2}{2},\frac{q_3}{2},\frac{q_3}{2},\frac{q_4}{2},\frac{q_4}{2}\Bigr)$$
+
+$$d_F(C(p), C(q)) \leq d_F(p,q)$$
+
+**Strict iff** ∃k: (p_{2k-1}, p_{2k}) not proportional to (q_{2k-1}, q_{2k})
+
+$$I_{\text{loss}}(p) = \sum_{k=1}^4 s_k \cdot D_{KL}\Bigl(\bigl(\frac{p_{2k-1}}{s_k},\frac{p_{2k}}{s_k}\bigr) \,\big\|\, \bigl(\tfrac12,\tfrac12\bigr)\Bigr)$$
+
+$$I_{\text{loss}}(p) = H(C(p)) - H(p)$$
+
+$$C_{\mathcal{P}} = C_m \circ C_{m-1} \circ \cdots \circ C_1$$
+
+**Nested:** P_{j+1} coarsens components of P_1,…,P_j ⟹ C_𝒫² = C_𝒫
+
+$$M_1 \supset M_2 \supset \cdots \supset M_m\quad (\text{nested})$$
+
+$$S_*(p) = (p_1+p_2,\; p_3+p_4,\; p_5+p_6,\; p_7+p_8)$$
+
+$$(A_j)_{2j-1,\ell} = (A_j)_{2j,\ell} = \begin{cases} \tfrac12 & \ell \in P_j, \\ \delta_{\ell,i} & i \notin P_j \end{cases}$$
+
+---
+
+## 5. Chentsov Reconstruction
+
+$$h_9(p) = \sum_{i=1}^m \operatorname{Hess}(F)_p(e_i,e_i)$$
+
+$$h_{\text{perm}}(p) = \sum_{i=1}^m \operatorname{Hess}(F)_p(e_i, e_{\pi(i)})$$
+
+$$F(g_p^{(\alpha)}) = \alpha \cdot F(g_p^{(1)}) + (1-\alpha) \cdot F(g_p^{(0)})$$
+
+$$g_p^{\text{mono}}(u,v) = \lambda(p) \cdot g_p^{\text{Fisher}}(u,v)$$
+
+$$g_{ij}(p) = \frac{1}{p_i}\delta_{ij} + \frac{1}{p_m}$$
+
+$$ds^2 = \sum_{i=0}^{m} \frac{(dp_i)^2}{p_i}$$
+
+---
+
+## 6. SOS Certificate (Merge Gate)
+
+$$\text{gap}(x,m) = \text{sieve}(x,m) - \text{threshold}$$
+
+$$K = \{x \in [2,90],\; m \in [3,13]\}$$
+
+$$\text{gap}(x,m) = s_0(x,m) + s_1(x,m)(x-2) + s_2(x,m)(90-x) + s_3(x,m)(m-3) + s_4(x,m)(13-m)$$
+
+$$s_i(x,m) = \sum_j q_{ij}(x,m)^2$$
+
+$$\text{gap}(x,m) \geq 0 \text{ on } K \implies \text{merge gate}$$
+
+**Baker (transcendence):**
+
+$$\Lambda = \sum_{i=0}^{n} \beta_i \log \alpha_i \neq 0 \implies |\Lambda| > e^{-C \cdot \prod A_i \cdot \log B}$$
+
+---
+
+## 7. Sidon (Cross-Domain)
+
+$$A \subset \mathbb{Z},\quad a+b=c+d \implies \{a,b\}=\{c,d\}$$
+
+$$A_8 = \{2^i\}_{i=0}^7$$
+
+$$h(N) = \max|A|,\quad A \subseteq \{1,\ldots,N\} \text{ Sidon}$$
+
+$$h(N) \leq \lfloor\sqrt{2N}\rfloor + 1$$
+
+$$S_p = \{x \in \mathbb{F}_{p^3}^\times / \mathbb{F}_p^\times : \operatorname{Tr}(x)=0\},\quad |S_p|=p+1$$
+
+---
+
+## 8. Braid / Spectral / Merge Gate
+
+$$C \in \{0,\tfrac14,\tfrac12,\tfrac34\}^{8\times 8}$$
+
+$$\varepsilon_{ij} = C_{ij}(\phi_i - \phi_j)$$
+
+$$\text{crossStep}(s) = s \iff s \in \text{Eigensolid}$$
+
+$$\text{gap}(s) = \bigwedge_{i,j \in \text{active}(s)} (i=j \lor |i-j|>1)$$
+
+$$\text{merge}(s,e)_i = \min(1, s_i+e_i)$$
+
+$$\text{res}(s,e) = |\{i : s_i \neq 0 \land e_i \neq 0\}|$$
+
+$$\text{cross}(s,e) = \bigwedge_{i} \neg(s_i \neq 0 \land e_{i+1} \neq 0) \land \neg(e_i \neq 0 \land s_{i+1} \neq 0)$$
+
+$$\text{gap}(s) \land \text{gap}(e) \land \text{res}(s,e)=0 \land \text{cross}(s,e) \implies \text{gap}(\text{merge}(s,e))$$
+
+$$\text{byteGap}(n) = (n \land (n \gg 1)) = 0$$
+
+$$\text{pack}(s) = \sum_{i=0}^{7} [s_i \neq 0] \cdot 2^i$$
+
+---
+
+## 9. Chiral / Q16_16
+
+$$q = q_r + \varepsilon q_d,\quad \varepsilon^2 = 0$$
+
+$$\chi = \frac{|q_r|^2}{|q_r|^2 + |q_d|^2},\quad |q_r|^2 + |q_d|^2 > 0$$
+
+$$\chi > \tfrac12 \implies \text{compressive},\quad \chi < \tfrac12 \implies \text{anti-compressive},\quad \chi = \tfrac12 \implies \text{critical}$$
+
+$$\text{Q16}(x) = \text{clamp}(-2^{31},\; \lfloor x \cdot 2^{16} \rfloor,\; 2^{31}-1)$$
+
+$$a \oplus b = \text{clamp}(-2^{31},\, a+b,\, 2^{31}-1)$$
+
+$$a \otimes b = \text{clamp}(-2^{31},\, \lfloor ab/2^{16} \rfloor,\, 2^{31}-1)$$