Evidence-Grounded Runtime Assurance for AI-Assisted Power-Electronics Design: Three-State Constraint Semantics and Deterministic Validation
AI-assisted engineering workflows can assign stronger validity claims than their evidence supports. This study develops an executable evidence contract for preliminary power-electronics design by instantiating established multi-valued monitoring. A deterministic monitor checks input availability, numerical representati...