code wiki / (root) / nx_lbclimb_gate.nx

nx_lbclimb_gate.nx

buildroot/runtime/nx_lbclimb_gate.nx

12202 B176 linesdepth 6pulls 9 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_lbclimb_gate.nx -- GATE for the climb ruler (nx_lbclimb_lib), driven IN-PROCESS on a planted leaderboard (four rivals and the estate's own row) and planted plans: a ladder whose best gate stops short of the leader, one whose gate clears it, a gate spelled with the word leader, a board with contenders and no gates, a board whose only gate is declared unmeasured, a leaderboard that holds no row for the board, a climbboard naming no declared target, gates planted where they must not vote (a substrate rung, a rung that does not exist, a contender toward another target), a floor that is not a score, a rung gated twice, a gate belonging to another board, and the same rows CRLF-terminated. Every fixture asserts that it reached its own condition before the outcome is judged. license_tier: ORIGINAL No hw writes (Rule 26).

dependencies 6 imports · 0 importers

nx_syscalls.nx nx_barfresh_lib.nx nx_ladder_lib.nx nx_leaderboard_lib.nx nx_lbclimb_lib.nx nx_gate_verdict.nx nx_lbclimb_gate.nx

imports: nx_syscalls.nxnx_barfresh_lib.nxnx_ladder_lib.nxnx_leaderboard_lib.nxnx_lbclimb_lib.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

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

main gv_head gv_puts sys_write gv_ctr sys_mmap nxa_die sys_write ↻ sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ sys_mmap ↻ bf_slen gv_check_eq gv_check gv_puts ↻ gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap lbc_boards sys_mmap ↻ bf_line_end bf_line_starts bf_field gv_check ↻ ld_span_is bf_slen ↻ g_run bf_slen ↻

structs

none

consts

16const G_I64: i64 = 8
17const G_KMAX: i64 = 16
18const G_BCAP: i64 = 4
19const G_NOROW: i64 = 0 - 9
20const G_CH_LF: i64 = 10
21const G_CH_CR: i64 = 13
22const G_LB: *u8 = "head|bright|https://example.invalid/|m|hpin|2026-09-14|average score\nlb|bright|1|Alpha|OrgA|66.9|2026-04-22|u\nlb|bright|2|Beta|OrgB|63.4|2025-12-20|u\nlb|bright|3|Gamma|OrgC|52.4|2026-03-20|u\nlb|bright|4|Delta|OrgD|39.6|2026-04-01|u\nlb|bright|5|nishi-search|Nishi|15.5|2026-09-16|u\n"
23const G_LB_OTHER: *u8 = "head|mteb|https://example.invalid/|m|hpin|2026-09-14|average score\nlb|mteb|1|Alpha|OrgA|70.1|2026-04-22|u\n"
24const G_LEADER_X10: i64 = 669
25const G_ESTATE_X10: i64 = 155
26const G_ESTATE_RANK: i64 = 5
27const G_RIVALS: i64 = 4
28const G_P0: *u8 = "sotabar|SB|2026-04|s|says|k|n\nsotatarget|T-FR|frontier|SB|be the leader|k\nsotatarget|T-BIC|best-in-class|SB|other|k\nrung|R1|rewriter|s1|d|Organ|1|-\nrung|R2|retriever|s2|d|Organ|1|R1\nrung|R3|aligned|s3|d|Organ|1|R2\nrung|R4|engine|s4|d|Organ|1|-\nrung|R5|other target|s5|d|Organ|1|-\nrungrole|R1|contender|T-FR|w\nrungrole|R2|contender|T-FR|w\nrungrole|R3|contender|T-FR|w\nrungrole|R4|substrate|T-FR|w\nrungrole|R5|contender|T-BIC|w\nclimbboard|bright|T-FR|the public board\n"
29const G_P0_BADTARGET: *u8 = "sotabar|SB|2026-04|s|says|k|n\nsotatarget|T-FR|frontier|SB|be the leader|k\nrung|R1|rewriter|s1|d|Organ|1|-\nrungrole|R1|contender|T-FR|w\nclimbboard|bright|T-NOWHERE|names no declared target\nclimbgate|R1|bright|70.0|would reach\n"
30const G_CONTENDERS: i64 = 3
31const G_V_SHORT: *u8 = "climbgate|R1|bright|22.9|the replay\nclimbgate|R2|bright|39.6|ties the fourth rival\nclimbgate|R3|bright|-|unmeasured\n"
32const G_SHORT_BEST: i64 = 396
33const G_SHORT_REACH: i64 = 4
34const G_V_REACH: *u8 = "climbgate|R1|bright|22.9|the replay\nclimbgate|R3|bright|67.0|one tenth above the leader\n"
35const G_V_DYNAMIC: *u8 = "climbgate|R3|bright|leader|strictly above the leader of the day\n"
36const G_DYNAMIC_FLOOR: i64 = 670
37const G_V_UNGATED: *u8 = "climbgate|R1|bright|-|unmeasured\n"
38const G_V_STRAY: *u8 = "climbgate|R4|bright|99.9|planted on a substrate rung\nclimbgate|Z9|bright|99.9|planted on no rung\nclimbgate|R5|bright|99.9|a contender toward another target\nclimbgate|R1|bright|22.9|the real gate\n"
39const G_STRAYS: i64 = 3
40const G_V_BADFLOOR: *u8 = "climbgate|R1|bright|abc|not a score\nclimbgate|R2|bright|39.6|ties the fourth rival\n"
41const G_V_DUP: *u8 = "climbgate|R1|bright|22.9|the first row decides\nclimbgate|R1|bright|70.0|a second row that would reach\n"
42const G_V_OTHERBOARD: *u8 = "climbgate|R3|mteb|99.9|a gate that belongs to another board\nclimbgate|R1|bright|22.9|the real gate\n"

functions

44func g_cat2(a: *u8, b: *u8) -> *u8
57func g_crlf(src: *u8) -> *u8
73func g_run(plan: *u8, lb: *u8, k: *i64, c: *i64) -> i64
84func main(argc: i64, argv: *i64) -> i64