Back to library first takes down anything open over the editor, so the editor route is what leaving pops. Copy to next/previous page checks edit access again after reading the target page, as a reader who was just demoted can still read it. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Dara Adedeji committed on 10/13/2026, 4:08:13 AMparent0cfefbc
Checks
- SuccessfulCodeRabbitGitHub
Review rate limited
- Skippednative-replayGitHub
- Skippednative-bridgeGitHub
- Skippedlinux-buildGitHub
- Skippedwindows-testGitHub
- SkippedconvexGitHub
- SkippedanalyzeGitHub
- SkippedwebGitHub
- Skippedwindows-buildGitHub
- Skippedpresence-workerGitHub
- Successfultest (shard 0)GitHub
- Successfultest (shard 1)GitHub
- Successfulclient-contractGitHub
- SuccessfulchangesGitHub
4 files changedLine totals unavailable