Visible User State
Welcome. Your session is ready.
Any Start port must keep the exchange non-idempotent and event-driven.
Phase 7B Session Contract Harness
A normal provider return exchanges once, hydrates the session, and redirects once.
Visible User State
Any Start port must keep the exchange non-idempotent and event-driven.
Production Routes Still Owned By SPA
The callback payload is captured before the URL is cleaned.
One-time params are removed before exchange work can be refreshed or replayed.
The backend owns token exchange and HttpOnly cookie creation.
The browser waits for the session-established signal before probing cookies.
Navigation waits until the user object exists so protected destinations do not bounce.
Scenario Assertions
Cutover Rules
Provider Shell
Query: ready
Shell: isolated
Production router: untouched