nx_varfacts_member_gate_t139.nx source

1// Private selected-member integrity qualification. Real garment JSON compressed member only. 2// license_tier: ORIGINAL 3import "nx_syscalls.nx" 4import "nx_gate_verdict.nx" 5import "nx_varfacts_candidate_t139.nx" 6func main(argc: i64, argv: *i64) -> i64 { 7 let ctr: *i64 = gv_ctr() 8 let out: *i64 = sys_mmap(32) as *i64 9 let raw: *u8 = sys_mmap(949) 10 raw[0] = 237 as u8 11 raw[1] = 88 as u8 12 raw[2] = 109 as u8 13 raw[3] = 111 as u8 14 raw[4] = 211 as u8 15 raw[5] = 48 as u8 16 raw[6] = 16 as u8 17 raw[7] = 254 as u8 18 raw[8] = 142 as u8 19 raw[9] = 196 as u8 20 raw[10] = 127 as u8 21 raw[11] = 136 as u8 22 raw[12] = 250 as u8 23 raw[13] = 25 as u8 24 raw[14] = 166 as u8 25 raw[15] = 52 as u8 26 raw[16] = 125 as u8 27 raw[17] = 17 as u8 28 raw[18] = 236 as u8 29 raw[19] = 91 as u8 30 raw[20] = 89 as u8 31 raw[21] = 217 as u8 32 raw[22] = 52 as u8 33 raw[23] = 68 as u8 34 raw[24] = 25 as u8 35 raw[25] = 172 as u8 36 raw[26] = 21 as u8 37 raw[27] = 175 as u8 38 raw[28] = 154 as u8 39 raw[29] = 144 as u8 40 raw[30] = 155 as u8 41 raw[31] = 92 as u8 42 raw[32] = 27 as u8 43 raw[33] = 15 as u8 44 raw[34] = 199 as u8 45 raw[35] = 142 as u8 46 raw[36] = 108 as u8 47 raw[37] = 135 as u8 48 raw[38] = 49 as u8 49 raw[39] = 33 as u8 50 raw[40] = 254 as u8 51 raw[41] = 59 as u8 52 raw[42] = 182 as u8 53 raw[43] = 147 as u8 54 raw[44] = 150 as u8 55 raw[45] = 214 as u8 56 raw[46] = 196 as u8 57 raw[47] = 173 as u8 58 raw[48] = 181 as u8 59 raw[49] = 13 as u8 60 raw[50] = 109 as u8 61 raw[51] = 66 as u8 62 raw[52] = 238 as u8 63 raw[53] = 167 as u8 64 raw[54] = 200 as u8 65 raw[55] = 126 as u8 66 raw[56] = 238 as u8 67 raw[57] = 238 as u8 68 raw[58] = 241 as u8 69 raw[59] = 221 as u8 70 raw[60] = 249 as u8 71 raw[61] = 242 as u8 72 raw[62] = 52 as u8 73 raw[63] = 63 as u8 74 raw[64] = 163 as u8 75 raw[65] = 199 as u8 76 raw[66] = 143 as u8 77 raw[67] = 162 as u8 78 raw[68] = 40 as u8 79 raw[69] = 234 as u8 80 raw[70] = 164 as u8 81 raw[71] = 172 as u8 82 raw[72] = 40 as u8 83 raw[73] = 25 as u8 84 raw[74] = 5 as u8 85 raw[75] = 42 as u8 86 raw[76] = 69 as u8 87 raw[77] = 39 as u8 88 raw[78] = 58 as u8 89 raw[79] = 140 as u8 90 raw[80] = 190 as u8 91 raw[81] = 212 as u8 92 raw[82] = 171 as u8 93 raw[83] = 234 as u8 94 raw[84] = 247 as u8 95 raw[85] = 115 as u8 96 raw[86] = 253 as u8 97 raw[87] = 164 as u8 98 raw[88] = 81 as u8 99 raw[89] = 242 as u8 100 raw[90] = 186 as u8 101 raw[91] = 4 as u8 102 raw[92] = 189 as u8 103 raw[93] = 223 as u8 104 raw[94] = 25 as u8 105 raw[95] = 143 as u8 106 raw[96] = 62 as u8 107 raw[97] = 79 as u8 108 raw[98] = 64 as u8 109 raw[99] = 228 as u8 110 raw[100] = 157 as u8 111 raw[101] = 213 as u8 112 raw[102] = 230 as u8 113 raw[103] = 175 as u8 114 raw[104] = 39 as u8 115 raw[105] = 30 as u8 116 raw[106] = 22 as u8 117 raw[107] = 211 as u8 118 raw[108] = 111 as u8 119 raw[109] = 152 as u8 120 raw[110] = 126 as u8 121 raw[111] = 224 as u8 122 raw[112] = 168 as u8 123 raw[113] = 188 as u8 124 raw[114] = 153 as u8 125 raw[115] = 213 as u8 126 raw[116] = 4 as u8 127 raw[117] = 73 as u8 128 raw[118] = 224 as u8 129 raw[119] = 24 as u8 130 raw[120] = 145 as u8 131 raw[121] = 179 as u8 132 raw[122] = 82 as u8 133 raw[123] = 98 as u8 134 raw[124] = 70 as u8 135 raw[125] = 197 as u8 136 raw[126] = 127 as u8 137 raw[127] = 235 as u8 138 raw[128] = 196 as u8 139 raw[129] = 60 as u8 140 raw[130] = 92 as u8 141 raw[131] = 52 as u8 142 raw[132] = 174 as u8 143 raw[133] = 58 as u8 144 raw[134] = 66 as u8 145 raw[135] = 50 as u8 146 raw[136] = 142 as u8 147 raw[137] = 230 as u8 148 raw[138] = 4 as u8 149 raw[139] = 118 as u8 150 raw[140] = 150 as u8 151 raw[141] = 5 as u8 152 raw[142] = 103 as u8 153 raw[143] = 198 as u8 154 raw[144] = 251 as u8 155 raw[145] = 236 as u8 156 raw[146] = 228 as u8 157 raw[147] = 232 as u8 158 raw[148] = 240 as u8 159 raw[149] = 28 as u8 160 raw[150] = 167 as u8 161 raw[151] = 57 as u8 162 raw[152] = 154 as u8 163 raw[153] = 115 as u8 164 raw[154] = 28 as u8 165 raw[155] = 189 as u8 166 raw[156] = 70 as u8 167 raw[157] = 41 as u8 168 raw[158] = 68 as u8 169 raw[159] = 83 as u8 170 raw[160] = 130 as u8 171 raw[161] = 203 as u8 172 raw[162] = 18 as u8 173 raw[163] = 184 as u8 174 raw[164] = 152 as u8 175 raw[165] = 202 as u8 176 raw[166] = 107 as u8 177 raw[167] = 2 as u8 178 raw[168] = 251 as u8 179 raw[169] = 121 as u8 180 raw[170] = 238 as u8 181 raw[171] = 245 as u8 182 raw[172] = 163 as u8 183 raw[173] = 137 as u8 184 raw[174] = 31 as u8 185 raw[175] = 49 as u8 186 raw[176] = 42 as u8 187 raw[177] = 57 as u8 188 raw[178] = 35 as u8 189 raw[179] = 157 as u8 190 raw[180] = 39 as u8 191 raw[181] = 91 as u8 192 raw[182] = 166 as u8 193 raw[183] = 87 as u8 194 raw[184] = 106 as u8 195 raw[185] = 103 as u8 196 raw[186] = 198 as u8 197 raw[187] = 166 as u8 198 raw[188] = 5 as u8 199 raw[189] = 99 as u8 200 raw[190] = 50 as u8 201 raw[191] = 135 as u8 202 raw[192] = 236 as u8 203 raw[193] = 61 as u8 204 raw[194] = 240 as u8 205 raw[195] = 186 as u8 206 raw[196] = 145 as u8 207 raw[197] = 58 as u8 208 raw[198] = 11 as u8 209 raw[199] = 68 as u8 210 raw[200] = 4 as u8 211 raw[201] = 88 as u8 212 raw[202] = 88 as u8 213 raw[203] = 81 as u8 214 raw[204] = 241 as u8 215 raw[205] = 133 as u8 216 raw[206] = 242 as u8 217 raw[207] = 122 as u8 218 raw[208] = 182 as u8 219 raw[209] = 88 as u8 220 raw[210] = 8 as u8 221 raw[211] = 144 as u8 222 raw[212] = 6 as u8 223 raw[213] = 245 as u8 224 raw[214] = 52 as u8 225 raw[215] = 62 as u8 226 raw[216] = 136 as u8 227 raw[217] = 227 as u8 228 raw[218] = 184 as u8 229 raw[219] = 215 as u8 230 raw[220] = 239 as u8 231 raw[221] = 14 as u8 232 raw[222] = 159 as u8 233 raw[223] = 117 as u8 234 raw[224] = 45 as u8 235 raw[225] = 48 as u8 236 raw[226] = 202 as u8 237 raw[227] = 50 as u8 238 raw[228] = 172 as u8 239 raw[229] = 51 as u8 240 raw[230] = 132 as u8 241 raw[231] = 200 as u8 242 raw[232] = 44 as u8 243 raw[233] = 199 as u8 244 raw[234] = 233 as u8 245 raw[235] = 55 as u8 246 raw[236] = 10 as u8 247 raw[237] = 66 as u8 248 raw[238] = 76 as u8 249 raw[239] = 42 as u8 250 raw[240] = 34 as u8 251 raw[241] = 113 as u8 252 raw[242] = 73 as u8 253 raw[243] = 48 as u8 254 raw[244] = 112 as u8 255 raw[245] = 99 as u8 256 raw[246] = 108 as u8 257 raw[247] = 108 as u8 258 raw[248] = 109 as u8 259 raw[249] = 51 as u8 260 raw[250] = 97 as u8 261 raw[251] = 152 as u8 262 raw[252] = 156 as u8 263 raw[253] = 170 as u8 264 raw[254] = 28 as u8 265 raw[255] = 163 as u8 266 raw[256] = 58 as u8 267 raw[257] = 191 as u8 268 raw[258] = 26 as u8 269 raw[259] = 217 as u8 270 raw[260] = 189 as u8 271 raw[261] = 131 as u8 272 raw[262] = 20 as u8 273 raw[263] = 76 as u8 274 raw[264] = 113 as u8 275 raw[265] = 97 as u8 276 raw[266] = 135 as u8 277 raw[267] = 194 as u8 278 raw[268] = 197 as u8 279 raw[269] = 75 as u8 280 raw[270] = 170 as u8 281 raw[271] = 107 as u8 282 raw[272] = 148 as u8 283 raw[273] = 57 as u8 284 raw[274] = 79 as u8 285 raw[275] = 140 as u8 286 raw[276] = 169 as u8 287 raw[277] = 132 as u8 288 raw[278] = 165 as u8 289 raw[279] = 98 as u8 290 raw[280] = 2 as u8 291 raw[281] = 155 as u8 292 raw[282] = 64 as u8 293 raw[283] = 201 as u8 294 raw[284] = 43 as u8 295 raw[285] = 27 as u8 296 raw[286] = 151 as u8 297 raw[287] = 50 as u8 298 raw[288] = 66 as u8 299 raw[289] = 176 as u8 300 raw[290] = 80 as u8 301 raw[291] = 124 as u8 302 raw[292] = 247 as u8 303 raw[293] = 224 as u8 304 raw[294] = 16 as u8 305 raw[295] = 33 as u8 306 raw[296] = 236 as u8 307 raw[297] = 106 as u8 308 raw[298] = 12 as u8 309 raw[299] = 18 as u8 310 raw[300] = 165 as u8 311 raw[301] = 185 as u8 312 raw[302] = 51 as u8 313 raw[303] = 230 as u8 314 raw[304] = 218 as u8 315 raw[305] = 215 as u8 316 raw[306] = 57 as u8 317 raw[307] = 202 as u8 318 raw[308] = 112 as u8 319 raw[309] = 37 as u8 320 raw[310] = 86 as u8 321 raw[311] = 169 as u8 322 raw[312] = 178 as u8 323 raw[313] = 19 as u8 324 raw[314] = 149 as u8 325 raw[315] = 113 as u8 326 raw[316] = 180 as u8 327 raw[317] = 92 as u8 328 raw[318] = 237 as u8 329 raw[319] = 13 as u8 330 raw[320] = 237 as u8 331 raw[321] = 162 as u8 332 raw[322] = 2 as u8 333 raw[323] = 94 as u8 334 raw[324] = 230 as u8 335 raw[325] = 178 as u8 336 raw[326] = 73 as u8 337 raw[327] = 157 as u8 338 raw[328] = 101 as u8 339 raw[329] = 134 as u8 340 raw[330] = 133 as u8 341 raw[331] = 68 as u8 342 raw[332] = 52 as u8 343 raw[333] = 133 as u8 344 raw[334] = 105 as u8 345 raw[335] = 138 as u8 346 raw[336] = 8 as u8 347 raw[337] = 180 as u8 348 raw[338] = 34 as u8 349 raw[339] = 132 as u8 350 raw[340] = 196 as u8 351 raw[341] = 139 as u8 352 raw[342] = 133 as u8 353 raw[343] = 46 as u8 354 raw[344] = 87 as u8 355 raw[345] = 227 as u8 356 raw[346] = 125 as u8 357 raw[347] = 240 as u8 358 raw[348] = 23 as u8 359 raw[349] = 191 as u8 360 raw[350] = 162 as u8 361 raw[351] = 228 as u8 362 raw[352] = 106 as u8 363 raw[353] = 91 as u8 364 raw[354] = 51 as u8 365 raw[355] = 4 as u8 366 raw[356] = 209 as u8 367 raw[357] = 184 as u8 368 raw[358] = 115 as u8 369 raw[359] = 96 as u8 370 raw[360] = 23 as u8 371 raw[361] = 28 as u8 372 raw[362] = 167 as u8 373 raw[363] = 186 as u8 374 raw[364] = 140 as u8 375 raw[365] = 142 as u8 376 raw[366] = 109 as u8 377 raw[367] = 101 as u8 378 raw[368] = 43 as u8 379 raw[369] = 113 as u8 380 raw[370] = 106 as u8 381 raw[371] = 181 as u8 382 raw[372] = 69 as u8 383 raw[373] = 226 as u8 384 raw[374] = 202 as u8 385 raw[375] = 199 as u8 386 raw[376] = 91 as u8 387 raw[377] = 118 as u8 388 raw[378] = 181 as u8 389 raw[379] = 238 as u8 390 raw[380] = 28 as u8 391 raw[381] = 219 as u8 392 raw[382] = 147 as u8 393 raw[383] = 42 as u8 394 raw[384] = 210 as u8 395 raw[385] = 119 as u8 396 raw[386] = 44 as u8 397 raw[387] = 175 as u8 398 raw[388] = 45 as u8 399 raw[389] = 87 as u8 400 raw[390] = 246 as u8 401 raw[391] = 209 as u8 402 raw[392] = 240 as u8 403 raw[393] = 118 as u8 404 raw[394] = 91 as u8 405 raw[395] = 245 as u8 406 raw[396] = 236 as u8 407 raw[397] = 220 as u8 408 raw[398] = 152 as u8 409 raw[399] = 194 as u8 410 raw[400] = 204 as u8 411 raw[401] = 114 as u8 412 raw[402] = 117 as u8 413 raw[403] = 186 as u8 414 raw[404] = 156 as u8 415 raw[405] = 145 as u8 416 raw[406] = 108 as u8 417 raw[407] = 221 as u8 418 raw[408] = 164 as u8 419 raw[409] = 118 as u8 420 raw[410] = 176 as u8 421 raw[411] = 75 as u8 422 raw[412] = 166 as u8 423 raw[413] = 250 as u8 424 raw[414] = 98 as u8 425 raw[415] = 42 as u8 426 raw[416] = 57 as u8 427 raw[417] = 208 as u8 428 raw[418] = 165 as u8 429 raw[419] = 204 as u8 430 raw[420] = 91 as u8 431 raw[421] = 3 as u8 432 raw[422] = 45 as u8 433 raw[423] = 24 as u8 434 raw[424] = 175 as u8 435 raw[425] = 115 as u8 436 raw[426] = 242 as u8 437 raw[427] = 101 as u8 438 raw[428] = 115 as u8 439 raw[429] = 89 as u8 440 raw[430] = 239 as u8 441 raw[431] = 196 as u8 442 raw[432] = 219 as u8 443 raw[433] = 72 as u8 444 raw[434] = 231 as u8 445 raw[435] = 210 as u8 446 raw[436] = 198 as u8 447 raw[437] = 194 as u8 448 raw[438] = 197 as u8 449 raw[439] = 237 as u8 450 raw[440] = 155 as u8 451 raw[441] = 255 as u8 452 raw[442] = 136 as u8 453 raw[443] = 3 as u8 454 raw[444] = 82 as u8 455 raw[445] = 3 as u8 456 raw[446] = 201 as u8 457 raw[447] = 98 as u8 458 raw[448] = 169 as u8 459 raw[449] = 203 as u8 460 raw[450] = 8 as u8 461 raw[451] = 242 as u8 462 raw[452] = 13 as u8 463 raw[453] = 42 as u8 464 raw[454] = 234 as u8 465 raw[455] = 242 as u8 466 raw[456] = 221 as u8 467 raw[457] = 193 as u8 468 raw[458] = 37 as u8 469 raw[459] = 83 as u8 470 raw[460] = 247 as u8 471 raw[461] = 182 as u8 472 raw[462] = 104 as u8 473 raw[463] = 159 as u8 474 raw[464] = 51 as u8 475 raw[465] = 170 as u8 476 raw[466] = 239 as u8 477 raw[467] = 244 as u8 478 raw[468] = 205 as u8 479 raw[469] = 24 as u8 480 raw[470] = 81 as u8 481 raw[471] = 197 as u8 482 raw[472] = 163 as u8 483 raw[473] = 184 as u8 484 raw[474] = 118 as u8 485 raw[475] = 54 as u8 486 raw[476] = 63 as u8 487 raw[477] = 152 as u8 488 raw[478] = 251 as u8 489 raw[479] = 243 as u8 490 raw[480] = 202 as u8 491 raw[481] = 36 as u8 492 raw[482] = 184 as u8 493 raw[483] = 228 as u8 494 raw[484] = 152 as u8 495 raw[485] = 46 as u8 496 raw[486] = 71 as u8 497 raw[487] = 52 as u8 498 raw[488] = 27 as u8 499 raw[489] = 163 as u8 500 raw[490] = 66 as u8 501 raw[491] = 249 as u8 502 raw[492] = 30 as u8 503 raw[493] = 101 as u8 504 raw[494] = 151 as u8 505 raw[495] = 149 as u8 506 raw[496] = 144 as u8 507 raw[497] = 174 as u8 508 raw[498] = 139 as u8 509 raw[499] = 85 as u8 510 raw[500] = 219 as u8 511 raw[501] = 189 as u8 512 raw[502] = 80 as u8 513 raw[503] = 199 as u8 514 raw[504] = 20 as u8 515 raw[505] = 210 as u8 516 raw[506] = 88 as u8 517 raw[507] = 111 as u8 518 raw[508] = 192 as u8 519 raw[509] = 221 as u8 520 raw[510] = 113 as u8 521 raw[511] = 78 as u8 522 raw[512] = 72 as u8 523 raw[513] = 37 as u8 524 raw[514] = 193 as u8 525 raw[515] = 7 as u8 526 raw[516] = 62 as u8 527 raw[517] = 255 as u8 528 raw[518] = 227 as u8 529 raw[519] = 216 as u8 530 raw[520] = 162 as u8 531 raw[521] = 101 as u8 532 raw[522] = 117 as u8 533 raw[523] = 156 as u8 534 raw[524] = 221 as u8 535 raw[525] = 82 as u8 536 raw[526] = 203 as u8 537 raw[527] = 117 as u8 538 raw[528] = 132 as u8 539 raw[529] = 125 as u8 540 raw[530] = 118 as u8 541 raw[531] = 183 as u8 542 raw[532] = 79 as u8 543 raw[533] = 254 as u8 544 raw[534] = 234 as u8 545 raw[535] = 205 as u8 546 raw[536] = 244 as u8 547 raw[537] = 90 as u8 548 raw[538] = 213 as u8 549 raw[539] = 58 as u8 550 raw[540] = 7 as u8 551 raw[541] = 126 as u8 552 raw[542] = 104 as u8 553 raw[543] = 55 as u8 554 raw[544] = 165 as u8 555 raw[545] = 234 as u8 556 raw[546] = 215 as u8 557 raw[547] = 12 as u8 558 raw[548] = 248 as u8 559 raw[549] = 187 as u8 560 raw[550] = 10 as u8 561 raw[551] = 170 as u8 562 raw[552] = 186 as u8 563 raw[553] = 222 as u8 564 raw[554] = 73 as u8 565 raw[555] = 63 as u8 566 raw[556] = 182 as u8 567 raw[557] = 90 as u8 568 raw[558] = 175 as u8 569 raw[559] = 51 as u8 570 raw[560] = 45 as u8 571 raw[561] = 33 as u8 572 raw[562] = 173 as u8 573 raw[563] = 8 as u8 574 raw[564] = 226 as u8 575 raw[565] = 209 as u8 576 raw[566] = 12 as u8 577 raw[567] = 126 as u8 578 raw[568] = 200 as u8 579 raw[569] = 138 as u8 580 raw[570] = 67 as u8 581 raw[571] = 180 as u8 582 raw[572] = 49 as u8 583 raw[573] = 235 as u8 584 raw[574] = 157 as u8 585 raw[575] = 216 as u8 586 raw[576] = 83 as u8 587 raw[577] = 53 as u8 588 raw[578] = 36 as u8 589 raw[579] = 169 as u8 590 raw[580] = 80 as u8 591 raw[581] = 183 as u8 592 raw[582] = 111 as u8 593 raw[583] = 117 as u8 594 raw[584] = 97 as u8 595 raw[585] = 158 as u8 596 raw[586] = 155 as u8 597 raw[587] = 159 as u8 598 raw[588] = 157 as u8 599 raw[589] = 138 as u8 600 raw[590] = 19 as u8 601 raw[591] = 194 as u8 602 raw[592] = 154 as u8 603 raw[593] = 153 as u8 604 raw[594] = 50 as u8 605 raw[595] = 56 as u8 606 raw[596] = 24 as u8 607 raw[597] = 196 as u8 608 raw[598] = 113 as u8 609 raw[599] = 146 as u8 610 raw[600] = 116 as u8 611 raw[601] = 93 as u8 612 raw[602] = 14 as u8 613 raw[603] = 143 as u8 614 raw[604] = 85 as u8 615 raw[605] = 95 as u8 616 raw[606] = 82 as u8 617 raw[607] = 32 as u8 618 raw[608] = 142 as u8 619 raw[609] = 171 as u8 620 raw[610] = 110 as u8 621 raw[611] = 252 as u8 622 raw[612] = 248 as u8 623 raw[613] = 16 as u8 624 raw[614] = 84 as u8 625 raw[615] = 192 as u8 626 raw[616] = 57 as u8 627 raw[617] = 34 as u8 628 raw[618] = 209 as u8 629 raw[619] = 41 as u8 630 raw[620] = 33 as u8 631 raw[621] = 85 as u8 632 raw[622] = 129 as u8 633 raw[623] = 169 as u8 634 raw[624] = 185 as u8 635 raw[625] = 247 as u8 636 raw[626] = 209 as u8 637 raw[627] = 49 as u8 638 raw[628] = 38 as u8 639 raw[629] = 114 as u8 640 raw[630] = 53 as u8 641 raw[631] = 68 as u8 642 raw[632] = 44 as u8 643 raw[633] = 248 as u8 644 raw[634] = 136 as u8 645 raw[635] = 148 as u8 646 raw[636] = 57 as u8 647 raw[637] = 138 as u8 648 raw[638] = 54 as u8 649 raw[639] = 26 as u8 650 raw[640] = 193 as u8 651 raw[641] = 6 as u8 652 raw[642] = 140 as u8 653 raw[643] = 213 as u8 654 raw[644] = 92 as u8 655 raw[645] = 172 as u8 656 raw[646] = 4 as u8 657 raw[647] = 248 as u8 658 raw[648] = 132 as u8 659 raw[649] = 94 as u8 660 raw[650] = 65 as u8 661 raw[651] = 95 as u8 662 raw[652] = 84 as u8 663 raw[653] = 69 as u8 664 raw[654] = 137 as u8 665 raw[655] = 215 as u8 666 raw[656] = 179 as u8 667 raw[657] = 212 as u8 668 raw[658] = 121 as u8 669 raw[659] = 224 as u8 670 raw[660] = 221 as u8 671 raw[661] = 176 as u8 672 raw[662] = 84 as u8 673 raw[663] = 17 as u8 674 raw[664] = 98 as u8 675 raw[665] = 69 as u8 676 raw[666] = 19 as u8 677 raw[667] = 181 as u8 678 raw[668] = 59 as u8 679 raw[669] = 195 as u8 680 raw[670] = 4 as u8 681 raw[671] = 62 as u8 682 raw[672] = 122 as u8 683 raw[673] = 226 as u8 684 raw[674] = 62 as u8 685 raw[675] = 121 as u8 686 raw[676] = 224 as u8 687 raw[677] = 234 as u8 688 raw[678] = 83 as u8 689 raw[679] = 124 as u8 690 raw[680] = 108 as u8 691 raw[681] = 61 as u8 692 raw[682] = 70 as u8 693 raw[683] = 27 as u8 694 raw[684] = 242 as u8 695 raw[685] = 211 as u8 696 raw[686] = 126 as u8 697 raw[687] = 100 as u8 698 raw[688] = 226 as u8 699 raw[689] = 201 as u8 700 raw[690] = 49 as u8 701 raw[691] = 241 as u8 702 raw[692] = 228 as u8 703 raw[693] = 152 as u8 704 raw[694] = 120 as u8 705 raw[695] = 115 as u8 706 raw[696] = 76 as u8 707 raw[697] = 188 as u8 708 raw[698] = 57 as u8 709 raw[699] = 246 as u8 710 raw[700] = 60 as u8 711 raw[701] = 57 as u8 712 raw[702] = 246 as u8 713 raw[703] = 60 as u8 714 raw[704] = 57 as u8 715 raw[705] = 246 as u8 716 raw[706] = 188 as u8 717 raw[707] = 57 as u8 718 raw[708] = 246 as u8 719 raw[709] = 188 as u8 720 raw[710] = 57 as u8 721 raw[711] = 246 as u8 722 raw[712] = 61 as u8 723 raw[713] = 57 as u8 724 raw[714] = 246 as u8 725 raw[715] = 61 as u8 726 raw[716] = 57 as u8 727 raw[717] = 246 as u8 728 raw[718] = 189 as u8 729 raw[719] = 57 as u8 730 raw[720] = 246 as u8 731 raw[721] = 189 as u8 732 raw[722] = 57 as u8 733 raw[723] = 14 as u8 734 raw[724] = 60 as u8 735 raw[725] = 57 as u8 736 raw[726] = 14 as u8 737 raw[727] = 60 as u8 738 raw[728] = 57 as u8 739 raw[729] = 14 as u8 740 raw[730] = 188 as u8 741 raw[731] = 57 as u8 742 raw[732] = 14 as u8 743 raw[733] = 188 as u8 744 raw[734] = 57 as u8 745 raw[735] = 14 as u8 746 raw[736] = 61 as u8 747 raw[737] = 57 as u8 748 raw[738] = 14 as u8 749 raw[739] = 61 as u8 750 raw[740] = 57 as u8 751 raw[741] = 14 as u8 752 raw[742] = 189 as u8 753 raw[743] = 57 as u8 754 raw[744] = 14 as u8 755 raw[745] = 189 as u8 756 raw[746] = 57 as u8 757 raw[747] = 126 as u8 758 raw[748] = 157 as u8 759 raw[749] = 32 as u8 760 raw[750] = 76 as u8 761 raw[751] = 213 as u8 762 raw[752] = 115 as u8 763 raw[753] = 253 as u8 764 raw[754] = 38 as u8 765 raw[755] = 222 as u8 766 raw[756] = 5 as u8 767 raw[757] = 212 as u8 768 raw[758] = 83 as u8 769 raw[759] = 195 as u8 770 raw[760] = 11 as u8 771 raw[761] = 104 as u8 772 raw[762] = 6 as u8 773 raw[763] = 165 as u8 774 raw[764] = 23 as u8 775 raw[765] = 210 as u8 776 raw[766] = 140 as u8 777 raw[767] = 62 as u8 778 raw[768] = 47 as u8 779 raw[769] = 164 as u8 780 raw[770] = 158 as u8 781 raw[771] = 84 as u8 782 raw[772] = 19 as u8 783 raw[773] = 245 as u8 784 raw[774] = 79 as u8 785 raw[775] = 112 as u8 786 raw[776] = 47 as u8 787 raw[777] = 112 as u8 788 raw[778] = 12 as u8 789 raw[779] = 74 as u8 790 raw[780] = 96 as u8 791 raw[781] = 58 as u8 792 raw[782] = 92 as u8 793 raw[783] = 42 as u8 794 raw[784] = 225 as u8 795 raw[785] = 221 as u8 796 raw[786] = 192 as u8 797 raw[787] = 218 as u8 798 raw[788] = 118 as u8 799 raw[789] = 87 as u8 800 raw[790] = 179 as u8 801 raw[791] = 243 as u8 802 raw[792] = 136 as u8 803 raw[793] = 17 as u8 804 raw[794] = 102 as u8 805 raw[795] = 38 as u8 806 raw[796] = 245 as u8 807 raw[797] = 214 as u8 808 raw[798] = 107 as u8 809 raw[799] = 80 as u8 810 raw[800] = 35 as u8 811 raw[801] = 242 as u8 812 raw[802] = 182 as u8 813 raw[803] = 116 as u8 814 raw[804] = 26 as u8 815 raw[805] = 199 as u8 816 raw[806] = 109 as u8 817 raw[807] = 181 as u8 818 raw[808] = 211 as u8 819 raw[809] = 27 as u8 820 raw[810] = 223 as u8 821 raw[811] = 27 as u8 822 raw[812] = 139 as u8 823 raw[813] = 141 as u8 824 raw[814] = 229 as u8 825 raw[815] = 95 as u8 826 raw[816] = 219 as u8 827 raw[817] = 81 as u8 828 raw[818] = 215 as u8 829 raw[819] = 179 as u8 830 raw[820] = 248 as u8 831 raw[821] = 198 as u8 832 raw[822] = 97 as u8 833 raw[823] = 99 as u8 834 raw[824] = 87 as u8 835 raw[825] = 216 as u8 836 raw[826] = 238 as u8 837 raw[827] = 174 as u8 838 raw[828] = 176 as u8 839 raw[829] = 213 as u8 840 raw[830] = 188 as u8 841 raw[831] = 249 as u8 842 raw[832] = 87 as u8 843 raw[833] = 245 as u8 844 raw[834] = 207 as u8 845 raw[835] = 3 as u8 846 raw[836] = 223 as u8 847 raw[837] = 161 as u8 848 raw[838] = 192 as u8 849 raw[839] = 80 as u8 850 raw[840] = 139 as u8 851 raw[841] = 247 as u8 852 raw[842] = 165 as u8 853 raw[843] = 46 as u8 854 raw[844] = 156 as u8 855 raw[845] = 162 as u8 856 raw[846] = 34 as u8 857 raw[847] = 113 as u8 858 raw[848] = 57 as u8 859 raw[849] = 8 as u8 860 raw[850] = 106 as u8 861 raw[851] = 34 as u8 862 raw[852] = 168 as u8 863 raw[853] = 137 as u8 864 raw[854] = 160 as u8 865 raw[855] = 38 as u8 866 raw[856] = 130 as u8 867 raw[857] = 154 as u8 868 raw[858] = 8 as u8 869 raw[859] = 106 as u8 870 raw[860] = 162 as u8 871 raw[861] = 13 as u8 872 raw[862] = 248 as u8 873 raw[863] = 175 as u8 874 raw[864] = 213 as u8 875 raw[865] = 4 as u8 876 raw[866] = 121 as u8 877 raw[867] = 42 as u8 878 raw[868] = 234 as u8 879 raw[869] = 183 as u8 880 raw[870] = 199 as u8 881 raw[871] = 236 as u8 882 raw[872] = 252 as u8 883 raw[873] = 224 as u8 884 raw[874] = 178 as u8 885 raw[875] = 92 as u8 886 raw[876] = 6 as u8 887 raw[877] = 113 as u8 888 raw[878] = 17 as u8 889 raw[879] = 196 as u8 890 raw[880] = 133 as u8 891 raw[881] = 223 as u8 892 raw[882] = 215 as u8 893 raw[883] = 11 as u8 894 raw[884] = 251 as u8 895 raw[885] = 125 as u8 896 raw[886] = 254 as u8 897 raw[887] = 208 as u8 898 raw[888] = 190 as u8 899 raw[889] = 94 as u8 900 raw[890] = 4 as u8 901 raw[891] = 185 as u8 902 raw[892] = 17 as u8 903 raw[893] = 228 as u8 904 raw[894] = 70 as u8 905 raw[895] = 144 as u8 906 raw[896] = 27 as u8 907 raw[897] = 65 as u8 908 raw[898] = 110 as u8 909 raw[899] = 4 as u8 910 raw[900] = 185 as u8 911 raw[901] = 193 as u8 912 raw[902] = 195 as u8 913 raw[903] = 199 as u8 914 raw[904] = 139 as u8 915 raw[905] = 245 as u8 916 raw[906] = 110 as u8 917 raw[907] = 208 as u8 918 raw[908] = 23 as u8 919 raw[909] = 15 as u8 920 raw[910] = 94 as u8 921 raw[911] = 95 as u8 922 raw[912] = 232 as u8 923 raw[913] = 143 as u8 924 raw[914] = 23 as u8 925 raw[915] = 247 as u8 926 raw[916] = 36 as u8 927 raw[917] = 46 as u8 928 raw[918] = 194 as u8 929 raw[919] = 199 as u8 930 raw[920] = 139 as u8 931 raw[921] = 160 as u8 932 raw[922] = 38 as u8 933 raw[923] = 118 as u8 934 raw[924] = 224 as u8 935 raw[925] = 130 as u8 936 raw[926] = 154 as u8 937 raw[927] = 8 as u8 938 raw[928] = 106 as u8 939 raw[929] = 34 as u8 940 raw[930] = 168 as u8 941 raw[931] = 9 as u8 942 raw[932] = 8 as u8 943 raw[933] = 31 as u8 944 raw[934] = 47 as u8 945 raw[935] = 130 as u8 946 raw[936] = 184 as u8 947 raw[937] = 184 as u8 948 raw[938] = 31 as u8 949 raw[939] = 113 as u8 950 raw[940] = 97 as u8 951 raw[941] = 30 as u8 952 raw[942] = 46 as u8 953 raw[943] = 30 as u8 954 raw[944] = 63 as u8 955 raw[945] = 82 as u8 956 raw[946] = 15 as u8 957 raw[947] = 191 as u8 958 raw[948] = 1 as u8 959 gv_check_eq("CRC32 independent known answer" as *u8, nx_crc32("123456789" as *u8, 9), 0xcbf43926, ctr) 960 let data: *u8 = vf_member_checked(raw, 949, 8, 10592, 677725257, out) 961 gv_check_eq("real garment deflate CRC state" as *u8, out[1], VF_MD_INFLATED, ctr) 962 gv_check_eq("real garment decoded bytes" as *u8, out[0], 10592, ctr) 963 gv_check_eq("real garment expected CRC" as *u8, out[2], 677725257, ctr) 964 gv_check_eq("real garment actual CRC" as *u8, out[3], 677725257, ctr) 965 if (data as i64) == 0 { return 1 } 966 vf_member_checked(data, 10592, 0, 10592, 677725257, out) 967 gv_check_eq("real garment STORED parity" as *u8, out[1], VF_MD_STORED, ctr) 968 vf_member_checked(data, 10592, 0, 10593, 677725257, out) 969 gv_check_eq("STORED declared-size mismatch refuses" as *u8, out[1], VF_MD_SIZE_MISMATCH, ctr) 970 vf_member_checked(raw, 949, 8, 10592, 677725256, out) 971 gv_check_eq("changed expected CRC refuses" as *u8, out[1], VF_MD_CRC_MISMATCH, ctr) 972 gv_check_eq("CRC refusal preserves measured bytes" as *u8, out[0], 10592, ctr) 973 gv_check_eq("CRC refusal preserves actual CRC" as *u8, out[3], 677725257, ctr) 974 data[0] = 91 as u8 975 vf_member_checked(data, 10592, 0, 10592, 677725257, out) 976 gv_check_eq("corrupt real JSON member refuses before semantic read" as *u8, out[1], VF_MD_CRC_MISMATCH, ctr) 977 vf_member_checked(raw, 949, 99, 10592, 677725257, out) 978 gv_check_eq("unsupported method named" as *u8, out[1], VF_MD_UNSUPPORTED, ctr) 979 vf_member_checked(raw, 949, 8, 10591, 677725257, out) 980 gv_check_eq("deflate decoded-size mismatch refuses" as *u8, out[1], VF_MD_FAILED, ctr) 981 vf_member_checked(raw, 0, 0, 0, 0, out) 982 gv_check_eq("empty stored member integrity" as *u8, out[3], 0, ctr) 983 let rc: i64 = gv_verdict("VARFACTS-MEMBER-T139" as *u8, ctr, "real non-explicit garment member; CRC integrity and size refusal" as *u8 ) 984 return rc 985}