What the method does with the 24 known letters.
The carved letters go in at the top; the reading comes out at the bottom.
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.
4x4 affine Hill, blocks from place 1, letters A = 0: equations for row 2 (the second letter of each block)
block places carved block numbers known second letter
21-24 WFLR [22, 5, 11, 17] E = 4
25-28 VQQP [21, 16, 16, 15] N = 13
29-32 RNGK [17, 13, 6, 10] H = 7
33-36 SSOT [18, 18, 14, 19] T = 19
65-68 YPVT [24, 15, 21, 19] R = 17
69-72 TMZF [19, 12, 25, 5] C = 2
73-76 PKWG [15, 10, 22, 6] K = 10
row 2 has five unknowns (four table entries and a shift); each line above is one equation
Family, key space, the constraint under test, and the clues it reads.
Family 8 open item 'the 4x4 affine' (families.md); the HILL column of the tableau (C21, Bauer 2016-17). Model: blocks of n carved letters c (n = 2-5), message block p = B c + w mod 26, B invertible mod 26, w any vector (w = 0 is plain Hill). Row r of (B, w) has n + 1 unknowns; each block whose r-th message letter is known gives one equation. Solved exactly mod 2 and mod 13 (all solutions enumerated when a row is underdetermined, up to a cap) and joined by the Chinese remainder theorem; a setting survives if every row has a solution and some choice makes B invertible. Block alignments 0 to n-1 (the last partial block left plain); numberings: standard or KRYPTOS order, 0- or 1-based. Ten shuffled coppers.
Written before the run; the result decides it.
No setting with at least one check survives for n = 2-4, plain or affine; n = 5 affine has no checks (6 unknowns per row, about 5 equations) and is reported as untestable. Zero candidates.
The harness's record: candidates, gates, loss, and the negative result this experiment leaves behind.
0candidates returned
0passed every gate
0/24known letters, best
–lowest loss
nonechampion before
2x2 plain: K4 {'alive': 0, 'dead': 8, 'open': 0}, controls alive [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]; 2x2 affine: K4 {'alive': 0, 'dead': 8, 'open': 0}, controls alive [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]; 3x3 plain: K4 {'alive': 0, 'dead': 12, 'open': 0}, controls alive [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]; 3x3 affine: K4 {'alive': 0, 'dead': 12, 'open': 0}, controls alive [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]; 4x4 plain: K4 {'alive': 0, 'dead': 16, 'open': 0}, controls alive [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]; 4x4 affine: K4 {'alive': 0, 'dead': 16, 'open': 0}, controls alive [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]; 5x5 plain: K4 {'alive': 0, 'dead': 20, 'open': 0}, controls alive [0, 0, 0, 0, 0, 0, 0, 0, 0, 1]; 5x5 affine: K4 {'alive': 0, 'dead': 6, 'open': 14}, controls alive [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]. K4 alive with checks: 0.
What was searched, as the harness recorded it.
- family
- affine and plain Hill, sizes 2-5, every alignment, four numberings, solved row by row from every known letter
- by size
- 2x2 plain
- k4
- alive
- 0
- dead
- 8
- open
- 0
- controls alive
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
- controls open
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
- 2x2 affine
- k4
- alive
- 0
- dead
- 8
- open
- 0
- controls alive
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
- controls open
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
- 3x3 plain
- k4
- alive
- 0
- dead
- 12
- open
- 0
- controls alive
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
- controls open
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
- 3x3 affine
- k4
- alive
- 0
- dead
- 12
- open
- 0
- controls alive
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
- controls open
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
- 4x4 plain
- k4
- alive
- 0
- dead
- 16
- open
- 0
- controls alive
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
- controls open
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
- 4x4 affine
- k4
- alive
- 0
- dead
- 16
- open
- 0
- controls alive
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
- controls open
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
- 5x5 plain
- k4
- alive
- 0
- dead
- 20
- open
- 0
- controls alive
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 1
- controls open
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
- 5x5 affine
- k4
- alive
- 0
- dead
- 6
- open
- 14
- controls alive
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
- controls open
- 12, 16, 10, 12, 20, 16, 10, 14, 12, 20
- k4 alive
- none
- controls
- 10 shuffled coppers (seed 105), identical test