code wiki / (root) / nx_gate_verdict.nx

nx_gate_verdict.nx

buildroot/runtime/nx_gate_verdict.nx

6854 B155 linesdepth 2pulls 2 transitivereach 528 importersview sourcekind librarytopic gate
docsdependenciesstructsconstsfunctions

about

nx_gate_verdict.nx -- THE canonical gate-AUTHORING verdict lib (D001 first rung, 2026-07-18). The debt: 2555 gate organs each hand-roll puts/num/pass/ttl/PASS-FAIL/verdict -- zero DRY. This is the ONE copy gates import instead. Sibling of nx_gate_green.nx (which JUDGES a gate's output from outside; this lib EMITS it from inside). Contract emitted: " <check-name>: PASS\n" | " <check-name>: FAIL\n" per check "\nNX-<GATE-NAME> passed <p>/<t> verdict=GREEN (<note>)\n" | " verdict=RED\n" -- the exact shape nx_gate_green / nx_autograde already judge (anchor "verdict=", pat "GREEN"). Usage: let ctr: *i64 = gv_ctr() // [0]=pass [1]=ttl gv_head("my gate -- what it proves") gv_check("T1 the thing holds", t1_ok, ctr) // t1_ok: 1 pass, else fail ... let rc: i64 = gv_verdict("MY-GATE", ctr, "green note") // prints summary; 0 GREEN / 1 RED sys_exit(rc) license_tier: ORIGINAL No hw writes (Rule 26).

dependencies 1 imports · 514 importers

nx_syscalls.nx nx_gate_verdict.nx composedry_probe_gate.nx deployclass_gate.mig.nx deployclass_gate.nx fx_gate.nx nx_actbench.nx nx_actlog.nx nx_ad_emitter_registry_gate.nx nx_ad_feedback_gate.nx nx_adnet_apply_gate.nx nx_adnet_campaign_gate.nx

diagram shows first 10 each side; +0 more imports, +504 more importers in the complete lists below.

imports: nx_syscalls.nx

imported by: composedry_probe_gate.nxdeployclass_gate.mig.nxdeployclass_gate.nxfx_gate.nxnx_actbench.nxnx_actlog.nxnx_ad_emitter_registry_gate.nxnx_ad_feedback_gate.nxnx_adnet_apply_gate.nxnx_adnet_campaign_gate.nxnx_adnet_invoice_gate.nxnx_adnet_ops_gate.nxnx_adnet_reconcile_gate.nxnx_aes256_gcm_gate.nxnx_alias_layout_gate.nxnx_analyst_causal_gate.nxnx_analyst_dashboard_gate.nxnx_analyst_infer_gate.nxnx_analyst_insight_gate.nxnx_analyst_store_scale_gate.nxnx_analyze_gate.nxnx_anat_consistency_gate.nxnx_apistack_breaker_gate.nxnx_apistack_bulkhead_gate.nxnx_apistack_canary_gate.nxnx_apistack_configpush_gate.nxnx_apistack_content_gate.nxnx_apistack_cors_gate.nxnx_apistack_metrics_gate.nxnx_apistack_migrate_gate.nxnx_apistack_mtls_gate.nxnx_apistack_paginate_gate.nxnx_apistack_slo_gate.nxnx_apistack_trace_gate.nxnx_apistack_version_gate.nxnx_apng_write_gate.nxnx_arbiter_gate.nxnx_asr_frontend_gate.nxnx_asset_access_gate.nxnx_asset_catalog_gate.nxnx_asset_floor_gate.nxnx_asset_ingest_real_gate.nxnx_asset_merkle_gate.nxnx_asset_meta_gate.nxnx_asset_provenance_gate.nxnx_asset_record_gate.nxnx_asset_search_gate.nxnx_asset_signals_gate.nxnx_asset_status_gate.nxnx_asset_visibility_gate.nxnx_assetvariant_gate.nxnx_atlas_discover_gate.nxnx_atlas_gapscan_gate.nxnx_autofix_cascade_gate.nxnx_autofix_ensemble_gate.nxnx_autofix_gate.nxnx_autograde_gate.nxnx_backlog_feeder.nxnx_barcheck.nxnx_beingctl.nxnx_beir_gate.nxnx_block_quant_h2h_gate.nxnx_blockfloat_block_gate.nxnx_blockfloat_ddp_gate.nxnx_blockfloat_generate_gate.nxnx_blockfloat_lm_gate.nxnx_blockfloat_mha_gate.nxnx_blockfloat_stack_gate.nxnx_bm25_gate.nxnx_bmp_tiff_gate.nxnx_board_gate.nxnx_bootmine.nxnx_brand_snap_gate.nxnx_brand_spacescale_gate.nxnx_brand_voice_gate.nxnx_browser_gate.nxnx_callsig_gate.nxnx_canoncat.nxnx_captable_gate.nxnx_cc_equiv_gate.nxnx_cg_restprobe.nxnx_chatmsg_gate.nxnx_chip8_font_gate.nxnx_chip8_gate.nxnx_claims.nxnx_claude_harvest.nxnx_clause_gate.nxnx_clawf_route.nxnx_clockjobs_gate.nxnx_cms_roles_gate.nxnx_cms_schedule_gate.nxnx_cms_tls_gate.nxnx_coco_ap_gate.nxnx_codegen_bench_gate.nxnx_coder_fidelity_gate.nxnx_coder_swap_gate.nxnx_codewiki_gate.nxnx_colframe_gate.nxnx_companion_memory_gate.nxnx_companion_photo_gate.nx +414 more (shown cap 100 declared)

structs

none

consts

18const GV_NL: i64 = 10
19const GV_CTR_BYTES: i64 = 16
20const GV_NUM_SCRATCH: i64 = 28
21const GV_ZERO: i64 = 48
22const GV_B10: i64 = 10
81const GV_MODE_644: i64 = 420
82const GV_LINE: i64 = 512
83const GV_TAB: i64 = 9
84const GV_SLASH: i64 = 47
85const GV_MINUS: i64 = 45

functions

24func gv_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 81: mainmainmainmainaf_reportmain+75 calls 1: sys_write
25func gv_num(v: i64) -> i64
called by 55: mainmainmainmaincl_reapmain+49 calls 3: sys_mmapsys_writesys_munmap
40func gv_ctr() -> *i64
called by 498: mainmainmainmainab_gateal_bench+492 calls 1: sys_mmap
46func gv_head(title: *u8) -> i64 { gv_puts(title); gv_puts("\n\n" as *u8); return 0 }
called by 237: mainmainmainmainab_gateal_bench+231 calls 1: gv_puts
48func gv_check(name: *u8, cond: i64, ctr: *i64) -> i64
called by 263: mainmainmainmainab_gateal_bench_case+257 calls 1: gv_puts
65func gv_bite(name: *u8, bad: i64, good: i64, ctr: *i64) -> i64
called by 34: mainmainmainmainmainmain+28 calls 1: gv_puts
87func gv_cat(d: *u8, o: i64, s: *u8) -> i64 { var i: i64 = 0; var p: i64 = o; while s[i] != (0 as u8) { d[p] = s[i]; p = p + 1; i = i + 1 } return p }
called by 9: gs_artifactgs_artifact_altgs_promotedgs_admit_pathgs_framegv_journal+3
88func gv_catn(d: *u8, o: i64, v: i64) -> i64
called by 5: maings_framegv_journalua_journalmain calls 2: sys_mmapsys_munmap
108func gv_journal(name: *u8, passed: i64, total: i64, green: i64) -> i64
called by 1: gv_verdict calls 8: sys_openat_appendsys_mmapgv_catnsys_now_realtime_secgv_catsys_write+2
133func gv_verdict(name: *u8, ctr: *i64, note: *u8) -> i64
called by 497: mainmainmainmainab_gateal_bench+491 calls 3: gv_putsgv_numgv_journal