code wiki / (root) / nx_fbench_probe.nx

nx_fbench_probe.nx

buildroot/runtime/nx_fbench_probe.nx

2251 B87 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind benchtopic fbench

docs dependencies structs consts functions

about

nx_fbench_probe.nx -- FORGE gap-bench: runtime-verifies every syntax fact taught by the NishiLang coding context pack v0 (knowledge/forge/). If this builds GREEN, the pack's exemplar code is proven against the live toolchain, not assumed (verified-facts rule). Expected stdout: FBPROBE n0=0 n1=12345 n2=987 rev=cba vowels=1 sum=6 ok license_tier: ORIGINAL expect_exit: 0

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

7	const K_MAGIC_12345: i64 = 12345

functions

9	func fb_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 3: fb_puts fb_rev main
11	func fb_puts(s: *u8) -> i64 { let n: i64 = fb_slen(s); sys_write(1, s, n); return 0 } called by 2: fb_pdec main calls 2: fb_slen sys_write
13	func fb_pdec(n: i64) -> i64 called by 1: main calls 3: sys_mmap fb_puts sys_write
32	func fb_rev(src: u8, dst: u8) -> i64 called by 1: main calls 1: fb_slen
44	func fb_is_vowel(c: i64) -> i64 called by 1: main
53	func main(argc: i64, argv: *i64) -> i64 calls 7: fb_puts fb_pdec sys_mmap fb_rev fb_slen fb_is_vowel+1