code wiki / (root) / nx_iot_hub_serve_realm_gate.nx

nx_iot_hub_serve_realm_gate.nx

buildroot/runtime/nx_iot_hub_serve_realm_gate.nx

4710 B85 linesdepth 18pulls 57 transitivereach 0 importersview sourcekind gate/prooftopic iot
docsdependenciesstructsconstsfunctions

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

nx_iot_hub_serve_realm.nx nx_iot_hub_serve_realm_gate.nx

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

main olg_ctx_setup olg_ctx_setup_ttl nx_uas_server_keys_load_or sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable nxa_dump_sizes sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_munmap sys_close _uas_hex_dec _uas_nib nx_csprng_fill sys_mmap ↻ nx_csprng_urandom_path sys_openat_rd ↻ sys_read ↻ sys_close ↻ nx_opq_derive_keypair sys_mmap ↻ u256_alloc nx_scratch nx_opq_hash_to_scalar sys_mmap ↻ nx_h2c_expand_message_xmd_ u256_alloc ↻

structs

none

consts

7const G_KEYS: *u8 = "/tmp/iotrealm_keys"
8const G_STORE: *u8 = "/tmp/iotrealm_store"
9const G_HR: *u8 = "/tmp/iotrealm_hr"

functions

11func gr_find(h: *u8, n: i64, pat: *u8) -> i64
called by 1: main calls 1: cp_find
16func gr_mklogin(ctx: *NxAuthContext, handle: *u8, hn: i64, tok: *u8, tokn: *i64) -> i64
called by 1: main calls 2: olg_registerolg_login
23func main() -> i64
calls 8: olg_ctx_setupgr_mkloginhra_enrolliot_hub_resolve_tieriot_hub_render_forgr_find+2