code wiki / (root) / nx_esign_pure_gate.nx

nx_esign_pure_gate.nx

buildroot/runtime/nx_esign_pure_gate.nx

7155 B103 linesdepth 8pulls 15 transitivereach 0 importersview sourcekind gate/prooftopic esign
docsdependenciesstructsconstsfunctions

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

nx_esign_lib.nx nx_gate_verdict.nx nx_esign_pure_gate.nx

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

main gv_ctr sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gv_head gv_puts sys_write ↻ es_ueta_pure es_elements_pure es_is1 es_elements_pure ↻ gv_check gv_puts ↻ es_consumer_pure es_is1 ↻ es_aes_pure es_is1 ↻ es_tier_pure es_aes_pure ↻ es_is1 ↻ es_admissible_pure es_handwritten_pure es_tier_label mt_catcopy es_audit_missing_pure es_is1 ↻ es_ready_pure

structs

none

consts

none

functions

15func main(argc: i64, argv: *i64) -> i64