T001 FINAL CHECKPOINT
Prepared 2026-10-26T08:42:03.783466+00:00

No plaintext or Noita solution was recovered. Current task computations are
stopped. New work should begin by reading lab/STATE.json and PROTOCOL.txt.

LATEST CENSUS
All12 normalized base shapes with top-orbit length78 or79 are excluded under the corrected shared-action hypotheses, with one fixed off-top exception, independent decks and no ordinary-alphabet bound.
Completed excluded shapes: 12 / 12.
Elapsed calculation time: 233.32 seconds.
Read census.json for every tested pair, explicit base map, status and branch.
Claim T001-C009 is independently reviewed: T003-R018 PASS.
The reviewer checked all 39,852 endpoint rows, 115 post-boundary pairs,
complete branch splits and 144 planted physical controls.
All cycle-extension results retain the corrected 29/29/17 assumptions.
The separate full-83-cycle 27/27/1 compression does not alter that scope.

MODEL NORMALIZATION
A permutation with top-cycle length L can be conjugated while keeping top0:
label R^i(0) as i for 0<=i<L. Label the remaining cycles in consecutive
blocks, ordered by their partition sizes. Every fixed exception pair and
ordinary slot is carried through the same relabeling. All off-top pairs are
enumerated, so this covers the cycle shape, not just one numeric R map.

PRIOR T001 RESULTS
E001: exhaustive small synthetic decks demonstrate key/plaintext ambiguity.
E002/E003: calibrated exact recovery reaches a17-card planted example;
83-card planted recovery remains UNKNOWN. Fresh solver initialization is
documented after an early warm-start performance issue.
E004 / C004: explicit identity-base M001 witness replays all1036 symbols and
the corrected primary29-action word with82 slots and independent decks.
Independently reviewed in T003-R011.
E005: real83-card M002 pair(1,82) exact common/independent-deck queries both
timed out. Later necessary-condition propagation excluded that branch;
these SMT timeouts themselves provide no evidence of impossibility.
E006 / C005: the incoming action at E4[68] has opposite exception status to
W4[71] and E5[69] in the former M002 survivor. Physical controls verified.
E007 / C006: arbitrary M001 bases fixing top remain unresolved. Two retained
W1 action equalities require a non-top cycle length not dividing60 and at
least4 selected slots. Standalone stdlib verifier; reviewed T003-R013.
E008 / C007: top-cycle82 plus one fixed position excluded, all3321 exception
pairs. Reviewed by independent literal engine in T003-R015.
E009 / C008: all five top-cycle80/81 shapes excluded,16605 pair-shape cases.
Reviewed by independent literal engine in T003-R016.
E010 / C009: all 12 top-cycle78/79 shapes, reviewed T003-R018.
Together, the reviewed 19 cycle shapes cover every base whose top orbit
has length 78 through 83, under the corrected 29/29/17 action hypotheses.
They cover 63,099 pair-shape cases; this is not an arbitrary-base exclusion.

IMPORTANT CORRECTION
The first sprint's full30-action assumption was too strong for a30-symbol
ciphertext isomorph. Under apply-action-then-emit, only29 intervening actions
are naturally shared. D003 records the correction. The original unrestricted
M001 primary-window exclusion does not survive; C004 supplies a counterexample.
Old artifacts outside lab/ remain immutable evidence. Do not promote their
old interpretation without this correction. All new E008-E010 censuses use
corrected29/29/17 actions and fresh domains.

BOUNDARIES AND RESUMABLE WORK
Top cycles below the completed cutoff remain untested. M001 arbitrary bases
fixing top with26/27 selected slots remain open. More exception types,
ordinary slot0, variable swaps, and non-deck mechanisms are outside these
exclusions. No realistic language prior or held-out plaintext was obtained.
Future work should strengthen a precise residual model, or test it against
planted controls, rather than repeating already timed-out exact searches.

FINAL RECORD CLOSURE
2026-10-26T08:59:05.339168+00:00
No calculations or searches remain running. C007/R015, C008/R016 and
C009/R018 links verified. T001 is complete for this bounded research pass.
