code wiki / (root) / nx_dec_emit_test.nx

nx_dec_emit_test.nx

buildroot/runtime/nx_dec_emit_test.nx

3192 B100 linesdepth 2pulls 3 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_dec_emit_test.nx -- KAT for nx_dec_emit_u63. Asserts: T1 0 -> "0" (1 byte) T2 1 -> "1" (1 byte) T3 9 -> "9" (1 byte) T4 10 -> "10" (2 bytes) T5 100 -> "100" (3 bytes) T6 12345 -> "12345" (5 bytes) T7 1000000 -> "1000000" (7 bytes) T8 9999999999 -> "9999999999" (10 bytes) T9 emit-at-offset writes into the correct slot without clobbering earlier bytes T10 Content-Length use case: typical ACME JWS payload size 1234

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_dec_emit.nx nx_dec_emit_test.nx

imports: nx_syscalls.nxnx_dec_emit.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap nx_dec_emit_u63 _assert_bytes sys_write

structs

none

consts

none

functions

19func _assert_bytes(buf: *u8, exp: *u8, n: i64) -> i64
called by 1: main
28func main() -> i64