code wiki / _hdl_build / nx_swebv_tests.nx

nx_swebv_tests.nx

buildroot/runtime/_hdl_build/nx_swebv_tests.nx

9796 B244 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind tooltopic swebv

docs dependencies structs consts functions

about

nx_swebv_tests.nx -- F787 rung-4: sovereign per-instance TEST-CONTRACT extractor (oracle-only law). From the 5 fetched pages -> knowledge/store/swebvtest- : instance_id<TAB>f2p_count<TAB>p2p_count<TAB>f2p_list f2p_list = FAIL_TO_PASS pytest node ids (JSON-array-in-string, escape-preserved) = the DECISIVE tests an accepted fix must flip red->green; p2p_count = PASS_TO_PASS regression breadth. pytest RUNS these node ids, Nishi SELECTED them. Escape-aware value end (terminating quote = even backslash run) so patch/test_patch bodies never mis-terminate. Row search BOUNDED to [row,next-row). TOOTH: exactly 500 rows or verdict=RED, store untouched. Aggregate MEASURED stat -> status log. expect_exit: 0 (GREEN) | 1 RED license_tier: ORIGINAL No hw writes (Rule 26).

dependencies 3 imports · 0 importers

imports: nx_store_seed_lib.nxnx_seg_store.nxnx_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

21	const VT_PREFIX: u8 = "knowledge/store/swebvtest-" as u8
22	const VT_LOG: u8 = "knowledge/status/swebv_tests.log" as u8
23	const VT_FCAP: i64 = 4194304
24	const VT_OCAP: i64 = 1048576
25	const VT_LISTCAP: i64 = 65536
26	const VT_SBCAP: i64 = 4096
27	const VT_PATHCAP: i64 = 256
28	const VT_TAB: i64 = 9
29	const VT_NL: i64 = 10
30	const VT_Q: i64 = 34
31	const VT_BSL: i64 = 92
32	const VT_STDERR: i64 = 2
33	const VT_MODE: i64 = 0x1a4
34	const VT_WANT: i64 = 500
35	const VT_D0: i64 = 48
36	const VT_B10: i64 = 10
37	const VT_NUMB: i64 = 24
38	const VT_EXIT_IO: i64 = 1
39	const VT_EXIT_RED: i64 = 3

functions

41	func vt_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 3: vt_werr vt_find vt_field
42	func vt_werr(s: *u8) -> i64 { sys_write(VT_STDERR, s, vt_slen(s)); return 0 } called by 2: vt_page main calls 2: sys_write vt_slen
43	func vt_wn(v: i64) -> i64 called by 1: main calls 2: sys_write sys_mmap
56	func vt_read(path: u8, buf: u8, cap: i64) -> i64 called by 1: vt_page calls 3: sys_openat_rd sys_read sys_close
70	func vt_find(buf: u8, needle: u8, from: i64, limit: i64) -> i64 called by 2: vt_field vt_scan calls 1: vt_slen
84	func vt_vend(buf: *u8, vs: i64, limit: i64) -> i64 called by 1: vt_field
98	func vt_countq(buf: *u8, a: i64, b: i64) -> i64 called by 1: vt_scan
106	func vt_field(buf: u8, needle: u8, from: i64, limit: i64) -> i64 called by 1: vt_scan calls 3: vt_find vt_slen vt_vend
113	func vt_emitc(c: i64) -> i64 { if g_o < VT_OCAP - 2 { g_out[g_o] = c as u8; g_o = g_o + 1 } return 0 } called by 1: vt_scan
114	func vt_emit_slice(buf: *u8, a: i64, b: i64) -> i64 called by 1: vt_scan
119	func vt_emit_slice_cap(buf: *u8, a: i64, b: i64, cap: i64) -> i64 called by 1: vt_scan
126	func vt_emitn(v: i64) -> i64 called by 1: vt_scan calls 1: sys_mmap
137	func vt_bcat(d: u8, off: i64, s: u8) -> i64 called by 1: main
143	func vt_bcatn(d: *u8, off: i64, v: i64) -> i64 called by 1: main calls 1: sys_mmap
155	func vt_scan(buf: *u8, n: i64) -> i64 called by 1: vt_page calls 7: vt_find vt_field vt_countq vt_emit_slice vt_emitc vt_emitn+1
192	func vt_page(path: u8, fbuf: u8) -> i64 called by 1: main calls 3: vt_read vt_werr vt_scan
198	func main() -> i64 calls 12: sys_mmap vt_page vt_werr vt_wn sys_exit sts_seed+6