# Multilayers - 2026-09-23 [Proved] For a digit-design multilayer (base `b`, digits `D`, equal optical thickness, normal incidence) the level-`(k+1)` characteristic matrix is the ordered product over `d < b` of `M_k(delta)` for `d` in `D` and the host slab `M_B(b^k delta)` otherwise, `b - 1` multiplications a level. Witness: notes/multilayers.md "The level recursion". - 2026-09-23 [Verified] The level recursion agrees with a 40-digit layer-by-layer transfer product to relative `8.4e-13` over `3^6`, `4^5`, `5^4`, `7^4` and `9^3` cells at `nA = 1.6, 2.3, 3.5`. Witness: lab/py/design-multilayer `check`. - 2026-09-23 [Proved] At zero contrast `abs(d(r_k/t_k)/d nA)` equals `abs(d(r_0/t_0)/d nA)` times `abs(prod_(j 0`; at `nA = 2.3`, `f_12 sqrt(12)` is `1.097` for `{0,2,4,6}` base 7, still falling slowly, and `0.901` for `{0,1,3,4}` base 7. Witness: lab/py/design-multilayer `census` and `refute`.