code wiki / (root) / nx_cite_redline_gate.nx
`nx_cite_redline_gate.nx` source

↩ module page · 116 lines · 6286 B
1// nx_cite_redline_gate.nx -- F993 PRODUCT SURFACE: document-level citation redline.
2// A chatbot verifies one quote; a drafting tool must verify EVERY citation in a filed paragraph and
3// strike the ones that cannot be grounded. This proves the whole-document scanner catches a real mix
4// -- a good cite, a fabricated cite, a made-up source, and the malformed-citation dodge -- and that the
5// document-level green light (cite_doc_clean) refuses a paragraph carrying even one bad citation.
6// license_tier: ORIGINAL   No hw writes (Rule 26).   expect_exit: 0
7
8import "nx_cite_lib.nx"
9// D001 MIGRATION 2026-08-16 -- third and last of this family; see the note in nx_clm_gate.nx.
10import "nx_gate_verdict.nx"
11
12func rl_ck(cnt: *i64, name: *u8, got: i64, want: i64) -> i64 {
  // gv_check owns the counters and the PASS/FAIL word; the VALUES stay, because ★A GATE THAT REPORTS
  // A BOOLEAN CANNOT SAY WHY.
  var ok: i64 = 0
  if got == want { ok = 1 }
  let r: i64 = gv_check(name, ok, cnt)
  gv_puts("        got=" as *u8); gv_num(got); gv_puts(" want=" as *u8); gv_num(want); gv_puts("\n" as *u8)
  return r
20}
21func rl_id(tag: *u8, nonce: i64, out: *u8) -> i64 {
  var o: i64 = mt_catcopy(out, 0, tag)
  o = mt_catn(out, o, nonce)
  out[o] = 0 as u8
  return o
26}
27
28func main(argc: i64, argv: *i64) -> i64 {
  // FIXTURE MOVED OUT OF THE SWEPT STORE (2026-08-07). knowledge/store/ is walked every 600s by
  // the nx_segguard beat; this gate's fixture is one of TEN measured as actually folded by it. A
  // fold landing mid-run rewrites the manifest under the code being measured, so a RED could not
  // be attributed. Proven on the sibling defect: the SAME code went RED on a knowledge/store
  // fixture and GREEN 24/24 on a /tmp one -- the RED tracked the FIXTURE, not the code.
  // Created at SETUP, not teardown: a teardown does not run when a run crashes.
  sys_mkdir("/tmp/redlinegate\x00" as *u8, 0x1ed)
  let pfx: *u8 = "/tmp/redlinegate/redlinegate-" as *u8
  let nonce: i64 = sys_now_us()
  let cnt: *i64 = gv_ctr()
39
  gv_head("NISHI-CITE-REDLINE-GATE (F993 product surface: verify every citation in a filed paragraph)" as *u8)
41
  // store one real source; use a FIXED short id so the doc can reference it literally
  let sid: *u8 = sys_mmap(64)
  rl_id("S-" as *u8, nonce, sid)
  cite_source_put(pfx, sid, "The trust account shall be reconciled quarterly." as *u8)
46
  let rep: *u8 = sys_mmap(65536)
48
  // ---- D1: an all-good document -> ZERO struck, clean ----
  // build "...<<S-nonce|The trust account shall be reconciled quarterly.>>..."
  let d1: *u8 = sys_mmap(4096)
  var o: i64 = mt_catcopy(d1, 0, "Per the rule, <<" as *u8)
  o = mt_catcopy(d1, o, sid)
  o = mt_catcopy(d1, o, "|The trust account shall be reconciled quarterly.>> as required." as *u8)
  d1[o] = 0 as u8
  rl_ck(cnt, "D1 all-verified document -> 0 struck" as *u8, cite_scan_doc(pfx, d1, rep), 0)
  rl_ck(cnt, "D1a document is clean (filable)" as *u8, cite_doc_clean(pfx, d1), 1)
58
  // ---- D2: a document with a FABRICATED quote to the real source -> 1 struck ----
  let d2: *u8 = sys_mmap(4096)
  o = mt_catcopy(d2, 0, "The court held <<" as *u8)
  o = mt_catcopy(d2, o, sid)
  o = mt_catcopy(d2, o, "|The trust account may be reconciled whenever convenient.>> here." as *u8)
  d2[o] = 0 as u8
  rl_ck(cnt, "D2 fabricated quote -> 1 struck" as *u8, cite_scan_doc(pfx, d2, rep), 1)
  rl_ck(cnt, "neg-control-D2a fabricated-quote document is NOT clean (never silently filable)" as *u8, cite_doc_clean(pfx, d2), 0)
67
  // ---- D3: a document citing a MADE-UP source -> 1 struck ----
  let d3: *u8 = sys_mmap(4096)
  o = mt_catcopy(d3, 0, "See <<Smith-v-Nobody-999|anything at all>> for support." as *u8)
  d3[o] = 0 as u8
  rl_ck(cnt, "D3 made-up source -> 1 struck" as *u8, cite_scan_doc(pfx, d3, rep), 1)
73
  // ---- D4: a MIX of good + fabricated + missing-source in one paragraph -> exactly 2 struck ----
  let d4: *u8 = sys_mmap(4096)
  o = mt_catcopy(d4, 0, "First <<" as *u8)
  o = mt_catcopy(d4, o, sid)
  o = mt_catcopy(d4, o, "|The trust account shall be reconciled quarterly.>>" as *u8)   // good
  o = mt_catcopy(d4, o, " and second <<" as *u8)
  o = mt_catcopy(d4, o, sid)
  o = mt_catcopy(d4, o, "|reconciled monthly>>" as *u8)                                  // fabricated
  o = mt_catcopy(d4, o, " and third <<Ghost-Case-1|whatever>> done." as *u8)             // missing source
  d4[o] = 0 as u8
  rl_ck(cnt, "D4 mixed paragraph (1 good, 2 bad) -> exactly 2 struck" as *u8, cite_scan_doc(pfx, d4, rep), 2)
85
  // ---- D5: THE DODGE. An UNTERMINATED citation (no closing >>) must be STRUCK, not skipped ----
  let d5: *u8 = sys_mmap(4096)
  o = mt_catcopy(d5, 0, "Sneaky <<" as *u8)
  o = mt_catcopy(d5, o, sid)
  o = mt_catcopy(d5, o, "|reconciled monthly with no closing marker so verification is skipped" as *u8)
  d5[o] = 0 as u8
  // ★A CONTROL NOBODY CAN FIND IS A CONTROL NOBODY MAINTAINS. D5 is the deny-side control that the
  // trivial wrong implementation cannot pass: a scanner that only inspects WELL-FORMED citations
  // reports this document clean, which is precisely the dodge.
  rl_ck(cnt, "neg-control-D5 unterminated citation (the dodge) -> STRUCK not skipped" as *u8, cite_scan_doc(pfx, d5, rep), 1)
96
  // ---- D6: a document with NO citations -> 0 struck (vacuously clean, honestly) ----
  rl_ck(cnt, "D6 no-citation prose -> 0 struck" as *u8,
        cite_scan_doc(pfx, "Plain prose with nothing to verify at all." as *u8, rep), 0)
100
  // ---- D7: report content is populated (the human sees WHY, not just a count) ----
  cite_scan_doc(pfx, d4, rep)
  var rlen: i64 = 0
  while rep[rlen] != (0 as u8) { rlen = rlen + 1 }
  var has_report: i64 = 0
  if rlen > 0 { has_report = 1 }
  rl_ck(cnt, "D7 redline report is populated for the drafter" as *u8, has_report, 1)
108
  gv_puts("---- sample redline (D4) ----\n" as *u8)
  gv_puts(rep)
111
  // ★A GATE WHOSE EXIT CODE DOES NOT CARRY ITS VERDICT SILENTLY BLESSES EVERY FAILURE IT FINDS.
  let rc: i64 = gv_verdict("cite_redline_gate" as *u8, cnt, "F993 document-level citation redline over nx_cite_lib" as *u8)
  sys_exit(rc)
  return rc
116}
nx_cite_redline_gate.nx source

`nx_cite_redline_gate.nx` source
