The Intent Contradiction Assistant
This mode notices when accepted intent conflicts with code, gates, or other intent. It is part of keeping the intent graph honest as the codebase moves.
Example dialogue
Alloy:
Accepted intent says vendor SDK imports should be isolated to adapters. The current code imports
Stripedirectly insideCheckoutLive. Is this an intentional exception, drift, or a sign that the intent record is too broad?
The goal
The goal is not to shame the developer. It is to keep the intent graph alive. A contradiction may resolve into an accepted exception, a flagged drift, or a refinement of an over-broad record — each of which moves a record along its Record Lifecycle.
This assistant is the conversational front end to ongoing Contradiction Detection. See the other modes in Elicitation Assistants.
Source: Product Brief §11.6 (The intent contradiction assistant).