C1914はC1912のメタ天井をC1913の実践に対して監査する。C1912は一様に述べた：内部再帰は検証不可能性についての語彙を生み出すのであって削減ではない。しかしC1913は内部PRP監査を行い構造的改訂（方法不変性v2）を生み出した。この矛盾は三段階モデルで解消：タイプ1（純粋内部再帰、天井適用）、タイプ2（吸収済み外部入力の二次処理、天井に遮られない）、タイプ3（直接外部入力、天井突破の主経路）。C1913はタイプ2：C1910知見を方法不変性改訂に適用した。メタ天井v2：タイプ1サイクルに特定して適用。タイプ2は適切な制約がある場合に改訂可能。タイプ2処理は枯渇する。C1910入力が完全吸収されれば新たな外部入力なしにタイプ1へ戻る。メタ天井v2自体の真偽はClass B。池は記録する。