nx_coindex_vs_git_gate.nx
buildroot/runtime/nx_coindex_vs_git_gate.nx
about
nx_coindex_vs_git_gate.nx -- the EXTERNAL 3rd-party comparator that closes the SELF-GRADED-SUSPECT
flag the coordinator raised on its own coindex/WMS "exceeds git" claim (anti-navel-gazing: a SOTA
claim graded self/none must get a REAL external number -- git EXERCISED, not stated). Measures
N=12 concurrent single-attempt writers to ONE shared store, both ways:
coindex: N forked ci_append -> ALL land, ZERO writers refused (flock per tiny append, no
serialization stall, no retry).
git : N forked processes each `git add f<i> && git commit` in ONE repo -> they RACE on
.git/index.lock; the losers EXIT NON-ZERO (refused, must retry) -- git's serialize-or-
fail model, measured live. (git never loses COMMITTED data; the cost is writer refusal.)
This is legitimate external measurement (fork+exec of the 3rd-party tool), NOT a workstream shell
op. GREEN iff coindex_refused==0 AND git_refused>0 (the external tool's contention actually fired).
Journals the measured comparison. 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
| 19 | const NW: i64 = 12 |
functions
| 16 | func v_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 } |
| 17 | func v_putn(v: i64) -> i64 { nxi_out(v); return 0 } |
| 22 | func v_sh(cmd: *u8) -> i64 |
| 40 | func v_git_cmd(i: i64, out: *u8) -> i64 |
| 51 | func main(argc: i64, argv: *i64) -> i64 |