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 9 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 nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ 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 ↻

structs

none

consts

none

functions

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