nx_ownership_ok.nx
buildroot/runtime/nx_ownership_ok.nx
about
nx_ownership_ok.nx -- THE POSITIVE CONTROL for LN4/LN5 ownership (nx_ownership_gate).
A GUARD THAT REFUSES EVERYTHING PASSES EVERY NEGATIVE TEST. Every tooth in the gate that asserts a
REFUSAL is satisfied by a checker that refuses all source, by a broken fixture path, by a missing
assembler, by NAS /tmp being noexec -- by anything at all going wrong. This file is the only thing
that can tell those apart: it must COMPILE AND RUN EXIT 0 under `--ownership`, and it drags the
whole imported stdlib through the mode with it, so a rung that refuses real code fails HERE.
Each function is one ACCEPT the rung must not break. license_tier: ORIGINAL No hw writes (Rule 26).
dependencies 1 imports · 0 importers
imports: nx_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
| 12 | const OWN_OK_BYTES: i64 = 64 |
| 13 | const OWN_OK_MARK: i64 = 7 |
functions
| 17 | func own_ok_move_then_silence(seed: i64) -> i64 |
| 26 | func own_ok_release_then_silence(seed: i64) -> i64 |
| 36 | func own_ok_reinit_after_move(seed: i64) -> i64 |
| 47 | func own_ok_reinit_after_release(seed: i64) -> i64 |
| 59 | func own_ok_param(p: *u8) -> i64 called by 1: main |
| 64 | func own_ok_move_untracked(p: *u8) -> i64 called by 1: main |
| 69 | func main(argc: i64, argv: *i64) -> i64 |