assertThrows(NullPointerException.class, () -> ctx.verifyMIC(new byte[] { 1 }, null));
    }

    @Test
    @DisplayName("isMICAvailable reflects GSS integ state")
    void isMICAvailable_behavior() {
        when(gssContext.getIntegState()).thenReturn(false).thenReturn(true);
        assertFalse(ctx.isMICAvailable());
        assertTrue(ctx.isMICAvailable());
    }

    @Test