nx_engineer.nx
buildroot/runtime/nx_engineer.nx
about
nx_engineer.nx -- the Nishi engineer's clear-view cockpit (sovereign,
bits-up). REASON TO EXIST: one-step, sub-10-second fixes. The builder is
the new-&-improve expert; the ENGINEER is the measure-&-fix expert -- it
guards what's built against silent REGRESSION, MIS-MEASUREMENT, and
THRASHING, keeps the qualitative+quantitative ecosystem always winning, and
either drives a fast fix or recommends a new capability back to the builder.
It is the measured-ground-truth leg of the triangulation (human=algebra,
AI=statistics, engineer=what RUNS+PASSES) and keeps both honest.
How: runs the racing-crew gates LIVE (the proofs), TIMES each, and DIFFS
each verdict against the last known-good journal -> REGRESSED / FIXED /
stable. A regression is the alarm; the timing is the fix-speed clock
(target: every fix loop one step, < 10 s). Honest by construction:
PROVEN only if the gate JUST ran + passed -- never a claim file.
See docs/NISHI_TRIANGULATION_ENGINEERING.md.
license_tier: ORIGINAL
dependencies 2 imports · 0 importers
imports: nx_syscalls.nxnx_run_timeout.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
| 22 | const NX_MAGIC_10000: i64 = 10000 |
| 24 | const NCARS: i64 = 7 |
| 25 | const NX_ENG_GATE_TIMEOUT_MS: i64 = 12000 // per-gate hang bound (nx_run_timeout); a slow/hung gate is NOT-PROVEN, never fatal |
| 26 | const JOURNAL: *u8 = "/mnt/c/Users/elder/nishi-core/nxc2/_offc/nx_engineer_journal.tsv" |
functions
| 28 | func e_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != 0 as u8 { n = n + 1 } sys_write(1, s, n); return 0 } |
| 29 | func e_putn(n: i64) -> i64 |
| 47 | func run_gate(elf: *u8, a1: *u8, a2: *u8) -> i64 |
| 59 | func read_journal(prev: *i64, n: i64) -> i64 |
| 78 | func write_journal(cur: *i64, n: i64) -> i64 |
| 91 | func main() -> i64 |