何故名身證。第以身證八解脫。未以慧盡諸漏故名身證。問何故名慧解脫。答由彼以慧盡諸漏。未以身證八解脫故。論。理實應言至身寂靜故。論主正前釋。理實應言。彼不還人從滅定起初起之時。得先未得唯有識心而身寂靜。便作是思惟。此滅盡定最為寂靜。極似涅槃。如是思慧及身。證得身之寂靜故名身證。此是由起得證身寂靜。及智現前。證得身寂靜故。故名身證。論。契經說有至不說身證。問也。正理論云。謂世尊告給孤獨言。長者當知。福田有二。一者有學。二者無學。有學十八。無學唯九。何等十八。四向·三果·隨信·隨法行·信解脫·見至·家家·一間·中般生般有行無行上流。九種無學。六種姓不退法慧解脫俱解脫。
論。依因無故至說有學差別。答也。依因。無漏法。立學及無學人。滅定。有漏。非學非無學故。非是因。身證雖立別人。無依因故。佛不別說為福田。正理論云。以佛觀見有學·無學。由斷及根有殊勝故。能生勝果名為福田。然諸不還所得滅定是有漏故。不可說言自性解脫故名清淨。彼所依身猶有煩惱未永斷故。不可說言相續解脫故名清淨。故不約成彼立有學福田。無學位中有漏功德。雖非自性解脫所收。相續解脫故名清淨。由此亦能生殊勝果。是故約定及根差別。說九應果皆名福田（述曰由此有學不取身證。無學取俱解脫也）。論。不還差別至數成多千。以根地諸德分別。論。其義云何。問也。論。且如中般至五百九十二。明乘數也。論。云何如是。問成二千等所以。
論。且於一處至九百六十。已下乘成數也。五種不還總成一萬二千九百六十差別不同人也。
論。已辨第三向果差別。已下大文第三明無學道。於中有五。一無學向果。二諸門辨道。三盡等相生。四明諸道果。五六種羅漢。此兩行頌第一門也。論曰至阿羅漢向。明第四向。從斷初禪惑至非想第九無間。總是第四果·向。第九無間道別明金剛定。所以但言至八品也。論。即此所說至最為勝故。釋定名也。此定堅銳。喻若金剛。無一隨眠不能破故。先已破故不破一切。猶如大明能破細闇。亦能破粗非唯破細。若為小明先已破故。唯於細不破粗也。一切惑中。非想修斷第九品惑最細難斷。此無間道既斷此惑。故知一切無間道中。此無間道名為最勝。問非想見惑九地中亦是最細。見道能斷應喻金剛。答彼九品惑可一品斷。故知彼惑勢力微劣。見道既為劣惑喻對治。知非能破一切隨眠。若有破能。見道起時。何礙不破自餘煩惱。故彼不得金剛喻名。又諸惑中無事易斷。見道治彼。知非極上。由此不立金剛喻名。論。金剛喻定至通依九地。明定多種。此定以四類智滅·道法智。此六智中隨一現前。及十六行中隨一現前。然緣苦·集諦唯以非想地蘊為所緣。滅·道法智唯緣欲界滅·道。此上所說更無異論。然滅·道類智說有差別。一說諸地道唯總無別。滅唯別緣無總緣。二說諸地道及滅皆別緣。三說諸地道總緣。滅總別緣。由此不同成其多種。論。故說此定至有五十二。此初師結一地數也。
論。謂苦·集類智至相應有八。釋苦·集智。必緣有頂所以。唯緣有頂斷有頂惑故。苦·集是厭行。不可厭下斷上惑故。論。滅·道法智至相應有八。釋滅·道法智八行。皆能斷非想惑所以。緣下滅·道上惑者。緣下滅·道勝上地故。論。滅類智至合三十二。釋滅許別緣也。緣八地滅。一一各有四行相應。合三十二。滅諸地斷故。無因果故。如隨眠品說。由此諸地唯別無總。
論。道類智至必總緣故。釋道必總緣也。緣八地道總有四行相應有四。以治八地類智品道同類相因必總緣故。緣滅唯別。緣道即不爾。以類同故。互相因故。
論。如未至攝至應知亦爾。類釋餘五地以緣境同故數亦不異。論。空處二十八至互為因故。釋上三地數漸減也。無色不緣下地。故無法智除八行也。不緣四靜懀纭Ｓ逐N十六行總除二十四行。由此唯有二十八。識處更減四行。二十四。無所有處更減識處四。所以唯二十。論。有說此定至增二十八。第二師釋。有八十種。此師八地道別緣故。加前二十八行有八十也。論。如未至應知亦爾。類釋餘五地也。論。空處四十至二十四。明無色漸減。空處無二法智。及除四滅四道。總十諦一一有四故除四十。識處減八。謂滅·道各四故三十二。無所有處又更除八。故二十四也。論。復有欲令至增百一十二。第三師說。此師除滅與初師同。緣滅有異。許總別緣故。別緣如前。總緣者兩兩合成七。三三合成六。四四合成五。五五合成四。六六合成三。七七合成二。八地合緣成一。總有二十八諦。諦有四行。總許一百二十二行。加初五十二。總有一百六十四。此一百六十四。必不並生。隨一現起。論。如未至攝至應知亦然。類釋餘五地。緣境同故。同一百六十四也。
論。空處五十二至無所有處二十四。釋無色也。空處唯緣四地滅。總別十諦四十行。道類四行。苦·集八行。總五十二。識處緣三地滅。總別六諦二十四行。苦集·道類十二行。合有三十六。無所有處緣二地滅。總別有三諦十二行。苦道·類十二行。總二十四也。總九地有一千九十六金剛喻定不同。隨依一種皆能斷非想九品惑。問三說中何說為正。答正理論云。彼俱非理。道必總緣。滅唯別緣。前已辨故。道必總緣。破第二師滅唯別緣故破第三師。即是初說為正。婆沙二十八評云。如是說者。依未至定有百六十四金剛喻定。准此。即是第三為正。即是婆沙許總別緣滅。正理唯別緣。論意各別不可和會。論。若就種姓至如理應思。且就一人分別。依其後說。有一千九十六金剛喻定。若就種姓又成六倍。如是根等分別如理應思。論。此定既能至盡智令起。明金剛喻定引生盡智。
論。金剛喻定至故名盡智。釋盡智名。由與諸盡得最初生故。名為盡智。論如是盡智至得無學名。釋無學也。為得別果。所應學者名為有學。諸阿羅漢雖為得利根及諸功德。有所應學。然無為得別果所應學故。名為無學。捨其鈍果得利果者。即是得前所捨之果。非是別異得果。不名為學。論。即此唯應至阿羅漢名。釋應供也。阿羅漢亦名應供。即彼盡智。與一切盡得俱生故。名為盡智。正理論云。或此盡言顯一切盡。謂第九品及前餘惑皆得擇滅故。名為盡智。即盡智已去皆不為別果學故。總名無學。即此應為他事。應受供養。故亦名阿羅漢。論。義准已成至皆名有學。准無學釋有學也。論。何緣前七得有學名。重問。論。為得漏盡常樂學故。答。為得漏盡以簡練根等。論。學要有三至為三自體。出學體。有學之人依此三種求漏盡也。論。若爾異生應名有學。難也。異生亦求漏盡有戒·定·慧。應名有學。論不爾至失正學故。釋也。有二因。一未如實見故者。四善根中雖見諦理。不如實見。不分明故。二忍位已前容退失故。論。由此善逝至重說學言。引經重說學言。顯不退也。論。拢咦”拘匀绾蚊袑W。問也。婆沙一百七十六云。謂學住本性有二因緣名住本性。一守賢善性而無退轉。二守自分德而不進修。此中住本性是第二也。或可。非是婆沙二釋。此住本性是有漏心。既以無漏為學。拢咦”居新┬孕摹＜葻o無漏學。如何名有學。論。學意未滿故至常隨遂故。答也。有兩因。一雖暫無無漏學。學意未滿名為有學。如行者暫息不名已到而名行者。二無漏學得常隨遂故。由得學法名為有學。論。學法云何。問學法也。
論。謂有學者無漏有為法。答學法也。
論。無學法云何。問無學法。論。謂無學者無漏有為法。答無學法。論。云何涅槃不名為學。問。因何有學法唯取有為無漏。簡去涅槃。論。無學異生亦成就故。答也。擇滅無為。若是有學。因何異生無學皆得成就。若是有學即雜亂也。論。此復何緣不名無學。問也。論有學·異生亦成就故。答也。有學·異生皆成擇滅。若是無學即雜亂也。論。如是有學至阿羅漢果。總分學·無學為八人也。由向·及果各有四故。此即以所成法向果別故。說人別也。
論。名雖有八至不離前果故。釋。雖就所成就法分人有八。然實能成人有五種。謂初果向·及第四果各有一人。第二果向·及住初果同是一人。住第二果及第三向亦同一人。住第三果及第四向。亦同一人也。由此實人唯有五別。論。此依漸次至非前果攝。釋超越與次第不同。若超越者。第二果向非初果攝。第三果·向非第二果攝。
論。如前所說修道二種。已下大文第二諸門辨道。就中有五。一地由道離染。二道引離繫得。三道離地通局。四近分攝道別。五世俗道緣行。此半行頌第一門也。論曰至治自地故。釋。有頂染唯無漏斷。夫有漏道斷惑者。皆是次上地。斷下地惑。自地不能治自地故。有頂無上地故。唯無漏斷。論。自地煩惱至不治自地。釋自地道不能斷自地惑所以。正理論云。何緣下地起世俗道不能對治上地隨眠。上地定非下地世俗厭行斷道所緣境故。非厭下地能離上染。上地望下極微妙故。由此證知。唯無漏力能離有頂。其理善成。論。離餘八地至俱能離故。釋餘地也。
論。既通由二離八地染。下半行頌。第二明道引二離繫得。論曰至同所作故。明有學二道俱引二得。由二種道同所作故者。是修二道因也。同所作者。是同治也。廣如下智品釋。論。有餘師釋至煩惱不成故。敘異說也。此師不立修因。但證知有。謂有捨無漏得煩惱不成。故知由有漏得能持斷也。論謂有學拢脸杀藷⿶馈Ｖ甘箩屢病Ｈ缬袑W拢纫詿o漏道離無所有處煩惱。後依四禪練根至解脫道。捨前鈍果及向。唯得四禪已下不還果道上三無色。若無先修有漏道得無為者。無漏得捨有漏得。無煩惱應成。既不成煩惱。明知有有漏得。論。此證非理至不成惑故。論主破也。此因不定。亦有共許無有二得煩惱不起。論。謂如分離至故不成證。指事破也。非想地惑共許無有漏得。練根捨時雖無二得。煩惱不起共許異生生上地時。下地煩惱斷得都無。下地煩惱亦不得起。故不成證。正理論云。此二雖無煩惱斷得。而勝進故遮惑得生。彼亦應然。故證非理。由此但可作如是言。二道於中所作同故。隨一現起引二得生。不可說言為成斷故。論。既說拢咧翢o漏斷得准釋。異生斷惑唯有漏得。拢龜嘁姷烙许斘o漏得。言拢：啴惿ｋx八。簡有頂。修簡見道論。由何地道離何地染。已下一行頌。第三明道離地通局。論曰至已離故。明諸無漏道唯未至定。能離自·下·及上地染。自餘諸地唯離自上地染。欲界無道故依上未至斷。自餘諸無漏唯在根本地中非未至故。離下地染方得上地。由此上地不能斷下。
論。諸有漏道至已離故。明有漏道唯近分定能斷下地。不能斷自·及上地惑。自地煩惱所隨增故。不能斷自地惑。勢力劣故不能斷上。起上地根本已離下故。唯未至斷。
論。諸依近分離下地染。已下一行頌。第四明近分攝道別。論曰至謂欲八定。明能斷有八。即四靜懀Аに臒o色。所離