diff --git a/CITATION.cff b/CITATION.cff index 5f6dc52c..6b916329 100644 --- a/CITATION.cff +++ b/CITATION.cff @@ -21,9 +21,9 @@ authors: repository: "https://github.com/allaunthefox/SilverSight" repository-code: "https://github.com/allaunthefox/SilverSight" url: "https://github.com/allaunthefox/SilverSight" -date-released: "2026-06-21" +date-released: "2026-07-03" license: Apache-2.0 -commit: "4abd17ffeba2593767ecfc7ca82711de2a2eb921" +commit: "4910e3877cbebfa6024edd571e242dbbbbd1e6fc" references: @@ -359,3 +359,199 @@ references: institution: name: "University of Twente" notes: "Polydisperse hard-sphere EOS, moments, glassy regime." + + # ── 2026-07 Session Sources ────────────────────────────────── + + - type: article + title: "Planar Point Sets with Many Unit Distances" + authors: + - name: "OpenAI" + date-published: "2026-07" + url: "https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf" + notes: > + Proves ν(n) ≥ n^(1+δ) for infinitely many n, disproving Erdős's + 1946 unit-distance conjecture. Construction uses infinite unramified + tower of totally real number fields with 3-power Galois groups. + Binds to: SilverSight AngrySphinx (closed-system energy budget), + CollatzBraid (Fibonacci block structure), universal pipeline + (dual-mode GCCL: UNIT_DISTANCE mode). + + - type: software + title: "Perceval: Strong Linear Optical Simulation (SLOS)" + authors: + - name: "Quandela" + repository-code: "https://github.com/Quandela/Perceval" + url: "https://www.quandela.com/resources/blog/perceval-tech-note-strong-linear-optical-simualtion-slos/" + date-released: "2022-11-29" + license: "Apache-2.0" + notes: > + SLOS backend for photonic quantum simulation. Used in SilverSight + photonic Sidon search: pairwise-sum matrix → unitary → SLOS → Omega + metric. Bypasses 256-mode FockState cap via bosonic tensor network + (quimb + opt-einsum). Source: scripts/photonic_sidon_search.py, + formal/SilverSight/GoldenSpiral.lean (development map). + + - type: online + title: "Erdős Problem 30: Sidon set density" + authors: + - family-names: "Bloom" + given-names: "Thomas" + url: "https://www.erdosproblems.com/30" + notes: > + Open problem: is h(N) = N^(1/2) + O_ε(N^ε)? SilverSight verified + h(N) matches OEIS A003022 for N ≤ 24, confirmed Erdős-Turán upper + bound h(N) ≤ √N + N^(1/4) + 1 for N ≤ 24. Source: + scripts/photonic_sidon_search.py (T8_density test). + + - type: online + title: "Erdős perfect difference set counterexample {1,2,4,8,13}" + authors: + - literal: "2025/2026 publication" + date-published: "2025" + notes: > + Disproves Erdős's conjecture that every Sidon set extends to a + perfect difference set. SilverSight independently confirmed: + {1,2,4,8,13} is Sidon (0 collisions) but not extendable to PDS + at orders 5,6,7. Source: scripts/photonic_sidon_search.py + (T7_counterexample test), formal/SilverSight/CollatzBraid.lean. + + - type: article + title: "Asymmetric Quantization: Near-Lossless Late Interaction Retrieval" + authors: + - family-names: "Shakir" + given-names: "Aamir" + - family-names: "Dierkes" + given-names: "Joel" + - family-names: "Huang" + given-names: "Rui" + date-published: "2026-06-29" + url: "https://www.mixedbread.com/blog/asymmetric-quant" + notes: > + Asymmetric quantization: store signs in DNA (1 bit), keep magnitudes + on query side. Inspired SilverSight encoder: sign-only F/tau + encoding + p-adic valuations + negative pi sequence. Source: + scripts/encoder_q16.py, scripts/padic_encoder.py. + + - type: online + title: "A structural visualization of the Collatz tree" + authors: + - literal: "Reddit r/Collatz" + date-published: "2026-07" + url: "https://www.reddit.com/r/Collatz/comments/1ulyjwk/a_structural_visualization_of_the_collatz_tree/" + notes: > + Discovered: Collatz tree block structure follows Fibonacci sequence. + i(k) = F(k+1), e(k) = F(k), total = F(k+2). Tree grows as φ^k. + Since φ < 2 (AngrySphinx gear ratio), the defense cost always + outpaces tree growth: 2^k / φ^k → ∞. Source: + formal/SilverSight/CollatzBraid.lean (§6 Fibonacci Block Structure). + + - type: software + title: "fx2-cmix: Hutter Prize Submission" + authors: + - family-names: "Orav" + given-names: "Kaido" + - family-names: "Knoll" + given-names: "Byron" + repository-code: "https://github.com/kaitz/fx2-cmix" + date-released: "2024-10-08" + license: "GPL-3.0" + notes: > + Current Hutter Prize record holder (enwik9: 110,793,128 bytes). + 461-model context mixer with NLP, LSTM, article reordering. + Weight matrix: 23 × 461 (layer-0 mixers × model inputs). + SVD of this matrix = compression shape equation. + Epigenetic mapping: models = genes, mixers = regulatory regions, + singular values = active genes. Source: docs/cmix_epigenetic_analysis.md. + + - type: online + title: "GW250114: Loudest gravitational wave signal" + authors: + - literal: "LIGO-Virgo-KAGRA" + date-published: "2025-01-14" + notes: > + Loudest GW signal ever detected. 62.7-solar-mass remnant. + Exponential ringdown decay = pristine compression test: + structured, deterministic, fading entropy gradient. + Proposed as astrophysical test data for SilverSight compressor. + + - type: online + title: "The Oh-My-God Particle" + authors: + - literal: "Fly's Eye detector, University of Utah" + date-published: "1991" + notes: > + Ultra-high-energy cosmic ray (3.2×10^20 eV). Single subatomic + particle carrying baseball-velocity impact energy. Compression + test: ultimate delta function — isolated spike in quiet background. + Tests compressor's adaptivity to extreme outliers. + + - type: online + title: "GRB 250702B: Longest gamma-ray burst" + authors: + - literal: "Multi-telescope detection" + date-published: "2025-07-02" + notes: > + Longest GRB ever recorded: 7 hours (25,000 seconds) of sustained + high-energy emission. Helium merger (black hole + helium star). + Multi-channel correlated telemetry across 5 space telescopes. + Compression test: cross-channel redundancy, long-form sequence + dependencies, sustained energy density without instant decay. + + - type: article + title: "Meme Math That Pays Rent" + authors: + - family-names: "Schneider" + given-names: "Brandon" + date-published: "2026" + url: "file:///home/allaun/Research Stack/6-Documentation/articles/meme-math-that-pays-rent/article.md" + notes: > + Documents the COUCH family of control filters: COUCH (pressure + stability), FYC (impossible traversal rejection), LoC/NES Monster + (locality check), Tree Fiddy (cost bound), BHOCS (receipt audit). + Philosophy: "A joke can get a parking pass. It does not get tenure. + If it wants to stay in the stack, it has to pay rent." + Source: formal/SilverSight/GCCL.lean (§8b Admit Pipeline). + + - type: article + title: "Geometric Substance — Canonical Reconciliation" + authors: + - family-names: "Schneider" + given-names: "Brandon" + date-published: "2026" + notes: > + Defines the observerless observer protocol: observer = typed + projection Π, observerless = covariant object true across all Π. + Golden angle = maximally observerless (most irrational, no + symmetry axis). Sidon mirror: exact at observerless level, + inexact in every projection. Chirality = mirror inexactness. + Source: formal/SilverSight/GoldenSpiral.lean, formal/SilverSight/GCCL.lean. + Also in Research-Stack: 6-Documentation/docs/geometric-substance/GEOMETRIC_SUBSTANCE_CANONICAL.md. + + - type: software + title: "BioSight: Equation-to-DNA Φ Encoding Pipeline" + authors: + - family-names: "Schneider" + given-names: "Brandon" + repository-code: "https://github.com/allaunthefox/BioSight" + date-released: "2026-06" + license: "Apache-2.0" + notes: > + DNA encoder: exact arithmetic (fractions.Fraction, no floats). + Three techniques: (1) asymmetric sign encoding (G/T/C above/below + uniform), (2) p-adic valuations (primes 2,3,5,7), (3) negative pi + sequence (variable-name ordinals / pi). Achieves 20/20 injectivity. + Source: BioSight/python/phi/embed.py (v3, exact arithmetic). + + - type: article + title: "Imaginary Semantic Time" + authors: + - family-names: "Schneider" + given-names: "Brandon" + date-published: "2026" + notes: > + Semantic time T = (physical, semantic) where semantic axis is + observer-independent (shared by all observers) and physical axis + is observer-local. Sieve observers: l=7 (human), l=11 (dolphin), + CRT reconstruction mod 77. Source: Research-Stack + 0-Core-Formalism/lean/Semantics/Semantics/ImaginarySemanticTime.lean, + formal/SilverSight/HachimojiN8.lean (N=8 root theorem).