Two domain oracles validate independently. Both return SURVIVE. A coupling oracle checks the interaction — and finds a fatal constraint violation that neither domain could detect alone.
Aluminum structural frame (Al 6061-T6) carrying a PCB assembly that produces a measured ΔT of 60°C at the board–structure interface. The frame is designed at ambient temperature. The electronics are within their own thermal envelope. Nobody checked what the heat does to the aluminum.
FCAL · AI proposes. Physics decides.
Fixed inputs for reproducibility. Derating model per ASM/MMPDS (reference available on request).