#570
Pull Requests/vercel-labs/portless/#570

test(routes): model the route table in TLA+ and guard the module boundary

Draftlahfirwants to merge intofrom
2 commits13 files changed+512-38
  1. Nothing stopped later code from going around RouteStore or breaking the port and lock rules the last change relies on.
  2. This adds a TLA+ model of RouteStore that CI checks, an architecture test that fails when code bypasses it, and moves the routes file watcher into RouteStore.
  3. Builds on #569.

Activity

4
L
test(routes): model the route table in TLA+ and guard the module boundary
6864b62
L
refactor(routes): let RouteStore watch its own routes file
7e8e83b
vercel[bot]5d ago

The latest updates on your projects. Learn more about Vercel for GitHub.

ProjectDeploymentActionsUpdated
portless ReadyPreview, v0Nov 8, 2026 5:39am UTC
socket-security[bot]5d ago

Review the following changes in direct dependencies. Learn more about Socket for GitHub.

DiffPackageSupply Chain
Security		VulnerabilityQualityMaintenanceLicense
github/​actions/​setup-java@​cf277c60eb25467037889841efdb72551f06f6c3

View full report

This pull request is a draft

Merging is unavailable until it is marked ready for review.