Two correctness fixes exposed by a coverage batch where "1 ROUTE130"
near-misses turned out to be catastrophically broken routes (Paris->
Frankfurt routed via Alaska) hidden by IFPS error-masking:
- airway_path now rejects a spliced sub-path that balloons past
SPLICE_MAX_RATIO x the direct distance. At a fragmented FL the graph
could route two nearby fixes the long way around the whole network; that
garbage then showed only 1 (masked) error and beat sane routes in the
monotonic best-tracking.
- route_item15 strips computer-navigation fixes (unnamed ARINC waypoints
whose ident carries a digit, e.g. GT27A) proactively, collapsing
same-airway legs, so IFPS never sees a ROUTE130 designator it would
reject and stop evaluating at.
Net: coverage numbers are now honest (masked garbage no longer counts as a
near-miss); the real blocker is RAD PROF204/205 on upper/FRA routes.
49 tests green.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
- Graph gains build_avoiding(): drop segments whose endpoint ident or
airway is in an avoid set. plan_route_conn_avoiding /
plan_route_best_avoiding thread it through (also from SID/STAR conns).
- New PROF204 repair: parse "TRAFFIC VIA <pts> IS ON FORBIDDEN ROUTE",
exclude the cited enroute points (never airports), re-plan around them.
Runs first (a hard "cannot use" beats splice/level moves) and the avoid
set accumulates across iterations. Other re-plans are now avoid-aware.
- Repair loop tolerates MAX_STALL non-improving steps before reverting, so
it can cross a valley where excluding one forbidden point forces a
temporarily worse route en route to a fix. best-so-far still guards the
result: this can only find an equal-or-better route, never a worse one.
LSZH-LFBZ: 13 -> 2 errors (FRA-border problem gone; remainder is one
Annex-2B-forbidden Swiss departure segment needing real SID modelling).
LFRS-LFST / LFRN-LFMN / LSGG-LFPO still pass, 0 iterations. 49 tests green.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Three router bugs surfaced by testing real filed pairs against the
Eurocontrol IFPUV oracle:
- ROUTE130 repair now collapses the leg chain when dropping an unknown
designator (a computer-nav fix like GT27A on an airway), instead of
leaving a dangling `AWY AWY`. Same airway on both sides -> merge; else DCT.
- FL detour ratio 1.6 -> 1.25: the FL-filtered graph fragments the
conventional (<=FL195) network and forced an absurd London detour for a
domestic French hop; the short full route now wins.
- FL ceiling-cap: file a short low-level pair at its airways' natural
ceiling instead of an optimistic FL360 (which yields PROF195 on every
leg). Gated on upper-network fragmentation so genuine high-level
long-haul (EGLL-LSZH) is never wrongly lowered.
- New PROF195 repair lowers the cruise FL to where the cited airway exists.
LFRS-LFST now no-error at FL080 (0 iterations); LFRN-LFMN and LSGG-LFPO
still pass and now converge in 0 iterations. 4 new unit tests; 49 green.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Clean-room reproduction of PFPX: route generation + IFPS validation + OFP.
Independent design — official ICAO/EUROCONTROL data only (RAD, FRA points,
IFPUV oracle); no community FPL sources.
Workspace crates: core (routing/discover/rad/navdata/perf/export),
cli, server, rad (Annex parser), gui (Tauri v2 + React + MapLibre).
Route discovery: oracle-in-the-loop repair against Eurocontrol IFPUV.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Alexandre