14 在泉六氣淫於內的治法結構
《至真要大論》這一組「諸氣在泉，六淫于內」的治法，經形式化邏輯驗證後，最重要的結論是：在泉之氣的第一治味，比司天更接近單純的五行克治模型，只有濕邪一格需要由「苦燥」覆蓋五行默認規則。
六氣在泉時，病機重點偏向「內部、下位、地氣、臟腑深層」的失衡。因此，第一治味大多直接取克制該氣所屬五行者的本味：風木太過，以金味辛平之；熱火與相火太過，以水味鹹平之；燥金太過，以火味苦平之；寒水太過，以土味甘平之。形式化結果顯示，在泉六格中，風、熱、火、燥、寒五格皆符合這條五行克治規則。
唯一需要特別處理的是「濕淫于內」。若單純按五行相克，濕土應由木味酸來克制；但原文實際使用「治以苦熱」，並在後文直接說「以苦燥之」。這表示濕邪在此處的主要矛盾，不是抽象的「土太過」，而是濕度本身太盛。因此，治法不取木克土，而取苦味的燥濕功能。這一條說明《內經》的治法不是死板五行生克，而是在五行規則之上，允許更直接的氣性對治。
所以，這組在泉治法的第一治味可以壓縮為一句話：除濕邪用苦燥之外，其餘多依五行克治取味。 也就是：
風木 → 辛涼 熱火 → 鹹寒 濕土 → 苦熱 相火 → 鹹冷 燥金 → 苦溫 寒水 → 甘熱
這比司天所勝更規整。司天火與司天寒會因上位「散越」與「寒閉」而改用酸收、辛散；但在泉火仍用鹹冷，在泉寒仍用甘熱，表示在泉層面更重視內部五行制衡，而不是上位開閉收散的位向修正。
佐味方面，這組在泉公式不能被簡化成單一第二味。原文中「佐以甘苦」「佐以酸淡」「佐以苦辛」等，應視為一個佐味集合，而不是嚴格的先後君臣次序。形式化驗證後，在泉六氣的完整佐味集合可整理為：風用苦，熱用甘苦，濕用酸淡，火與寒多用苦辛，燥用甘辛。這代表佐味的角色不是單純克邪，而是用來補足主味未處理的方向，例如緩和、收束、散行、護津、燥濕或防止矯枉過正。
尾巴規則則更接近真正的功能算子系統。「以甘緩之」「以辛散之」「以酸收之」「以苦發之」「以苦燥之」「以淡泄之」「以苦下之」「以辛潤之」「以苦堅之」都不應再被看成第三味、第四味，而應理解為「味 × 功能」的操作單元。換言之，第一治味處理主病機，佐味作為校正集合，尾巴則明確指定最後的氣化方向：緩、散、收、發、燥、泄、下、潤、堅。
因此，這組「諸氣在泉，六淫于內」的最終結論是：在泉治法以五行克治為主軸，以苦燥覆蓋濕邪，以佐味集合進行多目標校正，再用尾巴功能算子明確指定氣化操作方向。 它不是一張死記硬背的六氣對味表，而是一套可以被形式化、被壓縮、也可以被程式驗證的治法語法。