docs(triage): ASCII triage diagram

2026-07-31 01:25:21 +00:00 · 2026-06-23 05:00:59 -05:00 · 2026-06-23 05:00:59 -05:00 · f8950beee2
commit f8950beee2
parent 4a67a05e0b
1 changed files with 150 additions and 0 deletions
--- a/docs/adversarial_review/TRIAGE_DIAGRAM.md
+++ b/docs/adversarial_review/TRIAGE_DIAGRAM.md
@ -0,0 +1,150 @@
+# SILVERSIGHT TRIAGE DIAGRAM
+## The Flagship is Dead — What's Salvageable?
+
+```
+                              SILVERSIGHT PROJECT
+                         ═══════════════════════════
+                        
+                           ┌─────────────────┐
+                           │  CHENTSOV THM   │
+                           │   ☠️ DEAD ☠️    │
+                           │   rfl ≠ proof   │
+                           └────────┬────────┘
+                                    │FOUNDATION GAP
+                                    │(all downstream claims tainted)
+                    ┌───────────────┼───────────────┐
+                    ▼               ▼               ▼
+            ┌──────────┐   ┌──────────────┐  ┌──────────┐
+            │ Chentsov │   │ NP-hard sort │  │ Finsler  │
+            │uniqueness│   │   smuggling  │  │  metric  │
+            │   ☠️     │   │     ☠️       │  │   ☠️     │
+            └──────────┘   └──────────────┘  └──────────┘
+                    ▼               ▼               ▼
+            [NOT PROVEN]     [NOT POSSIBLE]   [NOT A METRIC]
+
+═══════════════════════════════════════════════════════════════════════
+                         THE TRIAGE CUT
+═══════════════════════════════════════════════════════════════════════
+
+   KEEP (PROVEN)          FIX (CONDITIONAL)         KILL (UNPROVEN)
+   ═══════════════       ═══════════════════        ═══════════════
+   
+   ✅ SidonSets           🟡 Chentsov*               ❌ Chentsov claim
+      (Lindström,           [RESTATE as: "Fisher     ❌ NP-hard solving
+       Johnson bounds          metric is invariant    ❌ Finsler metric
+       — real math)            under splittings"]    
+                            + note: uniqueness       ❌ Full PVGS bridge
+   ✅ HachimojiCodec         is OPEN PROBLEM          ❌ 7 axioms (conjecture
+      (consistency theorems                            markers only)
+       — honestly proven)  🟡 Eigensolid
+                            [RESTATE as: verified-    ❌ Receipt bijection
+   ✅ SilverSightCore         by-computation, not      (tautology)
+      (AVM theorems —          convergence theorem]
+       induction, real)                               ❌ Spectral profile
+                                                      (trivial collisions)
+   ✅ eigensolid_trivial   🟡 Resumable DAG
+      (conditional, real      [RESTATE as: heuristic   ❌ SQL injection
+       proof under non-        chunking strategy,      (security flaw)
+       saturation)             not complexity result]
+                            
+   ✅ Φ-corkscrew         🟡 Φ-corkscrew
+      (bijection valid —      [FORMALIZE in Lean —    ❌ Receipt forgeability
+       irrational rotation     open goal, but valid   (zero auth)
+       is sound)               math]
+                            
+   ✅ Golden spiral        🟡 Q16_16 arithmetic
+      (exact roundtrip)       [UNIFY to single impl    ❌ DNA encoding
+                                                      (fully reversible)
+   ✅ 4-mode agreement      🟡 Test coverage
+      (CV=0.0 verified)       [80%+ critical paths]   ❌ Unbounded 2**n
+                                                      enumeration
+   ✅ Integration sprint    🟡 WGSL shaders
+      (28/28 checks pass,     [add barriers]          ❌ Chaos game LCG
+       receipts match)                                (predictable)
+
+═══════════════════════════════════════════════════════════════════════
+                         PRIORITY ORDER
+═══════════════════════════════════════════════════════════════════════
+
+  P0 — SECURITY (do FIRST, block everything else)
+  ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
+  [1] Fix SQL injection (hachimoji_citation.py)
+  [2] Fix receipt forgeability (add HMAC-SHA256)
+  [3] Bounds-check all 2**n enumerations
+  [4] Fix WGSL buffer overflow (unbounded indexing)
+
+  P1 — FOUNDATION (do NEXT, everything depends on this)
+  ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
+  [5] Unify Q16_16 arithmetic (single canonical impl)
+  [6] Restate Chentsov theorem to what IS proven
+  [7] Mark 7 axioms as CONJECTURES, not axioms
+  [8] Fix Finsler metric or rename to "distance-like function"
+
+  P2 — QUALITY (do AFTER foundation is solid)
+  ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
+  [9] 80%+ test coverage for critical paths
+  [10] End-to-end integration test
+  [11] Fix spectral profile collisions (add semantic features)
+  [12] Add keyed layer to DNA encoding (optional encryption)
+
+  P3 — FORMALIZATION (do WHEN P0-P2 done)
+  ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
+  [13] Formalize Φ-corkscrew bijection in Lean
+  [14] Replace native_decide proofs with real proofs
+  [15] Close 23 sorries (priority order)
+  [16] Prove eigensolid convergence by induction
+
+═══════════════════════════════════════════════════════════════════════
+                         SALVAGED CORE
+═══════════════════════════════════════════════════════════════════════
+
+  What SilverSight ACTUALLY is (after triage):
+  
+  ┌─────────────────────────────────────────────────────────────────┐
+  │                                                                 │
+  │   A deterministic equation classifier using:                    │
+  │   • Chaos game on the probability simplex (Δ₇)                  │
+  │   • Byte-level co-occurrence spectral profiles                  │
+  │   • Q16_16 fixed-point arithmetic throughout                    │
+  │   • 8-strand braid eigensolid compression (conditional)         │
+  │   • Φ-corkscrew bijective state encoding                        │
+  │   • Multi-mode execution (ESP32/photonic/quantum/tensor)        │
+  │                                                                 │
+  │   Claims NO LONGER MADE:                                        │
+  │   ✗ "Unique Fisher metric by Chentsov" → "Fisher metric is      │
+  │     invariant under splittings; uniqueness is open"             │
+  │   ✗ "Solves NP-hard problems" → "Heuristic chunking for         │
+  │     large-scale tensor network contraction"                     │
+  │   ✗ "Finsler metric for QUBO" → "Distance-like function         │
+  │     inspired by Randers geometry"                               │
+  │   ✗ "Receipts are proofs" → "Receipts are signed measurements"  │
+  │                                                                 │
+  └─────────────────────────────────────────────────────────────────┘
+
+═══════════════════════════════════════════════════════════════════════
+                         EFFORT ESTIMATE
+═══════════════════════════════════════════════════════════════════════
+
+  P0 (security):    ~2 days    → blocks everything
+  P1 (foundation):  ~1 week    → redefines the project
+  P2 (quality):     ~2 weeks   → production-ready code
+  P3 (formal):      ~3 months  → genuine theorem library
+
+  Total to production-ready: ~3 weeks
+  Total to theorem library:  ~4 months
+
+═══════════════════════════════════════════════════════════════════════
+                         THE BOTTOM LINE
+═══════════════════════════════════════════════════════════════════════
+
+  The project is NOT "mathematical marshmallow fluff." It contains
+  genuine proven results (Sidon sets, codec consistency, AVM core,
+  eigensolid conditional theorem) and a solid engineering pipeline
+  (4-mode agreement, Φ-corkscrew, integration sprint).
+
+  What it IS: a good engineering prototype with overambitious
+  mathematical marketing. The math that works WORKS. The math that
+  doesn't work needs to be honestly restated.
+
+  → Strip the false claims → Keep the proven core → Build honestly.
+```