法蕴足论七卷四页云：云何修定若习若修若多所作、能令证得现法乐住？谓有苾刍、卽于自身，离生喜乐，滋润遍滋润，充满遍充满，适悦遍适悦；故离生喜乐，于自身中，无有少分而不充满。是名修定若习若修若多所作能令证得现法乐住。卽于自身者：谓身、亦名身；身根、亦名身；五色根、亦名身；四大种所造聚、亦名身。今此义中，意说四大种所造聚名身。离生喜乐者：谓初静虑所有喜乐平等受受所持身轻安心轻安、是名喜乐。如是喜乐，从离欲恶不善法起、等起，生、等生，聚集、出现，故名离生喜乐。滋润遍滋润充满遍充满适悦遍适悦者：谓卽于自四大种所造聚身、离生喜乐，起等起；生等生，聚集出现；滋润遍滋润、是一义。充满遍充满、是一义。适悦遍适悦、是一义。由下中上、长养差别。譬如农夫、初以少水溉灌畦垄，尔时畦垄，滋润遍滋润。次以中水，溉灌畦垄，尔时畦垄，充满遍充满。复以多水，灌溉畦垄，尔时畦垄，适悦遍适悦。苾刍亦尔。初以下品离生喜乐长养大种所造聚身，尔时自身，滋润遍滋润。次以中品离生喜乐，长养大种所造聚身，尔时自身，充满遍充满。后以上品离生喜乐，长养大种所造聚身，尔时自身，适悦遍适悦。离生喜乐于自身中无有少分而不充满者：谓从足至顶，离生喜乐作长养事，无不充满。是名修定者。云何为定？谓卽于自身离生喜乐滋润遍滋润充满遍充满适悦遍适悦故；心住等住近住安住不散不乱摄止等持心一境性，总名为定。云何为修？谓于此定，若修、若习、恒作、常作、加行不舍；总名为修。若习若修若多所作者：显于此定，能得自在。能令证得现法乐住者：谓于此定，若习、若修、若多所作；于现法中，证得乐住，可爱可乐，可欣可意，无所希望，无所思慕，寂静安隐，故名乐住。于此乐住，得获成就，亲近触证；故名证得。复次初静虑所摄离生喜乐俱行心一境性，说名为定。卽于此定若修若习恒作常作加行不舍，说名为修。若习若修若多所作，显彼自在。能令证得现法乐住，义如前说。 - 朱芾煌

　　瑜伽十二卷十四页云：复次云何修定为得现法乐住？谓于四种现法乐住方便道中、所有修定，及未圆满清净鲜白诸根本地、所有修定。为显修习未曾得定，是故世尊说初静虑前方便道。 - 朱芾煌

　　瑜伽五十一卷十九页云：问：如世尊言：我说阿罗汉苾刍、于四种增上心法现法安乐住中，随一而退。若彼一切染污种子，皆已永害；云何复起下地烦恼？若不复起；彼云何退？答：退、有二种。一者、断退，二者、住退。言断退者，唯是异生。言住退者，是诸圣者，亦是异生。若世间道断诸烦恼，复起现前；当知尔时断退故退，亦是住退。若出世道断烦恼已；心营事务，不专修习如理作意；由此不能于其中间现法乐住，数起现前，如先所得，后亦如是；然其下地已断烦恼，不复现前。如是名为住退故退；非是断退。又若已断一切烦恼，成阿罗汉；而彼一切染法种子，未永害者；云何名为心善解脱阿罗汉果，诸漏永尽。若已永害；于相续中，永无一切染法种子；尚不应起不正思惟；况诸烦恼。是故当知由出世道断烦恼者，定无有退。 - 朱芾煌

　　俱舍论二十五卷四页云：经部师说：从阿罗汉、亦无退义。彼说应理。云何知然？由教理故。如何由教？经言：苾刍！圣慧断惑，名为实断。又契经言：我说有学，应不放逸；非阿罗汉。虽有经言佛告庆喜我说利养等亦障阿罗汉；而不说退阿罗汉果。但说退失现法乐住。经言不动心解脱身作证。我定说无因缘从此退故。若谓有退，由经说有时爱解脱；我亦许然。但应观察彼之所退，为应果性？为静虑等？然彼根本静虑等持，要待时现前故；名时解脱。彼为获得现法乐住，数希现前；故名为爱。有说此定是所爱味。诸阿罗汉果性解脱，恒随逐故；不应名时。更不欣求，故不名爱。若应果性，容有退者；如何世尊但说所证现法乐住，有可退理。由此证知诸阿罗汉，果性解脱，必是不动。然由利等扰乱过失，有于所得现法乐住退失自在。谓诸钝根。若诸利根；则无退失。故于所得现法乐住，有退无退故；名退不退法。如是思等，如理应思。不退、安住、不动、何别？非练根得，名为不退。练根所得，名为不动。此二所起殊胜等至，设遇退缘；亦无退理。安住法者：但于已住诸胜德中，能无退失；不能更引余胜德生。设复引生；从彼可退。是不退等三种差别。然乔底迦、昔在学位，于时解脱，极啖味故；又钝根故；数数退失，深自厌责，执刀自害。由于身命无所恋惜，临命终时，得阿罗汉，便般涅盘。故乔底迦、亦非退失阿罗汉果。又增十经作如是说；一法应起，谓时爱心解脱。一法应证，谓不动心解脱。若应果性名为时爱心解脱者；何故于此增十经中再说应果。又曾无处说阿罗汉果名为应起；但说名应证。又说钝根所摄应果，名为应起，为显何义？若为显彼能起现前；则余利根，最应能起。若为显彼应起现前；亦余利根，最所应起。故此解脱非应果性。若尔；何故说时解脱应果？谓有应果，根性钝故；要待时故，定方现前。若与彼相违，名不时解脱。阿毗达磨，亦作是言：欲贪随眠，由三处起。一、欲贪随眠，未断遍知故。二、顺彼经法，正现在前故。三、于彼正起非理作意故。前谓彼据具因生说；后有何法因不具生。是名由教。如何由理？若阿罗汉有令烦恼毕竟不起治道已生；是则不应退起烦恼。若阿罗汉此道未生；未能永拔烦恼种故；应非漏尽。若非漏尽；宁说为应。是名由理。 - 朱芾煌

瑜伽九十卷十一页云：若诸无学，虽已证得心解脱意；而或失念，行纵逸时，便有退失现法乐住。彼虽于此现法乐住，或退不退；然无堪能退失解脱。 - 朱芾煌