A bounded theorem and replayable package for exact expected-SFS identification, sharp calendar targets and folded-SFS estimands. This additive version repairs the PDF presentation and records a formula-first priority correction: Myers, Fefferman and Patterson (2008) already establish calendar/genetic-time separation, positive same-spectrum histories and exponential projection structure; Bhaskar and Song (2014) supply the finite Laplace coordinates, SFS bridge, scale equivalence and folded parity. The target-specific sharp-window synthesis is not presented as a first discovery. The result does not identify complete linked genomic laws or adjudicate the ancient human bottleneck. Producer replay, 120 tests and hostile controls establish bounded internal consistency, not unaffiliated reproduction, formal verification, specialist review or editorial peer review.