Write attend(q, K, V) returning (weights, output): scaled dot-product scores (√dim scaling), softmax, weighted value mix. Run it for the query [1.0, 0.0] against the three keys/values and print the weights and output, each rounded to 2. Dot, softmax, mix — the mechanism, not the metaphor.