code wiki / _hdl_build / nx_ttrust_lattice.nx
nx_ttrust_lattice.nx
buildroot/runtime/_hdl_build/nx_ttrust_lattice.nx
about
nx_ttrust_lattice.nx -- TRUSTING-TRUST defense coverage model across the full L0..L7 lattice (operator
thread "+ nishi-trusting-trust-defense"). Turns the prose "L1-L4 is the remaining void" into a measured,
gated fact. A layer may claim SOVEREIGN-ACTIVE defense ONLY if it has a live mechanism -- a claim of an
active defense with NO mechanism is the false-defense LIAR-KILL (the system refuses to credit itself a
defense it doesn't have, the trusting-trust discipline turned inward). NO fabricated coverage. Pure logic;
the lattice is DATA (knowledge/registry/ttrust_lattice.tsv). license_tier: ORIGINAL
Composes nx_infra_control (the L3-L4 hosts) + nx_host_attest (the L2-L4 behavioral-attestation mechanism).
dependencies 1 imports · 1 importers
imports: nx_syscalls.nx
imported by: nx_ttrust_lattice_test.nx
structs
| none |
consts
| 11 | const DS_GAP: i64 = 0 // no live sovereign defense (the void) |
| 12 | const DS_INDUSTRY_PARTIAL: i64 = 1 // a concept/partial defense; not yet full-sovereign |
| 13 | const DS_SOVEREIGN_ACTIVE: i64 = 2 // a live sovereign mechanism defends this layer today |
functions
| 17 | func tl_false_defense(status: i64, has_mechanism: i64) -> i64 { if status == DS_SOVEREIGN_ACTIVE { if has_mechanism == 0 { return 1 } } return 0 } |
| 20 | func tl_is_sovereign(status: i64) -> i64 { if status == DS_SOVEREIGN_ACTIVE { return 1 } return 0 } called by 1: main |
| 23 | func tl_is_gap(status: i64) -> i64 { if status == DS_GAP { return 1 } return 0 } called by 1: main |
| 26 | func tl_clean(status: i64, has_mechanism: i64) -> i64 { if tl_false_defense(status, has_mechanism) == 1 { return 0 } return 1 } |
| 29 | func tl_coverage_permil(sovereign_layers: i64, total: i64) -> i64 { if total == 0 { return 0 } return (sovereign_layers * 1000) / total } called by 1: main |