[andy-stark-redis]

Adds a member_expiration step to the sets_tutorial Jedis example (SADDEX with SAddExParams, SADD, STTL) and wraps the matching redis-cli block in the Member expiration section of sets.md in a clients-example shortcode (lang_filter="Java-Sync").

Warning

Do not merge yet. This PR documents client APIs that are on the clients' default branches but in no stable release. Base is feature-oss-8.12 (the 8.12 release branch), not main.

Run-verified on redis:8.12-rc2 (the server reports redis_version:8.11.241, the rc2 version string; upstream tests gate at 8.11.240). The whole SetsExample ran against Jedis master c701a365 with its assertions; the new step printed 1, 1, [900, 900, -1].

Park manifest

Ticket: DOC-7293
Parked at: 2026-11-10
Trigger to pick up: jedis#4828 merge commit e7c37d3d3d5e is an ancestor of a non-prerelease Jedis tag (gh api repos/redis/jedis/compare/e7c37d3d3d5e...<tag>, expecting behind_by: 0), and Redis 8.12 is GA.
Labels: parked, do not merge yet

Pinned sources (state observed at park time, 2026-11-10)

Source	State	SHA	Notes
jedis#4828	merged 2026-11-06, base master	head 01c6bebd5e58, merge e7c37d3d3d5e	not in v8.0.2 or v8.1.0-beta2 (beta2 was tagged 2026-10-26)
jedis master	—	c701a365ab46	the example was compiled against this
StackExchange.Redis#3340	merged into its 8.12 branch	merge 9597c4be85f8	[Experimental] under SER011; integration PR #3343 open
lettuce#3991	merged 2026-11-09	merge c8c11f7e454b	no tag
predis#1749	merged	merge 1685693b83ef	not in v3.7.1

Re-fetch: gh api repos/redis/jedis/pulls/4828 --jq '{state, merged, merge: .merge_commit_sha}'.

Observed shape the page assumes

Confidence: MEDIUM for semantics (set members get a per-member TTL, STTL returns -1 for no expiry); LOW for identifiers, which are unreleased.
Identifiers the step uses, all on Jedis master (SetCommands.java, params/SAddExParams.java):

• SAddExParams.sAddExParams().ex(long), inherited ex from BaseSetExParams
• long saddex(String key, SAddExParams params, String... members)
• long sadd(String, String...)
• List<Long> sttl(String key, String... members)
  Expected values: 1, 1, [900, 900, -1].

Re-check checklist

• Run on a real server: done on redis:8.12-rc2, 2026-11-10. Repeat on the GA image and the released Jedis.
• Re-compile against the released Jedis; confirm the four identifiers above.
• The harness's pinned Jedis (run.sh sets_tutorial:jedis) must be bumped, or this step won't compile there.
• Add each other client to the lang_filter allowlist only once its set-expiry API ships: lettuce (docs: remove duplicate 'the' in Redis Cloud SAML SSO guides #3991 merged), predis (Improve heading 3 and heading 4 styles for better visual hierarchy #1749 merged), redis-py/go-redis/node-redis (support unconfirmed, I did not read their source), SE.Redis (DEV: (cmds) update FT.PROFILE and FT.HYBRID commands #3340, experimental), redis-rb (unknown).
• Decide whether the other redis-cli blocks (SPEXPIRE/SPTTL/SPERSIST, SEXPIREAT/SEXPIRETIME) get steps too.
• Existing srem step prints res18 after assigning res19; pre-existing, left alone.

On unpark, then

Run /unpark with this PR's number. /unpark Steps 4–5 own the closing sequence; /finalize is deferred until then.

[github-actions]

DOC-7293

[github-actions]

Staging links:
https://redis.io/docs/staging/DOC-7293-set-member-expiration-examples/develop/data-types/sets/

[github-actions]

🧠 Redis Memory

Found 5 related items from repository history (5 new this commit):

• PR — DOC-7292 Add API mappings for the new Redis 8.12 commands [PARKED] 🆕

  Adds data/command-api-mapping/ entries (15 files) for the commands new in Redis 8.12, and regenerates data/command-api-mapping.json (add

• PR — DOC-7033 Add Ruby (redis-rb) vector set client docs [PARKED] 🆕

  Adds content/develop/clients/ruby/vecsets.md and a new home_vecsets example

• PR — DOC-7226 Replace deprecated SETEX calls in the error-handling snippets 🆕

  Second slice of DOC-7226 (deprecated client API calls in example code): the error-handling snippets. Independent of DOC-7226 Replace deprecated node-redis quit()/disconnect() and fix harness-exposed examples #4374; no shared files.

• PR — DOC-6829 Add preemptive Spring Data Redis JSON docs [PARKED] 🆕

  Summary

• PR — DOC-7213 Migrate Jedis examples to RedisClient and raise harness Jedis pins to 8.0.2 🆕

  Moves the Jedis docs and examples off the connection APIs that Jedis 8.0 removed, and raises the harness Jedis pins to 8.0.2. Ticket: [DOC-7

Memory updated at 7f5ec33