code wiki / _hdl_build / nx_survey_ws_register.nx

nx_survey_ws_register.nx

buildroot/runtime/_hdl_build/nx_survey_ws_register.nx

4642 B124 linesdepth 5pulls 7 transitivereach 0 importersview sourcekind tooltopic survey
docsdependenciesstructsconstsfunctions

about

nx_survey_ws_register.nx -- register the SURVEY/PULSE arc as a LIVE workstream in the WMS registry (orchestration over contention: the machine SSOT owns the stream, the board shows it ALIVE, the dispatcher can machine-verify it via code_link). Exact clone of nx_project_ws_register (pwr_ -> swr_): per-prefix wlock across the ws:ids RMW + ws:<id> write; idempotent; READBACK-verified. code_link = nx_survey_stats_gate (47/47 KAT+adversary gate = the machine-verifiable proof). expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_ws_cas.nx nx_heartbeat_str.nx nx_survey_ws_register.nx

imports: nx_ws_cas.nxnx_heartbeat_str.nx

imported by: nobody (leaf or entry point)

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

main swr_puts swr_register sys_openat_append sys_flock swr_cat swr_n sys_now_realtime_sec sys_mmap sys_clock_gettime_real ws_put_p sys_mmap ↻ ws_len ss_get sys_mmap ↻ ss_scan sys_mmap ↻ ss_manifest_dyn ss_manifest_file_dyn ss_scan_seglist ss_len sys_mmap ↻ ss_cat ss_readall ss_r32 ss_begin ss_begin_cap sys_mmap ↻ ss_add ss_add2 ss_w32 ss_len ↻ ws_seg_next ss_next_segid sys_mmap ↻ ss_cat ↻ ss_readall ↻ ss_segid_ok ss_commit ss_segid_ok ↻

structs

none

consts

9const SWR_MAGIC_1024: i64 = 1024
11const SWR_ID: *u8 = "SURVEY-PULSE-01"
12const SWR_MEM: *u8 = "project-nishi-survey-pulse-2026-07-10"
13const SWR_HB: *u8 = "knowledge/status/wms_heartbeat.log"

functions

15func swr_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
16func swr_cat(dst: *u8, off: i64, s: *u8) -> i64 { var o: i64 = off; var i: i64 = 0; while s[i] != (0 as u8) { dst[o] = s[i]; o = o + 1; i = i + 1 } return o }
called by 1: swr_register
17func swr_n(dst: *u8, off: i64, v: i64) -> i64
called by 1: swr_register
30func swr_register(id: *u8, state: *u8, code: *u8) -> i64
called by 1: main calls 8: sys_openat_appendsys_flockswr_catswr_nsys_now_realtime_secws_put_p+2
95func main() -> i64
calls 4: swr_putsswr_registerhb_beat_sss_get