code wiki / (root) / nx_esign_pure_gate.nx

nx_esign_pure_gate.nx

buildroot/runtime/nx_esign_pure_gate.nx

7155 B103 linesdepth 8pulls 14 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 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 es_is1 ↻ es_admissible_pure ↻ 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 ↻

structs

none

consts

none

functions

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