Part I — Philosophy and the Medium
Why verification beats vigilance, and the first words of the language.
Tyu is introduced the way it should be learned: first why machine-checked promises change what software can dare, then the data stack and the words that transform it.