# Project Map — What SilverSight IS Right Now

**Last updated:** 2026-07-03
**Overwrite freely.** This is today's truth, not yesterday's.

## What SilverSight Is

A formally verified computation stack that encodes nonlinear problems
as linear spectral invariants, extracts them via optical/DNA/braid
substrates, and verifies them with an anti-smuggle receipt framework.

## The One Principle

> Computation in the space of invariants, rather than in any
> specific representation.

The conservation law (measured 8 times) governs information.
The octagon principle (measured 4/4 on Sidon) governs computation.
Both are the same law: prime factorization of information.

## What's Proven (Measured)

| Finding | Measurement | Status |
|---------|------------|--------|
| Conservation law | 8 branches, all ≥ K(data) | PROVEN |
| Encoder injectivity | 20/20, exact arithmetic | PROVEN |
| Sidon spectral detection | 4/4 via pairwise-sum matrix | PROVEN |
| Erdős PDS counterexample | {1,2,4,8,13} confirmed | PROVEN |
| h(N) matches OEIS | N ≤ 24, brute-force verified | PROVEN |
| Anti-smuggle scanner | 18 axioms justified, 0 vacuities | PROVEN |
| GCCL Admit pipeline | 8 gates, all theorems proven | PROVEN |
| 20 bugs found and fixed | All in formal verification | PROVEN |

## What's Open

| Question | Evidence | Status |
|----------|----------|--------|
| O(n) spectral embedding for NP? | Sidon works, Hamiltonicity fails | OPEN |
| Reaction prime decomposition? | Framework proposed, unmeasured | SPECULATIVE |
| Merged O(1) DNA transform? | Framework proposed, unmeasured | SPECULATIVE |
| 3-SAT spectral detectability? | Untested | OPEN |
| cmix weight matrix low-rank? | Untested | OPEN |

## What's Dead (Measured, Closed)

| Claim | Measurement | Verdict |
|-------|------------|---------|
| Spectral compression | 3.088 b/B (PPM), loses to xz | DEAD |
| 16D GW 583x | Zero-noise artifact, 1.5x real | DEAD |
| Braille/T9 text | 4.167 b/B, worse than PPM | DEAD |
| Polynomial as compressor | Receipt, not on decode path | DEAD |
| Weird machine beats K(data) | Conservation forbids it | DEAD |

## The Pipeline (Current Architecture)

```
Input (any type) → Universal normalizer → integer labels
  → DNA encoder (p-adic + neg-pi, 30-base hachimoji, 20/20 injective)
  → Omindirection (DNA → logogram atom with chirality + receipt)
  → GCCL Admit (8 gates: replay, byte_gain, residual, LoC_NES,
    FYC, COUCH, TreeFiddy, BHOCS)
  → DAG builder (labels → topological DAG)
  → Braid serializer (DAG → 8-strand braid packets)
  → MMR (Mountain append/merge, discrete β step)
  → QR decompose (O-AMMR: eigenvalue spectrum = invariants)
  → goldenSpiral (φ⁻¹ contraction toward IR fixed point)
  → AngrySphinx (2^depth energy budget, NaN boundary)
  → Char-poly receipt (spectral signature = prime decomposition)
```

## The Research Documents (Stable, Measured)

| Document | What it proves |
|----------|---------------|
| `docs/research/INVARIANT_COMPUTATION_GEOMETRY.md` | The unifying vision |
| `docs/research/OCTAGON_PRINCIPLE.md` | Computation shortcut + P vs NP program |
| `docs/research/REACTION_PRIMES.md` | Algebraic irreducibility framework |
| `docs/research/O1_TRANSFORMS.md` | Three O(n)→O(1) reductions |
| `docs/research/MERGED_O1_TRANSFORM.md` | Speculative DNA unified step |
| `docs/weird_machine_conservation_law.md` | 8 measured findings + conservation law |
| `docs/gw_compression_honest_result.md` | GW 583x = zero-noise artifact |
| `docs/cmix_epigenetic_analysis.md` | cmix 461-model weight matrix |
