论曰。有灭定得名得灭定。即不还者若于身中有灭定得转名身证。谓不还者由身证得似涅槃法故名身证。如何说彼但名身证。以心无故。依身生故。理实应言。彼从灭定起得先未得有识身寂静。便作是思。此灭尽定最为寂静极似涅槃。如是证得身之寂静故名身证。由得及智现前证得身寂静故。契经说有十八有学。何缘于中不说身证。依因无故。何谓依因。谓诸无漏三学及果依彼差别立有学故。灭定非学亦非学果。故不约成彼说有学差别。不还差别粗相如是。若细分析数成多千。其义云何。且如中般约根建立便成三种。下中上根有差别故。约地建立则成四种。往初定等有差别故。约种性建立则成六种。退法种性等有差别故。约处建立成十六种。梵众天等处差别故。约地离染成三十六。色界具缚乃至已离第四静虑八品染故。约处种性离染根建立总成二千五百九十二。云何如是。且于一处种性有六。一一种性约离染门差别成九。谓随何地具缚为初乃至已离八品为后。如是六九成五十四。以十六处乘五十四成八百六十四。以根乘之复成三倍故总成二千五百九十二。诸离下地九品染者。即说名为上地具缚。为成一一地离染数等故。如是乃至上流亦尔。总计五种积数合成一万二千九百六十。已辩第三向果差别。次应建立第四向果。颂曰。
上界修惑中 断初定一品
至有顶八品 皆阿罗汉向
第九无间道 名金刚喻定
尽得俱尽智 成无学应果
论曰。即不还者进断色界及无色界修所断惑。从断初定一品为初。至断有顶八品为后。应知转名阿罗汉向。即此所说阿罗汉向中断有顶惑第九无间道亦说名为金刚喻定。一切随眠皆能破故。先已破故。不破一切实有能破一切功能。诸能断惑无间道中。此定相应最为胜故。金刚喻定说有多种。谓断有顶第九品惑无间道生。通依九地故说此定智行缘别。未至地摄有五十二。谓苦集类智缘有顶苦集各有四行相应有八。灭道法智各有四行相应有八。灭类智缘八地灭一一各有四行相应合三十二。道类智缘八地道总有四行相应有四。以治八地类智品道同类相因必总缘故。如未至摄有五十二中四静虑应知亦尔。空处二十八。识处二十四。无所有处二十。以依无色无有法智及缘下灭灭类智故。然缘下地对治道者。以同品道互为因故。有说。此定智行缘别。未至地摄有八十种。谓道类智缘八地道亦各别有四行相。应由此于前增二十八。如未至摄有八十种中四静虑应知亦尔。空处四十。识处三十二。无所有处二十四。复有欲令金刚喻定智行缘别。未至地摄总有一百六十四种。谓灭类智缘八地灭有别有总各四行相。应由此于初增百一十二。如未至摄百六十四中四静虑应知亦然。空处五十二。识处三十六。无所有处二十四。若就种性根等分别。更成多种。如理应思。此定既能断有顶地第九品惑。能引此惑尽得俱行尽智令起。金刚喻定是断惑中最后无间道所生。尽智是断惑中最后解脱道。由此解脱道与诸漏尽得最初俱生故名尽智。如是尽智至已生时便成无学阿罗汉果。已得无学应果法故。为得别果所应修学此无有故得无学名。即此唯应作他事故。诸有染者所应供故。依此义立阿罗汉名。义准已成前来所辩四向三果皆名有学。何缘前七得有学名。为得漏尽常乐学故。学要有三。一增上戒。二增上心。三增上慧。以戒定慧为三自体。若尔异生应名有学。不尔。未如实见知谛理故。彼容后时失正学故。由此善逝再说学言。如契经中。佛告憺怕。学所应学学所应学。我唯说此名有学者。为令了知学正所学无有退失名有学者故。薄伽梵重说学言。圣者住本性。如何名有学。学意未满故。如行者暂息。或学法得常随逐故。学法云何。谓有学者无漏有为法。无学法云何。谓无学者无漏有为法。云何涅槃不名为学。无学异生亦成就故此复何缘不名无学。有学异生亦成就故。如是有学及无学者。总成八圣补特伽罗。行向住果各有四故。谓为证得预流果向乃至所证阿罗汉果名虽有八事唯有五。谓住四果及初果向。以后三果向不离前果故。此依渐次得果者说。若倍离欲全离欲者住见道中名为一来不还果向。非前果摄。如前所说。修道二种。有漏无漏有差别故。由何等道离何地染。颂曰。
有顶由无漏 余由二离染
论曰。唯无漏道离有顶染。非有漏道。所以者何。此上更无世俗道故。自地不能治自地故。自地烦恼所随增故。若彼烦恼于此随增。此必不能治彼烦恼。若此力能对治于彼。则彼于此必不随增故。自地道不治自地。离余八地通由二道。世出世道俱能离故。既通由二离八地染。各有几种离系得耶。颂曰。
圣二离八修 各二离系得
论曰。诸有学圣用有漏道离下八地修断染时。能具引生二离系得。用无漏道离彼亦然。由二种道同所作故。有余师释。以无漏道离彼染时。何缘证知亦生有漏离系得者。有舍无漏得烦恼不成故。谓有学圣以无漏道离彼染时。若不引生同治有漏离系得者。则以圣道具离八地。后依静虑得转根时。顿舍先来诸钝圣道唯得静虑利果圣道。上惑离系应皆不成。是则还应成彼烦恼。此证非理。所以者何。彼圣设无有漏断得亦不成就上地烦恼。如分离有顶得转根时及异生上生不成惑故。谓如分离有顶地染后依静虑得转根时。无漏断得既已顿舍。彼地离系无有漏得。而彼地惑亦不成就。又如异生生二定等。虽舍欲界等烦恼断得而不成就欲界等烦恼。此亦应然。故不成证。既说圣者二离八修各能引生二离系得。义准。异生用有漏道唯能引起有漏断得。并诸圣者用无漏道离见断惑及有顶修唯能引生无漏断得。由何地道离何地染。颂曰。
无漏未至道 能离一切地
余八离自上 有漏离次下
论曰。诸无漏道若未至摄。能离欲界乃至有顶。静虑中间及四静虑三无色摄。随其所应各能离自及上地染。不离下离已故。诸有漏道一切唯能离次下地。非自地等。自地烦恼所随增故。势劣故。已离故。诸依近分离下地染。如无间道皆近分摄诸解脱道亦近分耶。不尔。云何。颂曰。
近分离下染 初三后解脱
根本或近分 上地唯根本
论曰。诸道所依近分有八。谓四静虑无色下边。所离有九。谓欲八定。初三近分离下三染。第九解脱现在前时。或入根本或即近分。上五近分各离下染。第九解脱现在前时。必入根本非即近分。近分根本等舍根故。下三静虑近分根本受根异故。有不能入。转入异受少艰难故。离下染时必欣上故。若受无异必入根本。诸出世道无间解脱前既已说。缘四谛境十六行相义准自成。世道缘何作何行相。颂曰。
世无间解脱 如次缘下上
作粗苦障行 及静妙离三
论曰。世俗无间及解脱道。如次能缘下地上地为粗苦障及静妙离。谓诸无间道缘自次下地诸有漏法作粗苦等三行相中随一行相。若诸解脱道缘彼次上地诸有漏法作静妙等三行相中随一行相。非寂静故说名为粗。由大劬劳方能越故。非美妙故。说名为苦。由多粗重能违害故。非出离故。说名为障。由此能碍越自地故。如狱厚壁能障出离。静妙离三翻此应释。傍论已了。应辩本义。尽智无间有何智生。颂曰。
不动尽智后 必起无生智
余尽或正见 此应果皆有
论曰。不动种性诸阿罗汉。尽智无间起无生智。非更有尽智无学正见生。除不动法余阿罗汉。尽智无间有尽智生。或即引生无学正见。非无生智。后容退故。前不动种性无正见生耶。有正见生而不说者。一切应果皆有此故。谓不动法无生智后有无生智起。或无学正见。前说四果是谁果耶。此四应知是沙门果。何谓沙门性。此果体是何。果位差别总有几种。颂曰。
净道沙门性 有为无为果
此有八十九 解脱道及灭
论曰。诸无漏道是沙门性。怀此道者名曰沙门。以能勤劳息烦恼故。如契经说。以能勤劳息除种种恶不善法。广说乃至。故名沙门。异生不能无异究竟趣涅槃故非真沙门。有为无为是沙门果。契经说此差别有四。理实就位有八十九。皆解脱道择灭为性。谓为永断见所断惑有八无间八解脱道。及为永断修所断惑有八十一无间八十一解脱道。诸无间道唯沙门性。诸解脱道亦是沙门有为果体。是彼等流士用果故。一一择灭唯是沙门无为果体。是彼离系士用果故。如是合成八十九种。若尔世尊何不具说。果虽有多而不说者。颂曰。
五因立四果 舍曾得胜道
集断得八智 顿修十六行
论曰。若断道位具足五因。佛于经中建立为果。言五因者。一舍曾道。谓舍先得果向道故。二得胜道。谓得果摄殊胜道故。三总集断。谓总一得得诸断故。四得八智。谓得四法四类智故。五能顿修十六行相。谓能顿修无常等故。于四果位皆具五因。余位不然。故佛不说。若唯净道是沙门性。有漏道力所得二果。如何亦是沙门果摄。颂曰。
世道所得断 圣所得杂故
无漏得持故 亦名沙门果
论曰。以世俗道得二果时。此果非唯以世俗道所得择灭为断果性。兼以见道所得择灭于中相杂总成一果。同一果道得所得故。由此契经言。云何一来果。谓断三结薄贪嗔痴。云何不还果。谓断五下结。又世俗道所得择灭。无漏断得所任持故。由此力所持退不命终故。亦得名为沙门果体。此沙门性有异名耶。亦有。云何。颂曰。
所说沙门性 亦名婆罗门
亦名为梵轮 真梵所转故
于中唯见道 说名为法轮
由速等似轮 或具辐等故
论曰。即前所说真沙门性。经亦说名婆罗门性。以能遣除诸烦恼故。即此亦说名为梵轮。是真梵王力所转故。佛与无上梵德相应。是故世尊独应名梵。由契经说佛亦名梵亦名寂静亦名清凉。即于此中唯依见道。世尊有处说名法轮。如世间轮有速等相。见道似彼故名法轮。见道如何与彼相似。由速行等似彼轮故。谓见谛道速疾行故。有舍取故。降未伏故。镇已伏故。上下转故。具此五相似世间轮。尊者妙音作如是说。如世间轮有辐等相。八支圣道似彼名轮。谓正见正思惟正勤正念似世轮辐。正语正业正命似毂。正定似辋。故名法轮。宁知法轮唯是见道。憍陈那等见道生时。说名已转正法轮故。云何三转十二行相。此苦圣谛。此应遍知。此已遍知。是名三转。即于如是一一转时。别别发生眼智明觉。说此名曰十二行相。如是三转十二行相谛谛皆有。然数等故。但说三转十二行相。如说二法七处善等。由此三转如次显示见道修道无学道三。毗婆沙师所说如是。若尔三转十二行相非唯见道。如何可说唯于见道立法轮名。是故唯应即此三转十二行相所有法门名为法轮可应正理。如何三转。三周转故。如何具足十二行相。三周循历四圣谛故。谓此是苦此是集此是灭此是道。此应遍知。此应永断。此应作证。此应修习。此已遍知。此已永断。此已作证。此已修习。云何名转。由此法门往他相续令解义故。或诸圣道皆是法轮。于所化生身中转故。于他相续见道生时。已至转初故名已转。何沙门果依何界得。颂曰。
三依欲后三 由上无见道
无闻无缘下 无厌及经故
论曰。前三但依欲界身得。得阿罗汉依三界身。前之二果未离欲故非依上得理且可然。第三云何非依上得。由理教故。且理云何。依上界身无见道故。非离见道已离欲者可有超证不还果义。何缘上界必无见道。且无色中无正闻故。又彼界中不缘下故。色界异生著胜定乐。又无苦受不生厌故。非无有厌能得见道。教复云何。由经说故。经言。有五补特伽罗。此处通达彼处究竟。所谓中般乃至上流。此通达言唯目见道。是证圆寂初加行故。由此见道上界定无。