code wiki / route
topic: route
8 modules sharing the route name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_route.nx | the SOVEREIGN S-CLASS ROUTING ENGINE: one declarative pure function every delivery flows through, | 51 | 8 |
| nx_route_ctl_gate.nx | proves the API-pure route-control primitives (md_route_valid + md_route_append) BEFORE | 108 | 8 |
| nx_route_diff.nx | toolsplane (seq162 DETECTION half). The mgmt route-set SHRINK detector: the 9-debt | 195 | 10 |
| nx_route_gate.nx | exhaustive proof of S-class routing. QUALITATIVE: clean extensionless URLs resolve, every | 77 | 5 |
| nx_route_probe.nx | latency-probed multi-path relay selection. | 92 | 7 |
| nx_route_table.nx | the S-CLASS DATA-DRIVEN ROUTE MATCHER (the LOGIC core that RETIRES the hardcoded | 128 | 9 |
| nx_route_table_gate.nx | PURE gate for the data-driven route matcher. Proves the SOTA semantics the hardcoded | 70 | 5 |
| nx_route_test.nx | probe several routes on the live edge to tell whether the | 34 | 5 |