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

↩ module page · 265 lines · 14663 B
1// nx_clipcheck_gate.nx -- GATE for the animation clipping ruler (debt 1786578438). A NEW DETECTOR
2// IS GUILTY UNTIL PROVEN: these teeth prove the geometry core fires on a planted clip, stays
3// silent on a clean pose, and that the eligibility rule excludes bind-inside joints (the false-
4// positive class hips/shoulders would be). The real shipped clip runs behind gv_need as a census.
5// T7 is the NXA byte-level decode proof; T8 is the BVH CONTROL-LANE proof (synthetic BVH through
6// the real parser+FK+capsule with exact planted geometry); T10 is the standing mocap-self-
7// clearance control census on the real salsa source (the two-instruments law, run every beat).
8// license_tier: ORIGINAL  expect_exit: 0
9import "nx_syscalls.nx"
10import "nx_clipcheck.nx"
11import "nx_gate_verdict.nx"
12
13func g_cat(b: *u8, o: i64, s: *u8) -> i64 {
  var i: i64 = 0
  while s[i] != (0 as u8) { b[o + i] = s[i]; i = i + 1 }
  return o + i
17}
18
19func main() -> i64 {
  let ctr: *i64 = gv_ctr()
  gv_head("nx_clipcheck_gate -- the clipping ruler bites on planted clips and stays silent on clean poses" as *u8)
  sys_mkdir("/tmp/nx_clipcheck_gate" as *u8, 0x1ed)
23
  // shared axis: torso at x=0,y=0, z 40..80 of a 17000 (0.01mm) stature, floor at z=0
  let AX: *i64 = sys_mmap(8*8) as *i64
  AX[0] = 0
  AX[1] = 0
  AX[2] = 68000
  AX[3] = 136000
  AX[4] = 0
  let R: *i64 = sys_mmap(16*8) as *i64
  var z: i64 = 0
  while z < 10 { R[z] = 0; z = z + 1 }
34
  // T1 CLEAN: a wrist 500mm out at chest height -> zero penetration recorded
  cc_meas(50000, 0, 100000, 9, 0, AX, R)
  gv_check("T1 clean pose: far joint records zero torso and floor penetration" as *u8, (R[0] == 0) as i64 + (R[3] == 0) as i64 == 2, ctr)
38
  // T2 PLANTED TORSO CLIP: joint ON the axis at chest height -> depth exactly TORSO_R+LIMB_R
  cc_meas(0, 0, 100000, 9, 7, AX, R)
  var t2: i64 = 0
  if R[0] == CC_TORSO_R + CC_LIMB_R { if R[1] == 7 { if R[2] == 9 { t2 = 1 } } }
  gv_puts("  planted torso depth=" as *u8); gv_num(R[0]/100); gv_puts("mm (want " as *u8); gv_num((CC_TORSO_R+CC_LIMB_R)/100); gv_puts(")\n" as *u8)
  gv_check("T2 planted torso clip fires: exact depth, key and joint NAMED" as *u8, t2, ctr)
45
  // T3 PLANTED FLOOR CLIP: joint 50mm below the sole -> floor depth 50mm + limb radius
  cc_meas(50000, 0, 0 - 5000, 11, 3, AX, R)
  var t3: i64 = 0
  if R[3] == 5000 + CC_LIMB_R { if R[4] == 3 { if R[5] == 11 { t3 = 1 } } }
  gv_puts("  planted floor depth=" as *u8); gv_num(R[3]/100); gv_puts("mm\n" as *u8)
  gv_check("T3 planted floor clip fires: exact depth, key and joint NAMED" as *u8, t3, ctr)
52
  // T4 neg-control-eligibility: a hip-like bind (90mm off axis) sits INSIDE capsule+grace --
  // the eligibility rule (bind distance) must exclude it, or every hip is a false positive
  let bd: i64 = cc_pseg(9000, 0, 70000, AX[0], AX[1], AX[2], AX[3])
  gv_check("T4 neg-control-eligibility: hip-like bind measures INSIDE capsule+grace (excluded by rule)" as *u8, (bd <= CC_TORSO_R + CC_LIMB_R + CC_GRACE) as i64, ctr)
57
  // T5 segment-distance geometry: above the capsule top, distance includes the vertical gap
  let dtop: i64 = cc_pseg(0, 0, 150000, AX[0], AX[1], AX[2], AX[3])
  gv_check("T5 capsule end-cap: distance above the top includes the vertical gap" as *u8, (dtop == 14000) as i64, ctr)
61
  // T6 the SHIPPED clip scans end-to-end (census: numbers must exist; verdict judged elsewhere)
  var have: i64 = 0
  let fd: i64 = sys_openat_rd("sites/nishifamily/world/ref9d_salsa4.nxa" as *u8)
  if fd >= 0 { have = 1; sys_close(fd) }
  if gv_need("sites/nishifamily/world/ref9d_salsa4.nxa" as *u8, have, ctr) == 1 {
      let R2: *i64 = sys_mmap(16*8) as *i64
      let rc: i64 = cc_scan_nxa("sites/nishifamily/world/ref9d_salsa4.nxa" as *u8, R2)
      var t6: i64 = 0
      if rc == 0 { if R2[6] > 0 { if R2[7] > 0 { t6 = 1 } } }
      gv_puts("  salsa4: eligible=" as *u8); gv_num(R2[6])
      gv_puts(" measured=" as *u8); gv_num(R2[7])
      gv_puts(" worst_torso_mm=" as *u8); gv_num(R2[0]/100)
      gv_puts(" worst_floor_mm=" as *u8); gv_num(R2[3]/100)
      gv_puts("\n" as *u8)
      gv_check("T6 shipped salsa4 scans: eligible tracks found, keys measured, numbers reported" as *u8, t6, ctr)
  }
78
  // ---- T7 BYTE-LEVEL DECODE PROOF: a synthetic NXA through the REAL reader+scanner ----
  // 2 joints (spine origin + a wrist 500mm out), 1 chn-2 track, 2 keys: key0 dt=0 (clean),
  // key1 dt=(-500,+7,-300)mm -- negative sign-extension, x100 scale, key indexing, TOC+payload
  // checksums all exercised end-to-end. Expected penetration EXACT: axis-dist 7mm -> 140-7=133mm.
  let SK: i64 = 17
  let AN: i64 = 8
  let fw2: i64 = 4 + 8 + SK + AN
  let F: *i64 = sys_mmap(fw2*8 + 64) as *i64
  F[0] = nxa_magic()
  F[1] = 1
  F[2] = 2
  let skoff: i64 = 32 + 64
  let anoff: i64 = skoff + SK*8
  // SKEL payload at word (skoff/8)
  let sk0: i64 = skoff/8
  F[sk0] = 2
  F[sk0+1] = 0 - 1
  F[sk0+2] = 0
  F[sk0+3] = 0
  F[sk0+4] = 0
  var zz: i64 = 5
  while zz < 9 { F[sk0+zz] = 0; zz = zz + 1 }
  F[sk0+9] = 0
  F[sk0+10] = 50000
  F[sk0+11] = 0
  F[sk0+12] = 100000
  var zz2: i64 = 13
  while zz2 < 17 { F[sk0+zz2] = 0; zz2 = zz2 + 1 }
  // ANIM payload
  let an0: i64 = anoff/8
  F[an0] = 1
  F[an0+1] = 1
  F[an0+2] = 2
  F[an0+3] = 2
  F[an0+4] = 0
  F[an0+5] = 0
  let dgxw: i64 = (0 - 500) & 0xffff
  let dgyw: i64 = 7
  let dgzw: i64 = (0 - 300) & 0xffff
  F[an0+6] = 100
  F[an0+7] = (dgxw << 16) | (dgyw << 32) | (dgzw << 48)
  // TOC rows (word 4..11) + checksums via the SAME lib the reader uses
  F[4] = nxa_tag4("SKEL" as *u8)
  F[5] = skoff
  F[6] = SK
  F[7] = nxa_check2(1, ((F as i64) + skoff) as *i64, SK)
  F[8] = nxa_tag4("ANIM" as *u8)
  F[9] = anoff
  F[10] = AN
  F[11] = nxa_check2(1, ((F as i64) + anoff) as *i64, AN)
  F[3] = nxa_check2(1, ((F as i64) + 32) as *i64, 8)
  let sp: *u8 = "/tmp/nx_clipcheck_gate/synth.nxa" as *u8
  let sfd: i64 = sys_openat_wr(sp, 0x1a4)
  if sfd < 0 { gv_puts("  FIXTURE-FAIL: cannot open synth path\n" as *u8) }
  if sfd >= 0 { sys_write(sfd, F as *u8, fw2*8); sys_close(sfd) }
  let R3: *i64 = sys_mmap(16*8) as *i64
  let src: i64 = cc_scan_nxa(sp, R3)
  var t7: i64 = 0
  if src == 0 { if R3[6] == 1 { if R3[7] == 2 { if R3[0] == 13300 { if R3[1] == 1 { if R3[2] == 1 { if R3[3] == 0 { t7 = 1 } } } } } } }
  gv_puts("  synth: rc=" as *u8); gv_num(src)
  gv_puts(" eligible=" as *u8); gv_num(R3[6])
  gv_puts(" measured=" as *u8); gv_num(R3[7])
  gv_puts(" worst_torso=" as *u8); gv_num(R3[0])
  gv_puts(" (want 13300) key=" as *u8); gv_num(R3[1])
  gv_puts(" joint=" as *u8); gv_num(R3[2])
  gv_puts("\n" as *u8)
  gv_check("T7 DECODE PROOF: synthetic NXA through the real reader -- negative dt sign-extended, x100 scale, exact 133.00mm at key 1 joint 1" as *u8, t7, ctr)
146
  // ---- T8 BVH CONTROL-LANE PROOF: a synthetic BVH through the REAL parser+FK+capsule ----
  // THE FIXTURE IS BUILT TO KILL THE EXTENT HEURISTIC: a wide T-pose whose SPAN (28) exceeds
  // its HEIGHT (26) -- extent-based up-detection provably picks X here (it did, live, on the
  // CMU salsa source before this tooth existed); bone-length-weighted alignment picks Y
  // (acc Y=36000 > X=32000, margin 6.6% -- deliberately inside the discriminating zone, above
  // the 5% ambiguity refusal). 9 joints: Hips / Chest / Head / two 2-segment arms / two legs.
  // Scaled to the T7 synthetic NXA (statn=100000, statb=26000). Frame 0 all-zero: torso clean,
  // both feet AT the floor -> floor pen exactly CC_LIMB_R at key 0 joint 7, 4 floor counts over
  // 2 frames. Frame 1 bends the right ELBOW (ArmR Rz 180): ForeR folds from (14,8,0) to
  // (-2,8,0) -> scaled axis-dist 7692 -> penetration 14000-7692=6308 at key 1 joint 4
  // (asserted 6200..6420: integer-trig quantization declared). Eligibility partition exact:
  // Head + 2 arms + 2 forearms + 2 legs = 7; Hips (just below band) and Chest (in band) excluded.
  let bb: *u8 = sys_mmap(4096)
  var bo: i64 = 0
  bo = g_cat(bb, bo, "HIERARCHY\nROOT Hips\n{\n" as *u8)
  bo = g_cat(bb, bo, "OFFSET 0.00 0.00 0.00\n" as *u8)
  bo = g_cat(bb, bo, "CHANNELS 6 Xposition Yposition Zposition Zrotation Xrotation Yrotation\n" as *u8)
  bo = g_cat(bb, bo, "JOINT Chest\n{\n" as *u8)
  bo = g_cat(bb, bo, "OFFSET 0.00 8.00 0.00\n" as *u8)
  bo = g_cat(bb, bo, "CHANNELS 3 Zrotation Xrotation Yrotation\n" as *u8)
  bo = g_cat(bb, bo, "JOINT Head\n{\n" as *u8)
  bo = g_cat(bb, bo, "OFFSET 0.00 8.00 0.00\n" as *u8)
  bo = g_cat(bb, bo, "CHANNELS 3 Zrotation Xrotation Yrotation\n" as *u8)
  bo = g_cat(bb, bo, "End Site\n{\nOFFSET 0.00 1.00 0.00\n}\n}\n" as *u8)
  bo = g_cat(bb, bo, "JOINT ArmR\n{\n" as *u8)
  bo = g_cat(bb, bo, "OFFSET 6.00 0.00 0.00\n" as *u8)
  bo = g_cat(bb, bo, "CHANNELS 3 Zrotation Xrotation Yrotation\n" as *u8)
  bo = g_cat(bb, bo, "JOINT ForeR\n{\n" as *u8)
  bo = g_cat(bb, bo, "OFFSET 8.00 0.00 0.00\n" as *u8)
  bo = g_cat(bb, bo, "CHANNELS 3 Zrotation Xrotation Yrotation\n" as *u8)
  bo = g_cat(bb, bo, "End Site\n{\nOFFSET 1.00 0.00 0.00\n}\n}\n}\n" as *u8)
  bo = g_cat(bb, bo, "JOINT ArmL\n{\n" as *u8)
  bo = g_cat(bb, bo, "OFFSET -6.00 0.00 0.00\n" as *u8)
  bo = g_cat(bb, bo, "CHANNELS 3 Zrotation Xrotation Yrotation\n" as *u8)
  bo = g_cat(bb, bo, "JOINT ForeL\n{\n" as *u8)
  bo = g_cat(bb, bo, "OFFSET -8.00 0.00 0.00\n" as *u8)
  bo = g_cat(bb, bo, "CHANNELS 3 Zrotation Xrotation Yrotation\n" as *u8)
  bo = g_cat(bb, bo, "End Site\n{\nOFFSET -1.00 0.00 0.00\n}\n}\n}\n}\n" as *u8)
  bo = g_cat(bb, bo, "JOINT LegL\n{\n" as *u8)
  bo = g_cat(bb, bo, "OFFSET 2.00 -10.00 0.00\n" as *u8)
  bo = g_cat(bb, bo, "CHANNELS 3 Zrotation Xrotation Yrotation\n" as *u8)
  bo = g_cat(bb, bo, "End Site\n{\nOFFSET 0.00 -1.00 0.00\n}\n}\n" as *u8)
  bo = g_cat(bb, bo, "JOINT LegR\n{\n" as *u8)
  bo = g_cat(bb, bo, "OFFSET -2.00 -10.00 0.00\n" as *u8)
  bo = g_cat(bb, bo, "CHANNELS 3 Zrotation Xrotation Yrotation\n" as *u8)
  bo = g_cat(bb, bo, "End Site\n{\nOFFSET 0.00 -1.00 0.00\n}\n}\n}\n" as *u8)
  bo = g_cat(bb, bo, "MOTION\nFrames: 2\nFrame Time: 0.0333333\n" as *u8)
  bo = g_cat(bb, bo, "0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0\n" as *u8)
  bo = g_cat(bb, bo, "0 0 0 0 0 0 0 0 0 0 0 0 180 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0\n" as *u8)
  bb[bo] = 0 as u8
  let bp: *u8 = "/tmp/nx_clipcheck_gate/ctrl.bvh" as *u8
  let bfd: i64 = sys_openat_wr(bp, 0x1a4)
  if bfd < 0 { gv_puts("  FIXTURE-FAIL: cannot open ctrl.bvh path\n" as *u8) }
  if bfd >= 0 { sys_write(bfd, bb, bo); sys_close(bfd) }
  let R4: *i64 = sys_mmap(16*8) as *i64
  let brc: i64 = cc_scan_bvh(bp, sp, 0 - 1, R4)
  var t8: i64 = 0
  if brc == 0 { if R4[6] == 7 { if R4[7] == 14 { if R4[8] == 1 { if R4[9] == 4 {
      if R4[0] >= 6200 { if R4[0] <= 6420 { if R4[1] == 1 { if R4[2] == 4 {
          if R4[3] == CC_LIMB_R { if R4[4] == 0 { if R4[5] == 7 {
              if R4[10] == 1 { if R4[11] == 0 { t8 = 1 } }
          } } }
      } } } }
  } } } } }
  gv_puts("  bvh-ctrl: rc=" as *u8); gv_num(brc)
  gv_puts(" eligible=" as *u8); gv_num(R4[6])
  gv_puts(" measured=" as *u8); gv_num(R4[7])
  gv_puts(" torso_keys=" as *u8); gv_num(R4[8])
  gv_puts(" floor_keys=" as *u8); gv_num(R4[9])
  gv_puts(" worst_torso=" as *u8); gv_num(R4[0])
  gv_puts(" (want 6200..6420) key=" as *u8); gv_num(R4[1])
  gv_puts(" joint=" as *u8); gv_num(R4[2])
  gv_puts(" worst_floor=" as *u8); gv_num(R4[3])
  gv_puts(" up=" as *u8); gv_num(R4[10])
  gv_puts(" side=" as *u8); gv_num(R4[11])
  gv_puts("\n" as *u8)
  gv_check("T8 BVH CONTROL PROOF: span-exceeds-height T-pose (extent-up provably fails here, bone-alignment picks Y) -- planted elbow-bend penetrates at key 1 joint 4, floor exact at the feet, eligibility partition exact" as *u8, t8, ctr)
224
  // ---- T9 neg-control-missing-bvh: an absent source must REFUSE (4), never fabricate ----
  let R5: *i64 = sys_mmap(16*8) as *i64
  let nrc: i64 = cc_scan_bvh("/tmp/nx_clipcheck_gate/absent.bvh" as *u8, sp, 0 - 1, R5)
  gv_check("T9 neg-control-missing-bvh refuses with rc=4" as *u8, (nrc == 4) as i64, ctr)
229
  // ---- T10 THE STANDING CONTROL CENSUS: the real salsa SOURCE against the same capsule ----
  // (the mocap-self-clearance control, debt 1786598036: if the source clips where the NXA lane
  // clips, the retarget is faithful. Numbers printed every beat; comparison judged in session.)
  var haveb: i64 = 0
  let cfd: i64 = sys_openat_rd("knowledge/cmu_salsa.bvh" as *u8)
  if cfd >= 0 { haveb = 1; sys_close(cfd) }
  var haven: i64 = 0
  let nfd: i64 = sys_openat_rd("sites/nishifamily/world/ref9d.nxa" as *u8)
  if nfd >= 0 { haven = 1; sys_close(nfd) }
  var haveboth: i64 = 0
  if haveb == 1 { if haven == 1 { haveboth = 1 } }
  if gv_need("knowledge/cmu_salsa.bvh + sites/nishifamily/world/ref9d.nxa" as *u8, haveboth, ctr) == 1 {
      let R6: *i64 = sys_mmap(16*8) as *i64
      // up=y (axis 1) VERIFIED FROM THE DATA, not convention: nx_bvhfk pos frame 0 puts Head
      // at wy=24823 and the feet at wy~400-1100 (2026-08-13). Auto-detection correctly REFUSES
      // on this skeleton (bone-alignment acc y=41308 vs x=39487, within 5% -- arm span rivals
      // height), so the verified hint is the honest lane.
      let crc: i64 = cc_scan_bvh("knowledge/cmu_salsa.bvh" as *u8, "sites/nishifamily/world/ref9d.nxa" as *u8, 1, R6)
      var t10: i64 = 0
      if crc == 0 { if R6[6] > 0 { if R6[7] > 0 { t10 = 1 } } }
      gv_puts("  salsa-source: eligible=" as *u8); gv_num(R6[6])
      gv_puts(" measured=" as *u8); gv_num(R6[7])
      gv_puts(" torso_keys=" as *u8); gv_num(R6[8])
      gv_puts(" floor_keys=" as *u8); gv_num(R6[9])
      gv_puts(" worst_torso_mm=" as *u8); gv_num(R6[0]/100)
      gv_puts(" at key=" as *u8); gv_num(R6[1])
      gv_puts(" joint=" as *u8); gv_num(R6[2])
      gv_puts(" worst_floor_mm=" as *u8); gv_num(R6[3]/100)
      gv_puts("\n" as *u8)
      gv_check("T10 mocap-self-clearance control census: the salsa SOURCE measured by the same capsule, numbers reported" as *u8, t10, ctr)
  }
261
  let rc2: i64 = gv_verdict("CLIPCHECK-GATE" as *u8, ctr, "the clipping ruler: exact planted depths fire with key+joint named, clean poses silent, bind-inside joints excluded, wire decode byte-proven, bvh control lane planted-proven, source census standing" as *u8)
  sys_exit(rc2)
  return rc2
265}
nx_clipcheck_gate.nx source

`nx_clipcheck_gate.nx` source
