code wiki / _hdl_build / nx_base64_extvec_gate.nx
nx_base64_extvec_gate.nx
buildroot/runtime/_hdl_build/nx_base64_extvec_gate.nx
about
nx_base64_extvec_gate.nx -- EIGHTH provably third-party-validated claim, and the first OUTSIDE
cryptography: Base64 vs RFC 4648 section 10.
★A FIFTH VECTOR DIALECT. The previous seven gates read hex in four different layouts; RFC 4648 states
its vectors as QUOTED ASCII:
BASE64("") = ""
BASE64("f") = "Zg=="
BASE64("foobar") = "Zm9vYmFy"
No hex reader touches this. ★The recurring lesson of this session, once more: there is no general
parser, only one proven against the section in front of you.
Construction unchanged from the other seven: nothing expected appears in this source, the document is
pinned to a digest nx_vecfetch computed IN-PROCESS AT THE SOCKET, and every input AND output below is
read out of that pinned document at run time.
★THE EMPTY-STRING VECTOR IS KEPT DELIBERATELY. BASE64("") = "" is the case an encoder is most likely to
get wrong (a stray pad, a spurious byte) and the one a hand-written test is most likely to omit. The
authority published it; we do not get to skip it.
license_tier: ORIGINAL expect_exit: 0
dependencies 4 imports · 0 importers
imports: nx_syscalls.nxnx_sha256_wasm.nxnx_base64.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
structs
| none |
consts
| none |
functions
| 24 | func w(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 } |
| 25 | func wb(b: *u8, n: i64) -> i64 { sys_write(1, b, n); return 0 } |
| 27 | func nn(v: i64) -> i64 |
| 41 | func hexnib(v: i64) -> i64 { if v < 10 { return 48 + v } return 87 + v } called by 1: main |
| 43 | func starts(b: *u8, n: i64, at: i64, s: *u8) -> i64 called by 1: findfrom |
| 53 | func findfrom(b: *u8, n: i64, s: *u8, from: i64) -> i64 |
| 65 | func parseq(b: *u8, n: i64, from: i64, out: *u8, cap: i64, endout: *i64) -> i64 called by 1: main |
| 78 | func main() -> i64 |