法蘊足論七卷四頁雲：雲何修定若習若修若多所作、能令證得現法樂住？謂有苾刍、卽于自身，離生喜樂，滋潤遍滋潤，充滿遍充滿，適悅遍適悅；故離生喜樂，于自身中，無有少分而不充滿。是名修定若習若修若多所作能令證得現法樂住。卽于自身者：謂身、亦名身；身根、亦名身；五色根、亦名身；四大種所造聚、亦名身。今此義中，意說四大種所造聚名身。離生喜樂者：謂初靜慮所有喜樂平等受受所持身輕安心輕安、是名喜樂。如是喜樂，從離欲惡不善法起、等起，生、等生，聚集、出現，故名離生喜樂。滋潤遍滋潤充滿遍充滿適悅遍適悅者：謂卽于自四大種所造聚身、離生喜樂，起等起；生等生，聚集出現；滋潤遍滋潤、是一義。充滿遍充滿、是一義。適悅遍適悅、是一義。由下中上、長養差別。譬如農夫、初以少水溉灌畦壟，爾時畦壟，滋潤遍滋潤。次以中水，溉灌畦壟，爾時畦壟，充滿遍充滿。複以多水，灌溉畦壟，爾時畦壟，適悅遍適悅。苾刍亦爾。初以下品離生喜樂長養大種所造聚身，爾時自身，滋潤遍滋潤。次以中品離生喜樂，長養大種所造聚身，爾時自身，充滿遍充滿。後以上品離生喜樂，長養大種所造聚身，爾時自身，適悅遍適悅。離生喜樂于自身中無有少分而不充滿者：謂從足至頂，離生喜樂作長養事，無不充滿。是名修定者。雲何爲定？謂卽于自身離生喜樂滋潤遍滋潤充滿遍充滿適悅遍適悅故；心住等住近住安住不散不亂攝止等持心一境性，總名爲定。雲何爲修？謂于此定，若修、若習、恒作、常作、加行不舍；總名爲修。若習若修若多所作者：顯于此定，能得自在。能令證得現法樂住者：謂于此定，若習、若修、若多所作；于現法中，證得樂住，可愛可樂，可欣可意，無所希望，無所思慕，寂靜安隱，故名樂住。于此樂住，得獲成就，親近觸證；故名證得。複次初靜慮所攝離生喜樂俱行心一境性，說名爲定。卽于此定若修若習恒作常作加行不舍，說名爲修。若習若修若多所作，顯彼自在。能令證得現法樂住，義如前說。 - 朱芾煌

　　瑜伽十二卷十四頁雲：複次雲何修定爲得現法樂住？謂于四種現法樂住方便道中、所有修定，及未圓滿清淨鮮白諸根本地、所有修定。爲顯修習未曾得定，是故世尊說初靜慮前方便道。 - 朱芾煌

　　瑜伽五十一卷十九頁雲：問：如世尊言：我說阿羅漢苾刍、于四種增上心法現法安樂住中，隨一而退。若彼一切染汙種子，皆已永害；雲何複起下地煩惱？若不複起；彼雲何退？答：退、有二種。一者、斷退，二者、住退。言斷退者，唯是異生。言住退者，是諸聖者，亦是異生。若世間道斷諸煩惱，複起現前；當知爾時斷退故退，亦是住退。若出世道斷煩惱已；心營事務，不專修習如理作意；由此不能于其中間現法樂住，數起現前，如先所得，後亦如是；然其下地已斷煩惱，不複現前。如是名爲住退故退；非是斷退。又若已斷一切煩惱，成阿羅漢；而彼一切染法種子，未永害者；雲何名爲心善解脫阿羅漢果，諸漏永盡。若已永害；于相續中，永無一切染法種子；尚不應起不正思惟；況諸煩惱。是故當知由出世道斷煩惱者，定無有退。 - 朱芾煌

　　俱舍論二十五卷四頁雲：經部師說：從阿羅漢、亦無退義。彼說應理。雲何知然？由教理故。如何由教？經言：苾刍！聖慧斷惑，名爲實斷。又契經言：我說有學，應不放逸；非阿羅漢。雖有經言佛告慶喜我說利養等亦障阿羅漢；而不說退阿羅漢果。但說退失現法樂住。經言不動心解脫身作證。我定說無因緣從此退故。若謂有退，由經說有時愛解脫；我亦許然。但應觀察彼之所退，爲應果性？爲靜慮等？然彼根本靜慮等持，要待時現前故；名時解脫。彼爲獲得現法樂住，數希現前；故名爲愛。有說此定是所愛味。諸阿羅漢果性解脫，恒隨逐故；不應名時。更不欣求，故不名愛。若應果性，容有退者；如何世尊但說所證現法樂住，有可退理。由此證知諸阿羅漢，果性解脫，必是不動。然由利等擾亂過失，有于所得現法樂住退失自在。謂諸鈍根。若諸利根；則無退失。故于所得現法樂住，有退無退故；名退不退法。如是思等，如理應思。不退、安住、不動、何別？非練根得，名爲不退。練根所得，名爲不動。此二所起殊勝等至，設遇退緣；亦無退理。安住法者：但于已住諸勝德中，能無退失；不能更引余勝德生。設複引生；從彼可退。是不退等叁種差別。然喬底迦、昔在學位，于時解脫，極啖味故；又鈍根故；數數退失，深自厭責，執刀自害。由于身命無所戀惜，臨命終時，得阿羅漢，便般涅盤。故喬底迦、亦非退失阿羅漢果。又增十經作如是說；一法應起，謂時愛心解脫。一法應證，謂不動心解脫。若應果性名爲時愛心解脫者；何故于此增十經中再說應果。又曾無處說阿羅漢果名爲應起；但說名應證。又說鈍根所攝應果，名爲應起，爲顯何義？若爲顯彼能起現前；則余利根，最應能起。若爲顯彼應起現前；亦余利根，最所應起。故此解脫非應果性。若爾；何故說時解脫應果？謂有應果，根性鈍故；要待時故，定方現前。若與彼相違，名不時解脫。阿毗達磨，亦作是言：欲貪隨眠，由叁處起。一、欲貪隨眠，未斷遍知故。二、順彼經法，正現在前故。叁、于彼正起非理作意故。前謂彼據具因生說；後有何法因不具生。是名由教。如何由理？若阿羅漢有令煩惱畢竟不起治道已生；是則不應退起煩惱。若阿羅漢此道未生；未能永拔煩惱種故；應非漏盡。若非漏盡；甯說爲應。是名由理。 - 朱芾煌

瑜伽九十卷十一頁雲：若諸無學，雖已證得心解脫意；而或失念，行縱逸時，便有退失現法樂住。彼雖于此現法樂住，或退不退；然無堪能退失解脫。 - 朱芾煌