nx_doc_kwscan_gate.nx source

1import "nx_gate_gn.nx" 2// nx_doc_kwscan_gate.nx -- liar-kill gate for the Doctor's reserved-keyword diagnosis. MUST-DETECT: a reserved 3// keyword used as a parameter name and as a declared binding name, with the right keyword + byte offset. MUST-NOT- 4// FALSE-POSITIVE: a clean source, a source using common keywords correctly (while/return), and -- the honesty KAT 5// -- `let type` (type is NOT a lexer keyword, so it is a valid identifier and must NOT be flagged). expect_exit: 0 6import "nx_syscalls.nx" 7import "nx_doc_kwscan.nx" 8 9func gp(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } 10func slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n } 11func seq(a: *u8, b: *u8) -> i64 { var i: i64=0; while a[i]!=(0 as u8){ if a[i]!=b[i]{return 0} i=i+1 } if b[i]!=(0 as u8){return 0} return 1 } 12 13func main() -> i64 { 14 gp("=== nx_doc_kwscan_gate: Doctor reserved-keyword diagnosis (detect + pinpoint + suggest; no blind rewrite) ===\n" as *u8) 15 let kw: *u8 = sys_mmap(64) 16 let pos: *i64 = sys_mmap(16) as *i64 17 var pass: i64 = 0; var fail: i64 = 0 18 19 // KAT1 reserved kw as a PARAMETER name: func q(match: i64) ... -> hit, kw=match, offset of 'match' = 7 20 let s1: *u8 = "func q(match: i64) -> i64 { return match + 1 }" as *u8 21 pos[0] = 0-9 22 let r1: i64 = kws_scan(s1, slen(s1), kw, pos) 23 if r1 == 1 { pass=pass+1 } else { fail=fail+1; gp(" FAIL kat1-not-detected\n" as *u8) } 24 if seq(kw, "match" as *u8) == 1 { pass=pass+1 } else { fail=fail+1; gp(" FAIL kat1-wrong-kw=" as *u8); gp(kw); gp("\n" as *u8) } 25 if pos[0] == 7 { pass=pass+1 } else { fail=fail+1; gp(" FAIL kat1-wrong-pos=" as *u8); gn(pos[0]); gp("\n" as *u8) } 26 27 // KAT2 reserved kw as a DECLARED name: let match: i64 = 0 -> hit, kw=match, offset = 4 28 let s2: *u8 = "let match: i64 = 0" as *u8 29 pos[0] = 0-9 30 let r2: i64 = kws_scan(s2, slen(s2), kw, pos) 31 if r2 == 1 { pass=pass+1 } else { fail=fail+1; gp(" FAIL kat2-not-detected\n" as *u8) } 32 if seq(kw, "match" as *u8) == 1 { pass=pass+1 } else { fail=fail+1; gp(" FAIL kat2-wrong-kw\n" as *u8) } 33 if pos[0] == 4 { pass=pass+1 } else { fail=fail+1; gp(" FAIL kat2-wrong-pos=" as *u8); gn(pos[0]); gp("\n" as *u8) } 34 35 // KAT3 clean source -> no hit 36 let s3: *u8 = "func ok(x: i64) -> i64 { let y: i64 = 5; return y }" as *u8 37 let r3: i64 = kws_scan(s3, slen(s3), kw, pos) 38 if r3 == 0 { pass=pass+1 } else { fail=fail+1; gp(" FAIL kat3-false-positive\n" as *u8) } 39 40 // KAT4 common keywords used CORRECTLY (while/return) -> no false positive 41 let s4: *u8 = "func u(x: i64) -> i64 { while x > 0 { x = x - 1 } return x }" as *u8 42 let r4: i64 = kws_scan(s4, slen(s4), kw, pos) 43 if r4 == 0 { pass=pass+1 } else { fail=fail+1; gp(" FAIL kat4-keyword-use-flagged\n" as *u8) } 44 45 // KAT5 HONESTY: `type` is NOT a lexer keyword -> a valid identifier -> must NOT be flagged 46 let s5: *u8 = "let type: i64 = 0" as *u8 47 let r5: i64 = kws_scan(s5, slen(s5), kw, pos) 48 if r5 == 0 { pass=pass+1 } else { fail=fail+1; gp(" FAIL kat5-type-wrongly-flagged (type is not reserved)\n" as *u8) } 49 50 // KAT6 suggested rename: match -> match_ 51 let sug: *u8 = sys_mmap(64) 52 kws_suggest("match" as *u8, sug) 53 if seq(sug, "match_" as *u8) == 1 { pass=pass+1 } else { fail=fail+1; gp(" FAIL kat6-bad-suggest=" as *u8); gp(sug); gp("\n" as *u8) } 54 55 gp("DOC-KWSCAN-GATE pass=" as *u8); gn(pass); gp(" fail=" as *u8); gn(fail) 56 if fail == 0 { gp(" verdict=GREEN (reserved-kw-as-identifier detected+pinpointed; clean/keyword-use/`type` not flagged; rename suggested)\n" as *u8); sys_exit(0); return 0 } 57 gp(" verdict=RED\n" as *u8); sys_exit(1); return 1 58}