code wiki / (root) / nx_grounding_test.nx

nx_grounding_test.nx

buildroot/runtime/nx_grounding_test.nx

8656 B156 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_grounding_test.nx -- gate for the anti-over-optimism rung. The tests that matter are T3 (a composite is as weak as its weakest input) and T5 (the business layer is honestly reported as NOT verified). If those pass, the system can no longer launder an asserted constant into a confident claim. expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_grounding.nx nx_grounding_test.nx

imports: nx_syscalls.nxnx_grounding.nx

imported by: nobody (leaf or entry point)

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

main t_puts sys_write gnd_class_tier gnd_name gnd_compose gnd_compose3 gnd_compose ↻ 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 ↻ gnd_min gnd_is_verified t_putn sys_mmap ↻ sys_write ↻ gnd_needs_caveat gnd_decision_usable gnd_valid gnd_meaning sys_exit ↻

structs

none

consts

none

functions

9func t_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 1: main calls 1: sys_write
10func t_putn(v: i64) -> i64 { let bb: *u8 = sys_mmap(28); var m: i64 = v; if m < 0 { m = 0 - m; sys_write(1, "-" as *u8, 1) } let t: *u8 = sys_mmap(28); var k: i64 = 0; if m == 0 { t[0] = 48 as u8; k = 1 } while m > 0 { t[k] = (48 + (m % 10)) as u8; m = m / 10; k = k + 1 } var i: i64 = 0; while i < k { bb[i] = t[k - 1 - i]; i = i + 1 } sys_write(1, bb, k); return 0 }
called by 1: main calls 2: sys_mmapsys_write
12func main() -> i64
calls 14: t_putsgnd_class_tiergnd_namegnd_composegnd_compose3sys_mmap+8