鸣式阿列夫一是外来的鸣式，是跟着隧者一起通过隧门来到拉海洛的。在3.0下半的过场动画《神明的边界》里，织星讲的是“数百年前，冰原下的灾厄苏醒”，对这里我有两个猜测:
1.隧门就在冰原下面，连接着天空海的外界，这时候阿列夫一和隧者一同从隧门出现，小爱在此时与隧者一同封印鸣式。
2.阿列夫一的封印松动，时间线连的是小爱的动画短片《拯救》，因为3.1下半会长对封印破坏，导致与隧者相关的小爱看到了过去的影片，小爱通过在模拟室超频成电子幽灵，同时穿越时间与当时隧者共鸣，再度封印鸣式。而隧者最初与小爱一同封印鸣式的时间更早。
不过，我个人感觉第二点挺牵强的，但是，按理说小爱在10多年前模拟的时候隧者都启动了，学院方的人却完全没提这件事，让我不清楚这个《拯救》的时间线。