nx_iot_hub_tenant_gate.nx
buildroot/runtime/nx_iot_hub_tenant_gate.nx
about
nx_iot_hub_tenant_gate.nx -- proves IoT multi-tenancy is the NISHI HR SPINE, not a bespoke store:
- HR level -> IoT tier mapping (owner/family/deny)
- per-HOUSE isolation BY CONSTRUCTION: enroll owner of house_b; resolved against house_a -> DENY
(same handle, different realm = different cred = level 0) -- the key sharding proof
- level drives the tier: house_a owner=OWNER, house_a family=FAMILY, stranger=DENY, suspended=DENY
- the DENY render leaks NO devices + NO control forms; FAMILY/OWNER do; OWNER alone gets /home/manage
Uses a fresh temp HR store (unlinked first for determinism). expect_exit: 0 license_tier: ORIGINAL
dependencies 1 imports · 0 importers
imports: nx_iot_hub_tenant.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| 10 | const TG_STORE: *u8 = "/tmp/iot_hr_tenant_gate.store" |
functions
| 12 | func tg_find(h: *u8, n: i64, pat: *u8) -> i64 called by 1: main |
| 18 | func main() -> i64 |