Edition notes

Prepared with an AI agent from Puma’s engineering conversations and the project research cited here. It combines Puma’s stated views with the book’s explanatory synthesis; the examples and exercises are not transcripts of those conversations.

The manuscript is dated 2 October 2026. The principles-focused public revision was approved on 13 October 2026. Its cited source revisions, historical observations and stated evidence limits are preserved.

Small corrections in this web edition

• [grouped validation tests] → [replay and mutation-resistance tests]
• Complete verification not reached.. → Complete verification not reached.
• accepted revision1/proposed2. → accepted revision 1/proposed 2.
• Written-plan-applicability revision is2. → Written-plan-applicability revision is 2.

The downloadable Markdown contains the approved public manuscript. This public revision keeps the focus on engineering principles; technical case studies serve as supporting evidence. The reading views add the small corrections listed above and navigation changes.

The repository includes the owner-provided Apache License 2.0. Source references do not expand the licenses of third-party works.