Why: the goal or problem

A concert booking service lets fans reserve seats and join a waitlist. Separate booking and notification changes must follow one release rule. Its developers need traceable agreement; an isolated label correction would need less structure.

How: work toward a solution

Specify when a released seat goes to the waitlist, plan the boundary, and link implementation tasks to that rule. Check the code against the artifacts and resolve gaps. Reuse confirmed answers.

One waitlist rule follows the specification, plan, tasks, and code review

Concert booking · illustrated requirement trace

Keep one rule through every stage

Waitlist first

Cancelled seat → next eligible fan → public offer after the agreed response period

  1. 1

    spec.md

    Waitlist first · Next eligible fan before public sale

    Waitlist first
  2. 2

    plan.md

    Waitlist first · Booking and notification boundary

    Waitlist first
  3. 3

    tasks.md

    Waitlist first · Implement and check queue-first notification

    Waitlist first
  4. 4

    Convergence

    Waitlist first · Compare code with the agreed rule

    Waitlist first

↳ Implementation gap found? Add remaining tasks and check again.

Agree on eligibility and response time. Documents and task boxes do not replace behavior checks; setup and review add work.

What: the concept

Spec Kit provides agent workflows, templates, and setup tools for specification-driven development. It also offers optional repair and idea-assessment processes. Choose by coordination and risk; size alone does not justify installation.

Source