Phase 17 · Lesson 06

SignIn SignOut and Session Lifecycle

≈ 2 min core reading · 242 source/companion words
Learning contract

What you should be able to do after this

  • Explain SignIn SignOut and Session Lifecycle without relying on framework buzzwords.
  • Connect the lesson to the phase outcome: Integrate Supabase Auth into Next.js with correct browser/server clients, cookie/session behavior, sign-up/sign-in/sign-out, and protected routing.
  • Reproduce the relevant behavior and verify it with evidence.
  • Diagnose at least one representative failure instead of guessing.
Figure 17.6 — TaskFlow boundary map
auth form
Supabase Auth
session/cookies
Next.js server/client auth helpers
protected UI
access token handoff
This lesson belongs to Phase 17. Keep the full request/data path visible even when today's code changes only one box.
Instructor workflow: predict first → implement the smallest slice → run it → inspect evidence → break one assumption → diagnose → explain it back. Do not copy the whole code block before understanding the first failing boundary.

Sign-In, Sign-Out & Session Lifecycle Create and terminate real Supabase sessions without confusing UI state with security state

Phase 17 - Supabase Authentication Volume 05 - Authentication & Security

Architecture milestone

Sign in

v

Cookie session

v

Authenticated use

v

Local sign out

Phase 17 implements cookie-based Supabase Auth in Next.js. NestJS token verification remains Phase 18.

Sign-in establishes the cookie-backed session TaskFlow uses a Server Action to submit email/password to Supabase Auth. When authentication succeeds, @supabase/ssr writes the session into cookies through the server client/response path.

const { error } = await supabase.auth.signInWithPassword({ email, password, })

if (error) { redirect('/login?error=Unable+to+sign+in') }

revalidatePath('/', 'layout') redirect('/account')

Why the public error is generic Supabase sign-in errors can intentionally avoid distinguishing a missing account from a wrong password. TaskFlow preserves that privacy behavior instead of displaying account-enumeration hints.

Sign-out scope is a product decision Supabase JavaScript signOut supports global, local, and others scopes. JavaScript defaults to global. TaskFlow explicitly chooses local for the ordinary Sign out button so one browser session does not unexpectedly terminate the user on every other device.

Code
await supabase.auth.signOut({ scope: 'local' })

Scope Meaning

local Terminate the current session only

global Terminate all refresh sessions for the user

others Terminate other sessions while keeping current session

Access-token nuance

Revoking/signing out refresh-session state does not magically invalidate an already issued access token before its exp time. This is why short access-token lifetimes and server verification still matter.

Executable lesson studio · authentication

Now turn the explanation into engineering skill.

Authentication answers who the request represents. Treating decoded or client-supplied identity as trusted is a security boundary failure.

By the end, you should be able to

  • Explain SignIn SignOut and Session Lifecycle in terms of concrete inputs, ownership, outputs, and evidence.
  • Implement or reproduce the smallest TaskFlow slice that demonstrates this authentication concept.
  • Diagnose one representative authentication failure using observable evidence instead of trial-and-error.
Figure 17.6B — Mental model
credentials/session
token
verification
trusted identity
protected operation
Read left-to-right while implementing. When debugging, walk right-to-left until the first observed fact differs from your prediction.
Code-along sequence

One coherent change at a time

  1. 01

    Restate the goal of “SignIn SignOut and Session Lifecycle” as one observable behavior. Write the success signal before touching code.

  2. 02

    Trace the boundary map: credentials/session → token → verification → trusted identity → protected operation. Mark the one boundary this lesson changes.

  3. 03

    Inspect the current repository state and record the exact files, route, table, or runtime involved. Avoid creating an abstraction before you can name the existing owner.

  4. 04

    Implement the smallest vertical slice. Add one coherent change, run the narrowest verification command, and read the output before continuing.

  5. 05

    Connect the slice to TaskFlow’s phase artifact: Working TaskFlow authentication UI/session integration whose server-side checks are explicit and ready to hand tokens to NestJS.. Verify behavior from the outside as a user or API client would.

  6. 06

    Create one controlled failure that is safe to reproduce. Predict the symptom first, capture evidence, locate the earliest broken boundary, then fix only that cause.

  7. 07

    Close the reference and rebuild or explain the core change from memory. Record what you would monitor or test before trusting the same change in production.

tsVerify, then construct trusted identity
const token = readBearerToken(request);
const claims = await verifier.verify(token);
request.user = {
  id: claims.sub,
  email: claims.email,
};

Do not copy this as a finished answer. Predict what each boundary does, type the smallest useful slice, run it, then compare the result with your prediction.

Verification

Prove the happy path

  1. Run the narrowest relevant command or request and require a clean exit/status.
  2. Inspect the boundary-specific evidence: terminal output, Network panel, database row/query plan, test report, container health, or deployment logs.
  3. Repeat the behavior once after the change so a one-off cached or stale result cannot masquerade as success.
Break it on purpose

Build debugging memory

  1. Relying only on client-side route hiding
  2. Change one assumption in the authentication example—identity, input, configuration, ordering, connectivity, or state—and predict the exact symptom before running it.
SymptomInvestigation path
401 after login

Inspect whether a token exists, whether it is expired, which issuer/audience signed it, and what the API verifier expects.

Identity differs from UI

Trust only verified server claims; never repair identity by accepting a client-sent user id.

Closed-reference challenge

Can you transfer the idea?

Without copying the final source, create a second small scenario that applies “SignIn SignOut and Session Lifecycle” to a different TaskFlow resource or input. Write the acceptance criteria first, implement it, and provide the evidence that each criterion is satisfied.

Explain-back

Answer these without reopening the solution

  1. What problem does SignIn SignOut and Session Lifecycle solve in TaskFlow, and what would be observably wrong without it?
  2. Which part of the authentication boundary owns the decision, and which neighboring layer must not own it?
  3. What evidence proves the happy path instead of merely suggesting it worked?
  4. Name one realistic failure or abuse case and the first place you would inspect.
  5. If requirements doubled tomorrow, which part of this design should stay stable and which part is allowed to change?
Lesson studio

Turn the reading into skill

01

Do it

Inspect the session/access token and prepare the boundary for NestJS verification without exposing service-role credentials.

Use the smallest change that demonstrates this lesson. Stop after it works and capture evidence.
02

Break it safely

Relying only on client-side route hiding

Predict the symptom before causing the failure. Then locate the earliest boundary where reality diverges from expectation.
03

Explain it back

Why does this responsibility live here, what input does it trust, what output proves success, and what would go wrong if another layer owned it?

If your explanation is vague, repeat the boundary trace before moving on.
Exit ticket

Before marking complete

Close the reference. Reproduce the core idea from memory or explain the exact request/data flow aloud. Then check your diff or notes for accidental shortcuts that bypass validation, authorization, error handling, or verification earned in earlier phases.