Task 4, re-scoped per the plan's honest-FAIL branch: the c3 class is NOT
retired — every record now states the measured post-ALT truth.
- KNOWN-LIMITATIONS: the cross-metro section is the /cari-shaped record —
WHAT CHANGED (ALT built, D-03 optimality green quoted) / what REMAINS
(the CPU verdict FAIL lines quoted with date; the one-directional-
Lipschitz wall named; the escalation open); the roadmap-pointer ALT row
flips to Built (Phase 8) with the measured verdict — never 'not built'
again
- ROAD-GRAPH: the ladder table gains the (c2) rung (EXECUTED, measured
FAIL, the L=32 probe quoted); the decision paragraph states c2
executed-verdict-fail and names the real remaining options; new 'The
ARG2 binary layout' section (72-byte header, landmarkCount/
landmarkQuantumS, u16 suffix + sentinels, the quantum knob's ≈6,553 s
ceiling, the storage-name-vs-format-truth law); key facts carry the
optimality gate and the ARG2 wording; the fork contract's build step
teaches the landmark stage (no new commands)
- docs/CONFIGURATION.md: verify-only — all path/script claims still true,
no edit needed
- staged as selective hunks; the tree's pre-existing doc-sync edits
(battery paragraph, 'six maintainer scripts' intro) remain uncommitted
greps: 'Next-milestone item, not built' = 0; the measured p95 strings
quoted; (c2)/landmarkQuantumS/ARG2 all present; ARG1 appears only in
layout/router-pending contexts.
- upload-road-graph.mjs: wrangler-shelled maintainer tool (pre-flight 1-80MB,
round-trip verify hint); bucket araharah-graphs NOT created — R2 is not yet
enabled on the account (wrangler code 10042) — dashboard one-time activation
is the phase's user_setup item
- measure-route-cpu.mjs: 25-pair gate (corpus + seeded quadrant spread),
hrtime around routeAstar, warm-up excluded, unreachable probes reported
SEPARATELY from the routed p95, exits 1 over the 8ms budget
- Rule 1 (measured): the class set lacked *_link ramps — the graph FRAGMENTED
(7.7% of nodes in severed motorway islands; corpus pairs 'unreachable').
5 link classes added -> 311325 nodes / 677068 edges / 14.7 MB, all landmarks
in one component; enforced floor corrected 1KB -> 1MB (D-01)
- ladder (a) drop tertiary+residential: p95 17.8ms but 12/25 pairs unreachable
— REJECTED on correctness (D-03), reverted, ladder history recorded
- ladder (b) bidirectional A* (BH, Ikeda potentials, reverse-CSR WeakMap):
provably optimal (A1 625-pair sweep green), alternation balanced by heap
size (raw-top comparison starves the backward side 19501:3), reduction
signs in the standard feasible form. Measured: p95 ~38-93ms — NO GATE PASS.
The potential split halves each side's steering, cancelling the halved radius
- GATE FAIL is the honest verdict: ladder (c) — Workers Paid vs layout-v2 ALT
(still $0) vs free-plan-with-degradation — requires maintainer sign-off;
docs/ROAD-GRAPH.md carries the decision table and the fork contract
araharah-executor