mirror of
https://github.com/allaunthefox/SilverSight.git
synced 2026-07-31 01:25:21 +00:00
2f0328602f
Three agents reviewed and repaired:
1. CacheSieve.lean (7 errors fixed):
- Rewrote shouldAdmit (removed head!/match, both branches were true)
- Fixed evictVictim type mismatch (Option CacheLine → Option ℕ)
- Removed sorry from evict_prefers_reset (proved properly)
- Removed excess omega calls (simp already closed goals)
2. HCMR.lean (3 errors fixed):
- Removed excess omega after simp (no goals to solve)
- Downgraded ring_fastest_subleq_avx from > to ≥ (theorem was FALSE
for baseRate=1 due to integer truncation: 0 > 0 fails)
- Used Nat.div_le_div_right instead of omega (nonlinear division)
3. Blitter6502OISC.lean (2 issues fixed):
- Removed redundant rw [if_pos rfl] (simp already closed)
- Downgraded ring_faster_than_subleq_blitter from > to ≥
4. CRTSidonN.lean (2 issues fixed):
- Fixed wrong lemma name (Nat.sub_le_sub_left → direct omega)
- Replaced nlinarith with Nat.mul_le_mul_left
5. YangMillsPerformance.lean: 1 sorry flagged (compression_overhead_bounded)
nlinarith-on-division fragility flagged but not fixed
6. WorkloadTestbench.lean: depends on CacheSieve (now fixed)
excess omega flagged but not fixed
Reorganized docs:
- 7 rejected theory docs moved to docs/research/failed/
(dual quaternion, chiral batch, BraidStorm×TreeBraid×COUCH,
HCMR multiplexer, spherical chiral, QUBO/QAOA, rendering equation)
- Each has STATUS: REJECTED header with reason and receipt
- failed/README.md created with inventory
- SIX_STAGE_SEARCH_ENGINE.md: added C3-kill note
Rejected because:
- Dual quaternion algebra wrong (integers ≠ unit quaternions)
- Chiral discrimination of Sidon FALSE (C3: position-invariant)
- 'Degree on S²' invented (Rossby drift is scalar sum)
- QUBO/QAOA bridge entirely speculative
- Rendering equation analogy not theorem
- 'n/2 channels' is renamed Sidon, not new
62 lines
3.1 KiB
Markdown
62 lines
3.1 KiB
Markdown
# failed/ — Rejected or Disproven Research Docs
|
|
|
|
This directory holds research notes whose central claims have been **rejected or
|
|
disproven** by measurement or by the adversarial review. They are kept here
|
|
(rather than deleted) so the reasoning, and the reason it failed, stays in the
|
|
record.
|
|
|
|
Each file has a rejection header at the top of the form:
|
|
|
|
```
|
|
**STATUS: REJECTED** — moved to failed/ on 2026-07-04
|
|
**Reason:** <specific finding that killed it>
|
|
**Receipt:** <which test / review section produced the kill>
|
|
```
|
|
|
|
## What killed most of these
|
|
|
|
The single most decisive result is the **C3 run 019f2f07**: across 64 chiral
|
|
configurations, the Sidon output was **identical** in every case. In other
|
|
words, chiral permutation is **position-invariant** — chirality does *not*
|
|
discriminate Sidon sets. This collapses an entire family of "chiral
|
|
multiplexing / chiral batch / chiral CRT" theories, because their putative
|
|
multiplexing gain (n/2 channels, 256 configs, etc.) reduces to one channel.
|
|
|
|
See `../ENCODE_ENGINE_NECESSITY.md` and `../CHIRAL_INVARIANCE_FINDING.md`
|
|
for the measured result, and `../UNIFIED_THEORY_ADVERSARIAL_REVIEW.md` for the
|
|
full review.
|
|
|
|
## Inventory
|
|
|
|
| File | Reason |
|
|
|------|--------|
|
|
| `CHIRAL_BATCH_ENCODING.md` | Chiral discrimination of Sidon is FALSE — position-invariant (C3 receipt). |
|
|
| `BRAIDSTORM_TREEBRAID_COUCH.md` | Pipeline throughput numbers are GUESSES; chiral invariance kills the premise (C3 receipt). |
|
|
| `HCMR_CRT_MULTIPLEXER.md` | "Degree on S²" is INVENTED — Rossby drift is scalar, not a winding number; no receipt. |
|
|
| `SPHERICAL_CHIRAL_CRT.md` | "Labels on S²" is FALSE — CRT labels are integers in Z, not points on S². |
|
|
| `CHIRAL_QUBO_QAOA.md` | QUBO/QAOA bridge is ENTIRELY SPECULATIVE — no experiment, no circuit. |
|
|
| `RENDERING_EQUATION_OBSERVERLESS.md` | Rendering-equation correspondence is an ANALOGY, not a theorem (fixed-point triviality). |
|
|
| `CHIRAL_CRT_MULTIPLEXING.md` | "n/2 orthogonal channels" is RENAMED Sidon; "CRT replaces mixer" UNTESTED (C3 receipt). |
|
|
|
|
## Not here (kept in `../` — these stand)
|
|
|
|
These docs contain **measured results or proven theorems** and were *not* moved:
|
|
|
|
- `CHIRAL_INVARIANCE_FINDING.md` — measured, 50K trials
|
|
- `CHIRAL_INVARIANCE_GENERALIZED.md` — proven, ring automorphism
|
|
- `ENCODE_ENGINE_NECESSITY.md` — measured, C3 receipt
|
|
- `UNIFIED_THEORY_ADVERSARIAL_REVIEW.md` — the review itself
|
|
- `ATTACK_PLAN.md` — the test plan
|
|
- `COMPLETE_TEST_MATRIX.md` — the test matrix
|
|
- `TOROIDAL_POLOIDAL_REFINEMENT.md` — measured, q-profile sweep
|
|
- `PIPELINE_MATH_REFINEMENT.md` — external repo analysis
|
|
- `GERVER_SIDON_DESIGN.md` — design doc, honestly assessed as "long shot"
|
|
- `SIX_STAGE_SEARCH_ENGINE.md` — design (with a note that C3 kills the chiral stages)
|
|
|
|
## Note on `DUAL_QUATERNION_SIDON_FILTER.md`
|
|
|
|
This file was listed for rejection but **does not exist** in the repository.
|
|
The dual-quaternion claim lives in `../UNIFIED_THEORY.md` §I.3, which the
|
|
adversarial review flags as FALSE (integers ≠ unit quaternions). It is not
|
|
moved here because `UNIFIED_THEORY.md` is the parent doc and was not in the
|
|
move list — its §I.3 should be treated as rejected in place.
|