code wiki / _hdl_build / nx_prepared_motion_emit_gate_t316_gate.nx

nx_prepared_motion_emit_gate_t316_gate.nx

buildroot/runtime/_hdl_build/nx_prepared_motion_emit_gate_t316_gate.nx

1328 B8 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic prepared
docsdependenciesstructsconstsfunctions

about

nx_prepared_motion_emit_gate_t316_gate.nx -- independent contract gate for the prepared-motion emitter. It verifies the generated API contains the required native-boundary and playback surface.

dependencies 3 imports · 0 importers

nx_prepared_motion_candidate_t316. nx_syscalls.nx nx_gate_verdict.nx nx_prepared_motion_emit_gate_t

imports: nx_prepared_motion_candidate_t316.nxnx_syscalls.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main nx_prepared_motion_js contains gv_ctr sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gv_verdict gv_note_bare_rate gv_bare_rate gv_at gv_obj_has_n gv_at ↻ gv_puts sys_write ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap gv_puts ↻ gv_num ↻ gv_journal sys_openat_append sys_mmap ↻ gv_catn sys_mmap ↻ sys_munmap ↻ sys_now_realtime_sec

structs

none

consts

6const PMG_TESTS:i64 = 7

functions

7func contains(h:*u8, hn:i64, n:*u8)->i64 { var nn:i64=0; while n[nn]!=(0 as u8){nn=nn+1}; if nn<=0||hn<nn{return 0}; var i:i64=0; while i<=hn-nn { var j:i64=0; while j<nn&&h[i+j]==n[j]{j=j+1}; if j==nn{return 1}; i=i+1 }; return 0 }
called by 1: main
8func main(argc:i64,argv:*i64)->i64 { let s:*u8=nx_prepared_motion_js(); var n:i64=0; while s[n]!=(0 as u8){n=n+1}; var pass:i64=0; if n>0 {pass=pass+1}; if contains(s,n,"class NishiPreparedMotion" as *u8)==1 {pass=pass+1}; if contains(s,n,"gltf_pose_frame" as *u8)==1 {pass=pass+1}; if contains(s,n,"gltf_pose_bounds" as *u8)==1 {pass=pass+1}; if contains(s,n,"gltf_pose_broad_bounds" as *u8)==1 {pass=pass+1}; if contains(s,n,"rootMotion" as *u8)==1 {pass=pass+1}; if contains(s,n,"groundContact" as *u8)==1 {pass=pass+1}; let ctr:*i64=gv_ctr(); ctr[0]=pass; ctr[1]=PMG_TESTS; let rc:i64=gv_verdict("PREPARED-MOTION-EMIT-GATE" as *u8,ctr,"generated prepared-motion API is nonempty and exposes native pose, playback and contact contract" as *u8); sys_exit(rc); return rc }