code wiki / ttrust
topic: ttrust
4 modules sharing the ttrust name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_ttrust_lattice.nx | TRUSTING-TRUST defense coverage model across the full L0..L7 lattice (operator | 29 | 5 |
| nx_ttrust_lattice_test.nx | TTRUSTLATGATE: proves the trusting-trust defense-coverage model over the | 64 | 3 |
| nx_ttrust_response.nx | the CAPTAIN MORONI active-defense FSM (operator: "a true captain moroni -- i | 40 | 3 |
| nx_ttrust_response_test.nx | CMORONIGATE: proves the Captain Moroni active-defense FSM. GREEN iff: | 55 | 3 |