code wiki / _hdl_build / nx_gateorder_gate.nx

nx_gateorder_gate.nx

buildroot/runtime/_hdl_build/nx_gateorder_gate.nx

5778 B93 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_gateorder_gate.nx -- teeth for the gate-integrity classifier. This gate exists because the classifier it guards ALREADY produced a false accusation once: an ordering verdict derived from textual position flagged seven innocent gates, one of them a crown jewel, and the debt was filed before the check. The teeth below now pin the CORRECTED contract, and T4 is a REVERT-DETECTOR: if anyone re-adds an ordering verdict, it turns RED. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 1 imports · 0 importers

nx_gateorder_lib.nx nx_gateorder_gate.nx

imports: nx_gateorder_lib.nx

imported by: nobody (leaf or entry point)

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

main go_puts sys_write go_strlen gog_t go_puts ↻ go_classify go_emit_off go_first go_match_at go_strlen ↻ go_strlen ↻ go_ends_gate_nx go_strlen ↻ go_match_at ↻ go_last_ratio go_is_digit go_kv_num go_strlen ↻ go_match_at ↻ go_gate_log sys_openat_append sys_write ↻ go_strlen ↻ sys_mmap sys_close go_puti sys_mmap ↻ sys_write ↻

structs

none

consts

none

functions

10func gog_t(name: *u8, cond: i64, ctr: *i64)
called by 1: main calls 1: go_puts
22func main(argc: i64, argv: *i64) -> i64
calls 9: go_putsgog_tgo_classifygo_strlengo_ends_gate_nxgo_last_ratio+3