code wiki / (root) / nx_uxf_wms_bridge_test.nx

nx_uxf_wms_bridge_test.nx

buildroot/runtime/nx_uxf_wms_bridge_test.nx

5250 B109 linesdepth 7pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic uxf
docsdependenciesstructsconstsfunctions

about

nx_uxf_wms_bridge_test.nx -- UXF arc #1 rung-2: WMS<->envelope integration, READ-ONLY. Reads a REAL live workstream record from the WMS segment store (ss_get over the knowledge/store/ws- prefix -- read-only; the SSOT is never written), represents its 7 TAB-fields as a UXF canonical record, stamps a content-addressed UXF_DATA CID, and proves canonicalization (order-independent CID) + faithful field carriage. Uses nx_seg_store directly (proven to compile with the canon/uxf stack). LIVE write-registration into the SSOT is the GATED next step. No hardware writes (Rule 26). expect_exit: 0 license_tier: ORIGINAL

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_canon_cid.nx nx_uxf_cid.nx nx_seg_store.nx nx_uxf_wms_bridge_test.nx

imports: nx_syscalls.nxnx_canon_cid.nxnx_uxf_cid.nxnx_seg_store.nx

imported by: nobody (leaf or entry point)

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

main b_puts sys_write sys_mmap ss_get sys_mmap ↻ ss_scan sys_mmap ↻ ss_manifest_dyn ss_manifest_file_dyn sys_mmap ↻ ss_cat ss_readall sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close sys_munmap ss_scan_seglist ss_len sys_mmap ↻ ss_cat ↻ ss_readall ↻ ss_r32 b_putn sys_mmap ↻ sys_write ↻ sys_exit bx_field canon_encode sys_mmap ↻ cc_cmp cc_w32 cc_len sys_munmap ↻ uxf_cid_profiled sys_mmap ↻ sha256_digest sys_mmap ↻

structs

none

consts

none

functions

13func b_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
14func b_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
15func b_streq(a: *u8, b: *u8) -> i64 { var i: i64 = 0; while 1 == 1 { if a[i] != b[i] { return 0 } if a[i] == (0 as u8) { return 1 } i = i + 1 } return 1 }
called by 1: main
18func bx_field(rec: *u8, rlen: i64, f: i64, out: *u8) -> i64
called by 1: main
37func main() -> i64
calls 9: b_putssys_mmapss_getb_putnsys_exitbx_field+3