俱舍論疏 17.117

17.117

「論曰至有漏無漏」，釋二種斷道。無間道力引起斷得名能證斷，無間道起正斷惑得名為能斷。解脫道正證斷得名為能證，不斷惑得不名能斷。無間道具二能故，得斷道名。此有二種，謂有漏、無漏。

[On] "The treatise says... with-outflows and outflow-free": this explains the two kinds of paths of abandonment. The possession (prāpti) of abandonment induced by the power of the uninterrupted path (ānantarya-mārga) is called 'capable of realizing abandonment'; the arising of the uninterrupted path to directly cut the possession of defilement is called 'capable of abandoning'. The path of liberation (vimukti-mārga) directly realizes the possession of abandonment and is called 'capable of realizing', but because it does not cut the possession of defilement, it is not called 'capable of abandoning'. Because the uninterrupted path possesses both capacities, it obtains the name 'path of abandonment'. This is of two kinds: with-outflows (sāsrava) and outflow-free (anāsrava).