code wiki / _hdl_build / nx_ad_exceed_gate.nx
nx_ad_exceed_gate.nx
buildroot/runtime/_hdl_build/nx_ad_exceed_gate.nx
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
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
structs
| none |
consts
| 20 | const AX_LOG: *u8 = "knowledge/status/ad_exceed.log" |
functions
| 22 | func main() -> i64 |