code wiki / _hdl_build / nx_wflow_version_gate.nx

nx_wflow_version_gate.nx

buildroot/runtime/_hdl_build/nx_wflow_version_gate.nx

4550 B101 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic wflow
docsdependenciesstructsconstsfunctions

about

nx_wflow_version_gate.nx -- R12 VERSIONING gate: `@version N` directive in the flows file (loader skips @ directives), every fired run stamps a durable WFVER record, and resume RECORDS version drift (WFVERDRIFT) when a run started under a different definitions version -- resume proceeds (additive semantics) with the drift visible forever. Unversioned defs = no WFVER (back-compat). Draft-test-live = the same loaders behind the CLI verify command (whole-set validation without firing). ZERO forks. license_tier: ORIGINAL expect_exit: 0

dependencies 1 imports · 0 importers

nx_wflow_engine.nx nx_wflow_version_gate.nx

imports: nx_wflow_engine.nx

imported by: nobody (leaf or entry point)

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

main wf_now sys_now_realtime_sec sys_mmap sys_clock_gettime_real wf_cat wf_catn wf_append p sys_write slen slen ↻ wf_defs_version wf_readall p ↻ wf_has_rng slen ↻ wf_num_after slen ↻ wf_lines_load wf_readall ↻ p ↻ wf_fire_files wf_cx_files wf_lines_load ↻ wf_load_flows pipe_field p ↻ wf_load pipe_field ↻ wf_atoi p ↻ wf_action_ok seq seq ↻ sr_valid seq ↻ wf_defs_version ↻ wf_fire wf_evid

structs

none

consts

none

functions

9func vg_n(led: *u8, ridtok: *u8, st: *u8) -> i64
called by 1: main calls 2: wf_readallwf_lines_with2
16func main() -> i64
calls 12: wf_nowwf_catwf_catnwf_appendwf_defs_versionwf_lines_load+6