code wiki / _hdl_build / nx_pattern_emit11.nx
nx_pattern_emit11.nx source
↩ module page · 201 lines · 10093 B
1// nx_pattern_emit11.nx -- PATTERN EMITTER: PREDICTOR_CODER (shape 16 -- grown from the NV1
2// FLAC-class LPC rung, the media-codec core NO covered pattern could author; that build named
3// exactly the three concepts this emitter closes):
4// predict next sample = FIXED linear comb of the last o samples (binomial coeffs, o = 0..3:
5// 0 | p1 | 2p1-p2 | 3p1-3p2+p3), exact integer math
6// zigzag signed residual -> unsigned (r>=0 -> 2r, r<0 -> -2r-1), exactly invertible
7// invert restore(residuals(x)) == x BIT-EXACT (the lossless law) and an out-of-range
8// reconstruction is REFUSED at decode (-2) -- the NV1 tamper-evidence doctrine
9// Authored fns: <name>_pred(p1,p2,p3); <name>_residuals(x,n,u) -> n-o residuals (-1 if n<=o);
10// <name>_restore(u,m,w,x) -> sample count or -2 out-of-range (bound vmax BAKED, rule 11).
11// EMIT-TIME RAIL (the PID-emitter discipline): the emitter RUNS the full round-trip on a
12// synthetic vector with its own math BEFORE writing any file -- a spec whose round-trip is not
13// bit-exact is REFUSED. Param rails: order outside 0..3 or vmax outside 16..65535 -> REFUSED.
14// Test KATs (residual values, tamper push, n<=o refusal) computed BY the emitter at emit time.
15// LAWS: struct-free, integer-only, flat ifs, no &&/||, <=6 args per func. license_tier: ORIGINAL
16import "nx_syscalls.nx"
17const K_MAGIC_65535: i64 = 65535
18
19func p11_w(fd: i64, s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(fd, s, n); return 0 }
20func p11_wn(fd: i64, v: i64) -> i64 { let bb: *u8=sys_mmap(28); var m: i64=v; if m<0{m=0-m; sys_write(fd,"-" as *u8,1)}; let t: *u8=sys_mmap(28); var k: i64=0; if m==0{t[0]=48;k=1}; while m>0{t[k]=(48+(m%10)) as u8;m=m/10;k=k+1}; var i: i64=0; while i<k{bb[i]=t[k-1-i];i=i+1}; sys_write(fd,bb,k); return 0 }
21// negative-safe literal emission: NishiLang sources write negatives as "0 - N"
22func p11_lit(fd: i64, v: i64) -> i64 {
23 if v < 0 { p11_w(fd, "0 - " as *u8); p11_wn(fd, 0 - v); return 0 }
24 p11_wn(fd, v)
25 return 0
26}
27
28// ---- the emitter's OWN math (the oracle it refuses against) ----
29func p11_pred(o: i64, p1: i64, p2: i64, p3: i64) -> i64 {
30 if o == 1 { return p1 }
31 if o == 2 { return 2 * p1 - p2 }
32 if o == 3 { return 3 * p1 - 3 * p2 + p3 }
33 return 0
34}
35
36func p11_residuals(o: i64, x: *i64, n: i64, u: *i64) -> i64 {
37 if n <= o { return 0 - 1 }
38 var i: i64 = o
39 while i < n {
40 var p1: i64 = 0
41 var p2: i64 = 0
42 var p3: i64 = 0
43 if i >= 1 { p1 = x[i - 1] }
44 if i >= 2 { p2 = x[i - 2] }
45 if i >= 3 { p3 = x[i - 3] }
46 let r: i64 = x[i] - p11_pred(o, p1, p2, p3)
47 var z: i64 = 2 * r
48 if r < 0 { z = 0 - z - 1 }
49 u[i - o] = z
50 i = i + 1
51 }
52 return n - o
53}
54
55func p11_restore(o: i64, vmax: i64, u: *i64, m: i64, w: *i64, x: *i64) -> i64 {
56 var p1: i64 = 0
57 var p2: i64 = 0
58 var p3: i64 = 0
59 var i: i64 = 0
60 while i < o {
61 x[i] = w[i]
62 p3 = p2
63 p2 = p1
64 p1 = w[i]
65 i = i + 1
66 }
67 var j: i64 = 0
68 while j < m {
69 var r: i64 = u[j] / 2
70 if (u[j] & 1) == 1 { r = 0 - ((u[j] + 1) / 2) }
71 let v: i64 = p11_pred(o, p1, p2, p3) + r
72 if v > vmax { return 0 - 2 }
73 if v < 0 - vmax - 1 { return 0 - 2 }
74 x[i] = v
75 p3 = p2
76 p2 = p1
77 p1 = v
78 i = i + 1
79 j = j + 1
80 }
81 return i
82}
83
84// the synthetic spec vector both the emit-time rail and the baked test use (bounded by vmax/2)
85func p11_vec(vmax: i64, x: *i64) -> i64 {
86 var i: i64 = 0
87 while i < 12 {
88 x[i] = (i % 5) * (vmax / 8) - (vmax / 4)
89 i = i + 1
90 }
91 return 12
92}
93
94// emit the order-baked pred body
95func p11_emit_pred_body(fd: i64, o: i64) -> i64 {
96 if o == 0 { p11_w(fd, " return 0\n" as *u8) }
97 if o == 1 { p11_w(fd, " return p1\n" as *u8) }
98 if o == 2 { p11_w(fd, " return 2 * p1 - p2\n" as *u8) }
99 if o == 3 { p11_w(fd, " return 3 * p1 - 3 * p2 + p3\n" as *u8) }
100 return 0
101}
102
103// emit the order-baked pred call args used inside residuals (no out-of-bounds history reads)
104func p11_emit_pred_args(fd: i64, o: i64) -> i64 {
105 if o == 0 { p11_w(fd, "(0, 0, 0)" as *u8) }
106 if o == 1 { p11_w(fd, "(x[i - 1], 0, 0)" as *u8) }
107 if o == 2 { p11_w(fd, "(x[i - 1], x[i - 2], 0)" as *u8) }
108 if o == 3 { p11_w(fd, "(x[i - 1], x[i - 2], x[i - 3])" as *u8) }
109 return 0
110}
111
112func p11_emit_module(fd: i64, name: *u8, o: i64, vmax: i64) -> i64 {
113 p11_w(fd, "// AUTHORED BY THE NISHI BUILDER (pattern: PREDICTOR_CODER) -- lossless predictor/residual coder, no Claude logic\n" as *u8)
114 p11_w(fd, "import \"nx_syscalls.nx\"\n" as *u8)
115 p11_w(fd, "func " as *u8); p11_w(fd, name); p11_w(fd, "_pred(p1: i64, p2: i64, p3: i64) -> i64 {\n" as *u8)
116 p11_emit_pred_body(fd, o)
117 p11_w(fd, "}\n" as *u8)
118 p11_w(fd, "func " as *u8); p11_w(fd, name); p11_w(fd, "_residuals(x: *i64, n: i64, u: *i64) -> i64 {\n" as *u8)
119 p11_w(fd, " if n <= " as *u8); p11_wn(fd, o); p11_w(fd, " { return 0 - 1 }\n" as *u8)
120 p11_w(fd, " var i: i64 = " as *u8); p11_wn(fd, o); p11_w(fd, "\n while i < n {\n" as *u8)
121 p11_w(fd, " let r: i64 = x[i] - " as *u8); p11_w(fd, name); p11_w(fd, "_pred" as *u8)
122 p11_emit_pred_args(fd, o)
123 p11_w(fd, "\n var z: i64 = 2 * r\n" as *u8)
124 p11_w(fd, " if r < 0 { z = 0 - z - 1 }\n" as *u8)
125 p11_w(fd, " u[i - " as *u8); p11_wn(fd, o); p11_w(fd, "] = z\n" as *u8)
126 p11_w(fd, " i = i + 1\n }\n" as *u8)
127 p11_w(fd, " return n - " as *u8); p11_wn(fd, o); p11_w(fd, "\n}\n" as *u8)
128 p11_w(fd, "func " as *u8); p11_w(fd, name); p11_w(fd, "_restore(u: *i64, m: i64, w: *i64, x: *i64) -> i64 {\n" as *u8)
129 p11_w(fd, " var p1: i64 = 0\n var p2: i64 = 0\n var p3: i64 = 0\n var i: i64 = 0\n" as *u8)
130 p11_w(fd, " while i < " as *u8); p11_wn(fd, o); p11_w(fd, " {\n" as *u8)
131 p11_w(fd, " x[i] = w[i]\n p3 = p2\n p2 = p1\n p1 = w[i]\n i = i + 1\n }\n" as *u8)
132 p11_w(fd, " var j: i64 = 0\n while j < m {\n" as *u8)
133 p11_w(fd, " var r: i64 = u[j] / 2\n" as *u8)
134 p11_w(fd, " if (u[j] & 1) == 1 { r = 0 - ((u[j] + 1) / 2) }\n" as *u8)
135 p11_w(fd, " let v: i64 = " as *u8); p11_w(fd, name); p11_w(fd, "_pred(p1, p2, p3) + r\n" as *u8)
136 p11_w(fd, " if v > " as *u8); p11_wn(fd, vmax); p11_w(fd, " { return 0 - 2 }\n" as *u8)
137 p11_w(fd, " if v < 0 - " as *u8); p11_wn(fd, vmax + 1); p11_w(fd, " { return 0 - 2 }\n" as *u8)
138 p11_w(fd, " x[i] = v\n p3 = p2\n p2 = p1\n p1 = v\n i = i + 1\n j = j + 1\n }\n" as *u8)
139 p11_w(fd, " return i\n}\n" as *u8)
140 return 1
141}
142
143// the test: KATs (m, u[0], u[1], round-trip, tamper -2, n<=o refusal) computed at emit time
144func p11_emit_test(fd: i64, name: *u8, o: i64, vmax: i64, u: *i64) -> i64 {
145 let x: *i64 = sys_mmap(256) as *i64
146 p11_vec(vmax, x)
147 let m: i64 = 12 - o
148 p11_w(fd, "// AUTHORED BY THE NISHI BUILDER (pattern: PREDICTOR_CODER test) -- KATs computed from the spec at emit time\n" as *u8)
149 p11_w(fd, "import \"" as *u8); p11_w(fd, name); p11_w(fd, ".nx\"\nimport \"nx_syscalls.nx\"\n" as *u8)
150 p11_w(fd, "func main() -> i64 {\n let x: *i64 = sys_mmap(256) as *i64\n" as *u8)
151 var i: i64 = 0
152 while i < 12 {
153 p11_w(fd, " x[" as *u8); p11_wn(fd, i); p11_w(fd, "] = " as *u8); p11_lit(fd, x[i]); p11_w(fd, "\n" as *u8)
154 i = i + 1
155 }
156 p11_w(fd, " let u: *i64 = sys_mmap(256) as *i64\n" as *u8)
157 p11_w(fd, " let w: *i64 = sys_mmap(64) as *i64\n" as *u8)
158 p11_w(fd, " let y: *i64 = sys_mmap(256) as *i64\n" as *u8)
159 p11_w(fd, " var ok: i64 = 1\n" as *u8)
160 p11_w(fd, " if " as *u8); p11_w(fd, name); p11_w(fd, "_residuals(x, 12, u) != " as *u8); p11_wn(fd, m); p11_w(fd, " { ok = 0 }\n" as *u8)
161 p11_w(fd, " if u[0] != " as *u8); p11_wn(fd, u[0]); p11_w(fd, " { ok = 0 }\n" as *u8)
162 p11_w(fd, " if u[1] != " as *u8); p11_wn(fd, u[1]); p11_w(fd, " { ok = 0 }\n" as *u8)
163 i = 0
164 while i < o {
165 p11_w(fd, " w[" as *u8); p11_wn(fd, i); p11_w(fd, "] = x[" as *u8); p11_wn(fd, i); p11_w(fd, "]\n" as *u8)
166 i = i + 1
167 }
168 p11_w(fd, " if " as *u8); p11_w(fd, name); p11_w(fd, "_restore(u, " as *u8); p11_wn(fd, m); p11_w(fd, ", w, y) != 12 { ok = 0 }\n" as *u8)
169 p11_w(fd, " var i: i64 = 0\n while i < 12 {\n if y[i] != x[i] { ok = 0 }\n i = i + 1\n }\n" as *u8)
170 p11_w(fd, " u[0] = u[0] + " as *u8); p11_wn(fd, vmax * 8); p11_w(fd, "\n" as *u8)
171 p11_w(fd, " if " as *u8); p11_w(fd, name); p11_w(fd, "_restore(u, " as *u8); p11_wn(fd, m); p11_w(fd, ", w, y) != 0 - 2 { ok = 0 }\n" as *u8)
172 p11_w(fd, " if " as *u8); p11_w(fd, name); p11_w(fd, "_residuals(x, " as *u8); p11_wn(fd, o); p11_w(fd, ", u) != 0 - 1 { ok = 0 }\n" as *u8)
173 p11_w(fd, " if ok == 1 { sys_exit(0) }\n sys_exit(1)\n return 1\n}\n" as *u8)
174 return 1
175}
176
177// author module+test; REFUSES bad params AND a spec whose round-trip fails the emitter's own oracle
178func pe11_author_predictor_coder(name: *u8, modpath: *u8, testpath: *u8, o: i64, vmax: i64) -> i64 {
179 if o < 0 { return 0 }
180 if o > 3 { return 0 }
181 if vmax < 16 { return 0 }
182 if vmax > K_MAGIC_65535 { return 0 }
183 // EMIT-TIME RAIL: run the full round-trip before any file is written
184 let x: *i64 = sys_mmap(256) as *i64
185 let u: *i64 = sys_mmap(256) as *i64
186 let y: *i64 = sys_mmap(256) as *i64
187 p11_vec(vmax, x)
188 let m: i64 = p11_residuals(o, x, 12, u)
189 if m != 12 - o { return 0 }
190 if p11_restore(o, vmax, u, m, x, y) != 12 { return 0 }
191 var i: i64 = 0
192 while i < 12 {
193 if y[i] != x[i] { return 0 }
194 i = i + 1
195 }
196 let mf: i64 = sys_openat_wr(modpath, 0x1a4); if mf < 0 { return 0 }
197 p11_emit_module(mf, name, o, vmax); sys_close(mf)
198 let tf: i64 = sys_openat_wr(testpath, 0x1a4); if tf < 0 { return 0 }
199 p11_emit_test(tf, name, o, vmax, u); sys_close(tf)
200 return 1
201}