code wiki / _hdl_build / nx_editor_board.nx
nx_editor_board.nx
buildroot/runtime/_hdl_build/nx_editor_board.nx
about
nx_editor_board.nx -- F795 THE EDITOR COVERAGE BOARD (ecosystem-as-editor law, operator 2026-07-20:
the ecosystem is the EDITOR that lifts any-model seats to award-winning -- Marcia Lucas pattern; known
model failure modes must be covered STRUCTURALLY and the coverage must be a VISIBLE, supervised surface).
PURE RENDERER (model-card discipline): every byte of content comes from the sovereign plane
knowledge/store/editcover- (rows: id | failure-mode | covering-capability | evidence | status | note).
Status vocabulary: COVERED (structural organ + evidence) / PARTIAL (organ live, sweep open) / GAP
(no structural tooth -- F795 LAW: every GAP row must carry a filed F-rung; the board renders GAPs
fail-visible so an uncovered failure mode can never hide).
nx_editor_board -> ATOMIC emit to sites/nishifamily/editor.html (beat mode)
nx_editor_board emit <outpath> -> ATOMIC emit (tmp + renameat) to <outpath>
nx_editor_board selftest -> in-memory emit + substring teeth, exit 0/3
ENVELOPE (declared in page): plane cap 256KB, out cap 128KB, 64 rows; plane content operator-trusted
(no HTML-escape pass; plane vocabulary carries no < > &).
license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0
dependencies 2 imports · 0 importers
imports: nx_store_seed_lib.nxnx_syscalls.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
| 18 | const EB_PREFIX: *u8 = "knowledge/store/editcover-" as *u8 |
| 19 | const EB_DEFOUT: *u8 = "sites/nishifamily/editor.html" as *u8 |
| 20 | const EB_PLANECAP: i64 = 262144 |
| 21 | const EB_OUTCAP: i64 = 131072 |
| 22 | const EB_NL: i64 = 10 |
| 23 | const EB_TAB: i64 = 9 |
| 24 | const EB_MODE: i64 = 0x1a4 |
| 25 | const EB_NCOLMAX: i64 = 8 |
| 26 | const EB_PAIR: i64 = 2 |
| 27 | const EB_SPB: i64 = 128 |
| 28 | const EB_MINBYTES: i64 = 2000 |
| 29 | const EB_EXIT_SELF: i64 = 3 |
| 30 | const EB_EXIT_EMPTY: i64 = 1 |
| 31 | const EB_SLACK: i64 = 4096 |
functions
| 33 | func eb_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } |
| 34 | func eb_werr(s: *u8) -> i64 { sys_write(2, s, eb_slen(s)); return 0 } |
| 35 | func eb_puts(b: *u8, off: i64, s: *u8) -> i64 { var o: i64 = off; var j: i64 = 0; while s[j] != (0 as u8) { b[o] = s[j]; o = o + 1; j = j + 1 } return o } |
| 36 | func eb_putsl(b: *u8, off: i64, q: *u8, a: i64, e: i64) -> i64 { var o: i64 = off; var i: i64 = a; while i < e { b[o] = q[i]; o = o + 1; i = i + 1 } return o } |
| 37 | func eb_puti(b: *u8, off: i64, v: i64) -> i64 |
| 49 | func eb_cols(q: *u8, ls: i64, le: i64, sp: *i64) -> i64 |
| 64 | func eb_span_is(q: *u8, a: i64, b: i64, s: *u8) -> i64 |
| 71 | func eb_find(hay: *u8, n: i64, needle: *u8) -> i64 |
| 85 | func eb_render(q: *u8, qn: i64, out: *u8) -> i64 |
| 151 | func eb_frag(q: *u8, qn: i64, out: *u8) -> i64 |
| 217 | func eb_body(path: *u8) -> i64 |
| 244 | func eb_emit(path: *u8) -> i64 |
| 270 | func main(argc: i64, argv: *i64) -> i64 |