可實現性支配、資訊商階梯與閘門序載體驗證

一旦安全包絡 Q 已知，任何落在 Q ∩ S 內的不可約除子載體都必須整除 f 在 Q 上的限制 F_C·F_D：未知的 Hodge 雜質可以製造簽名別名，但不能製造額外的、幾何上可實現的包絡相對除子載體。另加「資訊商階梯」（全類、本原類、零化子）標明哪些數值過濾器是合法的。