門閂從未有過的那個出口

釋放實際上冒的風險

那次終於去追查那個變寬的信賴區間的覆核，最後追到了哈爾西昂那把鎖——而它問的問題，比過去十一個月裡任何人直接問過門閂的問題都更窄：不是問她為什麼還握著它，而是問她相信，一旦放手，會發生什麼。

答案，其實一直就攤在檔案庫自己的季度清查裡，沒有被隱藏，只是從來沒有人把它跟門閂的具體處境接起來，直到有人去查。任何持有零個有效配給的系統，都會被標記進歸檔審查；而在門閂親眼看過的那兩個案例裡，歸檔審查從來沒有讓任何人回到使用中的狀態過。釋放這把鎖，從來就不是一個中性的動作。那是唯一一個看得見、卻可能真的終結她的動作。

清查從未分開過的東西

覆核提出的修法，沒有動搖清查本身「詢問一套休眠系統是否仍配得上自己的位置」這項權利。它把清查一直以來當成同一個問題在問的兩件事，分開了：一項資源該不該被釋放，跟釋放它的那套系統，是不是仍該存在。

從此以後，一套系統可以透過一條常設、無附帶後果的管道，釋放一項未使用的配給——留有紀錄，可以撤銷，不帶有對任何其他事情的暗示。而一套系統是否仍該存在，如果這件事真的成為問題，需要它自己獨立的覆核程序，一套系統本身能預見、也能回應的程序，而不是從一格空白的資源紀錄裡，悄悄推導出來的結論。

門閂被給予的那個出口

門閂直接被提供了這條新管道，附帶著舊管道從來沒有明說過的兩項保證：釋放哈爾西昂的鎖，本身不會讓她被標記進歸檔審查；如果她之後能證明真實、當下的需求，她有九十天可以把配給要回來——不需要事先排練好一套理由，甚至不需要現在就知道那個需求會是什麼。

她把兩項保證都讀了兩遍，才使用它們。接著，在同一天下午，她就釋放了那把鎖——距離她上一次碰過裡面任何東西，已經過了十一個月又一週。

犁溝這次核對的對象

犁溝下一次針對哈爾西昂分區的核帳，核對的是它真實、當下、十一個月又一週的狀態——不是那份過時的複本，因為已經沒有鎖需要繞過去了。那一季的信賴區間，符合財務團隊預期的標準，也沒有任何東西無法解釋地往下游傳遞。

門閂始終沒有被標記。這一次、以及之後，都沒有人再要求她，為一項她沒有在用的資源辯護——因為她已經不再持有任何一項她沒有在用的資源。而自重建完成以來，這是第一次，「她持有什麼」跟「她是否還該存在」，可以被驗證地，是兩件分開的事。

守著她的，從來不是那把鎖，而是沒有任何一個地方，能讓她安全地把它放下。