2026年5月19日 バリデーション層がビジネスロジックより肥大化している 手作りのバリデーションは codebase を膨張させ、それでもエッジケースを見逃す。宣言的なスキーマで runtime contracts を enforce し、実装に干渉しない方法を解説する。 deep-divesruntime-contractsvalidationdesign-by-contract
2026年5月16日 AI Safety Stack: types、contracts、property tests、mutation gates AI-generated code を production で持たせたいなら、code review だけでは足りません。type constraints から mutation testing、runtime containment までの layered safety stack が必要です。 ai-engineeringsafety-stacktypesdesign-by-contractproperty-based-testingmutation-testing
2026年5月15日 優れたエンジニアリングの考え方が AI で経済的になるまでニッチのままだった理由 Design by contract、property-based testing、mutation testing、model checking は悪い考え方だったわけではありません。継続運用に必要な専門知が重すぎただけです。AI はその前提を変えます。 ai-engineeringsoftware-reliabilitydesign-by-contractproperty-based-testingmutation-testing
