code wiki / _hdl_build / nx_vsbest.nx

nx_vsbest.nx

buildroot/runtime/_hdl_build/nx_vsbest.nx

5547 B115 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind tool
docsdependenciesstructsconstsfunctions

about

nx_vsbest.nx -- RECORD a vs-best-in-class claim, or refuse it loudly. argv: <domain> <scope> <competitor> <verdict:behind|parity|ahead> <evlog> <evpat> <method> Every admitted claim is appended to knowledge/status/vsbest_claims.log as ONE atomic line, with the level it EARNS and whether its scope covers the domain. A refusal is printed with the leg that failed and NOTHING is written -- a rejected claim must leave no trace that a later reader could mistake for evidence. ★★★★★THIS IS THE ONLY WAY A DOMAIN CAN REACH S-CLASS OR EXCEED. Three other routes existed and all three are now closed: permil_to_level minting rungs from a coverage percentage (capped), a green gate carrying a stored 4/5 through em_derive_level (capped), and simply having nowhere to record a comparison so only the fake paths were reachable. A comparative rung is now EARNED or ABSENT. license_tier: ORIGINAL No hw writes (Rule 26).

dependencies 1 imports · 0 importers

nx_vsbest_lib.nx nx_vsbest.nx

imports: nx_vsbest_lib.nx

imported by: nobody (leaf or entry point)

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

main vb_admit_scoped vb_admit vb_competitor_ok el_streq el_len vb_verdict_parse el_streq ↻ ss_readall sys_openat_rd sys_lseek sys_mmap sys_read sys_close el_contains el_len ↻ el_match vb_level_for vb_scope_covers el_streq ↻ vb_refusal_label sys_openat_append vs_apps vs_appn sys_now_realtime_sec sys_mmap ↻ sys_clock_gettime_real vb_verdict_label mat_label

structs

none

consts

17const VS_LOG: *u8 = "knowledge/status/vsbest_claims.log"
18const VS_MODE: i64 = 0x1a4
19const VS_LINE_CAP: i64 = 2048

functions

21func vs_apps(b: *u8, cap: i64, o: i64, s: *u8) -> i64
called by 1: main
32func vs_appn(b: *u8, cap: i64, o: i64, v: i64) -> i64
called by 1: main
49func main(argc: i64, argv: *i64) -> i64