Intent
A user-facing statement of desired application behavior. Intent should describe purpose without embedding hidden implementation instructions that bypass the application model.
Producer
A generative system that proposes an AppGraph. The producer is deliberately treated as untrusted: it can suggest a structure but cannot make that structure valid or executable by declaration.
AppGraph
A bounded application representation containing the screens, components, resources, actions, triggers, computations and declared permissions necessary for the supported application model.
Support surface
The subset of contract-valid AppGraph structures that the current proof runtime is prepared to execute. A truthful support surface can be narrower than the contract without redefining the contract.