code wiki / (root) / nx_fetch_rights_gate.nx

nx_fetch_rights_gate.nx

buildroot/runtime/nx_fetch_rights_gate.nx

2626 B51 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic fetch
docsdependenciesstructsconstsfunctions

about

nx_fetch_rights_gate.nx -- liar-kill gate for the acquisition rights policy. Proves the four-status, search-engine-style model and its two key invariants: BLOCKED (Getty/DMCA) is NEVER indexable; only OWNED is product-usable. Plus: unknown defaults to CRAWLABLE, host match is case-insensitive, TO_ACQUIRE is flagged-not-usable, override (sign a target -> OWNED) works, bad status refused.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_fetch_rights.nx nx_fetch_rights_gate.nx

imports: nx_syscalls.nxnx_fetch_rights.nx

imported by: nobody (leaf or entry point)

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

main nx_fr_new sys_mmap nx_fr_set _fr_at _fr_hash nx_fr_classify _fr_hash ↻ _fr_at ↻ nx_fr_may_index nx_fr_may_use_in_product nx_fr_is_to_acquire

structs

none

consts

none

functions

12func main() -> i64
calls 6: nx_fr_newnx_fr_setnx_fr_classifynx_fr_may_indexnx_fr_may_use_in_productnx_fr_is_to_acquire