emit the verifier type on the deleteProgramId method

Author: maximopalopoli

contracts/src/core/AlignedProofAggregationService.sol

@@ -177,8 +177,9 @@ contract AlignedProofAggregationService is
     /// @notice Deletes a program ID from the list of valid program IDs.
     /// @param programId The program ID to delete (image ID for RISC0 or vk hash for SP1).
     function deleteProgramId(bytes32 programId) external onlyOwner {
-        // Check if we should verify its existence before deleting
+        // Preserve the verifier type so we can emit it with the event
+        uint8 verifierTypeRaw = programIds[programId];
         delete programIds[programId];
-        emit ProgramIdDeleted(programId);
+        emit ProgramIdDeleted(programId, IAlignedProofAggregationService.VerifierType(verifierTypeRaw));
     }
 }

contracts/src/core/IAlignedProofAggregationService.sol

@@ -15,7 +15,7 @@ interface IAlignedProofAggregationService {
     event ProgramIdAdded(bytes32 indexed programId, VerifierType verifierType);
 
     /// @notice Event emitted when a program ID is deleted
-    event ProgramIdDeleted(bytes32 indexed programId);
+    event ProgramIdDeleted(bytes32 indexed programId, VerifierType verifierType);
 
     /// @notice Method to verify an aggregated proof from aligned
     /// @dev This function is called by the aligned proof aggregator after collecting the proofs and aggregating them