When a returned Safe PINN loss or gradient becomes nonfinite, or an Adam update produces nonfinite parameters or moments, the demo now saves the last completed finite training state and the failed batch in training-failure.mat, then rethrows the original error. Candidate Adam state is accepted only after these checks.
- Three controlled second-step regressions verify the exact preceding network, both finite moments, history and diagnostic inputs.
- All 107 local MATLAB tests passed, including 13 Safe PINN tests; the GitHub Actions run also passed. A separate two-update comparison with v0.5.2 preserved weights and numerical results, excluding timing.
- Only two of the 81 MATLAB files changed. The v0.5.2 records and prior release tags are preserved.
No new public API or automatic resume was added. Complete training, historical paper experiments, acceptance thresholds and scientific claims are unchanged.