code wiki / (root) / nx_rights_ledger_gate.nx

nx_rights_ledger_gate.nx

buildroot/runtime/nx_rights_ledger_gate.nx

3190 B67 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic rights
docsdependenciesstructsconstsfunctions

about

nx_rights_ledger_gate.nx -- liar-kill gate for nx_rights_ledger. Proves the default-DENY posture BY CONSTRUCTION. The neg-controls are the point: a likeness use is refused unless an exact, current grant exists. never-granted -> DENY wrong-talent -> DENY wrong-use -> DENY expired -> DENY revoked -> DENY only a live grant -> ALLOW Returns 0 iff every check holds; a nonzero code pinpoints the first failure.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_rights_ledger.nx nx_rights_ledger_gate.nx

imports: nx_syscalls.nxnx_rights_ledger.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main nx_use_is_valid nx_rights_ledger_new sys_mmap nx_rights_count nx_rights_is_licensed nx_rights_state _rl_at nx_rights_grant nx_use_is_valid ↻ _rl_at ↻ nx_rights_count_by_state _rl_at ↻ nx_rights_state ↻ nx_rights_revoke _rl_find _rl_at ↻ _rl_at ↻

structs

none

consts

none

functions

13func main() -> i64
calls 8: nx_use_is_validnx_rights_ledger_newnx_rights_countnx_rights_is_licensednx_rights_grantnx_rights_count_by_state+2