Verification
Prove the happy path
- Can read and write core SQL
- Can choose keys and cardinality
- Can explain transaction atomicity
- Can justify an index from a query
Phase 07 · Lesson 13
Mastery Capstone Lab
Learning contract
What you should be able to do after this
- Explain Mastery Capstone Lab without relying on framework buzzwords.
- Connect the lesson to the phase outcome: Use relational modeling and SQL deliberately: keys, constraints, joins, transactions, indexes, and query reasoning.
- Reproduce the relevant behavior and verify it with evidence.
- Diagnose at least one representative failure instead of guessing.
Figure 7.13 — TaskFlow boundary map
Business invariant
table design
key/constraint
SQL query
query plan/index
transaction
durable rows
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.
Mastery Capstone Lab
This is the transfer exercise for Phase 07: PostgreSQL Fundamentals. The detailed lessons are now closed-book reference material. Your task is to prove that the phase outcome can be reproduced from requirements, repository evidence, and debugging—not by copying a finished implementation.
Target artifact A TaskFlow relational sketch plus SQL exercises that create, query, join, update, and constrain representative data.
Acceptance criteria - Write the behavior and constraints before implementation. - Identify the owning layer and every boundary crossed. - Implement the smallest complete vertical slice. - Verify the happy path from outside the implementation. - Demonstrate at least one expected failure path. - Run the phase-relevant quality checks. - Review the diff for accidental duplication, leaked responsibilities, missing validation/authorization, and hidden environment assumptions.
Evidence packet Save the command/request used, expected result, actual result, one failure reproduction, the fix, and a short explanation of why the final responsibility belongs where it does. This packet is more valuable than a screenshot of a green page because it demonstrates repeatable engineering reasoning.
Stretch Change one requirement after the first implementation. Measure which files must change. If a tiny domain change causes unrelated layers to move, use that evidence to discuss coupling before adding another abstraction.
Executable lesson studio · sql
Now turn the explanation into engineering skill.
A guided lesson proves you can follow. A capstone proves you can transfer the model to a requirement with fewer cues.
By the end, you should be able to
- Use relational modeling and SQL deliberately: keys, constraints, joins, transactions, indexes, and query reasoning.
- Produce a reproducible evidence packet for success and failure.
- Defend the architecture and identify one improvement without overengineering.
Figure 7.13B — Mental model
Business invariant
table design
key/constraint
SQL query
query plan/index
transaction
durable rows
Code-along sequence
One coherent change at a time
- 01
Model users, workspaces, membership, boards, lists, and tasks with primary/foreign keys on paper first.
- 02
Create a small local schema and insert data that exercises one-to-many and many-to-many relationships.
- 03
Write joins by hand and predict row counts before executing them.
- 04
Add unique/check/not-null constraints and intentionally violate each to observe database enforcement.
- 05
Wrap a multi-step change in a transaction and prove rollback preserves consistency.
- 06
Create an index for a real filter/sort pattern and compare EXPLAIN output conceptually.
- 07
Run the phase mastery checklist without looking at the provided implementation.
- 08
Perform a short architecture review and document one trade-off you consciously accepted.
txtCapstone evidence packet
Requirement -> implementation diff -> verification -> controlled failure -> diagnosis -> final proofDo 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.
Break it on purpose
Build debugging memory
- Treating IDs as the only integrity mechanism
- Missing composite uniqueness on membership-like tables
SymptomInvestigation path
You can only continue by copying the reference
Return to the mental model and acceptance criteria. Rebuild one smaller slice from first principles before reopening the source.
Everything seems to work but proof is weak
Choose an external observer: HTTP client, browser, database query, test runner, health endpoint, or deployment log, and capture deterministic evidence.
Closed-reference challenge
Can you transfer the idea?
Extend the phase artifact with one requirement not used in the guided example while preserving the same ownership rules and verification strategy.
Explain-back
Answer these without reopening the solution
- What did you build without a transcript?
- Which boundary caused the most reasoning effort?
- Which failure gave the strongest evidence?
- What shortcut did you deliberately avoid?
- What would you automate before repeating this in a team?
Lesson studio
Turn the reading into skill
Do it
Model users, workspaces, membership, boards, lists, and tasks with primary/foreign keys on paper first.
Use the smallest change that demonstrates this lesson. Stop after it works and capture evidence.Break it safely
Treating IDs as the only integrity mechanism
Predict the symptom before causing the failure. Then locate the earliest boundary where reality diverges from expectation.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.