nx_strconv_gate.nx
buildroot/runtime/nx_strconv_gate.nx
about
nx_strconv_gate.nx -- the gate for the parse/format vocabulary 59 modules import.
WHY: nx_gensota's gen-3 worklist, rank 2 after nx_str closed. Its own header promises the
callers agree on "edge cases (negative MIN_I64, leading +, overflow detection, hex prefix
tolerance)" -- and a PROMISE IN A HEADER IS NOT A TEST. Every claim in that sentence is a
tooth below.
★DESIGN NOTE ON THE MIN_I64 TOOTH: I did not guess a constant. The tooth asserts the SAFETY
property -- parsing the i64 minimum either yields the exact value OR reports overflow, and
NEVER a silently-wrong number. A gate that pins a guessed value is a coin flip; a gate that
pins the safety envelope is correct whichever branch the implementation takes.
license_tier: ORIGINAL expect_exit: 0 No hw writes (Rule 26).
dependencies 3 imports · 0 importers
imports: nx_syscalls.nxnx_gate_verdict.nxnx_strconv.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| 15 | const NSC_BUF: i64 = 64 |
| 16 | const NSC_I64_MIN_STR_LEN: i64 = 20 |
functions
| 18 | func nsc_set(p: *u8, s: *u8) -> i64 called by 1: main |
| 24 | func nsc_eq(a: *u8, b: *u8) -> i64 called by 1: main |
| 34 | func main() -> i64 |