Experiment 146
F1.2 at 8, the last of F1.2's three cells under 0136's bound. 0145 measured design 2 on two free alphabets at length 8 (16 checks): planted English beat all four of its kept-place copies 4 times in 4. K4 now runs at 8 against 12 copies of K4 made the same way, from K4's exact witness, as 0144 did at 13 and 16.
What the method does with the 24 known letters.
With two scrambled alphabets, one for the messagethe message The 97 letters of English that Jim Sanborn wrote and enciphered. and one for the carved lettersthe carved letters The 97 letters cut into the copper at the CIA, shown at the top of every experiment page., the search noticed planted English every time at key length 8. Now it runs on the carved text at that length, against copies of the carved text that keep the letters at the 24 known places and scramble the rest.
Words in the margin are defined on the glossary page.
The carved letters go in at the top; the reading comes out at the bottom.
Design 2 on two scrambled alphabets noticed planted English at length 8 four times in four (0145). Now the carved text runs against copies of itself.
12 copies keep K4's carved letters at the 24 known places and shuffle the rest; one exact pair of alphabets fits them all and starts every search.
K4 ranks 2 of 13: closed at the measured strength. With 0144, every two-alphabet length English can decide is decided.
This experiment produced no candidate: the search ruled everything out before a full text was built. Its product is the bounded negative in section 7.
Redo the method on a few letters with pencil and paper.
The same steps run by the code on the real letters.
key length 23, Beaufort form: K4 in rows of 23; each column is one key slot
O B K R U O X O G H U L B S O L I F B B W F L
R V Q Q P R N G K S S O T W T Q S J Q S S E K
Z Z W A T J K L U D I A W I N F B N Y P V T T
M Z F P K W G D K Z X T J C D I G K U H U A U
E K C A R
the seven checks every move keeps (place(carved) + place(known) equal within a column):
column 0: R+S (24) = M+C (70)
column 1: V+T (25) = Z+L (71)
column 2: Q+N (26) = F+O (72)
column 3: Q+O (27) = P+C (73)
column 4: P+R (28) = K+K (74)
column 21: F+E (22) = T+I (68)
column 22: L+A (23) = T+N (69)
Family, key space, the constraint under test, and the clues it reads.
C27(c), C1(b). Model: 0123's Quagmire IV, C(c) = P(p) + k[i mod L], two unknown bijections, L 8 (16 checks); 0123 found K4 consistent at 8. Search: 0143's compiled tempering over both alphabets, 10 runs x 16 replicas x 625 rounds x 1,000 moves per text, start from an exact witness randomised by 400 check-keeping swaps. Copies: K4's carved letters kept at the 24 known places, the other 73 shuffled (seed 146); they share K4's witness. Rule fixed before the run: K4 above all 12 copies at a length stops the queue for replication; otherwise that length closes, sampled at the power measured in 0145 (4/4 against 4 copies).
Written before the run; the result decides it.
K4 inside its copies; F1.2 at 8 closes sampled. No reading.
The harness's record: candidates, gates, loss, and the negative result this experiment leaves behind.
L8: K4 -5.339 rank 2 of 13; stop False
What was searched, as the harness recorded it.
ZEMYBMWDBURGHAPTGCWEDEASTNORTHEASTYIDWCKUNDTOFLYPSHAYKINGSADVERBERLINCLOCKAVEFLIVATQUODEMOGOOFGLAHow this experiment sits among the others is on the lineage page; its family's open hypotheses are on the families page.