最近，在弱耦合条件下对沼泽思想（例如距离或dS猜想）进行了弦论测试。 在弱耦合机制之外测试这些想法仍然具有挑战性。 我们提议利用模态有效作用的模对称性来检查沼泽地约束，超越扰动理论。 作为示例，我们研究了4d N = 1 $$ \ mathcal {N} = 1 $杂化的紧实情况，在模对称作用于Kähler和复杂结构模量的情况下，其非扰动有效作用不变。 4d杂合或双歧紧缩的特定SL（2，Z）T-对偶（或其子组）。 值得注意的是，在具有非微扰超势的模型中，对应的对偶不变势在模空间中无限距离的点处

我们构造的I型弦模型具有超对称性，被压缩破坏，它不是速动的，并且在一个回路中的有效势呈指数减小。 可以稳定所有打开的弦模量，而闭合的弦模量在一个回路中保持无质量。 感兴趣的背景通过使用堆叠的黄铜而具有刚性的Wilson线，并且某些模型应该具有杂对偶。 我们还提出了非速动的背景，在一环处具有失控型的正电位。 此类模型可用于测试各种沼泽地猜想。