nx_iot_hub_serve_realm_gate.nx
buildroot/runtime/nx_iot_hub_serve_realm_gate.nx
about
nx_iot_hub_serve_realm_gate.nx -- rung-4-live proof with a REAL OPAQUE session (not a mock):
mint sessions (register+login), enroll via the HR admin seg-store (the SSOT hac reads), then prove
session -> HR level -> IoT tier -> house-scoped render, deny-by-default. Plus the request glue:
realm-from-path + token-from-header. expect_exit: 0 license_tier: ORIGINAL
dependencies 1 imports · 0 importers
imports: nx_iot_hub_serve_realm.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
| 7 | const G_KEYS: *u8 = "/tmp/iotrealm_keys" |
| 8 | const G_STORE: *u8 = "/tmp/iotrealm_store" |
| 9 | const G_HR: *u8 = "/tmp/iotrealm_hr" |
functions
| 11 | func gr_find(h: *u8, n: i64, pat: *u8) -> i64 called by 1: main |
| 16 | func gr_mklogin(ctx: *NxAuthContext, handle: *u8, hn: i64, tok: *u8, tokn: *i64) -> i64 |
| 23 | func main() -> i64 |