F441 pinned runtime qualification
=================================

Open MPI version: 5.0.10
Source: https://download.open-mpi.org/release/open-mpi/v5.0/openmpi-5.0.10.tar.gz
Source SHA-256: 5692cc80554a7117c99eaa725d35100edd8bbf73423a5e265ff867979192df7d
Configure contract: --with-ft=ulfm --enable-mpi-ext=ftmpi
Installed prefix: $HOME/.local/opt/openmpi-5.0.10-ulfm
Runtime launch contract: mpirun --with-ft ulfm

Public symbols verified:
MPIX_Comm_revoke
MPIX_Comm_shrink
MPIX_Comm_agree
MPIX_Comm_get_failed
MPIX_Comm_ack_failed

ompi_info exposes mpi_ft_enable (default false; enabled by --with-ft ulfm at launch).
Pinned installer completed successfully before the capability and live-failure runs.

System-runtime negative control:
Debian Open MPI 4.1.6 exposed mpi4py methods, but all four ranks returned
NotImplementedError from Revoke. See system-openmpi4-negative.json.