docs(simulation): sweep the last pre-I1 floor-framing comment (Tyre's non-blocking follow-up)
DISTRICT_MIN_WL_M's doc in window_derivation_golden.rs still carried the 'NOT 2×DISTRICT_M by coincidence alone' framing the I1 fix inverted everywhere else — now states the rung authors the floor and the terrain-octave coincidence is guard-pinned, matching the rewritten MIN_WL_BANDS_M and coast_invention docs. Tickets: T-1162 Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
This commit is contained in:
@@ -207,13 +207,14 @@ fn derive_golden_sample(
|
||||
}
|
||||
|
||||
/// District's real quantized `min_wl_m` band (`layer_proxy::MIN_WL_BANDS_M`'s
|
||||
/// pre-existing finest entry — District's own Nyquist floor, matching
|
||||
/// `detail_scatter::OCTAVE_WAVELENGTHS_M`'s finest octave). NOT `2 *
|
||||
/// DISTRICT_M` by construction coincidence alone — see the T-1162 discovery
|
||||
/// documented on `MIN_WL_BANDS_M` and on `district_floor_cutoff_is_stable_and_deterministic`
|
||||
/// in `district_profile.rs`: a District-rung request in production quantizes
|
||||
/// to exactly this value, so the golden pins the SAME cutoff a real window
|
||||
/// request would actually carry.
|
||||
/// District entry — District's own Nyquist floor, `2 * DISTRICT_M` per the
|
||||
/// PR #194 I1 dependency-direction fix: the RUNG authors the floor, and
|
||||
/// `detail_scatter::OCTAVE_WAVELENGTHS_M`'s finest octave coinciding with it
|
||||
/// is pinned by the `const` drift-guard next to `MIN_WL_BANDS_M`, not the
|
||||
/// source of the value). A District-rung request in production quantizes to
|
||||
/// exactly this value, so the golden pins the SAME cutoff a real window
|
||||
/// request would actually carry; `golden_cutoffs_match_the_scale_ladder`
|
||||
/// asserts the `2 × spacing` coupling for both this and `QUARTER_MIN_WL_M`.
|
||||
const DISTRICT_MIN_WL_M: f64 = 4_096.0;
|
||||
|
||||
/// Quarter's real quantized `min_wl_m` band (`layer_proxy::MIN_WL_BANDS_M`'s
|
||||
|
||||
Reference in New Issue
Block a user