Expose five anchored Softmax-as-linear-attention claims

Update logbook: Repro - Softmax as Linear Attention in the Large-Prompt Regime

initial commit