nx_crc32_gate.nx
buildroot/runtime/nx_crc32_gate.nx
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
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
structs
| none |
consts
| 20 | const CG_CHECK_123456789: i64 = 0xCBF43926 // CRC-32/ISO-HDLC "check" value |
| 21 | const CG_CHECK_A: i64 = 0xE8B7BE43 // CRC-32("a") |
| 22 | const CG_CHECK_FOX: i64 = 0x414FA339 // CRC-32("The quick brown fox jumps over the lazy dog") |
functions
| 24 | func cg_len(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 1: main |
| 26 | func main() -> i64 |