code wiki / _hdl_build / nx_doc_seal_gate.nx

nx_doc_seal_gate.nx

buildroot/runtime/_hdl_build/nx_doc_seal_gate.nx

7046 B149 linesdepth 10pulls 15 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 4 imports · 0 importers

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

imports: nx_doc_seal.nxnx_legal_compliance.nxnx_syscalls.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 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 ↻ 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

structs

none

consts

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

functions

30func 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
31func ewn(fd: i64, v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
40func slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
called by 1: main
42func main() -> i64
calls 11: sys_mmapslennx_seal_createnx_seal_verifyewewn+5