## Progressive Summary **Executive Summary (Layer 3)**: **AI represents the next rung on the semantic expression ladder**—from binary to assembler to high-level languages—but formalism and architectural principles remain essential. **Key Insight (Layer 2)**: "**Even though the syntax allows informal statement, you cannot abandon formalism**—Gherkin triplets (Given/When/Then) form a formal description of the finite state machine representing application behavior" **Context (Layer 1)**: - Source: @unclebobmartin (Uncle Bob Martin), saved 2026-04-15 - Evolution: Binary → Assembler → Fortran → C → Java → Python → AI - Key formalisms: Gherkin (GWT triplets), module dependency graphs, testing and complexity constraints - Core principle: Behavioral and structural semantics still apply **Discoverability Score**: 9/10 --- ## Original Content AIs are just another step up the semantic expression ladder: binary → assembler → Fortran → C → Java → Python → AI. When you take that step, nothing else changes — you still express behavioral and structural semantics, and all the old design and architecture principles still apply. Even though the syntax allows informal statement, you cannot abandon formalism: Gherkin's Given/When/Then triplets each define a state-machine transition, and a full suite is a formal description of the application's finite state machine. Other formalisms still matter — module dependency graphs, testing constraints, complexity constraints. The step up the ladder provides enormous options; choose them wisely.