Verification — bi-06-chromium-cpp

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

  • Five previously-read functions annotated with their ownership decisions
  • One base::Unretained found and its lifetime guarantee established (or the difficulty noted)
  • One raw_ptr<T> and one Member<T> explained, incl. what breaks if swapped
  • One generated binding read end to end
  • Personal one-page cheat sheet of the idioms you got stuck on

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