code wiki / _hdl_build / nx_wflow_cli_gate.nx

nx_wflow_cli_gate.nx

buildroot/runtime/_hdl_build/nx_wflow_cli_gate.nx

3890 B73 linesdepth 4pulls 6 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 2 imports · 0 importers

nx_wflow_engine.nx nx_gate_verdict.nx nx_wflow_cli_gate.nx

imports: nx_wflow_engine.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

10func cgl_n(led: *u8, ridtok: *u8, st: *u8) -> i64
17func main() -> i64