mirror of
https://github.com/allaunthefox/SilverSight.git
synced 2026-08-17 13:50:35 +00:00
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
218 lines
9.4 KiB
Markdown
218 lines
9.4 KiB
Markdown
**STATUS: REJECTED** — moved to failed/ on 2026-07-04
|
||
**Reason:** The rendering-equation / chiral-framework correspondence is an ANALOGY, not a theorem — both are fixed points, which is trivially true and carries no content; no measurement, no formal proof.
|
||
**Receipt:** Adversarial review (UNIFIED_THEORY_ADVERSARIAL_REVIEW.md §Rendering Equation) — analogy only, no theorem or experiment.
|
||
|
||
---
|
||
|
||
# The Rendering Equation as Observerless Observer
|
||
|
||
**Status:** THEORETICAL — connects rendering equation to 16D chiral framework
|
||
**Date:** 2026-07-04
|
||
**Depends on:** `CHIRAL_CRT_MULTIPLEXING.md`, `HCMR_CRT_MULTIPLEXER.md`,
|
||
`INVARIANT_COMPUTATION_GEOMETRY.md`, `OCTAGON_PRINCIPLE.md`
|
||
**Source equation:** Kajiya (1986), "The Rendering Equation"
|
||
|
||
---
|
||
|
||
## 1. The Rendering Equation
|
||
|
||
$$L_o(\mathbf{x}, \omega_o) = L_e(\mathbf{x}, \omega_o) + \int_{\Omega} f_r(\mathbf{x}, \omega_i, \omega_o) L_i(\mathbf{x}, \omega_i) (\omega_i \cdot \mathbf{n}) d\omega_i$$
|
||
|
||
where:
|
||
- `L_o(x, ω_o)` = outgoing radiance at point x in direction ω_o
|
||
- `L_e(x, ω_o)` = emitted radiance (self-illumination)
|
||
- `f_r(x, ω_i, ω_o)` = BRDF (bidirectional reflectance distribution function)
|
||
- `L_i(x, ω_i)` = incoming radiance from direction ω_i
|
||
- `(ω_i · n)` = irradiance factor (cosine with surface normal)
|
||
- `Ω` = unit hemisphere above the surface
|
||
|
||
## 2. Why This Is the Observerless Observer
|
||
|
||
The rendering equation is a **Fredholm integral equation of the second kind**:
|
||
`L_o` appears on both sides. The incoming radiance `L_i(x, ω_i)` is itself
|
||
the outgoing radiance `L_o(x', ω_o)` at another point `x'` visible along
|
||
direction `ω_i`. The equation is recursive:
|
||
|
||
L_o = L_e + K[L_o]
|
||
|
||
where `K[·]` is the integral operator (the light transport kernel).
|
||
|
||
This IS the observerless observer:
|
||
- No external "god's-eye" reference frame
|
||
- The observer (viewer at ω_o) and the observed (scene via L_i) are coupled
|
||
- The solution is a **fixed point**: L_o = (I - K)⁻¹ L_e (Neumann series)
|
||
- The observation emerges from self-consistency, not from an external frame
|
||
|
||
In the 16D chiral framework, this is exactly the structure:
|
||
- The 8-strand braid is a fixed point under crossing operations
|
||
- The eigensolid convergence (BraidEigensolid.lean) IS the Neumann series
|
||
convergence: repeated application of the light transport operator
|
||
- The "observerless observer" = no preferred direction = all directions
|
||
are treated equally in the hemisphere integral
|
||
|
||
## 3. The Mapping: Rendering Equation ↔ 16D Chiral
|
||
|
||
### 3.1 Component Map
|
||
|
||
| Rendering equation | 16D chiral framework | Meaning |
|
||
|---|---|---|
|
||
| `L_o(x, ω_o)` | Strand output | What the observer strand "sees" |
|
||
| `L_e(x, ω_o)` | Identity component (a mod L₀) | Intrinsic emission (poloidal) |
|
||
| `f_r(x, ω_i, ω_o)` | Braid crossing σ_i | Chiral coupling (how i→o) |
|
||
| `L_i(x, ω_i)` | Reflection component (S-a mod Lᵢ) | Incoming from environment (toroidal) |
|
||
| `(ω_i · n)` | q-profile (L₁/L₀ ratio) | Angle-dependent irradiance factor |
|
||
| `∫_Ω dω_i` | CRT sum over all channels | Hemisphere = all chiral channels |
|
||
| Fixed-point (L_o = L_e + K[L_o]) | Observerless observer | No external reference frame |
|
||
|
||
### 3.2 The BRDF as Chiral Coupling
|
||
|
||
The BRDF `f_r(x, ω_i, ω_o)` encodes how light from direction ω_i reflects
|
||
into direction ω_o. This is DIRECTIONAL — it depends on both angles.
|
||
|
||
In the chiral framework:
|
||
- Each braid crossing σ_i has chirality εᵢ ∈ {+1, -1}
|
||
- σ_i⁺¹ = over-crossing = light reflects "over" (positive BRDF lobe)
|
||
- σ_i⁻¹ = under-crossing = light reflects "under" (negative BRDF lobe)
|
||
- The BRDF IS the chiral coupling: f_r(ω_i, ω_o) = f(σ_i^ε)
|
||
|
||
A specular surface (mirror) has a sharp BRDF lobe = single chiral crossing.
|
||
A diffuse surface (Lambertian) has uniform BRDF = all chiral configurations
|
||
equally likely. The q-profile determines the BRDF shape:
|
||
- q >> 1 (translation-dominated): diffuse-like (all channels active)
|
||
- q < 1 (rotation-dominated): specular-like (few channels dominate)
|
||
- q = 1: degenerate (single channel, no diversity)
|
||
|
||
### 3.3 The Irradiance Factor as q-Profile
|
||
|
||
The `(ω_i · n)` term is the cosine of the angle between incoming light and
|
||
the surface normal. This is the "efficiency" of energy transfer.
|
||
|
||
In the chiral framework:
|
||
- `n` = the identity axis L₀ (the "normal" = the intrinsic direction)
|
||
- `ω_i` = the reflection axis L₁ (the "incoming" = the toroidal direction)
|
||
- `(ω_i · n)` = cos(angle between L₀ and L₁) ≈ L₁/L₀ = q
|
||
|
||
When q < 1 (L₁ < L₀): the reflection axis is "aligned" with the identity
|
||
(normal-like) → high irradiance → high coupling
|
||
When q > 1 (L₁ > L₀): the reflection axis is "perpendicular" → low irradiance
|
||
→ low coupling but more channels
|
||
|
||
This explains the q-profile sweep result: q > 1 has 100% Sidon rate because
|
||
low irradiance = low coupling = channels don't interfere (orthogonal).
|
||
q < 1 has lower Sidon rate because high irradiance = high coupling = channels
|
||
interfere (collisions).
|
||
|
||
### 3.4 The Hemisphere Integral as CRT Sum
|
||
|
||
The integral `∫_Ω dω_i` sums over all incoming directions in the hemisphere.
|
||
This is the continuous version of summing over all chiral channels.
|
||
|
||
In the discrete (CRT) framework:
|
||
- The hemisphere Ω is discretized into n/2 chiral channels
|
||
- Each channel = one (identity, reflection) pair
|
||
- The integral becomes: Σ_{j=1}^{n/2} f_r(j) L_i(j) q_j
|
||
- The Sidon property ensures channels are orthogonal (non-interfering)
|
||
- Without Sidon: channels collide → the integral has aliasing artifacts
|
||
|
||
## 4. The Neumann Series = Eigensolid Convergence
|
||
|
||
### 4.1 Continuous Case (Rendering Equation)
|
||
|
||
The rendering equation's solution is the Neumann series:
|
||
|
||
L_o = L_e + K[L_e] + K²[L_e] + K³[L_e] + ...
|
||
L_o = (I - K)⁻¹ L_e = Σ_{k=0}^∞ Kᵏ[L_e]
|
||
|
||
This converges when the operator norm `||K|| < 1` (physically: energy is
|
||
lost at each bounce, no perfect mirrors in a closed room).
|
||
|
||
### 4.2 Discrete Case (BraidEigensolid)
|
||
|
||
The eigensolid convergence (BraidEigensolid.lean) is the SAME series:
|
||
|
||
BraidState_final = Σ_{k=0}^∞ crossStepᵏ(BraidState_initial)
|
||
|
||
where `crossStep` is the braid crossing operator (the discrete analog of
|
||
the light transport kernel K).
|
||
|
||
Convergence condition: the spectral radius of crossStep < 1.
|
||
In HCMR terms: self_loop_prob < 1 (not fully contended).
|
||
In rendering terms: ||K|| < 1 (energy lost per bounce).
|
||
|
||
### 4.3 The Connection
|
||
|
||
The eigensolid IS the rendering equation's solution in the discrete chiral
|
||
framework:
|
||
- Each braid crossing = one light bounce
|
||
- The Sidon labels = the radiance values at each point
|
||
- The crossStep operator = the light transport kernel K
|
||
- The fixed point (eigensolid) = the steady-state radiance distribution
|
||
- The "observerless observer" = the recursive fixed-point structure
|
||
|
||
## 5. Implications for the Multiplexer
|
||
|
||
### 5.1 The BRDF Determines Channel Quality
|
||
|
||
In the CRT multiplexer, each channel's quality depends on the BRDF:
|
||
- High BRDF lobe (specular) = strong coupling = one dominant channel
|
||
- Low BRDF lobe (diffuse) = weak coupling = many channels, low each
|
||
- The q-profile controls the BRDF shape
|
||
|
||
### 5.2 The Rendering Equation Is the Continuous Limit
|
||
|
||
The CRT multiplexer is the DISCRETE version of the rendering equation:
|
||
- n/2 channels = n/2 directional samples of the hemisphere
|
||
- CRT sum = discrete hemisphere integral
|
||
- Sidon orthogonality = channels don't alias (Nyquist criterion)
|
||
- The Neumann series = eigensolid convergence
|
||
|
||
As n → ∞, the CRT multiplexer approaches the rendering equation.
|
||
The Sidon property is the discrete Nyquist criterion: channels must be
|
||
sufficiently separated to avoid aliasing.
|
||
|
||
### 5.3 The Observerless Observer Is the Fixed Point
|
||
|
||
The "observerless observer" from INVARIANT_COMPUTATION_GEOMETRY.md is
|
||
the rendering equation's fixed point:
|
||
- No external observer (L_o is defined self-consistently)
|
||
- The observation emerges from the integral structure
|
||
- The frame-independent invariants are the BRDF's symmetries
|
||
|
||
In the chiral framework:
|
||
- The braid's fixed point (eigensolid) = the steady-state radiance
|
||
- The Sidon property = the BRDF's directional orthogonality
|
||
- The q-profile = the BRDF's angular distribution
|
||
|
||
## 6. Practical Implication: BRDF-Guided Channel Selection
|
||
|
||
If the rendering equation is the continuous limit, then:
|
||
1. The BRDF of a physical surface determines the optimal q-profile
|
||
2. Specular surfaces → q < 1 (few dominant channels, high coupling)
|
||
3. Diffuse surfaces → q > 1 (many channels, low coupling, orthogonal)
|
||
4. The Sidon filter selects channels that are "BRDF-orthogonal"
|
||
|
||
This means: for a given physical system (surface, network, workload),
|
||
the BRDF (directional response function) determines which chiral
|
||
configurations are useful. The Sidon filter selects exactly those.
|
||
|
||
## 7. claim_boundary
|
||
|
||
```
|
||
rendering-equation-observerless:theoretical-connection:continuous-limit
|
||
```
|
||
|
||
The rendering equation (Kajiya 1986) is the continuous limit of the
|
||
16D chiral observerless observer framework. The mapping:
|
||
|
||
- BRDF = chiral coupling (braid crossing with chirality)
|
||
- Irradiance cosine = q-profile (poloidal/toroidal ratio)
|
||
- Hemisphere integral = CRT sum over channels
|
||
- Neumann series = eigensolid convergence
|
||
- Fixed-point recursion = observerless observer
|
||
|
||
The Sidon property is the discrete Nyquist criterion: channels must be
|
||
sufficiently separated to avoid aliasing in the directional integral.
|
||
As n → ∞, the CRT multiplexer approaches the rendering equation.
|
||
|
||
**OPEN:** Can the BRDF of a physical surface be used to predict the
|
||
optimal q-profile for the CRT multiplexer?
|