code wiki / _hdl_build / nx_suite_share_gate.nx

nx_suite_share_gate.nx

buildroot/runtime/_hdl_build/nx_suite_share_gate.nx

10168 B212 linesdepth 8pulls 10 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_suite_share_gate.nx -- the retirement proof. nx_share_plane's 19 teeth were the reason to trust it; if the facade cannot carry the SAME attacks on the canonical plane, the retirement is a regression dressed up as cleanup. So these are deliberately the same attacks, re-aimed at nx_suite_share, plus the two teeth for the divergences the convergence proof said had to survive the move. license_tier: ORIGINAL expect_exit: 0

dependencies 1 imports · 0 importers

nx_suite_share.nx nx_suite_share_gate.nx

imports: nx_suite_share.nx

imported by: nobody (leaf or entry point)

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

main s_w px sys_now_us sys_mmap sys_clock_gettime_mono sg_may sg_obj rb_cat rb_catn sys_mmap ↻ sg_sub rb_cat ↻ rb_catn ↻ rb_check sys_mmap ↻ rb_otype rb_seq rb_tuple_current sys_mmap ↻ ss_manifest_dyn ss_manifest_file_dyn sys_mmap ↻ ss_cat ss_readall sys_munmap rb_cat ↻ ss_readall ↻ ss_r32 rb_iskind rb_kmemeq rb_slen rb_field ss_r32 ↻ rb_kmemeq ↻ rb_seq ↻ rb_expand rb_seq ↻ ss_manifest_dyn ↻ rb_cat ↻

structs

none

consts

8const SS_ALICE: i64 = 1001
9const SS_BOB: i64 = 1002
10const SS_CARA: i64 = 1003
11const SS_DAN: i64 = 1004
12const SS_ALBUM: i64 = 7001
13const SS_CARD: i64 = 7002
14const SS_MAXOUT: i64 = 64
15const SG_ALBUM_K: *u8 = "album\x00"
16const SG_CONTACT_K: *u8 = "contact\x00"

functions

18func s_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: s_tmain
19func s_n(v: i64) -> i64
called by 1: main
29func s_t(pass: i64, label: *u8, fails: *i64) -> i64
called by 1: main calls 1: s_w
34func px(tag: i64) -> *u8
called by 1: main calls 1: sys_now_us
42func main() -> i64