SIDE QUEST 01 / CRYPTANALYSIS / RESEARCH LOG

Kryptos K4

A public-facing field notebook for my attempt to understand the mechanism behind the 97-character K4 passage. The interesting part is not a guessed plaintext; it is the progressive reduction of a huge hypothesis space into precise, falsifiable families.

STATUSLIVE · LOCAL
RUNSBROWSER · NO API
INTERACTIVE BELOW ↓
OBKRUOXOGHULBSOLIFBBWFLRVQQPRNGKSSOTWTQSJQSSEKZZWATJKLUDIAWINFBNYPVTTMZFPKWGDKZXTJCDIGKUHUAUEKCAR
THE SEARCH STANDARD

Eliminate mechanisms, not mysteries.

Twenty-four plaintext positions are anchored by the known EAST, NORTHEAST, BERLIN and CLOCK clues. I use those anchors as constraints, then ask whether a precisely defined cipher family can satisfy them and still recover coherent language elsewhere. A null result is useful only when the tested family and search completeness are explicit.

01 / EXACT STRUCTURE

Two self-encryptions matter

Within the crib windows, ciphertext equals plaintext at positions 32 and 73: S→S and K→K. For Quagmire III, a conjugated non-zero shift has no fixed points, so these positions force zero keystream states. That creates a strong algebraic filter before any language scoring.

02 / NEGATIVE EVIDENCE

864,788 → 0

An exact feasibility screen of the recorded tied keyword/composite Quagmire III family tested 864,788 systems and returned no survivors. That closes that bounded construction—not every possible QIII mechanism.

03 / GLOBAL INVARIANT

Period 8 falls before the search

The largest conceptual update is a coincidence invariant that survives arbitrary alphabet substitutions. The once-central single-layer period-8 architecture is statistically excluded at about P ≈ 2×10⁻⁵. This is stronger than failing to find a good key: it screens the entire fixed-state bijective family under the stated English model.

04 / METHODOLOGY

Controls catch bad conclusions

A Round-5 review found an incomplete QIII enumerator: fixing the first key state to zero was not a valid gauge for that tie mode. Earlier progressive-key “eliminations” were withdrawn and rerun. Planted controls and completeness tests are part of the result, not optional polish.

INTERACTIVE GLOBAL SCREENCRIBS × COINCIDENCE INVARIANT
LIVEENGINE: CLIENT-SIDE EVIDENCE MAP

This visual summarizes the current crib-consistency × coincidence-invariant map from the research record. It is a screening result, not a plaintext solution.

CHEAP TEST BEFORE EXPENSIVE SEARCH

The coincidence invariant changed the search

A bijective substitution can rename letters, but it cannot change which letters are equal. Group positions by a proposed state schedule and compare the within-state equality pattern with natural English. This tests arbitrary alphabets without guessing either alphabet.

8STAT-EXCLUDEDP ≈2×10⁻⁵
crib-inconsistentcrib-feasible, invariant-rejectedsurvives this screen
WHY PERIOD 8 MATTERS

Period 8 was the architecture around which several earlier rounds were organized because it is the smallest weak periodic chart compatible with the cribs. The invariant later showed that this attractive minimal model is statistically inconsistent with a single-layer fixed-state bijection of natural English. That negative result made many expensive period-8 searches retrospectively unnecessary.

INTERACTIVE HYPOTHESIS HISTORYROUND 1 → CURRENT FRONTIER
ROUND 1 → CURRENT FRONTIER

Hypothesis tree

Follow branches as they are tested, narrowed, corrected, eliminated or kept alive.

openclosedcorrecteddemotedfinding
INTERACTIVE RESEARCH MAPRUNNING IN BROWSER · NO API
LIVEENGINE: CLIENT-SIDE RESEARCH VISUALIZATION

This interface summarizes recorded experiments from the Kryptos research repository. It does not claim a K4 solution; statuses apply only to the precisely tested model families.

97 CHARACTER CIPHERTEXTKnown-plaintext constraint map
0O·1B·2K·3R·4U·5O·6X·7O·8G·9H·10U·11L·12B·13S·14O·15L·16I·17F·18B·19B·20W·21FE22LA23RS24VT25QN26QO27PR28RT29NH30GE31KA32SS33ST34O·35T·36W·37T·38Q·39S·40J·41Q·42S·43S·44E·45K·46Z·47Z·48W·49A·50T·51J·52K·53L·54U·55D·56I·57A·58W·59I·60N·61F·62B·63NB64YE65PR66VL67TI68TN69MC70ZL71FO72PC73KK74W·75G·76D·77K·78Z·79X·80T·81J·82C·83D·84I·85G·86K·87U·88H·89U·90A·91U·92E·93K·94C·95A·96R·
EAST21–24
NORTHEAST25–33
BERLIN63–68
CLOCK69–73
24 / 97anchored letters
PERIOD / STATE EXPLORER

Which positions are forced into the same state?

Change the period to regroup all 97 positions by index modulo n. The two self-encrypting crib positions, 32 and 73, are especially informative for Quagmire III.

0123456701234567012345670123456701234567012345670123456701234567012345670123456701234567012345670
32 mod 8 = 0different states73 mod 8 = 1
HYPOTHESIS FAMILY

QIII · W-null n=19

open

Treating W as null changes the schedule. n=19 survives the coincidence screen and remains a particularly interesting decidable lead.

Interpretation rule“Closed” means the recorded, explicitly bounded family was eliminated—not that a broad cipher class or K4 itself was solved.
RESEARCH JOURNEY / CURRENT FRONTIER

What the search has actually taught me

  1. Start with invariants.

    Before optimizing alphabets, test properties that survive arbitrary substitutions. Coincidence structure can reject whole periodic families without searching millions of keys.

  2. Separate feasibility from readability.

    A model can satisfy all four crib blocks and still decrypt the other 73 letters into noise. Exact constraint solving answers “can this family fit?”; controlled language scoring asks whether it explains the rest.

  3. Know the decidability edge.

    At 97 characters, adding free alphabets, masks or long periods can make a model flexible enough to fit almost anything. The research therefore tracks residual degrees of freedom and prioritizes families that the available evidence can actually distinguish.

  4. Keep weak evidence weak.

    Gromark, two-clock schedules, physical/tableau-derived streams and null hypotheses are useful leads, but a suggestive score is not a solution. “Disfavoured,” “open,” and “eliminated” are intentionally different labels.

NEXT SEARCH CELLS

Where the investigation points next

The strongest remaining work is not another unconstrained brute-force sweep. It is targeted: the W-null QIII n=19 Vigenère rerun, one-slip QIII cells, unresolved two-clock cells, QI/QII progressive and period-24 cases, selected key-tied known streams, and exact tied autokeys. Families beyond the information content of K4 are labeled OPEN-K5 rather than forced into a conclusion. The research repository remains the detailed computational record; this site is the visual explanation layer.

$ k4 --evidence-firstcribs .......... 24 / 97exact filters ... firstcontrols ........ requiredoverfit guard ... activeclaim ........... none
← All side quests
← Agentic MathsAll Side QuestsA Voice Before Words →