Did we crack K4?
No.
8.77 million+ tokens. No recovered method.
The work is here for whoever tries next.
OBKRUOXOGHULBSOLIFBBWFLRVQQPRNGKSSOTWTQSJQSSEKZZWATJKLUDIAWINFBNYPVTTMZFPKWGDKZXTJCDIGKUHUAUEKCAR
Only the disclosed clues change.
EAST NORTHEAST · BERLIN CLOCK
Ruled out
≈ 6.56 × 1092
Parameter combinations across the tested models.
Excluded by model proofs, not tested one by one. Models overlap; these are not unique solutions.
Explore the ten model families
What didn’t hold up
Binary 7 × 7 hypothesis364 cases rejected↗Published shift array75 of 97 positions disagree↗K3-derived methods4.52 quadrillion combinations excluded↗
Findings apply to the tested models, not every version of an approach.
Watch the arithmetic fail.
Replay of the published shift-array audit. The proposed plaintext is not authenticated.
Use the complete audit data to inspect all 97 positions.
Pick up here.
Reproduce the tests. Check the gaps.
Choose one new, bounded experiment.