View of Certified Multi-Fidelity Digital Twins for Soluble Gas-Kick Transients: Reachability-Bounded Alarm Integrity and Real-Time Risk Quantification | Journal of Emerging Trends in Science, Engineering and Applied Research