Verification — fw-03-reactivity-signals

A module is complete when these pass against measured or observed output, not when the prose has been read.

  • mini-vue reactivity: all nine stages
  • mini-signals built independently, not refactored from the Vue code
  • All six failure-lab bugs reproduced and fixed
  • Measured: update cost vs mini-react for one deep change and one broad change
  • Comparison table filled in your own words
  • Complexity notebook: the Vue scheduler

Gate (§44) — for every source-reading exercise in this module

  • Why does this code exist?
  • What invariant does it maintain?
  • Who calls it?
  • What does it call?
  • Which process and thread executes it?
  • What happens if it is removed?
  • How is it tested?
  • What simpler design would fail, and why?

Record