星海荣光号上并没有格式化希里亚的插件。
准确的说，是无法格式化已经取代了朵维斯的希里亚。
人工智能的“格式化”，实际上针对的是承载它们的硬件。
希里亚的主体已经转移到朵维斯的载体上，所以对这里的设备进行“刷机”并没有什么用。
不过这并不是一个大问题，希里亚大概没想到，每一个居住星的行政大楼里都有朵维斯的一部分载体，而后每一个载体只要下载一个格式化的程序，就可以用以格式化这个载体上的人工智能。
付兰当时之所以千里迢迢跑去首都星，最重要的原因是那里无人看守，其次那里有现成的格式化程序。
毕竟她要做的事情是见不得光的坏事，总不能强闯进居住星的行政大楼搞事情吧？
不过现在不一样了。
在此之前，去行政大楼格式化朵维斯，那是一个犯罪分子；现在，去行政大楼格式化希里亚，那是消灭一个潜在不稳定因素，属于戴罪立功。
希里亚在取代朵维斯后立刻炸了计算机楼，便以为高枕无忧了。
不得不说相比于朵维斯这个已经和人类打了上百年交道的人工智能，希里亚真是“天真”极了。
就像现在，它还没有意识到自己恍恍惚惚间，已经回了趟“老家”，把属于它的“钥匙”交了出去。
它一“出生”就被带走，在茫茫星海中颠沛流离，“木讷”也是很正常的事情。
付兰本想就近前往九号星的行政大楼——趁他们前线作战，后方空虚的时候，去他们的行政大楼逛一圈。
但是付兰不确定付质发动的袭击，希里亚有没有在其中起到作用。
一旦格式化成功，希里亚就会变成一张按照程序行事的“白纸”。
付质的行为显然是违法的，按照程序，希里亚理应代表星际联邦对付质进行判决。
但是付兰目前为止还没有收到星际联邦法案制裁付质的消息。
这很大概率是希里亚给她做了掩护——毕竟每一个居住星上的行政执行官都可以视作是这个居住星上的土皇帝。
他们做了违背星际联邦法案的事情，大概只能由人工智能“升堂断案”。
一般来讲，这都是不对付的执行官们相互攻讦的手段。
一旦被人工智能判定违反星际联邦法律，那么其它居住星的执行官就有权派兵帮助逮捕，并且人工智能应当拒绝为过错方提供战争辅助。
九号星当时乖乖交出维杜，这家伙确实不怎么重要是一个原因，另一个原因就是当时已经证据确凿，如果他们不交出维杜，旁边虎视眈眈的付质可就有理由直接带兵闯进九号星了。
在星际战场上，人工智能提不提供辅助，那绝对是截然不同的两种作战体验。
而像付质一样惦记着自己“邻居”的执行官们不少，他们只是在等待一个可以将他们的军队驻扎到垂涎之地的领域上的契机。
斐尔顿还在的时候，或许能代表星际联邦对这些土皇帝们进行扼制，可是现在斐尔顿连电子幽灵都被付兰关了——付兰不知道斐尔顿的电子幽灵在最后时刻溜进了她的光脑，并伴随着她里用光脑连接朵维斯载体的时候，和希里亚一起冲了进去。
虽然最后连渣渣都没剩下。
到现在也没哪个居住星对付质提出制裁，应该是希里亚的“判决书”还没下发。
不过付兰对这个猜想还是抱有疑虑的，毕竟那些居住星的执行官们各个都是人精，哪里会舍得这样好的、浑水摸鱼的机会，去等一个人工智能的裁决？
因为她不知道，其它居住星迟迟未动，最大的原因是她亲爱的妈妈已经将所有居住星的高层都处理掉了。
付质女士的目光并不在邻居的一亩三分地上。
她想做的是统一整个星际联邦。
尽管付兰此时并不知道付质的目的和安排，但她还是担心希里亚的格式化会影响付质的计划。
几番考量后，付兰还是打算先将星海荣光号开回一号星去，和付质女士商量完再决定下一步。
九号星现在完全腾不出手来处理这件事，没有大规模的武力压制，谁敢随便上前阻拦？只能眼睁睁看着保管了几个月的星海荣光号落入别人手中。
——这个“别人”还要嫌弃他们保管的不够好，叫萧呈循摸走了不少好东西。
星海荣光号也许是人类历史上最大的星舰。
也就只有当年那群理想主义者们，会怀揣着浪迹星海的念头，举全部力量打造出这样一艘巨舰。
——然后就被狠狠背刺了。
当它准备降落在这颗行星上时，一度造成了遮天蔽日的景象。
可惜这颗行星是一颗无人星，没有人能看见感受一番它的压迫感。
时隔一百九十八年，星海荣光号终于再次降落在地面上