code wiki / (root) / nx_crc32_gate.nx

nx_crc32_gate.nx

buildroot/runtime/nx_crc32_gate.nx

4760 B93 linesdepth 4pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic crc32
docsdependenciesstructsconstsfunctions

about

nx_crc32_gate.nx -- the gate for CRC-32, and the ecosystem's cleanest ORACLE-CLASS evidence. WHY IT RANKS ABOVE ITS FAN-IN (14 importers): the check value below is EXTERNAL AUTHORITY. 0xCBF43926 for "123456789" is the published CRC-32/ISO-HDLC check constant (IEEE 802.3 reflected poly 0xEDB88320, init/xorout 0xFFFFFFFF) reproduced by zlib crc32(), python binascii.crc32() and the CRC RevEng catalogue -- authored by people who never saw this implementation. ★THAT IS THE DEFINITION OF THIRD-PARTY: an oracle editable by neither the provider nor the user. This gate is therefore a candidate EV_CLASS_ORACLE row, not merely a consistency test. ("KAT" names the FORM, not the PROVENANCE -- a KAT whose answers we wrote ourselves is self-consistency; these answers predate us.) ⚠THE SAME DEFECT nx_str HAD: the module's vectors live inside its own main(), which expand_imports STRIPS from every consumer -- so they ran only if someone built this module as an entry point, and NO ruler could read the result. Re-derived here in readable form, WIDENED with a vector the original did not carry (T4), and given a negative control. license_tier: ORIGINAL expect_exit: 0 No hw writes (Rule 26).

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_gate_verdict.nx nx_crc32.nx nx_crc32_gate.nx

imports: nx_syscalls.nxnx_gate_verdict.nxnx_crc32.nx

imported by: nobody (leaf or entry point)

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

main gv_ctr sys_mmap gv_head gv_puts sys_write nx_crc32 nx_crc32_update nx_crc32_init nx_crc32_table_at gv_check gv_puts ↻ cg_len sys_mmap ↻ nx_crc32_update ↻ nx_crc32_init ↻ nx_crc32_table_at ↻ gv_verdict gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap gv_journal sys_openat_append sys_mmap ↻ gv_catn sys_mmap ↻ sys_munmap ↻ sys_now_realtime_sec sys_mmap ↻ sys_clock_gettime_real gv_cat sys_write ↻ sys_close sys_munmap ↻ sys_exit

structs

none

consts

20const CG_CHECK_123456789: i64 = 0xCBF43926 // CRC-32/ISO-HDLC "check" value
21const CG_CHECK_A: i64 = 0xE8B7BE43 // CRC-32("a")
22const CG_CHECK_FOX: i64 = 0x414FA339 // CRC-32("The quick brown fox jumps over the lazy dog")

functions

24func cg_len(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
called by 1: main
26func main() -> i64