code wiki / _hdl_build / nx_gatedry_lib.nx
nx_gatedry_lib.nx
buildroot/runtime/_hdl_build/nx_gatedry_lib.nx
about
nx_gatedry_lib.nx -- the gate-DRY classifier as a MODULE. NO main() ON PURPOSE.
WHY A MODULE AND NOT ONE ORGAN: nx_gatedry.nx owns a main(), so its functions cannot be imported by a
second entry point -- the exact structural trap nx_gate_verdict_lib.nx documents ("that is why it kept
being copied rather than shared -- a structural reason, not an oversight"). The CLI and its GATE both
need the classifier, so the classifier lives here and neither copies it.
WHAT IT DECIDES: does a gate source inherit the nx_gate_verdict base class (ADOPTER), hand-roll its own
verdict (CUSTOM-VERDICT = the L009 breach), or emit no judgeable anchor at all (NO-VERDICT = the seq585
unjudgeable class, which nx_gate_green reads as NOT-GREEN even when the gate passes)?
u26a0DECLARED ENVELOPE (L011): SUBSTRING PRESENCE over source text. A `gv_verdict(` inside a comment counts
as adoption; a gate emitting its verdict through an imported helper reads CUSTOM. A REVIEW SIGNAL at a
submission chokepoint, never an auto-verdict over a corpus.
license_tier: ORIGINAL No hw writes (Rule 26).
dependencies 1 imports · 3 importers
imports: nx_syscalls.nx
imported by: nx_gatedry.nxnx_gatedry_gate.nxnx_wiredclaim_lib.nx
structs
| none |
consts
| 18 | const GD_ADOPTER: i64 = 0 |
| 19 | const GD_CUSTOM: i64 = 1 |
| 20 | const GD_NOVERDICT: i64 = 2 |
| 21 | const GD_UNREADABLE: i64 = 3 |
functions
| 23 | func gd_len(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } |
| 25 | func gd_has(hay: *u8, hn: i64, ndl: *u8) -> i64 |
| 43 | func gd_classify(buf: *u8, n: i64) -> i64 |
| 49 | func gd_name(v: i64) -> *u8 called by 1: main |
| 56 | func gd_advice(v: i64) -> *u8 called by 1: main |