chore: ADR-0007/0012 superseded status + admin users ID column

ADR-0007 and ADR-0012 both superseded by ADR-0013 as of 2026-05-01.
UsersTable gains a truncated ID column for quick user identification.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
This commit is contained in:
2026-05-04 10:20:44 +00:00
parent b3cf588f2f
commit 37aec4fee1
3 changed files with 8 additions and 5 deletions

View File

@@ -1,6 +1,6 @@
# ADR-0012 — ε-greedy v2: profile features in the bandit (D=7→12)
**Status:** Promoted
**Status:** Superseded by ADR-0013 — 2026-05-01
**Date:** 2026-04-25 (accepted) / 2026-04-26 (promoted)
**Issue:** #99