(git-record date, not publication date)
completed
ordinary mathematical derivation
support work
reconciled
Omitting an odd prime p from S caps occupied residue classes mod p, not |A|, and only p = 2 caps |A|, at 2; a descent g*(k) <= 2^k exists for primitive A and is tight at k = 1, 2, but its per-prime loss cannot go below 2 because the residue relaxation that parity, residue classes, prime deletion and the power-of-2 lemma all factor through has optimum exactly 2^k.
hunts/support_7ddfee4b (Record 76 of 98 in chronological sequence)
Guiding Question
Is there a descent recurrence for g(k) whose per-prime loss tends to 1 rather than 2, and does omitting a small prime from S cap |A|?
Method & Verification
The omission claim was refuted by explicit A inside 1 + pZ at p = 3, 5, 7, 11, re-verified by trial division, and the loss-2 wall was proved by exhibiting a relaxation whose optimum is exactly 2^k.
Lineage & Relationships
Primary Sources (at pin 8fa46e134)
Editorial Notes
No HuntSpec.question field; question filled from the bounded question in MISSION.md. Disposition maps settled, in both directions to completed. Theorem 4 covers primitive sets only; the divisible part A_p escapes the descent. Nothing here improves the classical 3*2^(k-1).
Date Provenance
commit acaf28d626f1216eea344c4c7ae89e5ee691d31f, hunts/support_7ddfee4b/RESULTS.md, author 2026-08-24T20:57:10-05:00