code wiki / _hdl_build / nx_wflow_cli_gate.nx

nx_wflow_cli_gate.nx

buildroot/runtime/_hdl_build/nx_wflow_cli_gate.nx

3414 B66 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic wflow
docsdependenciesstructsconstsfunctions

about

nx_wflow_cli_gate.nx -- gate for the file-driven production path (wf_lines_load + wf_fire_files): definitions as DATA FILES, validated whole before anything runs. THE PM COMPOSITION PROOF: firing `venue-booked` runs the REAL vizsla docgen organ (agreement .docx built + filed on the doc store) then notify -> run DONE, all through the demo data files a human can edit. ONE fork. Neg-controls: missing file loud -1; a bad ruleset file (unknown action) refuses whole; durable dedup on refire. license_tier: ORIGINAL expect_exit: 0

dependencies 1 imports · 0 importers

nx_wflow_engine.nx nx_wflow_cli_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_lines_load wf_readall p sys_write slen p ↻ wf_append p ↻ slen ↻ 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_readall ↻ wf_has_rng slen ↻ wf_num_after slen ↻ wf_fire wf_evid slen ↻

structs

none

consts

none

functions

9func cgl_n(led: *u8, ridtok: *u8, st: *u8) -> i64
called by 1: main calls 2: wf_readallwf_lines_with2
16func main() -> i64
calls 7: wf_nowwf_catwf_catnwf_lines_loadwf_appendwf_fire_files+1