code wiki / (root) / nx_intelmine_propose_gate.nx

nx_intelmine_propose_gate.nx

buildroot/runtime/nx_intelmine_propose_gate.nx

9462 B147 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_intelmine_propose_gate.nx -- GATE for the proposer (/compare/intelmine IM3 im_propose_rows, IM24 ic_propose): a planted four-review journal, planted lexicons, a planted census row and a planted capability map under /tmp/nx_intelmine_propose_gate; proposals land in per-domain files there, deduped on a second run. No network. license_tier: ORIGINAL

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_reviewmine_lib.nx nx_intelmine_lib.nx nx_gate_verdict.nx nx_intelmine_propose_gate.nx

imports: nx_syscalls.nxnx_reviewmine_lib.nxnx_intelmine_lib.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 gv_head gv_puts sys_write gv_ctr 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 ↻ rm_mkdirp rm_slen sys_mmap ↻ rm_catn rm_mkdir sys_mkdir sys_mmap ↻ rm_file_put sys_openat_wr rm_write_all sys_write ↻ sys_close g_row sys_mmap ↻ rm_slen ↻ rm_row_emit rm_cati rm_itoa rm_numbuf sys_mmap ↻

structs

none

consts

10const G_DIR: *u8 = "/tmp/nx_intelmine_propose_gate"
11const G_OUT: *u8 = "/tmp/nx_intelmine_propose_gate/out"
12const G_JRNL: *u8 = "/tmp/nx_intelmine_propose_gate/777.jrnl"
13const G_CENSUS: *u8 = "/tmp/nx_intelmine_propose_gate/steam.census"
14const G_MAP: *u8 = "/tmp/nx_intelmine_propose_gate/capability_map.conf"
15const G_STOP: *u8 = "/tmp/nx_intelmine_propose_gate/stop.conf"
16const G_LD: *u8 = "/tmp/nx_intelmine_propose_gate/lex_defect.conf"
17const G_LF: *u8 = "/tmp/nx_intelmine_propose_gate/lex_feature.conf"
18const G_LE: *u8 = "/tmp/nx_intelmine_propose_gate/lex_exceed.conf"
19const G_LN: *u8 = "/tmp/nx_intelmine_propose_gate/lex_notmeet.conf"
20const G_LV: *u8 = "/tmp/nx_intelmine_propose_gate/lex_value.conf"
21const G_LM: *u8 = "/tmp/nx_intelmine_propose_gate/lex_demand.conf"
22const G_P_PERF: *u8 = "/tmp/nx_intelmine_propose_gate/out/performance.proposed"
23const G_P_GE: *u8 = "/tmp/nx_intelmine_propose_gate/out/gameengine.proposed"
24const G_P_CHAR: *u8 = "/tmp/nx_intelmine_propose_gate/out/charsim.proposed"
25const G_P_HAPT: *u8 = "/tmp/nx_intelmine_propose_gate/out/hapticcare.proposed"
26const G_APPID: i64 = 777
27const G_EPOCH: i64 = 1788623900

functions

29func g_put(path: *u8, s: *u8) -> i64 { return rm_file_put(path, s, rm_slen(s)) }
called by 1: main calls 2: rm_file_putrm_slen
30func g_row(recid: i64, up: i64, text: *u8) -> i64
39func g_lines(path: *u8) -> i64
called by 1: main calls 2: sys_mmapsys_read_file
49func g_has(path: *u8, lit: *u8) -> i64
called by 1: main calls 3: sys_mmapsys_read_filerm_find
57func g_load_all() -> i64
70func main() -> i64