code wiki / (root) / nx_cap_revoke_gate.nx

nx_cap_revoke_gate.nx

buildroot/runtime/nx_cap_revoke_gate.nx

3769 B60 linesdepth 9pulls 34 transitivereach 0 importersview sourcekind gate/prooftopic cap

docs dependencies structs consts functions

about

nx_cap_revoke_gate.nx -- proves REVOCATION over R0's ta_handle: a valid cap invokes; after POST /api/cap/revoke (presenting it) the SAME cap is refused (reason 5 = revoked). Completes issue->delegate->verify->REVOKE. The gate writes cap_revoked.list in CWD and unlinks it at both ends (self-cleaning). license_tier: ORIGINAL

dependencies 2 imports · 0 importers

imports: nx_tools_api.nxnx_gate.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

7	func rv_has(o: u8, n: i64, ndl: u8) -> i64 { if ta_indexof(o, n, ndl) >= 0 { return 1 } return 0 } called by 1: main calls 1: ta_indexof
8	func rv_mark(cond: i64, p: i64, t: i64, lbl: *u8) -> i64 called by 1: main calls 1: gw
13	func rv_unlink(path: *u8) -> i64 { __syscall(263, AT_FDCWD, path, 0, 0, 0, 0) return 0 } called by 1: main
14	func rv_call(cap: u8, caplen: i64, name: u8, out: *u8) -> i64 called by 1: main calls 2: ta_cat ta_catb
19	func rv_revoke_req(cap: u8, caplen: i64, out: u8) -> i64 called by 1: main calls 2: ta_cat ta_catb
25	func main() -> i64 calls 9: gw ta_slen rv_unlink rv_call ta_handle_pfx rv_has+3