code wiki / _hdl_build / nx_browser_profile_gate.nx
nx_browser_profile_gate.nx
buildroot/runtime/_hdl_build/nx_browser_profile_gate.nx
about
nx_browser_profile_gate.nx -- gate for the browser PERSISTENT PROFILE STORE (R4 of the comms-parity
ladder). Proves on FRESH /tmp fixtures: (T1) contact roundtrip byte-identical, (T2) setting last-wins,
(T3) chat multi-key, (T4) ★THE SPLIT: clearing the CACHE family (delete every cache-prefix file = the
history-clear) leaves the PROFILE family byte-identical -- the operator's "different cache than the
history-clearing cache" requirement, proven mechanically, (T5) tombstone-delete misses, (T6) NEG bogus
key misses (liar-kill), (T7) re-put after tombstone works (additive law: current view correct).
expect_exit: 0 license_tier: ORIGINAL
dependencies 1 imports · 0 importers
imports: nx_browser_profile_store.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| 10 | const GP: *u8 = "/tmp/bp_gate_profile-" |
| 11 | const GC: *u8 = "/tmp/bp_gate_cache-" |
functions
| 13 | func g_unlink(path: *u8) -> i64 { __syscall(263, AT_FDCWD, path, 0, 0, 0, 0) return 0 } called by 1: g_clear_family |
| 14 | func g_pw(s: *u8) -> i64 { sys_write(1, s, bp_len(s)); return 0 } |
| 15 | func g_pn(v: i64) -> i64 called by 1: main |
| 19 | func g_eq(a: *u8, alen: i64, b: *u8, blen: i64) -> i64 called by 1: main |
| 25 | func g_clear_family(stem: *u8) -> i64 |
| 62 | func chk(name: *u8, ok: i64, pass: *i64) -> i64 |
| 68 | func main() -> i64 |