code wiki / _hdl_build / nx_connect_album_gate.nx
nx_connect_album_gate.nx
buildroot/runtime/_hdl_build/nx_connect_album_gate.nx
about
nx_connect_album_gate.nx -- the API's regression proof. The dispatcher is the seam where a permission
rule most easily gets lost: it is the layer that turns a request into a plane call, so a bug here looks
like a routing detail and behaves like an access-control failure.
The teeth that matter are the refusals, and the one that matters most is T3: a signed-out caller must
not be able to mutate anything, because that is the failure that leaves no trace in the data.
license_tier: ORIGINAL expect_exit: 0
dependencies 1 imports · 0 importers
imports: nx_connect_album.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
| 9 | const AG_ALICE: i64 = 1001 |
| 10 | const AG_BOB: i64 = 1002 |
| 11 | const AG_CARA: i64 = 1003 |
| 12 | const AG_ALBUM: i64 = 7001 |
| 13 | const AG_OUT: i64 = 8192 |
| 14 | const AG_KIND: *u8 = "album\x00" |
| 17 | const AG_NOITEM: *u8 = "-\x00" |
| 18 | const AG_ITEM1: *u8 = "cid_aaa\x00" |
| 19 | const AG_ITEM2: *u8 = "cid_bbb\x00" |
functions
| 21 | func a_w(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } |
| 22 | func a_n(v: i64) -> i64 {
called by 1: main |
| 32 | func a_t(pass: i64, label: *u8, fails: *i64) -> i64 { |
| 38 | func a_has(buf: *u8, needle: *u8) -> i64 { |
| 50 | func px(tag: i64) -> *u8 { |
| 61 | func containment_teeth(out: *u8, fails: *i64) -> i64 { |
| 124 | func main() -> i64 { |