Skip to content

馃悰 Resolve renamed workspace aliases by repository identity - #3

Merged
tjakoen merged 1 commit into
mainfrom
codex/workspace-redirects
Oct 4, 2026
Merged

tjakoen merged 1 commit into
mainfrom
codex/workspace-redirects

Conversation

@tjakoen

@tjakoen tjakoen commented Oct 4, 2026

Copy link
Copy Markdown
Owner

Change

Resolve redirected workspace names to a canonical workspace only when current GitHub metadata confirms one physical repository and the readable receipt text matches across all aliases. Genuine duplicate repositories and unreadable or differing receipt evidence remain held.

Evidence

  • Focused actual-loader checks cover renamed aliases, distinct repository IDs, differing receipts and missing receipts.
  • Independent static review cleared the repair after the missing-receipt guard was added.
  • The focused live read restored all nine affected joins without changing scores.
  • Browser regression completed successfully across the demo views.
  • Syntax, public hygiene and whitespace checks passed.

No grade, private identity data or student delivery is included.

@tjakoen
tjakoen merged commit 073ef1f into main Oct 4, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant