code wiki / _hdl_build / nx_relate_live_gate.nx

nx_relate_live_gate.nx

buildroot/runtime/_hdl_build/nx_relate_live_gate.nx

6529 B142 linesdepth 8pulls 12 transitivereach 0 importersview sourcekind gate/prooftopic relate
docsdependenciesstructsconstsfunctions

about

nx_relate_live_gate.nx -- LIVE: the Relationship OS over a REAL HTTP socket (loopback fork gate, the exact nx_email_webmail_gate pattern). Seeds the store (Rose + Andelin West + a works-at edge), then fork: parent = the server: accept 3 connections -> rv_read_req -> rv_handle -> rv_write_all child = a real HTTP/1.1 client: 1. GET / -> HTML lists the SEEDED graph ("Rose Andelin" + the edge role "Managing Partner") 2. POST /add-entity -> form body type=org&name=First+Ward&tenant=personal; redraw shows "First Ward" 3. GET / -> still shows Rose AND First Ward (persisted across connections) Then the parent verifies the STORE really grew (entities == 3). ONE fork (degraded-box discipline). Evidence -> knowledge/status/relate_live.log (RELATELIVEGATE ... verdict=GREEN) expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_relate_serve.nx nx_connect.nx nx_relate_live_gate.nx

imports: nx_relate_serve.nxnx_connect.nx

imported by: nobody (leaf or entry point)

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

main rv_cat rv_catn sys_mmap sys_now_us sys_mmap ↻ sys_clock_gettime_mono ss_begin ss_begin_cap sys_mmap ↻ rv_save_entity sys_mmap ↻ canon_encode sys_mmap ↻ cc_cmp cc_w32 cc_len sys_munmap cid_of sys_mmap ↻ sha256_digest sys_mmap ↻ sha256_init sys_mmap ↻ sha256_k sha256_update sha256_compress_ni_blocks blk_set_byte sha256_compress sha256_compress_ni blk_word sha256_final blk_set_byte ↻ sha256_compress ↻ cid_from_digest sys_munmap ↻ rv_cat ↻ ss_add ss_add2 ss_w32

structs

none

consts

14const RL_PORT: i64 = 0x2557
15const RL_LOG: *u8 = "knowledge/status/relate_live.log"

functions

17func g_addr(out: *u8, port: i64) -> i64
called by 1: main
25func g_writes(fd: i64, s: *u8) -> i64
called by 2: http_reqmain calls 1: rv_write_all
30func http_req(addr: *u8, req: *u8, out: *u8, cap: i64) -> i64
47func g_run_client(addr: *u8) -> i64
called by 1: main calls 2: http_reqrv_has
70func main() -> i64