code wiki / _hdl_build / nx_connect_contacts_gate.nx

nx_connect_contacts_gate.nx

buildroot/runtime/_hdl_build/nx_connect_contacts_gate.nx

8533 B161 linesdepth 5pulls 14 transitivereach 0 importersview sourcekind gate/prooftopic connect
docsdependenciesstructsconstsfunctions

about

nx_connect_contacts_gate.nx -- proves the CONNECT contact list (the "we don't even have a contact list" basic): add/list/remove keyed to the signed-in identity, set semantics (idempotent, no self-add, bounded), the page is auth-gated (signed-out shows a prompt, never someone's list), the "has an end-to-end key" badge is driven live by the shared pubkey directory, and the list SURVIVES a serialize->deserialize round trip (so it persists across restarts). license_tier: ORIGINAL expect_exit: 0

dependencies 1 imports · 0 importers

nx_connect_accounts.nx nx_connect_contacts_gate.nx

imports: nx_connect_accounts.nx

imported by: nobody (leaf or entry point)

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

main cs_world_new sys_mmap cs_world_reset cs_cat cg_w cg_get cg_has cg_check cg_w ↻ cg_post cs_shared_new sys_mmap ↻ cs_sh_pub_put cs_name_ok cs_hex_len cs_sh_pub_find cs_seq sh_pub_at sh_pub_at ↻ cs_sh_copyz cs_handle2 cs_starts sys_mmap ↻ cs_slen cs_seq ↻ cs_cat ↻ cs_catn cu_putn cs_json_resp cs_cat ↻ cs_catn ↻ cs_form_get cs_slen ↻ cs_hexval cs_sh_pub_put2 cs_name_ok ↻ cs_hex_len ↻ cs_sh_pub_find ↻ sh_own_at

structs

none

consts

8const CG_BUF: i64 = 262144

functions

10func cg_w(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
called by 2: cg_checkmain
11func cg_check(pass: i64, label: *u8, fails: *i64) -> i64
called by 1: main calls 1: cg_w
16func cg_has(buf: *u8, n: i64, needle: *u8) -> i64
called by 1: main
23func cg_count(buf: *u8, n: i64, needle: *u8) -> i64
called by 1: main
31func cg_get(dst: *u8, path: *u8) -> i64
called by 1: main
37func cg_post(dst: *u8, path: *u8, bodys: *u8) -> i64
called by 1: main
48func main() -> i64