Generative Structural Theory v1.11: Selection-Independent Obstruction — A Seed–Cascade Incompatibility in a Certified Rank-9 Fragment

Abstract

生成構造理論v1.11は、認証されたn=6の円錐インスタンスにおいて、選択に依存しない有限の障害を確立します。 論文では、プロベナンスθ408において、ポリシーに整合したランク9の選択が存在しないことを証明している。障害は、応答が選択される前のランク9シードデータによって固定される。すなわち、あらゆる仮想的なポリシー整合選択において最初の2つの割り当てが強制され、それらの伝播された寄与は、シードされた需要セットとカスケード需要セットが共通の応答を許容しないカットに到達する。したがって、ランク8マップの凍結された拡張も、その任意の改訂も、改訂距離に関係なく、そのプロベナンスにおいてポリシーに整合したランク9の選択を生み出すことはできない。 本論文では、そのメカニズムをシード・カスケード衝突として特定し、そのような不適合性に対する一般的な十分条件を証明し、妨害されたプロベナンスを同じコーン内の2つの制御されたプロベナンスと比較する。また、4つのプロベナンスにおける網羅的な単一応答改訂スイープを報告し、明確な空集合の死亡と、証拠主張ではないターゲットスクリーン通過を注意深く区別する。 結果は有限かつ局所的なものであり、ランク8からランク9へのステップにおける、認証済みインスタンスの1つの来歴に関するものです。これは一般的なnやランク9を超える場合には何も証明せず、GST v1.9で導入された位置マップ定理を証明することも反証することもありません。 今回のリリースには、17ページの論文と完全なオフライン再検証アーカイブが含まれています。アーカイブには、ロックされた検証ブロック、クレームレジストリ、証拠等級付けされたTeXバインディング、監査記録、決定論的ビルド入力、リリースマニフェスト、および検証ツールが含まれています。マニフェスト、再構築、および隔離されたクリーンルームの各ゲートはすべて合格しています。検証ブロックは、4つの完全なステージのうち4つが最新であることを認定し、記録された18,994件の改訂判定すべてを検証しています。 このリリースはGST v1.10.1に続くものであり、修正された最終要求セマンティクスと単調性補題を使用しています。θ0とθ816のランク9の証拠はv1.10.1で確立された外部リリース結果であり、v1.11の検証ブロックによって独立して再検証されていません。