nx_coindex_gate.nx
buildroot/runtime/nx_coindex_gate.nx
about
nx_coindex_gate.nx -- liar-killed GATE for the conflict-free co-edited index (R-ORCH-2).
Proves the append-and-derive property that KILLS the parallel-session merge-dance: many appends
(the concurrent-writer stand-in -- concurrency safety itself is inherited from the flock floor,
WMS R11 MEASURED 0/144-lost-vs-git-132) all land with NO loss; the reducer keeps LAST-write-wins
per slug (a session re-banking its entry supersedes its own prior, never another's); a fresh slug
is added, never colliding. Load-bearing neg-control: the superseded line MUST be absent from the
derived index (proves last-wins actually drops the stale entry, not just appends). Exit 0 on 6/6.
license_tier: ORIGINAL expect_exit: 0
dependencies 2 imports · 0 importers
imports: nx_syscalls.nxnx_coindex_core.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
| none |
functions
| 12 | func g_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 } |
| 13 | func g_putn(v: i64) -> i64 { nxi_out(v); return 0 } |
| 14 | func g_bool(name: *u8, got: i64, want: i64, passp: *i64) -> i64 |
| 20 | func g_has(hay: *u8, needle: *u8) -> i64 |
| 34 | func g_lines(s: *u8) -> i64 { let n: i64 = ccz_slen(s); var c: i64 = 0; var i: i64 = 0; while i < n { if s[i] == (10 as u8) { c = c + 1 } i = i + 1 } return c } |
| 36 | func main(argc: i64, argv: *i64) -> i64 |