code wiki / _hdl_build / nx_proportion_guard_gate.nx

nx_proportion_guard_gate.nx

buildroot/runtime/_hdl_build/nx_proportion_guard_gate.nx

3968 B72 linesdepth 6pulls 7 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_proportion_guard_gate.nx -- the ruler for nx_proportion_guard.nx. Operator's law: "the human being has a finite range, and even fantasy or other things would have finite proportions and ranges though they may be ideal or what not." So the teeth check three separate things, and all three are needed: the table is internally sound (T1-T5) · the guard REFUSES bad input (T6-T9) · generators actually draw through it (T10-T11). license_tier: ORIGINAL No hw writes (Rule 26).

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_proportion_guard.nx nx_softtissue.nx nx_proportion_guard_gate.nx

imports: nx_syscalls.nxnx_gate_verdict.nxnx_proportion_guard.nxnx_softtissue.nx

imported by: nobody (leaf or entry point)

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

main gv_ctr sys_mmap gv_head gv_puts sys_write pg_selftest sys_mmap ↻ pg_has_bound pg_bound pg_bound ↻ gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap gv_check gv_puts ↻ pg_check pg_has_bound ↻ pg_bound ↻ st_profile st_profile_seeded st_hash pg_sample pg_has_bound ↻ pg_bound ↻ st_span st_hash ↻ st_profile ↻ sys_exit gv_verdict gv_puts ↻ gv_num ↻ gv_journal sys_openat_append sys_mmap ↻ gv_catn sys_mmap ↻ sys_munmap ↻

structs

none

consts

none

functions

13func main(argc: i64, argv: *i64) -> i64