10  Implementation verification

You are reading the work-in-progress of this report. This chapter is currently a dumping ground for ideas, and I don’t recommend reading it.