code wiki / _hdl_build / nx_promptpack.nx
`nx_promptpack.nx` source

↩ module page · 349 lines · 13390 B
1// nx_promptpack.nx -- CU01 PROMPT-SCAFFOLD EMITTER (capability-uplift lane; SPEC1 promptpack-format-law
2// pinned 2026-07-21): internal SSOT = capuplift- plane (sovereign rows); per-target scaffolds are EMITTED
3// from emitter rules held as DATA in the same plane (rule 11) -- an emitfmt row maps target -> 4 boundary
4// affixes (open_pre|open_suf|close_pre|close_suf pipe-packed in content); a secmap row maps section+order
5// -> the PT row whose guidance fills it. Adding a partner model or section = a data row, ZERO code.
6// XML/markdown exist ONLY as emitted boundary bytes (sovereign-base-interop-boundary law), never the base.
7// Composes nx_sovjson_lib + nx_store_seed_lib + nx_gate_verdict from birth = OO, dogfoods the shared base.
8// license_tier: ORIGINAL   No hw writes (Rule 26).   expect_exit: 0
9//   emit <target> [prefix] -> scaffold text | targets [prefix] -> JSON map | selftest [tmpprefix] -> gate
10// capuplift- row = id name sev status owner topic content (7-col; topic emitfmt/secmap drive the emit).
11import "nx_sovjson_lib.nx"
12import "nx_store_seed_lib.nx"
13import "nx_seg_store.nx"
14import "nx_gate_verdict.nx"
15import "nx_syscalls.nx"
16
17const PP_CAP: i64 = 1048576
18const PP_OUT: i64 = 65536
19const PP_SPAN: i64 = 16
20const PP_USAGE: i64 = 2
21const PP_NOTGT: i64 = 3
22const PP_ORDMAX: i64 = 32
23const PP_TGTESC: i64 = 40
24const PP_FMTESC: i64 = 60
25
26func pp_cat_span(out: *u8, o: i64, buf: *u8, s: i64, e: i64) -> i64 {
  var oo: i64 = o
  var j: i64 = s
  while j < e {
      out[oo] = buf[j]
      oo = oo + 1
      j = j + 1
  }
  return oo
35}
36
37func pp_span_eq(a: *u8, s1: i64, e1: i64, b: *u8, s2: i64, e2: i64) -> i64 {
  let l1: i64 = e1 - s1
  let l2: i64 = e2 - s2
  if l1 < l2 { return 0 }
  if l2 < l1 { return 0 }
  var ok: i64 = 1
  var j: i64 = 0
  while j < l1 {
      let x: i64 = a[s1 + j] as i64
      let y: i64 = b[s2 + j] as i64
      if x < y { ok = 0 }
      if x > y { ok = 0 }
      j = j + 1
  }
  return ok
52}
53
54func pp_find(buf: *u8, l: i64, lit: *u8) -> i64 {
  let ll: i64 = sj_vlen(lit)
  var hit: i64 = 0 - 1
  var i: i64 = 0
  while i + ll <= l {
      if hit < 0 {
          var ok: i64 = 1
          var j: i64 = 0
          while j < ll {
              let x: i64 = buf[i + j] as i64
              let y: i64 = lit[j] as i64
              if x < y { ok = 0 }
              if x > y { ok = 0 }
              j = j + 1
          }
          if ok == 1 { hit = i }
      }
      i = i + 1
  }
  return hit
74}
75
76// idx-th pipe-separated field inside [s,e); fills f[0]/f[1]; pipes appear ONLY in emitfmt content.
77func pp_field(buf: *u8, s: i64, e: i64, idx: i64, f: *i64) -> i64 {
  var fs: i64 = s
  var k: i64 = 0
  var found: i64 = 0
  var j: i64 = s
  while j < e {
      if found == 0 {
          let ch: i64 = buf[j] as i64
          if ch == 124 {
              if k == idx {
                  f[0] = fs
                  f[1] = j
                  found = 1
              }
              k = k + 1
              fs = j + 1
          }
      }
      j = j + 1
  }
  if found == 0 {
      if k == idx {
          f[0] = fs
          f[1] = e
          found = 1
      }
  }
  return found
105}
106
107func pp_section(buf: *u8, n: i64, out: *u8, o: i64, ss: i64, se: i64, rs: i64, re: i64, es: i64, ee: i64) -> i64 {
  let f2: *i64 = sys_mmap(PP_SPAN) as *i64
  let f3: *i64 = sys_mmap(PP_SPAN) as *i64
  let d0: *i64 = sys_mmap(PP_SPAN) as *i64
  let d6: *i64 = sys_mmap(PP_SPAN) as *i64
  var oo: i64 = o
  if pp_field(buf, es, ee, 0, f2) == 1 { oo = pp_cat_span(out, oo, buf, f2[0], f2[1]) }
  oo = pp_cat_span(out, oo, buf, ss, se)
  if pp_field(buf, es, ee, 1, f2) == 1 { oo = pp_cat_span(out, oo, buf, f2[0], f2[1]) }
  out[oo] = 10 as u8
  oo = oo + 1
  var i: i64 = 0
  while i < n {
      let le: i64 = sj_le(buf, i, n)
      if sj_col(buf, i, le, 0, d0) == 1 {
          if pp_span_eq(buf, d0[0], d0[1], buf, rs, re) == 1 {
              if sj_col(buf, i, le, 6, d6) == 1 {
                  oo = sj_cat(out, oo, "guidance: " as *u8)
                  oo = pp_cat_span(out, oo, buf, d6[0], d6[1])
                  out[oo] = 10 as u8
                  oo = oo + 1
              }
          }
      }
      i = le + 1
  }
  var has2: i64 = 0
  var has3: i64 = 0
  if pp_field(buf, es, ee, 2, f2) == 1 { if f2[1] > f2[0] { has2 = 1 } }
  if pp_field(buf, es, ee, 3, f3) == 1 { if f3[1] > f3[0] { has3 = 1 } }
  var closed: i64 = 0
  if has2 == 1 { closed = 1 }
  if has3 == 1 { closed = 1 }
  if closed == 1 {
      oo = pp_cat_span(out, oo, buf, f2[0], f2[1])
      oo = pp_cat_span(out, oo, buf, ss, se)
      oo = pp_cat_span(out, oo, buf, f3[0], f3[1])
      out[oo] = 10 as u8
      oo = oo + 1
  }
  out[oo] = 10 as u8
  oo = oo + 1
  return oo
150}
151
152func pp_emit(prefix: *u8, tgt: *u8, out: *u8) -> i64 {
  let buf: *u8 = sys_mmap(PP_CAP)
  let n: i64 = sts_load(prefix, buf, PP_CAP)
  let c1: *i64 = sys_mmap(PP_SPAN) as *i64
  let c2: *i64 = sys_mmap(PP_SPAN) as *i64
  let c5: *i64 = sys_mmap(PP_SPAN) as *i64
  let c6: *i64 = sys_mmap(PP_SPAN) as *i64
  var em_s: i64 = 0 - 1
  var em_e: i64 = 0 - 1
  var i: i64 = 0
  while i < n {
      let le: i64 = sj_le(buf, i, n)
      if sj_col(buf, i, le, 5, c5) == 1 {
          if sj_lit_eq(buf, c5[0], c5[1], "emitfmt" as *u8) == 1 {
              if sj_col(buf, i, le, 1, c1) == 1 {
                  if sj_lit_eq(buf, c1[0], c1[1], tgt) == 1 {
                      if sj_col(buf, i, le, 6, c6) == 1 {
                          em_s = c6[0]
                          em_e = c6[1]
                      }
                  }
              }
          }
      }
      i = le + 1
  }
  if em_s < 0 { return 0 - 1 }
  var o: i64 = 0
  o = sj_cat(out, o, "NX-PROMPTPACK scaffold target=" as *u8)
  o = sj_cat(out, o, tgt)
  o = sj_cat(out, o, " src=capuplift-plane law=SPEC1-data-driven order=secmap\n" as *u8)
  var nsec: i64 = 0
  var ord: i64 = 0
  while ord < PP_ORDMAX {
      var i2: i64 = 0
      while i2 < n {
          let le2: i64 = sj_le(buf, i2, n)
          if sj_col(buf, i2, le2, 5, c5) == 1 {
              if sj_lit_eq(buf, c5[0], c5[1], "secmap" as *u8) == 1 {
                  if sj_col(buf, i2, le2, 2, c2) == 1 {
                      if sj_atoi_span(buf, c2[0], c2[1]) == ord {
                          if sj_col(buf, i2, le2, 1, c1) == 1 {
                              if sj_col(buf, i2, le2, 6, c6) == 1 {
                                  o = pp_section(buf, n, out, o, c1[0], c1[1], c6[0], c6[1], em_s, em_e)
                                  nsec = nsec + 1
                              }
                          }
                      }
                  }
              }
          }
          i2 = le2 + 1
      }
      ord = ord + 1
  }
  o = sj_cat(out, o, "NX-PROMPTPACK-END sections=" as *u8)
  o = sj_catn(out, o, nsec)
  out[o] = 10 as u8
  o = o + 1
  return o
212}
213
214func pp_targets(prefix: *u8, out: *u8) -> i64 {
  let buf: *u8 = sys_mmap(PP_CAP)
  let n: i64 = sts_load(prefix, buf, PP_CAP)
  let c1: *i64 = sys_mmap(PP_SPAN) as *i64
  let c5: *i64 = sys_mmap(PP_SPAN) as *i64
  let c6: *i64 = sys_mmap(PP_SPAN) as *i64
  var o: i64 = 0
  o = sj_cat(out, o, "{\"organ\":\"nx_promptpack\",\"verb\":\"targets\",\"targets\":[" as *u8)
  var shown: i64 = 0
  var i: i64 = 0
  while i < n {
      let le: i64 = sj_le(buf, i, n)
      if sj_col(buf, i, le, 5, c5) == 1 {
          if sj_lit_eq(buf, c5[0], c5[1], "emitfmt" as *u8) == 1 {
              if sj_col(buf, i, le, 1, c1) == 1 {
                  if shown > 0 { o = sj_cat(out, o, "," as *u8) }
                  o = sj_cat(out, o, "{\"target\":\"" as *u8)
                  o = sj_cat_esc(out, o, buf, c1[0], c1[1], PP_TGTESC)
                  o = sj_cat(out, o, "\",\"fmt\":\"" as *u8)
                  if sj_col(buf, i, le, 6, c6) == 1 { o = sj_cat_esc(out, o, buf, c6[0], c6[1], PP_FMTESC) }
                  o = sj_cat(out, o, "\"}" as *u8)
                  shown = shown + 1
              }
          }
      }
      i = le + 1
  }
  o = sj_cat(out, o, "],\"targets_total\":" as *u8)
  o = sj_catn(out, o, shown)
  o = sj_cat(out, o, ",\"note\":\"emitfmt rows ARE the target->format map (SPEC1 rule-11): open_pre|open_suf|close_pre|close_suf pipe-packed; add a target = add a data row, zero code\"}" as *u8)
  out[o] = 10 as u8
  o = o + 1
  return o
247}
248
249func pp_selftest(base: *u8) -> i64 {
  let ctr: *i64 = gv_ctr()
  gv_head("nx_promptpack selftest -- data-driven per-target scaffold emitter (SPEC1)" as *u8)
  let now: i64 = sys_now_realtime_sec()
  let fp: *u8 = sys_mmap(256)
  var fo: i64 = sj_cat(fp, 0, base)
  fo = sj_catn(fp, fo, now)
  fo = sj_cat(fp, fo, "capup-" as *u8)
  fp[fo] = 0 as u8
  let seed: *u8 = sys_mmap(PP_CAP)
  var so: i64 = 0
  so = sj_cat(seed, so, "PT01\ttask-struct\t8\tINGESTED\tmw\tpromptpack\tTask first with role and purpose\n" as *u8)
  so = sj_cat(seed, so, "PT03\tprefill\t7\tINGESTED\tmw\tpromptpack\tPrefill the assistant turn\n" as *u8)
  so = sj_cat(seed, so, "EMX\txmlish\t8\tACTIVE\tmw\temitfmt\t<|>|</|>\n" as *u8)
  so = sj_cat(seed, so, "EMM\tmdish\t8\tACTIVE\tmw\temitfmt\t## |||\n" as *u8)
  so = sj_cat(seed, so, "SC1\ttask\t1\tACTIVE\tmw\tsecmap\tPT01\n" as *u8)
  so = sj_cat(seed, so, "SC2\treminders\t2\tACTIVE\tmw\tsecmap\tPT03\n" as *u8)
  sts_seed(fp, seed, so)
  let o1: *u8 = sys_mmap(PP_OUT)
  let l1: i64 = pp_emit(fp, "xmlish" as *u8, o1)
  gv_check("T1 xml-style target wraps+closes section around PT guidance" as *u8, sj_span_has(o1, 0, l1, "<task>\nguidance: Task first with role and purpose\n</task>" as *u8), ctr)
  let o2: *u8 = sys_mmap(PP_OUT)
  let l2: i64 = pp_emit(fp, "mdish" as *u8, o2)
  var t2: i64 = 0
  if sj_span_has(o2, 0, l2, "## task\nguidance: Task first" as *u8) == 1 {
      if sj_span_has(o2, 0, l2, "</task>" as *u8) == 0 {
          if sj_span_has(o2, 0, l2, "## reminders" as *u8) == 1 { t2 = 1 }
      }
  }
  gv_check("T2 md-style target: native headers, NO close tags (fmt is per-target data)" as *u8, t2, ctr)
  var t3: i64 = 0
  let p1: i64 = pp_find(o1, l1, "<task>" as *u8)
  let p2: i64 = pp_find(o1, l1, "<reminders>" as *u8)
  if p1 >= 0 { if p2 > p1 { t3 = 1 } }
  gv_check("T3 secmap order honored (task order-1 before reminders order-2)" as *u8, t3, ctr)
  so = sj_cat(seed, so, "EMZ\tzz\t8\tACTIVE\tmw\temitfmt\t[ | ]|[end | ]\n" as *u8)
  sts_seed(fp, seed, so)
  let o4: *u8 = sys_mmap(PP_OUT)
  let l4: i64 = pp_emit(fp, "zz" as *u8, o4)
  var t4: i64 = 0
  if sj_span_has(o4, 0, l4, "[ task ]" as *u8) == 1 { if sj_span_has(o4, 0, l4, "[end task ]" as *u8) == 1 { t4 = 1 } }
  gv_check("T4 rule-11 tooth: NEW target = one data row, ZERO code change" as *u8, t4, ctr)
  let o5: *u8 = sys_mmap(PP_OUT)
  var t5: i64 = 0
  if pp_emit(fp, "nope" as *u8, o5) < 0 { t5 = 1 }
  gv_check("T5 NEG unknown target fails LOUD (no silent empty scaffold)" as *u8, t5, ctr)
  let o6: *u8 = sys_mmap(PP_OUT)
  let l6: i64 = pp_targets(fp, o6)
  var t6: i64 = 0
  if sj_span_has(o6, 0, l6, "\"target\":\"xmlish\"" as *u8) == 1 { if sj_span_has(o6, 0, l6, "\"target\":\"zz\"" as *u8) == 1 { t6 = 1 } }
  gv_check("T6 targets verb lists the live data-map (incl the added row)" as *u8, t6, ctr)
  let rc: i64 = gv_verdict("PROMPTPACK-GATE" as *u8, ctr, "per-target scaffolds from plane data: emitfmt affixes + secmap order + PT guidance; unknown target loud-fails" as *u8)
  return rc
302}
303
304func main(argc: i64, argv: *i64) -> i64 {
  if argc < 2 {
      sj_werr("usage: nx_promptpack {emit <target> [prefix] | targets [prefix] | selftest [tmpprefix]}\n" as *u8)
      sys_exit(PP_USAGE)
      return PP_USAGE
  }
  let verb: *u8 = argv[1] as *u8
  if sj_lit_eq(verb, 0, sj_vlen(verb), "emit" as *u8) == 1 {
      if argc < 3 {
          sj_werr("PROMPTPACK-FAIL emit needs <target>\n" as *u8)
          sys_exit(PP_USAGE)
          return PP_USAGE
      }
      var pfx: *u8 = "knowledge/store/capuplift-" as *u8
      if argc > 3 { pfx = argv[3] as *u8 }
      let out: *u8 = sys_mmap(PP_OUT)
      let n: i64 = pp_emit(pfx, argv[2] as *u8, out)
      if n < 0 {
          sj_werr("PROMPTPACK-FAIL unknown target (no emitfmt row in plane)\n" as *u8)
          sys_exit(PP_NOTGT)
          return PP_NOTGT
      }
      sys_write(1, out, n)
      sys_exit(0)
      return 0
  }
  if sj_lit_eq(verb, 0, sj_vlen(verb), "targets" as *u8) == 1 {
      var pfx2: *u8 = "knowledge/store/capuplift-" as *u8
      if argc > 2 { pfx2 = argv[2] as *u8 }
      let out2: *u8 = sys_mmap(PP_OUT)
      let n2: i64 = pp_targets(pfx2, out2)
      sys_write(1, out2, n2)
      sys_exit(0)
      return 0
  }
  if sj_lit_eq(verb, 0, sj_vlen(verb), "selftest" as *u8) == 1 {
      var b: *u8 = "/tmp/nxppk_st" as *u8
      if argc > 2 { b = argv[2] as *u8 }
      let rc: i64 = pp_selftest(b)
      sys_exit(rc)
      return rc
  }
  sj_werr("PROMPTPACK-FAIL unknown verb\n" as *u8)
  sys_exit(PP_USAGE)
  return PP_USAGE
349}
nx_promptpack.nx source

`nx_promptpack.nx` source
