Security invariants
Falsifiable statements, each becoming an enforcement point, a test and a monitor. The step that makes doctrine testable.
◆ Invariant writer (later stage)
Not written yet
This module is scoped and scheduled but its content has not been written. When it ships it will cover: Falsifiable statements, each becoming an enforcement point, a test and a monitor. The step that makes doctrine testable.
Every module in the curriculum is listed from day one so the shape of the whole course is visible. An empty page is more honest than a hidden one.