Verification — fw-06-compilers

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

  • Template compiler: lexer, parser, transforms, codegen -> VNodes
  • Source locations on every AST node; caret-and-line error messages
  • Static hoisting and patch flags implemented and honoured by the renderer
  • Wrong-patch-flag silent correctness bug demonstrated
  • JSX transform built over a real JS parser

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