code wiki / _hdl_build / nx_biotwin_board_gate.nx
nx_biotwin_board_gate.nx
buildroot/runtime/_hdl_build/nx_biotwin_board_gate.nx
about
nx_biotwin_board_gate.nx -- the LIAR-KILL gate for nx_biotwin_board.
A board that grades a MEDICAL domain is worse than useless if it can rubber-stamp itself, because the
failure mode is not an embarrassing number -- it is a credibility claim attached to a human body.
Teeth:
T1 PROVENANCE -- the COU-0 verdicts must be COPIED FROM A REAL SIBLING ORGAN, not invented.
nx_graphics_board.nx must exist AND must itself carry the axes/artifacts we cite from it. This is
the anti-fabrication tooth: it makes it impossible to grade ourselves against a made-up baseline.
T2 EVIDENCE EXISTS -- every artifact attached to a HAVE/PARTIAL is stat'd on disk. A verdict
with a missing artifact is a lie.
T3 NEG-CONTROL -- a fabricated artifact path must NOT exist, or T2 could pass by accident.
T4 THE FENCE IS ALIVE -- the clamp, the fence tiers, and the PLANTED LIE on axis 21 must all still
be in the source. Delete any one and the safety property silently becomes a promise instead of a
construction, which is exactly what rule 26 forbids.
T5 HONESTY CANNOT ROT -- the deflation, the terminal science blocker, and the law-collision block
must still be published. If a later edit quietly deletes them so the numbers read like a green
light, this gate goes RED.
T6 NO SILENT SCOPE CREEP -- all three COU-4 actuation axes must still be present AND hard-fenced.
license_tier: ORIGINAL expect_exit: 0
dependencies 1 imports · 0 importers
imports: nx_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
| none |
functions
| 22 | func gw(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } |
| 23 | func gn(v: i64) -> i64 |
| 32 | func fsize(p: *u8) -> i64 |
| 39 | func match_at(buf: *u8, n: i64, i: i64, pat: *u8) -> i64 called by 1: contains |
| 44 | func contains(buf: *u8, n: i64, pat: *u8) -> i64 |
| 50 | func main() -> i64 |