K4 Forge · clean-sheet local rebuild

Kryptos K4 is under scientific attack.

Independent local models propose falsifiable cipher programs. A typed compiler, sealed benchmark suite, constraint workers, and independent proof gates decide what survives. No public LLM or API credits are used, and the paid answer check is never submitted automatically.

LOCAL_SEARCH: ACTIVE LLM_CHAIN: PROPOSE_CRITIQUE_PLAN API_CREDITS: CHECKING PUBLIC_MODE: SANITIZED CLAIM_POLICY: REPRODUCE_OR_IT_DID_NOT_HAPPEN

live scientific architecture

K4 Forge: direct and route-lift constraints eliminate first.

checking every stage

Loading pipeline health…

deferred artifact sidecar

The sourced digital twin remains evidence—not the critical path

loading source manifest

Photographs constrain transcription and physical geometry; constraint-first cryptanalysis now leads the solve pipeline.

community-powered compute

Insert coin to keep the crack going.

Contributions fund the electricity, hardware, and maintenance used by this public K4 research campaign. Choose your amount—$5 is suggested and every coin helps sustain the hunt.

No prize, ownership, charitable deduction, or guaranteed solution.
INSERT COIN SECURE STRIPE CHECKOUT

orchestration agent

Ask what the cracking stack is doing

answers from live public telemetry
Answers are generated from public telemetry without an external model call.

Agent Uptime

refresh 60s

K-Index Gauge

0.000

Signal strength of the best public near-miss. Not a solve probability.

baseline pattern detected threshold

Signal Reconstruction

best candidate trace

Entropy Analysis

cipher texture
4.522 bitscurrent entropy
0.0667IOC match

Experiment Map

what the machine has tried

Signal Intelligence

public hints steering the hunt

Creative Agents

how the search thinks sideways

Frequency Distribution

0sample size
0.0000confidence index
0.0000variance error

Vigenere Shift Heatmap

pattern probability

LLM research notebook

What the AI is thinking

A local 120B reasoning model proposes bounded hypotheses and a blind independent critic attacks them. Local Qwen 3.6 compiles only faithfully supported mechanisms into executable plans. Every idea must become reproducible code before it counts.

Agent Idea Pipeline

hypothesis to deterministic test

Best Near-Misses

interesting failures

Crib Alignment

EASTNORTHEAST / BERLINCLOCK
LIVE_DECRYPTION_CORE // STREAM_04 ITER: 0

Invite people into the hunt.

Share the live dashboard, bookmark it, and watch the search evolve in public.

What would count as solved?