PASS: 7 chapters; 83 CHECK PASS assertions; every exit-code.txt is 0; all manifest evidence paths exist and are nonempty.
