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
9.4 KiB
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 ω_oL_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:
- The BRDF of a physical surface determines the optimal q-profile
- Specular surfaces → q < 1 (few dominant channels, high coupling)
- Diffuse surfaces → q > 1 (many channels, low coupling, orthogonal)
- 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?