Diagnostics
4 pages
Positions
fx.diag.positions: shared diagnostic alphabet of structural sub-locations (DArgSort, DPlusL, PiDom, …) carrying tag, segment, intent, and rule annotation.
Error
fx.diag.error: diagnostic Error ADT — Layer (Kernel/Generic/Contract), layer-discriminated Detail, msg, hint, and children tree carrying the blame path.
Hints
fx.diag.hints: closed registry mapping blame-path-suffix keys to Hint records; `resolve` walks an Error's chain inward and returns the longest-suffix match.
Pretty
fx.diag.pretty: pretty-print diagnostic Errors — `pathSegments`/`pathString`/`oneLine`/`multiLine` walkers, stack-safe via genericClosure past 500 frames.