docs(meta): PR #197 review captures — stroke-floor width-inertness + unreachable-pole-branch notes; bench reflow
Tyre's two governance sentences on the D-226 course note: (a) the Godot rasterizer floor makes per-class course WIDTH differentiation inert at every shipping fit zoom — classes distinguish by opacity alone until T-1175's per-vertex tapering; the 'trunk widest' promise is design intent, not current pixels. (b) The pole-row edge-drain branch is structurally unreachable; the real mechanism is interior k<0 (revert-verification discovery). Plus the dangling cargo-fmt reflow in the course-cost bench from the gate-bounce round. Tickets: T-1170 Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
This commit is contained in:
File diff suppressed because one or more lines are too long
@@ -420,10 +420,28 @@ fn bench_course_cost_on_vs_off() {
|
|||||||
|
|
||||||
// Warm-up (allocator/cache warm, not counted).
|
// Warm-up (allocator/cache warm, not counted).
|
||||||
let _ = build_district_window_layer(
|
let _ = build_district_window_layer(
|
||||||
seed, "GJ1c", ¶ms, &ta, &rn_off, center, n, &climate, WindowGranularity::District, 0,
|
seed,
|
||||||
|
"GJ1c",
|
||||||
|
¶ms,
|
||||||
|
&ta,
|
||||||
|
&rn_off,
|
||||||
|
center,
|
||||||
|
n,
|
||||||
|
&climate,
|
||||||
|
WindowGranularity::District,
|
||||||
|
0,
|
||||||
);
|
);
|
||||||
let _ = build_district_window_layer(
|
let _ = build_district_window_layer(
|
||||||
seed, "GJ1c", ¶ms, &ta, rn_on, center, n, &climate, WindowGranularity::District, 0,
|
seed,
|
||||||
|
"GJ1c",
|
||||||
|
¶ms,
|
||||||
|
&ta,
|
||||||
|
rn_on,
|
||||||
|
center,
|
||||||
|
n,
|
||||||
|
&climate,
|
||||||
|
WindowGranularity::District,
|
||||||
|
0,
|
||||||
);
|
);
|
||||||
|
|
||||||
let iterations = 1000; // higher count than the other benches — window cost here is ~1 ms, noisy at low n
|
let iterations = 1000; // higher count than the other benches — window cost here is ~1 ms, noisy at low n
|
||||||
@@ -431,7 +449,16 @@ fn bench_course_cost_on_vs_off() {
|
|||||||
let t_off = Instant::now();
|
let t_off = Instant::now();
|
||||||
for _ in 0..iterations {
|
for _ in 0..iterations {
|
||||||
let layer = build_district_window_layer(
|
let layer = build_district_window_layer(
|
||||||
seed, "GJ1c", ¶ms, &ta, &rn_off, center, n, &climate, WindowGranularity::District, 0,
|
seed,
|
||||||
|
"GJ1c",
|
||||||
|
¶ms,
|
||||||
|
&ta,
|
||||||
|
&rn_off,
|
||||||
|
center,
|
||||||
|
n,
|
||||||
|
&climate,
|
||||||
|
WindowGranularity::District,
|
||||||
|
0,
|
||||||
);
|
);
|
||||||
std::hint::black_box(layer.morphology.len());
|
std::hint::black_box(layer.morphology.len());
|
||||||
}
|
}
|
||||||
@@ -442,7 +469,16 @@ fn bench_course_cost_on_vs_off() {
|
|||||||
let mut courses_seen = 0usize;
|
let mut courses_seen = 0usize;
|
||||||
for _ in 0..iterations {
|
for _ in 0..iterations {
|
||||||
let layer = build_district_window_layer(
|
let layer = build_district_window_layer(
|
||||||
seed, "GJ1c", ¶ms, &ta, rn_on, center, n, &climate, WindowGranularity::District, 0,
|
seed,
|
||||||
|
"GJ1c",
|
||||||
|
¶ms,
|
||||||
|
&ta,
|
||||||
|
rn_on,
|
||||||
|
center,
|
||||||
|
n,
|
||||||
|
&climate,
|
||||||
|
WindowGranularity::District,
|
||||||
|
0,
|
||||||
);
|
);
|
||||||
courses_seen = layer.courses.len();
|
courses_seen = layer.courses.len();
|
||||||
std::hint::black_box(layer.morphology.len());
|
std::hint::black_box(layer.morphology.len());
|
||||||
|
|||||||
Reference in New Issue
Block a user