nx_triangulation_arith_bulk.nx source
↩ module page · 217 lines · 7161 B
1// nx_triangulation_arith_bulk.nx -- bulk arithmetic triangulation
2// auto-generated 2026-05-14; one entry per nx_add_N for N in 1..50
3// nx_safety_envelope:
4// intended_use: AUTO_APPLIED -- primitive-specific tuning queued
5// sil_target: SIL1
6// evidence: [bulk_applied_2026-05-16, see-file-comment-for-detail]
7// verdict: NOT_YET_EVALUATED
8
9import "nx_syscalls.nx"
10import "nx_runtime.nx"
11import "nx_tier.nx"
12import "nx_add_2.nx"
13import "nx_add_3.nx"
14import "nx_add_4.nx"
15import "nx_add_5.nx"
16import "nx_add_6.nx"
17import "nx_add_7.nx"
18import "nx_add_8.nx"
19import "nx_add_9.nx"
20import "nx_add_10.nx"
21import "nx_add_11.nx"
22import "nx_add_12.nx"
23import "nx_add_13.nx"
24import "nx_add_14.nx"
25import "nx_add_15.nx"
26import "nx_add_16.nx"
27import "nx_add_17.nx"
28import "nx_add_18.nx"
29import "nx_add_19.nx"
30import "nx_add_20.nx"
31import "nx_add_21.nx"
32import "nx_add_22.nx"
33import "nx_add_23.nx"
34import "nx_add_24.nx"
35import "nx_add_25.nx"
36import "nx_add_26.nx"
37import "nx_add_27.nx"
38import "nx_add_28.nx"
39import "nx_add_29.nx"
40import "nx_add_30.nx"
41import "nx_add_31.nx"
42import "nx_add_32.nx"
43import "nx_add_33.nx"
44import "nx_add_34.nx"
45import "nx_add_35.nx"
46import "nx_add_36.nx"
47import "nx_add_37.nx"
48import "nx_add_38.nx"
49import "nx_add_39.nx"
50import "nx_add_40.nx"
51import "nx_add_41.nx"
52import "nx_add_42.nx"
53import "nx_add_43.nx"
54import "nx_add_44.nx"
55import "nx_add_45.nx"
56import "nx_add_46.nx"
57import "nx_add_47.nx"
58import "nx_add_48.nx"
59import "nx_add_49.nx"
60import "nx_add_50.nx"
61
62func main() -> nx_exit {
63 var tri: nx_int = 0
64 var fail: nx_int = 0
65 let r_2: nx_int = nx_add_2(7)
66 if r_2 == 9 { tri = tri + 1 }
67 if r_2 != 9 { fail = fail + 1 }
68 let r_3: nx_int = nx_add_3(7)
69 if r_3 == 10 { tri = tri + 1 }
70 if r_3 != 10 { fail = fail + 1 }
71 let r_4: nx_int = nx_add_4(7)
72 if r_4 == 11 { tri = tri + 1 }
73 if r_4 != 11 { fail = fail + 1 }
74 let r_5: nx_int = nx_add_5(7)
75 if r_5 == 12 { tri = tri + 1 }
76 if r_5 != 12 { fail = fail + 1 }
77 let r_6: nx_int = nx_add_6(7)
78 if r_6 == 13 { tri = tri + 1 }
79 if r_6 != 13 { fail = fail + 1 }
80 let r_7: nx_int = nx_add_7(7)
81 if r_7 == 14 { tri = tri + 1 }
82 if r_7 != 14 { fail = fail + 1 }
83 let r_8: nx_int = nx_add_8(7)
84 if r_8 == 15 { tri = tri + 1 }
85 if r_8 != 15 { fail = fail + 1 }
86 let r_9: nx_int = nx_add_9(7)
87 if r_9 == 16 { tri = tri + 1 }
88 if r_9 != 16 { fail = fail + 1 }
89 let r_10: nx_int = nx_add_10(7)
90 if r_10 == 17 { tri = tri + 1 }
91 if r_10 != 17 { fail = fail + 1 }
92 let r_11: nx_int = nx_add_11(7)
93 if r_11 == 18 { tri = tri + 1 }
94 if r_11 != 18 { fail = fail + 1 }
95 let r_12: nx_int = nx_add_12(7)
96 if r_12 == 19 { tri = tri + 1 }
97 if r_12 != 19 { fail = fail + 1 }
98 let r_13: nx_int = nx_add_13(7)
99 if r_13 == 20 { tri = tri + 1 }
100 if r_13 != 20 { fail = fail + 1 }
101 let r_14: nx_int = nx_add_14(7)
102 if r_14 == 21 { tri = tri + 1 }
103 if r_14 != 21 { fail = fail + 1 }
104 let r_15: nx_int = nx_add_15(7)
105 if r_15 == 22 { tri = tri + 1 }
106 if r_15 != 22 { fail = fail + 1 }
107 let r_16: nx_int = nx_add_16(7)
108 if r_16 == 23 { tri = tri + 1 }
109 if r_16 != 23 { fail = fail + 1 }
110 let r_17: nx_int = nx_add_17(7)
111 if r_17 == 24 { tri = tri + 1 }
112 if r_17 != 24 { fail = fail + 1 }
113 let r_18: nx_int = nx_add_18(7)
114 if r_18 == 25 { tri = tri + 1 }
115 if r_18 != 25 { fail = fail + 1 }
116 let r_19: nx_int = nx_add_19(7)
117 if r_19 == 26 { tri = tri + 1 }
118 if r_19 != 26 { fail = fail + 1 }
119 let r_20: nx_int = nx_add_20(7)
120 if r_20 == 27 { tri = tri + 1 }
121 if r_20 != 27 { fail = fail + 1 }
122 let r_21: nx_int = nx_add_21(7)
123 if r_21 == 28 { tri = tri + 1 }
124 if r_21 != 28 { fail = fail + 1 }
125 let r_22: nx_int = nx_add_22(7)
126 if r_22 == 29 { tri = tri + 1 }
127 if r_22 != 29 { fail = fail + 1 }
128 let r_23: nx_int = nx_add_23(7)
129 if r_23 == 30 { tri = tri + 1 }
130 if r_23 != 30 { fail = fail + 1 }
131 let r_24: nx_int = nx_add_24(7)
132 if r_24 == 31 { tri = tri + 1 }
133 if r_24 != 31 { fail = fail + 1 }
134 let r_25: nx_int = nx_add_25(7)
135 if r_25 == 32 { tri = tri + 1 }
136 if r_25 != 32 { fail = fail + 1 }
137 let r_26: nx_int = nx_add_26(7)
138 if r_26 == 33 { tri = tri + 1 }
139 if r_26 != 33 { fail = fail + 1 }
140 let r_27: nx_int = nx_add_27(7)
141 if r_27 == 34 { tri = tri + 1 }
142 if r_27 != 34 { fail = fail + 1 }
143 let r_28: nx_int = nx_add_28(7)
144 if r_28 == 35 { tri = tri + 1 }
145 if r_28 != 35 { fail = fail + 1 }
146 let r_29: nx_int = nx_add_29(7)
147 if r_29 == 36 { tri = tri + 1 }
148 if r_29 != 36 { fail = fail + 1 }
149 let r_30: nx_int = nx_add_30(7)
150 if r_30 == 37 { tri = tri + 1 }
151 if r_30 != 37 { fail = fail + 1 }
152 let r_31: nx_int = nx_add_31(7)
153 if r_31 == 38 { tri = tri + 1 }
154 if r_31 != 38 { fail = fail + 1 }
155 let r_32: nx_int = nx_add_32(7)
156 if r_32 == 39 { tri = tri + 1 }
157 if r_32 != 39 { fail = fail + 1 }
158 let r_33: nx_int = nx_add_33(7)
159 if r_33 == 40 { tri = tri + 1 }
160 if r_33 != 40 { fail = fail + 1 }
161 let r_34: nx_int = nx_add_34(7)
162 if r_34 == 41 { tri = tri + 1 }
163 if r_34 != 41 { fail = fail + 1 }
164 let r_35: nx_int = nx_add_35(7)
165 if r_35 == 42 { tri = tri + 1 }
166 if r_35 != 42 { fail = fail + 1 }
167 let r_36: nx_int = nx_add_36(7)
168 if r_36 == 43 { tri = tri + 1 }
169 if r_36 != 43 { fail = fail + 1 }
170 let r_37: nx_int = nx_add_37(7)
171 if r_37 == 44 { tri = tri + 1 }
172 if r_37 != 44 { fail = fail + 1 }
173 let r_38: nx_int = nx_add_38(7)
174 if r_38 == 45 { tri = tri + 1 }
175 if r_38 != 45 { fail = fail + 1 }
176 let r_39: nx_int = nx_add_39(7)
177 if r_39 == 46 { tri = tri + 1 }
178 if r_39 != 46 { fail = fail + 1 }
179 let r_40: nx_int = nx_add_40(7)
180 if r_40 == 47 { tri = tri + 1 }
181 if r_40 != 47 { fail = fail + 1 }
182 let r_41: nx_int = nx_add_41(7)
183 if r_41 == 48 { tri = tri + 1 }
184 if r_41 != 48 { fail = fail + 1 }
185 let r_42: nx_int = nx_add_42(7)
186 if r_42 == 49 { tri = tri + 1 }
187 if r_42 != 49 { fail = fail + 1 }
188 let r_43: nx_int = nx_add_43(7)
189 if r_43 == 50 { tri = tri + 1 }
190 if r_43 != 50 { fail = fail + 1 }
191 let r_44: nx_int = nx_add_44(7)
192 if r_44 == 51 { tri = tri + 1 }
193 if r_44 != 51 { fail = fail + 1 }
194 let r_45: nx_int = nx_add_45(7)
195 if r_45 == 52 { tri = tri + 1 }
196 if r_45 != 52 { fail = fail + 1 }
197 let r_46: nx_int = nx_add_46(7)
198 if r_46 == 53 { tri = tri + 1 }
199 if r_46 != 53 { fail = fail + 1 }
200 let r_47: nx_int = nx_add_47(7)
201 if r_47 == 54 { tri = tri + 1 }
202 if r_47 != 54 { fail = fail + 1 }
203 let r_48: nx_int = nx_add_48(7)
204 if r_48 == 55 { tri = tri + 1 }
205 if r_48 != 55 { fail = fail + 1 }
206 let r_49: nx_int = nx_add_49(7)
207 if r_49 == 56 { tri = tri + 1 }
208 if r_49 != 56 { fail = fail + 1 }
209 let r_50: nx_int = nx_add_50(7)
210 if r_50 == 57 { tri = tri + 1 }
211 if r_50 != 57 { fail = fail + 1 }
212
213 print("arith_bulk_triangulated=" as *u8); print_i64(tri); println("" as *u8)
214 print("arith_bulk_disagree=" as *u8); print_i64(fail); println("" as *u8)
215 if fail > 0 { return 1 }
216 return 0
217}