在泉六气淫于内的治法结构
《至真要大论》这一组「诸气在泉，六淫于内」的治法，经形式化逻辑验证后，最重要的结论是：在泉之气的第一治味，比司天更接近单纯的五行克治模型，只有湿邪一格需要由「苦燥」覆盖五行默认规则。
六气在泉时，病机重点偏向「内部、下位、地气、脏腑深层」的失衡。因此，第一治味大多直接取克制该气所属五行者的本味：风木太过，以金味辛平之；热火与相火太过，以水味咸平之；燥金太过，以火味苦平之；寒水太过，以土味甘平之。形式化结果显示，在泉六格中，风、热、火、燥、寒五格皆符合这条五行克治规则。
唯一需要特别处理的是「湿淫于内」。若单纯按五行相克，湿土应由木味酸来克制；但原文实际使用「治以苦热」，并在后文直接说「以苦燥之」。这表示湿邪在此处的主要矛盾，不是抽象的「土太过」，而是湿度本身太盛。因此，治法不取木克土，而取苦味的燥湿功能。这一条说明《内经》的治法不是死板五行生克，而是在五行规则之上，允许更直接的气性对治。
所以，这组在泉治法的第一治味可以压缩为一句话：除湿邪用苦燥之外，其余多依五行克治取味。 也就是：
风木 → 辛凉 热火 → 咸寒 湿土 → 苦热 相火 → 咸冷 燥金 → 苦温 寒水 → 甘热
这比司天所胜更规整。司天火与司天寒会因上位「散越」与「寒闭」而改用酸收、辛散；但在泉火仍用咸冷，在泉寒仍用甘热，表示在泉层面更重视内部五行制衡，而不是上位开闭收散的位向修正。
佐味方面，这组在泉公式不能被简化成单一第二味。原文中「佐以甘苦」「佐以酸淡」「佐以苦辛」等，应视为一个佐味集合，而不是严格的先后君臣次序。形式化验证后，在泉六气的完整佐味集合可整理为：风用苦，热用甘苦，湿用酸淡，火与寒多用苦辛，燥用甘辛。这代表佐味的角色不是单纯克邪，而是用来补足主味未处理的方向，例如缓和、收束、散行、护津、燥湿或防止矫枉过正。
尾巴规则则更接近真正的功能算子系统。「以甘缓之」「以辛散之」「以酸收之」「以苦发之」「以苦燥之」「以淡泄之」「以苦下之」「以辛润之」「以苦坚之」都不应再被看成第三味、第四味，而应理解为「味 × 功能」的操作单元。换言之，第一治味处理主病机，佐味作为校正集合，尾巴则明确指定最后的气化方向：缓、散、收、发、燥、泄、下、润、坚。
因此，这组「诸气在泉，六淫于内」的最终结论是：在泉治法以五行克治为主轴，以苦燥覆盖湿邪，以佐味集合进行多目标校正，再用尾巴功能算子明确指定气化操作方向。 它不是一张死记硬背的六气对味表，而是一套可以被形式化、被压缩、也可以被程式验证的治法语法。