Add redis: Boot 4.1 + Spring Data Redis 4.1, the JDK-serialisation default vs Jackson 3 serializers, @RedisHash TTL and keyspace events, @RedisListener, and Redis as the Spring cache

Co-Authored-By: Claude Sonnet 5 <[email protected]>
Claude-Session: https://claude.ai/code/session_01B38FGKKam5SCGgwgduVAh3

redis/scripts/run-all.sh

@@ -0,0 +1,26 @@
+#!/usr/bin/env bash
+# Regenerates every file under docs/output/.
+#
+#   ./scripts/run-all.sh
+#
+# Needs a JDK 25, Maven 3.9, and redis-server and redis-cli (7.x) on the PATH. The tests start a
+# throwaway redis-server on port 6390 and stop it when the JVM exits; they refuse to run if
+# something already listens there, because they call FLUSHALL.
+#
+# Everything except transcripts 16 and 17 comes out of the test suite, so the numbers in the
+# article are assertions that fail the build if they stop being true.
+set -euo pipefail
+cd "$(dirname "$0")/.."
+
+echo "== test suite (transcripts 01-15)"
+mvn -B test
+
+echo "== javap transcript (16)"
+./scripts/capture-javap.sh >/dev/null
+
+echo "== dependency transcript (17)"
+./scripts/capture-dependencies.sh >/dev/null
+
+echo
+echo "docs/output:"
+ls -1 docs/output