Did we crack K4?
No.

8.77 million+ tokens. No recovered method.
The work is here for whoever tries next.

Download the research ↓
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
Full count and method ↗

What didn’t hold up

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.