code wiki / _hdl_build / nx_brand_manage_gate.nx
nx_brand_manage_gate.nx
buildroot/runtime/_hdl_build/nx_brand_manage_gate.nx
about
nx_brand_manage_gate.nx -- R4 gate: ONE token SSOT, FOUR actors, governance-invariant, no lock-in.
DEV (lenient ops) · USER (pack+tweak) · AI/Claude + LOCAL-LLM (strict-guarded untrusted proposal).
Proves the invariants that make "manage in lots of ways, NOT lock in" real: same ops -> byte-identical result
regardless of actor (pure DATA->DATA); an untrusted proposal can neither INJECT (<script>) nor BREAK the brand
(sub-AA); the base is untouched (reversible). 100% sovereign. license_tier: ORIGINAL expect_exit: 0
dependencies 4 imports · 0 importers
imports: nx_syscalls.nxnx_sitegate_emit_lib.nxnx_brand_manage.nxnx_brand_tokens.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
| none |
functions
| 12 | func g_eqn(a: *u8, b: *u8, n: i64) -> i64 { var i: i64=0; while i<n { if a[i]!=b[i] { return 0 } i=i+1 } return 1 } called by 1: main |
| 14 | func g_tok(brand: *u8, bn: i64, group: *u8, name: *u8, out: *u8) -> i64 { return bt_lookup(brand, bn, group, name, out, 64) } |
| 15 | func inband4(v: i64, lo: i64, hi: i64) -> i64 { if v < lo { return 0 } if v > hi { return 0 } return 1 } called by 1: main |
| 17 | func main() -> i64 |