code wiki / _hdl_build / nx_vsroll.nx

nx_vsroll.nx

buildroot/runtime/_hdl_build/nx_vsroll.nx

3829 B87 linesdepth 6pulls 7 transitivereach 0 importersview sourcekind tool
docsdependenciesstructsconstsfunctions

about

nx_vsroll.nx -- roll per-SCOPE comparative claims into a DOMAIN verdict, or refuse. argv: <domain> [roster] [claims] A domain earns a comparative rung only when EVERY scope its roster declares has an admitted nx_vsbest claim; the level is the MIN across them. One missing scope refuses the whole roll and prints exactly which are missing -- that refusal IS the work list. The verdict comes from vr_roll_buf, the SAME function the gate proves. The loop below only renders rows; it never decides. A CLI that recomputed the verdict its own way would be an untested second implementation of the thing that matters. license_tier: ORIGINAL No hw writes (Rule 26).

dependencies 1 imports · 0 importers

nx_vsroll_lib.nx nx_vsroll.nx

imports: nx_vsroll_lib.nx

imported by: nobody (leaf or entry point)

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

main ss_readall sys_openat_rd sys_lseek sys_mmap sys_read sys_close vr_scope_at vr_line_end vr_field vr_claim_level vr_line_end ↻ el_match vr_level_of el_match ↻ mat_label mat_label ↻ vr_roll_buf vr_scope_at ↻ vr_claim_level ↻

structs

none

consts

15const VR_ROSTER: *u8 = "knowledge/status/domain_axes.conf"
16const VR_CLAIMS: *u8 = "knowledge/status/vsbest_claims.log"

functions

18func main(argc: i64, argv: *i64) -> i64