code wiki / _hdl_build / nx_doc_seal_gate.nx

nx_doc_seal_gate.nx

buildroot/runtime/_hdl_build/nx_doc_seal_gate.nx

6512 B141 linesdepth 10pulls 14 transitivereach 0 importersview sourcekind gate/prooftopic doc
docsdependenciesstructsconstsfunctions

about

nx_doc_seal_gate.nx -- GATE for LEGAL D5 (nx_doc_seal). Drives the REAL seal over the RFC 8032 Ed25519 test-vector keypair (deterministic) and asserts: SEAL+VERIFY : a VALID contract (UETA elements) seals (SEAL_OK), and the produced Ed25519 signature VERIFIES over the canonical record. TAMPER : flipping one byte of the canonical record -> verify TAMPERED; flipping it back -> VERIFIED again (the signature commits to the exact document+signer+legal-context). *** NEVER SEAL A VOID INSTRUMENT (the D5 safety crux) *** a WILL with ALL general UETA elements but no witnesses, in an e-wills jurisdiction -> REFUSED (NEEDS_MORE), NO signature; a WILL in a NO-e-wills jurisdiction -> REFUSED_VOID, NO signature. A generic e-sign clone would sign either; this layer physically cannot. E-WILL OK : a properly-executed e-will (testator + 2 witnesses + notary) seals (SEAL_OK / ELECTRONIC_WILLS) and verifies. Evidence -> knowledge/status/doc_seal.log license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_doc_seal.nx nx_legal_compliance.nx nx_syscalls.nx nx_doc_seal_gate.nx

imports: nx_doc_seal.nxnx_legal_compliance.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap slen nx_seal_create sys_mmap ↻ nx_legal_verdict nx_legal_regime nx_legal_is_excluded nx_seal_canonical sl_cat ed25519_sign_full sys_mmap ↻ ed25519_sha512 sys_mmap ↻ sha512_init sha512_update sha512_blk_set_byte blk_get_i64 blk_set_i64 sha512_compress sys_mmap ↻ blk_get_i64 ↻ sha512_gamma0 sha512_gamma1 sha512_sigma1 sha512_ch sha512_k sha512_sigma0 sha512_maj sha512_final sha512_blk_set_byte ↻ sha512_compress ↻ ge_p3_alloc sys_mmap ↻ fe_alloc nx_scratch nx_scratch_init nx_scratch_oom sys_mmap ↻ fe_zero

structs

none

consts

27const DS_LOG: *u8 = "knowledge/status/doc_seal.log"

functions

29func ew(fd: i64, s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(fd, s, n); return 0 }
called by 1: main calls 1: sys_write
30func ewn(fd: i64, v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
39func slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
called by 1: main
41func main() -> i64
calls 8: sys_mmapslennx_seal_createnx_seal_verifyewewn+2