nx_compare_capture_real_gate_20260907.nx source
↩ module page · 321 lines · 18725 B
1// Source-only reusable Compare capture integration. Actual wrapper, finite native witness.
2// All authority files and executable copies are confined to a fresh private fixture tree.
3import "nx_syscalls.nx"
4import "nx_gate_verdict.nx"
5import "nx_tool_run.nx"
6import "nx_build_canon_input_lib.nx"
7import "nx_rank_refresh_lib.nx"
8const CCI_MATRIX_READ_CAP: i64 = 262144
9const CCI_ENOENT: i64 = 0 - 2
10const MODE_0755: i64 = 493
11const RIG_PATH: i64 = 4096
12const RIG_PTR: i64 = 8
13const RIG_FILE_MODE: i64 = 384
14const RIG_DIR_MODE: i64 = 448
15const RIG_EINVAL: i64 = 0 - 22
16const RIG_SETUP: i64 = 90
17const RIG_GUARD: *u8 = "NISHI-COMPARE-CAPTURE-FIXTURE\n"
18const CRG_EXCLUSIVE: i64 = 2
19const CRG_UNLOCK: i64 = 8
20const CRG_ROLES: i64 = 4
21const CRG_SLOW: i64 = 0
22const CRG_ESSENTIAL: i64 = 1
23const CRG_ORDINARY: i64 = 2
24const CRG_WINDOW: i64 = 3
25const CRG_START: i64 = 1
26const CRG_END: i64 = 0
27const CRG_MS_PER_SEC: i64 = 1000
28const CRG_MIN_COMPLETIONS: i64 = 2
29const CRG_FAULT_ROLE: i64 = 4
30const CRG_FAULT_POINT: i64 = 2
31const CRG_TEST_ECHILD: i64 = 0 - 10
32func rig_len(p: *u8) -> i64 { var n: i64 = 0; while p[n] != (0 as u8) { n = n + 1 } return n }
33func rig_eq(a: *u8, b: *u8) -> i64 {
34 var i: i64 = 0
35 while a[i] != (0 as u8) { if a[i] != b[i] { return 0 } i = i + 1 }
36 if b[i] != (0 as u8) { return 0 }
37 return 1
38}
39func rig_num(p: *u8) -> i64 {
40 let n: i64 = rig_len(p)
41 if n == 0 { return 0 - 1 }
42 var i: i64 = 0; var v: i64 = 0
43 while i < n {
44 let c: i64 = p[i] as i64
45 if c < BCI_ZERO { return 0 - 1 }
46 if c > BCI_NINE { return 0 - 1 }
47 let d: i64 = c - BCI_ZERO
48 if v > (BCI_I64_MAX-d)/BCI_DECIMAL_BASE { return 0 - 1 }
49 v = v*BCI_DECIMAL_BASE+d; i = i + 1
50 }
51 return v
52}
53func rig_join(root: *u8, rel: *u8) -> *u8 {
54 if rig_len(root)+rig_len(rel)+2 > RIG_PATH { return 0 as *u8 }
55 let p: *u8 = sys_mmap(RIG_PATH)
56 var o: i64 = gv_cat(p, 0, root)
57 o = gv_cat(p, o, "/" as *u8); o = gv_cat(p, o, rel); p[o] = 0 as u8
58 return p
59}
60func rig_exists(path: *u8) -> i64 {
61 if (path as i64) == 0 { return 0 }
62 let f: i64 = sys_openat_rd(path)
63 if f < 0 { return 0 }
64 sys_close(f); return 1
65}
66// Reject symlinks in every supplied parent component. No descendant is reused.
67func rig_parent(path: *u8) -> i64 {
68 let n: i64 = rig_len(path)
69 if n <= 1 { return 0 }
70 if n >= RIG_PATH { return 0 }
71 if path[0] != (BCI_SLASH as u8) { return 0 }
72 if bci_relative_path(path, 1, n-1, RIG_PATH-2) != 1 { return 0 }
73 let part: *u8 = sys_mmap(RIG_PATH)
74 let probe: *u8 = sys_mmap(RIG_PATH)
75 var i: i64 = 0
76 while i <= n {
77 var edge: i64 = 0
78 if i == n { edge = 1 } else { if i > 0 { if path[i] == (BCI_SLASH as u8) { edge = 1 } } }
79 if edge == 1 {
80 part[i] = 0 as u8
81 if sys_readlinkat(part, probe, RIG_PATH) != RIG_EINVAL { return 0 }
82 }
83 if i < n { part[i] = path[i] }
84 i = i + 1
85 }
86 return 1
87}
88func rig_write(path: *u8, buf: *u8, n: i64) -> i64 {
89 if (path as i64) == 0 { return 0 }
90 let fd: i64 = sys_openat_wr(path, RIG_FILE_MODE)
91 if fd < 0 { return 0 }
92 var w: i64 = 0
93 while w < n {
94 let got: i64 = sys_write(fd, (buf as i64+w) as *u8, n-w)
95 if got <= 0 { sys_close(fd); return 0 }
96 w = w + got
97 }
98 // Fixture visibility check only; persistence barriers belong to the subject under test.
99 let close: i64 = sys_close(fd)
100 if close != 0 { return 0 }
101 return rrf_file_equal(path, buf, n)
102}
103func rig_file(root: *u8, rel: *u8, val: *u8) -> i64 { return rig_write(rig_join(root,rel),val,rig_len(val)) }
104func rig_dir(root: *u8, rel: *u8) -> i64 {
105 let p: *u8 = rig_join(root, rel)
106 if (p as i64) == 0 { return 0 }
107 if sys_mkdir(p,RIG_DIR_MODE) != 0 { return 0 }
108 return 1
109}
110func rig_link(root: *u8, rel: *u8, target: *u8) -> i64 {
111 let p: *u8 = rig_join(root,rel)
112 if (p as i64) == 0 { return 0 }
113 if sys_symlinkat(target,p) != 0 { return 0 }
114 return 1
115}
116func rig_guard() -> i64 { return rrf_file_equal("fixture-root.guard" as *u8,RIG_GUARD,rig_len(RIG_GUARD)) }
117
118
119func cci_copy(root: *u8,rel: *u8,source: *u8) -> i64 {
120 let n: *i64=sys_mmap(8) as *i64; let b: *u8=sys_read_file(source,n)
121 if (b as i64)==0 { return 0 }; if n[0]<=0 { return 0 }
122 let dest: *u8=rig_join(root,rel)
123 if rig_write(dest,b,n[0])!=1 { return 0 }
124 if sys_fchmodat(dest,MODE_0755)!=0 { return 0 }
125 return 1
126}
127func cci_emit(p: *u8,n: i64) -> i64 {
128 var done: i64=0
129 while done<n { let w: i64=sys_write(1,(p as i64+done) as *u8,n-done); if w<=0 { return 0 }; done=done+w }
130 return 1
131}
132// Only this finite native witness is placed at the fixture's authorized renderer path.
133func cci_child(argc: i64,argv: *i64) -> i64 {
134 if argc!=3 { return RIG_SETUP }; if rig_guard()!=1 { return RIG_SETUP }
135 let mode: *u8=argv[2] as *u8
136 if rig_eq(mode,"json" as *u8)!=1 { if rig_eq(mode,"html" as *u8)!=1 { return RIG_SETUP } }
137 let args: *u8=sys_mmap(RIG_PATH)
138 var n: i64=gv_cat(args,0,argv[1] as *u8); n=gv_cat(args,n,"\t" as *u8); n=gv_cat(args,n,mode); n=gv_cat(args,n,"\n" as *u8)
139 if rig_write("dispatch.argv" as *u8,args,n)!=1 { return RIG_SETUP }
140 let lp: *i64=sys_mmap(8) as *i64; let action: *u8=sys_read_file("fixture.action" as *u8,lp)
141 if (action as i64)==0 { return RIG_SETUP }
142 if rig_eq(action,"cut" as *u8)==1 {
143 let sz: *u8=sys_read_file("fixture.cap" as *u8,lp); if (sz as i64)==0 { return RIG_SETUP }
144 let cap: i64=rig_num(sz); if cap<=0 { return RIG_SETUP }; if cap>=BCI_I64_MAX { return RIG_SETUP }
145 let b: *u8=sys_mmap(cap+1); var i: i64=0; while i<cap+1 { b[i]=120 as u8; i=i+1 }
146 if cci_emit(b,cap+1)!=1 { return RIG_SETUP }
147 } else {
148 var output: *u8="{\"fixture\":true}\n" as *u8
149 if rig_eq(mode,"html" as *u8)==1 { output="<html><body>fixture</body></html>\n" as *u8 }
150 if cci_emit(output,rig_len(output))!=1 { return RIG_SETUP }
151 }
152 if rig_eq(action,"nonzero" as *u8)==1 { return 9 }
153 return 0
154}
155func cci_contains(buf: *u8,n: i64,s: *u8) -> i64 { return tr_contains(buf,n,s) }
156// Real mode is restricted to an independently reviewed renderer and matrix digest.
157func cci_hex(p: *u8) -> i64 {
158 if rig_len(p)!=RRF_HEX_BYTES { return 0 }
159 var i: i64=0
160 while i<RRF_HEX_BYTES {
161 let c: i64=p[i] as i64; var ok: i64=0
162 if c>=48 { if c<=57 { ok=1 } }; if c>=97 { if c<=102 { ok=1 } }
163 if ok==0 { return 0 }; i=i+1
164 }
165 return 1
166}
167func cci_absent(path: *u8) -> i64 {
168 let fd: i64=sys_openat_rd(path)
169 if fd>=0 { sys_close(fd); return 0 }
170 return (fd==CCI_ENOENT) as i64
171}
172func cci_no_aux(root: *u8) -> i64 {
173 if cci_absent(rig_join(root,"buildroot/knowledge/compare/fixture-planless.plan" as *u8))!=1 { return 0 }
174 if cci_absent(rig_join(root,"buildroot/knowledge/compare/fixture-planless.rank" as *u8))!=1 { return 0 }
175 if cci_absent(rig_join(root,"buildroot/knowledge/compare/fixture-planless.refs" as *u8))!=1 { return 0 }
176 if cci_absent(rig_join(root,"buildroot/knowledge/compare/fixture-planless.gallery" as *u8))!=1 { return 0 }
177 return 1
178}
179func main(argc: i64,argv: *i64) -> i64 {
180 if argc==3 { return cci_child(argc,argv) }
181 if argc!=8 { if argc!=12 { gv_puts("usage: SELF WRAPPER PRIVATE_PARENT CASE CAPTURE_BYTES CHILD_TIMEOUT_MS OUTER_CAPTURE_TIMEOUT_MS [RENDERER_ELF MATRIX_FILE RENDERER_SHA256 MATRIX_SHA256]\nreal cases: real-json | real-html; additional four arguments required\n" as *u8); return RIG_SETUP } }
182 var real: i64=0
183 if rig_eq(argv[4] as *u8,"real-json" as *u8)==1 { real=1 }
184 if rig_eq(argv[4] as *u8,"real-html" as *u8)==1 { real=1 }
185 if real==1 { if argc!=12 { return RIG_SETUP } } else { if argc!=8 { return RIG_SETUP } }
186 if real==1 {
187 if rig_parent(argv[8] as *u8)!=1 { return RIG_SETUP }
188 if rig_parent(argv[9] as *u8)!=1 { return RIG_SETUP }
189 if cci_hex(argv[10] as *u8)!=1 { return RIG_SETUP }
190 if cci_hex(argv[11] as *u8)!=1 { return RIG_SETUP }
191 if rrf_file_hash_matches(argv[8] as *u8,argv[10] as *u8)!=1 { return RIG_SETUP }
192 if rrf_file_hash_matches(argv[9] as *u8,argv[11] as *u8)!=1 { return RIG_SETUP }
193 }
194 let self: *u8=argv[1] as *u8; let wrapper: *u8=argv[2] as *u8; let parent: *u8=argv[3] as *u8; let which: *u8=argv[4] as *u8
195 if rig_parent(self)!=1 { return RIG_SETUP }; if rig_parent(wrapper)!=1 { return RIG_SETUP }; if rig_parent(parent)!=1 { return RIG_SETUP }
196 let capacity: i64=rig_num(argv[5] as *u8); let timeout: i64=rig_num(argv[6] as *u8); let outer: i64=rig_num(argv[7] as *u8)
197 if capacity<RIG_PATH { return RIG_SETUP }; if capacity>=BCI_I64_MAX { return RIG_SETUP }
198 if timeout<=0 { return RIG_SETUP }; if outer<=timeout { return RIG_SETUP }
199 var known: i64=real
200 if rig_eq(which,"json" as *u8)==1 { known=1 }; if rig_eq(which,"html" as *u8)==1 { known=1 }
201 if rig_eq(which,"planless" as *u8)==1 { known=1 }; if rig_eq(which,"legacy" as *u8)==1 { known=1 }
202 if rig_eq(which,"missing-policy" as *u8)==1 { known=1 }; if rig_eq(which,"wrong-hash" as *u8)==1 { known=1 }
203 if rig_eq(which,"missing-hash" as *u8)==1 { known=1 }
204 if rig_eq(which,"changed-binary" as *u8)==1 { known=1 }; if rig_eq(which,"nonzero" as *u8)==1 { known=1 }
205 if rig_eq(which,"truncation" as *u8)==1 { known=1 }; if known!=1 { return RIG_SETUP }
206 let leaf: *u8=sys_mmap(RIG_PATH); var k: i64=gv_cat(leaf,0,"compare-capture-" as *u8); k=gv_catn(leaf,k,sys_now_ms()); leaf[k]=0 as u8
207 let root: *u8=rig_join(parent,leaf)
208 if sys_mkdir(root,RIG_DIR_MODE)!=0 { return RIG_SETUP }
209 if rig_dir(root,"buildroot" as *u8)!=1 { return RIG_SETUP }
210 if rig_dir(root,"buildroot/_build" as *u8)!=1 { return RIG_SETUP }
211 if rig_dir(root,"buildroot/knowledge" as *u8)!=1 { return RIG_SETUP }
212 if rig_dir(root,"buildroot/knowledge/status" as *u8)!=1 { return RIG_SETUP }
213 if rig_dir(root,"buildroot/knowledge/compare" as *u8)!=1 { return RIG_SETUP }
214 if rig_dir(root,"knowledge" as *u8)!=1 { return RIG_SETUP }
215 if rig_dir(root,"knowledge/status" as *u8)!=1 { return RIG_SETUP }
216 if rig_file(root,"fixture-root.guard" as *u8,RIG_GUARD)!=1 { return RIG_SETUP }
217 if rig_file(root,"buildroot/fixture-root.guard" as *u8,RIG_GUARD)!=1 { return RIG_SETUP }
218 if cci_copy(root,"wrapper.elf" as *u8,wrapper)!=1 { return RIG_SETUP }
219 let target: *u8="nx_swcompare_matrix_ladder_test_20260907" as *u8
220 let renderer: *u8=rig_join(root,"buildroot/_build/nx_swcompare_matrix_ladder_test_20260907.sov.elf" as *u8)
221 var renderer_source: *u8=self
222 if real==1 { renderer_source=argv[8] as *u8 }
223 if cci_copy(root,"buildroot/_build/nx_swcompare_matrix_ladder_test_20260907.sov.elf" as *u8,renderer_source)!=1 { return RIG_SETUP }
224 if real==1 {
225 if rrf_file_hash_matches(renderer,argv[10] as *u8)!=1 { return RIG_SETUP }
226 let ml: *i64=sys_mmap(RIG_PTR) as *i64
227 let mb: *u8=sys_read_file(argv[9] as *u8,ml)
228 if (mb as i64)==0 { return RIG_SETUP }
229 if ml[0]<=0 { return RIG_SETUP }; if ml[0]>=CCI_MATRIX_READ_CAP { return RIG_SETUP }
230 let matrix: *u8=rig_join(root,"buildroot/knowledge/compare/fixture-planless.matrix" as *u8)
231 if rig_write(matrix,mb,ml[0])!=1 { return RIG_SETUP }
232 if rrf_file_hash_matches(matrix,argv[11] as *u8)!=1 { return RIG_SETUP }
233 if cci_no_aux(root)!=1 { return RIG_SETUP }
234 if rig_dir(root,"sites" as *u8)!=1 { return RIG_SETUP }
235 if rig_dir(root,"sites/nishifamily" as *u8)!=1 { return RIG_SETUP }
236 if rig_dir(root,"sites/nishifamily/compare" as *u8)!=1 { return RIG_SETUP }
237 if rig_dir(root,"sites/nishifamily/compare/fixture-planless" as *u8)!=1 { return RIG_SETUP }
238 if rig_dir(root,"sites/nishifamily/compare/fixture-planless/refs" as *u8)!=1 { return RIG_SETUP }
239 if rig_file(root,"renderer.sha256" as *u8,argv[10] as *u8)!=1 { return RIG_SETUP }
240 if rig_file(root,"matrix.sha256" as *u8,argv[11] as *u8)!=1 { return RIG_SETUP }
241 }
242 let lp: *i64=sys_mmap(8) as *i64; let binary: *u8=sys_read_file(renderer,lp); if (binary as i64)==0 { return RIG_SETUP }
243 let digest: *u8=sys_mmap(RRF_HEX_BYTES+1); if rrf_hash(binary,lp[0],digest)!=0 { return RIG_SETUP }
244 if rig_eq(which,"wrong-hash" as *u8)==1 { if digest[0]==(48 as u8) { digest[0]=49 as u8 } else { digest[0]=48 as u8 } }
245 if rig_eq(which,"missing-hash" as *u8)==1 { digest[0]=0 as u8 }
246 var mode: *u8="json" as *u8; if rig_eq(which,"html" as *u8)==1 { mode="html" as *u8 }; if rig_eq(which,"real-html" as *u8)==1 { mode="html" as *u8 }
247 var domain: *u8="deploy" as *u8; if rig_eq(which,"planless" as *u8)==1 { domain="fixture-planless" as *u8 }; if real==1 { domain="fixture-planless" as *u8 }
248 let policy: *u8=sys_mmap(RIG_PATH)
249 var p: i64=gv_cat(policy,0,"fixture-scope\t" as *u8); p=gv_cat(policy,p,target); p=gv_cat(policy,p,"\t" as *u8)
250 p=gv_cat(policy,p,domain); p=gv_cat(policy,p,"\t" as *u8); p=gv_cat(policy,p,mode); p=gv_cat(policy,p,"\t" as *u8)
251 p=gv_cat(policy,p,digest); p=gv_cat(policy,p,"\n" as *u8)
252 if rig_eq(which,"missing-policy" as *u8)!=1 { if rig_write(rig_join(root,"buildroot/knowledge/compare/capture.scope" as *u8),policy,p)!=1 { return RIG_SETUP } }
253 if rig_eq(which,"changed-binary" as *u8)==1 {
254 // Append to this private copy only, after the original digest was put into the scope.
255 let fd: i64=sys_openat_append(renderer,RIG_FILE_MODE); if fd<0 { return RIG_SETUP }
256 if sys_write(fd,"x" as *u8,1)!=1 { sys_close(fd); return RIG_SETUP }; if sys_close(fd)!=0 { return RIG_SETUP }
257 }
258 var action: *u8="good" as *u8
259 if rig_eq(which,"nonzero" as *u8)==1 { action="nonzero" as *u8 }
260 if rig_eq(which,"truncation" as *u8)==1 { action="cut" as *u8 }
261 if rig_file(root,"buildroot/fixture.action" as *u8,action)!=1 { return RIG_SETUP }
262 if rig_file(root,"buildroot/fixture.cap" as *u8,argv[5] as *u8)!=1 { return RIG_SETUP }
263 let av: *i64=sys_mmap(9*RIG_PTR) as *i64
264 let subject: *u8=rig_join(root,"wrapper.elf" as *u8)
265 av[0]=subject as i64; av[1]="result" as i64; av[2]=argv[5]; av[3]=argv[6]; av[4]=mode as i64
266 if rig_eq(which,"legacy" as *u8)==1 { av[5]=0 }
267 else { av[5]=target as i64; av[6]=domain as i64; av[7]="fixture-scope" as i64; av[8]=0 }
268 if sys_chdir(root)!=0 { return RIG_SETUP }
269 let ctr: *i64=gv_ctr(); let output: *u8=sys_mmap(capacity); let olen: *i64=sys_mmap(8) as *i64
270 gv_puts("fixture_root=" as *u8); gv_puts(root); gv_puts("\n" as *u8)
271 let rc: i64=tr_run_capture_cwd(subject,av,output,capacity,olen,outer,root)
272 gv_puts("wrapper_rc=" as *u8); gv_num(rc); gv_puts("\n" as *u8)
273 gv_check("wrapper capture not full" as *u8,(olen[0]<capacity) as i64,ctr)
274 gv_check("wrapper output persisted" as *u8,rig_write("wrapper.out" as *u8,output,olen[0]),ctr)
275 var expected: i64=0; var dispatched: i64=1
276 if rig_eq(which,"missing-policy" as *u8)==1 { expected=7; dispatched=0 }
277 if rig_eq(which,"missing-hash" as *u8)==1 { expected=7; dispatched=0 }
278 if rig_eq(which,"wrong-hash" as *u8)==1 { expected=7; dispatched=0 }
279 if rig_eq(which,"changed-binary" as *u8)==1 { expected=7; dispatched=0 }
280 if rig_eq(which,"nonzero" as *u8)==1 { expected=4 }
281 if rig_eq(which,"truncation" as *u8)==1 { expected=4 }
282 gv_check("exact wrapper result" as *u8,(rc==expected) as i64,ctr)
283 let witness: *u8="buildroot/dispatch.argv" as *u8
284 if real==1 { gv_check("auxiliary plan rank refs gallery remain absent" as *u8,cci_no_aux(root),ctr) }
285 else { if dispatched==0 { gv_check("authority refusal before dispatch" as *u8,(rig_exists(witness)==0) as i64,ctr) }
286 else {
287 let exact: *u8=sys_mmap(RIG_PATH); var z: i64=gv_cat(exact,0,domain); z=gv_cat(exact,z,"\t" as *u8); z=gv_cat(exact,z,mode); z=gv_cat(exact,z,"\n" as *u8)
288 gv_check("exact dispatched argv domain and mode" as *u8,rrf_file_equal(witness,exact,z),ctr)
289 } }
290 var artifact: *u8="buildroot/knowledge/status/result.json" as *u8
291 if rig_eq(mode,"html" as *u8)==1 { artifact="buildroot/knowledge/status/result.html" as *u8 }
292 if expected==0 {
293 var wanted: *u8="{\"fixture\":true}\n" as *u8
294 if rig_eq(mode,"html" as *u8)==1 { wanted="<html><body>fixture</body></html>\n" as *u8 }
295 if real==0 { gv_check("exact successful artifact bytes" as *u8,rrf_file_equal(artifact,wanted,rig_len(wanted)),ctr) }
296 else {
297 let an: *i64=sys_mmap(RIG_PTR) as *i64; let ab: *u8=sys_read_file(artifact,an)
298 gv_check("real artifact readable" as *u8,((ab as i64)!=0) as i64,ctr)
299 gv_check("real artifact nonempty" as *u8,(an[0]>0) as i64,ctr)
300 if (ab as i64)!=0 {
301 if rig_eq(mode,"json" as *u8)==1 {
302 gv_check("absent plan explicit ladder UNAVAILABLE" as *u8,cci_contains(ab,an[0],"\"ladder\":{\"v\":1,\"availability\":\"UNAVAILABLE\"}" as *u8),ctr)
303 } else {
304 gv_check("planless HTML retains capability comparisons" as *u8,cci_contains(ab,an[0],"Capability comparisons" as *u8),ctr)
305 gv_check("planless HTML omits declared roadmap" as *u8,(cci_contains(ab,an[0],"Declared roadmap —" as *u8)==0) as i64,ctr)
306 gv_check("planless HTML omits plan navigation" as *u8,(cci_contains(ab,an[0],"class='production-nav'" as *u8)==0) as i64,ctr)
307 }
308 }
309 gv_check("copied renderer identity preserved" as *u8,rrf_file_hash_matches(renderer,argv[10] as *u8),ctr)
310 gv_check("copied matrix identity preserved" as *u8,rrf_file_hash_matches("buildroot/knowledge/compare/fixture-planless.matrix" as *u8,argv[11] as *u8),ctr)
311 }
312 gv_check("verified artifact receipt" as *u8,cci_contains(output,olen[0],"CAPTURE-VERIFIED" as *u8),ctr)
313 } else {
314 gv_check("no successful artifact on refusal or child failure" as *u8,(rig_exists(artifact)==0) as i64,ctr)
315 gv_check("no false verified receipt" as *u8,(cci_contains(output,olen[0],"CAPTURE-VERIFIED" as *u8)==0) as i64,ctr)
316 }
317 if rig_eq(which,"nonzero" as *u8)==1 { gv_check("child nonzero exposed" as *u8,cci_contains(output,olen[0],"child_rc=9" as *u8),ctr) }
318 if rig_eq(which,"truncation" as *u8)==1 { gv_check("truncation exposed" as *u8,cci_contains(output,olen[0],"truncated=1" as *u8),ctr) }
319 if real==1 { return gv_verdict("COMPARE-CAPTURE-REAL-PLANLESS",ctr,"reviewed real renderer; private writes; read-only estate fallbacks; no source parity or timeout-cleanup proof" as *u8) }
320 return gv_verdict("COMPARE-CAPTURE-INTEGRATION",ctr,"finite native witness; private tree; timeout never a passing outcome" as *u8)
321}