Repository navigation

Separate directory record IDs from public identifiers - #309

Merged

admdly merged 4 commits into

mainfrom

codex/directory-identity

Nov 7, 2026

Merged

Separate directory record IDs from public identifiers#309
admdly merged 4 commits into
mainfrom
codex/directory-identity

Commits on Nov 7, 2026
- Separate directory record IDs from public identifiers
  admdly
  committed
  9191161
- Address directory identity review findings
  admdly
  committed
  2cf872e
- Simplify identity helpers and regression coverage
  admdly
  committed
  aa18c2c
- Correct identity lookup comments
  admdly
  committed
  d846c48