Engineering Compiler

The Constraint Evaluation Engine determines whether the resolved configuration satisfies applicable formal constraints.

Constraints may be:

hard;

soft;

conditional;

temporal;

spatial;

numerical;

relational;

domain-specific;

Each result shall identify:

constraint identity;

evaluated objects;

input values;

applicable limits;

tolerance;

result;

severity;

source;

authority;

permitted resolution methods.

A hard-constraint failure shall block the affected compilation stage unless an authorized exception process exists.

Soft constraints may generate warnings, ranking factors, or optimization objectives but shall not be presented as mandatory failures.

Constraint checking and optimization shall remain distinct. An optimizer may search for a compliant configuration, but it shall not redefine the constraints to make a configuration appear compliant.

Missing inputs shall produce an indeterminate result where compliance cannot be established.

When constraints conflict, the engine shall expose the conflicting requirements and their authority rather than silently satisfying one.