nx_esign_pure_gate.nx
buildroot/runtime/nx_esign_pure_gate.nx
about
nx_esign_pure_gate.nx -- INDEPENDENT GATE over the PURE DECISION CORE of nx_esign_lib.
ZERO registry writes, zero I/O: this gate proves the STATUTORY RULES, not the storage. That split is
deliberate -- when the seg_store write path stalled ecosystem-wide (debt 1785519597) the rules became
unverifiable purely because they sat behind a write. A correctness gate must not be hostage to a
storage outage, so the rules now gate independently and in microseconds.
Because pure evaluation is free, the four-element test is proven EXHAUSTIVELY over all 16
combinations rather than on hand-picked cases: exactly one of the sixteen may be valid. An
exhaustive sweep cannot miss the case a hand-written list forgets.
license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0
dependencies 2 imports · 0 importers
imports: nx_esign_lib.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
| 15 | func main(argc: i64, argv: *i64) -> i64 |