论曰。入证决定者。示现于所证法中成就决定无所疑故。是中有三门摄义。示现决定无疑。一者方便显发门。二者满足成就门。三者分别说门。方便显发门者。示现于诸实法处显发故。以彼法是修行者当观察及依之起行故。如经汝等若于苦等四谛故。于四谛中有作无作法。示现有疑无疑分齐故。如经有所疑者可疾问之无得怀疑不求决也故。疾问者示二种将毕竟故。如向已说二种毕竟事故。无得怀疑者。于见无作谛处及修行有作谛处。彼二相违处皆不得疑故。满足成就门者。有三种示现。一者示现法轮满足成就三转实法故。如经尔时世尊如是三唱故。二者示现证法满足成就。如经人无问者故。三者示现断功德满足成就。如经所以者何众无疑故。分别说门者。示现彼众上首。知大众心行成就决定。复了知所证实义故。分别说彼彼事答如来故。如经时阿楼驮观察众心如是等故。日月冷热者。示于四谛中违顺观行不可异故。实苦不可令乐者。以佛说故苦乐各实不变异故。更无异因者。示苦灭各自因故。复示灭道同是自性观故。决定者。苦乐因果入行决定故。无疑者。无异无余义故。已说显示入证决定分。次说分别未入上上证为断疑分
经曰。于此众中所作未办者。见佛灭度当有悲感。若有初入法者。闻佛所说即皆得度。譬如夜见电光即得见道。若所作已办已度苦海者但作是念。世尊灭度一何疾哉
论曰。分别未入上上证者。有三种分别。显示未入上上法故。一者于有作谛修分时中。未入上上法故。如经于此众中所作未办者见佛灭度当有悲感故。二者于无作谛见道时中速决定故。示现不同修分法故。去上上法转远故。如经若有初入法者闻佛所说即皆得度故。复以譬喻示现见道速决定义应知。如经譬如夜见电光即得见道故。三者于彼二相违无功用无学道中。于上上法界。有微细疑故。复有异义。于自地中见佛速灭故。如经若所作已办已度苦海者但作是念世尊灭度一何疾哉故。次说为断彼彼疑故
经曰。阿楼驮。虽说众中皆悉了达四圣谛义。世尊欲令此诸大众皆得坚固。以大悲心复为众说。汝等比丘勿怀悲恼。若我住世一劫会亦当灭。会而不离终不可得。自利利人法皆具足。若我久住更无所益。应可度者若天上人间皆悉已度。其未度者皆亦已作得度因缘。自今已后我诸弟子展转行之。则是如来法身常在而不灭也
论曰。是中断疑者。断彼胜分疑故。于自地中先所成就故。如经阿楼驮虽说众中皆悉了达四圣谛义故。复令上上成就。于彼所得究竟不退故。是如来悲心淳至故。不护上上法故。如经世尊欲令此诸大众皆得坚固以大悲心复为众说故。云何说。说有为功德。自他俱灭故。自他者说听差别故。如经汝等比丘勿怀悲恼若我住世一劫会亦当灭会而不离终不可得故。复说法门常住不灭故。如经自利利人法皆具足故。又说他利事。毕竟无复所作故。如经若我久住更无所益故。又说于彼彼众中自利事。毕竟无复所作故。如经应可度者若天上人间皆悉已度故。又说未修集者。依不灭法门。能作得度因缘故。如经其未度者皆亦已作得度因缘故。复有异义于上上法中未得度者。依常住法门度故。又说住持不坏功德于中有二。一者于因分中住持。不坏常修故。不断修故。如经自今已后我诸弟子展转行之故。二者于果分中住持。不坏常显故。如经则是如来法身常在而不灭也故。此二种住持不坏功德。示现上上法能断疑应知。次重说有为功德无常相故