Searching protocol for "constraint definition"
Define invariants and laws for robust systems.
Generate Go migrations from structs
Generate Prisma schema models.
Design robust, validated database models.
AI-driven domain intelligence for R2MO protocol.
Master SWI-Prolog: Relations, Constraints, DCGs.
Write effective system prompts for TD AI agents.
Define and enforce phase.md structure.
Debug Ecto constraint errors
Design robust Drizzle schemas with relations.
Check for contradictions in Law/Term discovery output.
Standardize DD-DDL database design documents