code wiki / _hdl_build / nx_ad_exceed_gate.nx

nx_ad_exceed_gate.nx

buildroot/runtime/_hdl_build/nx_ad_exceed_gate.nx

4175 B83 linesdepth 8pulls 15 transitivereach 0 importersview sourcekind gate/prooftopic ad
docsdependenciesstructsconstsfunctions

about

nx_ad_exceed_gate.nx -- GATE (runnable) for the ad-system MEASURED-EXCEED CENSUS. Emits the cited, organ-graded census (stdout + knowledge/status/ad_exceed.log) AND proves the grader is honest: LIAR-KILL : the monotone grader ax_level cannot be tricked into skipping a rung -- a claim of "beats the bar" with no "measured" is REFUSED (capped at GATED), and a not-exists capability is ABSENT regardless of any claim. (mirrors detector_fired / snoop_fired) DISCRIMINATE : the live census is not stuck-at-one-value -- an axis with real evidence (PRIVACY) grades strictly ABOVE one without it (VIEWABILITY). EVIDENCE-GATED: we DO NOT claim what we have not built -- VIEWABILITY is ABSENT and SIGNUP is at most STUB until their organs exist (honesty over flattery). BACKED : PRIVACY=EXCEEDS is tied to the LIVE k-anon predicate (sub-k suppressed, >=k released), not a free assertion; if it regresses the gate goes RED. Evidence -> knowledge/status/ad_exceed.log (ADEXCEEDGATE ... verdict=GREEN). license_tier: ORIGINAL

dependencies 4 imports · 0 importers

nx_ad_exceed.nx nx_ad_h2h.nx nx_ad_store.nx nx_syscalls.nx nx_ad_exceed_gate.nx

imports: nx_ad_exceed.nxnx_ad_h2h.nxnx_ad_store.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap ads_botrules sys_mmap ↻ ads_get ss_get sys_mmap ↻ ss_scan sys_mmap ↻ ss_manifest_dyn ss_manifest_file_dyn ss_scan_seglist ss_len sys_mmap ↻ ss_cat ss_readall ss_r32 bf_parse_rules sys_mmap ↻ bf_int ads_kanon_k sys_mmap ↻ ads_get ↻ sys_openat_append ax_level xw sys_write sys_close

structs

none

consts

20const AX_LOG: *u8 = "knowledge/status/ad_exceed.log"

functions

22func main() -> i64