把簡單射線探測器的製作書轉給惡獄鎮守，是沈文劍批的。
目的不是爲了賺錢，而是想要看看惡獄鎮守會有什麼後續動作。
隨着時間來到3051年年底，新一輪的祭典效果隨時有可能爆發，惡獄作爲被惡獄鎮守堵住的地方，自然是個重點盯防區。
沈文劍相信惡獄鎮守能頂住後續變化帶來的壓力，不然他們無法存在上萬年的時間，但是探秘還是有必要，這有助於玉劍山瞭解靈月的祭典規則。
強闖惡獄也是一條路，不過“暗中觀察”更符合沈文劍的習慣。
經過多年的部署，惡獄第一層已經有超過三萬只獨角仙處於待機狀態，它們甚至跨越了兩代技術，最新的這一批是設計院定做的高能版，其天線功率和能量儲備都是之前版本的幾倍。
這種小東西在惡獄裡還是有些不太夠看，沒辦法潛入太深，可如果惡獄鎮守主動行動，它們卻能通過靈能追蹤的方式避開陰氣侵蝕，獲得更多信息。
而且，惡獄鎮守的行動，還可能帶來機會，讓更大號的“間諜”潛入。
這種機器人沒有公開，是沈文劍最近帶着幾個機動組成員弄出來的。
從仙宮空間站回到山上後，沈文劍刻意的降低了自己處理公務的比例。
上天之前，沈文劍處理的公務，包含各個山頭部門級別的文件，雖然只是過一遍不用批示，卻很費時間。
現在他把公務處理級別提到長老級，只看看各山頭的概況，對每個山頭有沒有出現死人、渡劫失敗之類的重要信息即可。
另外玉石峰的事務也不太過問了，主要精力放在外部情報上。
調整過後花了些時間習慣，就有更多的自由時間。爲惡獄監控做準備的時候，就想到需要更大的監控機器人，以獲得更好更復雜的性能。
蜘蛛機器人的全重達到獨角仙的三倍，幾乎有一斤，腿部伸展的時候能達到小臉盆那麼大。
這種大小的蜘蛛可能會把一些人嚇哭，但是在靈氣聚集之地，其實不是太稀奇的東西。
蜘蛛機器人除了獨角仙擁有的功能，還搭載了最新成果：靈能透射具現陣法。
從名字就能看出來，這是基於青柳猜想爲基礎製造的設備，功能也很特別。
它能透過蜘蛛機器人的外殼，在體外具現符籙！是玉劍山最小的自動施法單位，能夠使用“咒”。
此前最小的施法單位是緣系列的多功能通訊機器人，其重量有六千克以上。
兩者的施法原理還不同，緣系列的施法單元是在透明通靈材料後面，本身不具備匿藏能力，在不施法的時候也能感應到它的內部靈能波動。
而蜘蛛機器人的施法單元被阻靈材料擋住，外面察覺不到。
還有更厲害的，蜘蛛機器人投射的符籙，是基於“過渡版符文”實現的，具現咒術的能量消耗平均比基礎符文低20%！
總之，蜘蛛型機器人一旦入侵惡獄，就能透過咒術保護自己，在能量耗盡之前隔離陰氣的侵蝕。
有人提出試着用陰屬性的靈能做轉換，反過來給間諜機器人充能。
陰屬性靈能大家都不太喜歡，因爲這種能量無法實現自然平衡。
比如餘靈珊的九陰靈根，每個月都需要補充含有大量陽氣的丹藥，否則就要主動吸收陽屬性的靈氣，而這會讓她體內有着火般的感覺。
如果不這麼做，隨着修行的進度，人的臟器會逐漸硬化，甚至最後把整個人變成類似寒玉的物體。
自然環境裡的陰屬性靈能，主要依賴與光能、熱能、粗靈氣進行平衡，變成靈氣的一部分。
這意味着間諜機器人需要拿出額外的能量，進行屬性平衡後才能吸收惡獄裡的陰氣，主動吸收也需要付出能量。
轉來轉去，吸收利用率會非常低，可是作爲間諜機器人，它的轉換與吸收單元又必須足夠小，就帶來不少技術問題。沈文劍帶人把蜘蛛項目弄完後，就讓劉香湘把課題轉到工程院慢慢解決。
蜘蛛機器人使用的過渡版符文，就是設計院3051年的主要成果了，閃電3-2號機的製造只是簡單複製，都不算事。
過渡版符文套裝，只有56枚符文和32個銘紋，相比古版本的81和36，符文的縮水量有些出乎意料！
這套符文裡，出現了一個類“S”形的超簡易符文，它差一點就被歸類到銘紋中。
銘紋的作用是連接符文能量邏輯開關，同時不干擾符文生效，特點是結構比符文簡單很多。
實驗的結果表明，冒出來的超簡易符文功能就是原來的“定”，基礎效果爲短暫凝結靈能，是古代版聚靈陣的核心符文之一。
針對該符文做深入研究，發現它和之前的“定”並不是完全一樣，以“能量阻力”來描述更爲精確，從這個角度來看，它又真的很像銘文，因爲銘文裡也有一個有類似的功能，甚至形狀都很接近。
劉香湘代表設計院的年終總結裡也特別提到了它。
“通過‘能量阻力’符文，我們推測符文和銘文最後會趨同，明年我們會根據過渡版符文出現的新特徵，調整符文開發超算的篩選規則，先讓它算幾個月看看是什麼結果。”
計算未知，存在很大的不確定性，“能量阻力”符文雖然長相和原有的某銘紋差不多，其實也存在很大的運氣成分。
符文開發機超算化，並且運用了青柳猜想延伸的透射具現原理後，每年能篩選並處理15552720個結果。看起來很大的數字，放在平面空間形成的“無限”中，沙礫都不算一個，再加上可能存在的立體結構……
別管什麼等級的超算，最後要得到真正至簡到接近規則本身的符文，已經沒辦法像運算定式一樣用窮舉法了，算法、時間、運氣缺一不可。
沈文劍倒是提了個想法：“是不是可以用符文定式的‘形’，來嘗試做簡化，再從簡化結果中尋求分離的可能？”
定式是由符文和銘紋組成的固定陣法元素，針對一個定式做簡化，比尋求“無限”中的某種可能，理應容易一點。重點在於利用這種方式，也許可以有定理或猜想式的理論發現，對後續的研究會有極大的幫助作用。
劉香湘愣在那眨巴眼，好一會過去才猛點頭：“師父不愧是師父，這條路應該試試。”