code wiki / routeguard
topic: routeguard
6 modules sharing the routeguard name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_routeguard.nx | THIN ORGAN: run the deploy-contract check between two binaries. | 109 | 3 |
| nx_routeguard_adversarial_gate_t184.nx | 35 | 3 | |
| nx_routeguard_candidate_t184.nx | DEPLOY CONTRACT GUARD: does the candidate binary still serve every route | 187 | 7 |
| nx_routeguard_gate.nx | proves the deploy-contract guard DETECTS a vanished route and does NOT | 103 | 3 |
| nx_routeguard_legacy_candidate_gate_t184.nx | proves the deploy-contract guard DETECTS a vanished route and does NOT | 103 | 3 |
| nx_routeguard_lib.nx | DEPLOY CONTRACT GUARD: does the candidate binary still serve every route | 187 | 7 |