This v3 page only covers workshop 1. Content slides are rebuilt as HTML. Demo-only screenshots are kept at the bottom. IMG_7403 and IMG_7404 are treated as extractable content because they expose the A/B/C verification-contract structure.
Title and Repo
Sources: IMG_7391, IMG_7392, IMG_7393
How We Claude Code was presented by Jason Schwartz from Anthropic.
The workshop repo slide points to:
https://cwc26.short.gy/workshops
Verification Contract Demo
Sources: IMG_7403, IMG_7404
The demo asks: What if the app declared what "correct" means?
The screen labels this as the contract: state published on the page plus rules declared beside the code.
AThe component stamps its state onto the row
The rendered page becomes machine-readable. When the user ticks "oat milk", the app remembers it in memory as a variable such as todo.done = true. The contract adds one line that copies that variable onto the row as a label.
before <li class="todo-item">
after <li class="todo-item" data-verify-done="true">
copied from todo.done
BYou ask Claude to write a verify spec for the component
The spec lists example states to render, called fixtures, and rules that must hold on the page, called invariants. Using the repo's existing specs as a template, Claude reads the component and writes the same shape.
The specific bug fails the invariant done-class-matches: the row's stamped state says done, but the class does not.
fixtures (states to render)
- active
- done
- empty-text
- long-text
invariants (rules to check)
- done-class-matches
- checkbox-state-matches
- visible-text-never-empty
CPut together: state on the page, rules in a file, a harness that checks them
A makes the state machine-readable. B defines what good looks like upfront. The harness from the repo runs that check programmatically, the same way every time.
A page says data-verify-done = "true"
B rule says class must include "done"
harness class is "todo-item" -> FAIL
-> localhost:5199/verify
These are useful visual evidence, but not rebuilt as primary content here. IMG_7403 and IMG_7404 were extracted above because the A/B/C contract content is readable.