live scientific architecture
K4 Forge: direct and route-lift constraints eliminate first.
Loading pipeline health…
deferred artifact sidecar
The sourced digital twin remains evidence—not the critical path
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.orchestration agent
Ask what the cracking stack is doing
K-Index Gauge
0.000Signal strength of the best public near-miss. Not a solve probability.
Signal Reconstruction
best candidate traceEntropy Analysis
cipher textureExperiment Map
what the machine has triedSignal Intelligence
public hints steering the huntCreative Agents
how the search thinks sidewaysFrequency Distribution
Vigenere Shift Heatmap
pattern probabilityLLM 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.