code wiki / _hdl_build / nx_seat_meter_beat_gate.nx
nx_seat_meter_beat_gate.nx
buildroot/runtime/_hdl_build/nx_seat_meter_beat_gate.nx
about
nx_seat_meter_beat_gate.nx -- the REFEREE for nx_seat_meter_beat (ES1 of /compare/engineshift, 2026-09-02).
Drives the DEPLOYED subject over a fixture transcript tree under /tmp/<gate>/ (created at setup, never the live
plane) and asserts the sums a hand count gives: usage counted ONCE per message id across repeated content blocks,
non-assistant lines never counted, today never emitted, a truncated tail counted PARTIAL and never as zero, the
marker file honoured on an anchored (day, family) match, and an unreadable sessions dir read as UNOBSERVABLE.
nx_seat_meter_beat_gate [subject-elf] default _build/nx_seat_meter_beat.sov.elf (cwd nxc2)
Every tooth prints its values; the verdict line is LAST (gv_verdict). license_tier: ORIGINAL. No hw writes.
dependencies 4 imports · 0 importers
imports: nx_syscalls.nxnx_gate_verdict.nxnx_gatekit_lib.nxnx_tool_run.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
| 13 | const MG_OUT: i64 = 65536 |
| 14 | const MG_I64: i64 = 8 |
| 15 | const MG_ARGV: i64 = 16 |
| 16 | const MG_TIMEOUT_MS: i64 = 30000 |
| 17 | const MG_NOW: i64 = 1786536000 // 2026-08-12T12:00:00Z: today is 08-12, the newest complete day is 08-11 |
| 18 | const MG_ROOT: *u8 = "/tmp/nx_seat_meter_beat_gate" |
| 19 | const MG_SESS: *u8 = "/tmp/nx_seat_meter_beat_gate/sessions" |
| 20 | const MG_STATE: *u8 = "/tmp/nx_seat_meter_beat_gate/state" |
| 21 | const MG_MARK: *u8 = "/tmp/nx_seat_meter_beat_gate/state/meterbeat.days" |
functions
| 23 | func mg_run(elf: *u8, a1: *u8, a2: *u8, a3: *u8, a4: *u8, a5: *u8, a6: *u8, a7: *u8, a8: *u8, a9: *u8, a10: *u8, a11: *u8, out: *u8, outlen: *i64) -> i64 |
| 38 | func mg_line(model: *u8, id: *u8, ov: *u8, cr: *u8, cc: *u8, ts: *u8, out: *u8, off: i64) -> i64 |
| 56 | func main(argc: i64, argv: *i64) -> i64 |