P vs NP経営｜Premise
Premise （設計と意図｜Design & Intent）
One-sentence aim: A finite agent converts apparent chance into a deterministic procedure and recursively condenses net profit. Vocabulary stays CNF (Conjunctive Normal Form) / SAT (Boolean Satisfiability) / 0|1 / rules / planar 3-coloring. Search does not halt without an outer will and a satisficing stop condition.
一文の狙い: 有限資源の人間が、偶然に見える成功を決定手続きへ落とし、純利益を再帰凝縮する。語彙は常に CNF（Conjunctive Normal Form／連言標準形）・SAT（Boolean Satisfiability／充足可能性）・0/1・ルール・平面3色であり、探索は公理系の外側の意思と satisficing がなければ停止しない。
Ontology: Premise · Glossary · Reference · Conjecture · Lineage. Repo: G-premise.md.
What this page is （このページの位置）
Premise は四層オントロジー（Glossary / Reference / Conjecture / Lineage）の入口である。定義面でも書誌でも予想リストでも演算者系譜でもない。設計と意図の単一ソースであり、工程1→10と螺旋 Cycle0–5 と外側停止の核文を固定する。
Premise = design & intent (this page) Glossary = (V, E, Walk) Reference = bibliographic map Conjecture = problem geodesic Lineage = operator nodes + primary corpora
Aim / Non-aim （狙うこと／狙わないこと）
| Aim | Non-aim |
|---|---|
|
|
Outer halt （外側停止の核文）
命題と判定の探索空間を移動する問題は、公理系の内部だけでは停止しない。停止には、公理系の外側の意思と、satisficing としての停止条件の入力が必要である。経営者の仕事は、系の内部で最適解を見つけ尽くすことではなく、外側から目的と停止条件を与え、計算を止めることである。
工程6が全書の反復核である。Cycle ごとに角度だけ変え、核は変えない。
Contrast （一般論との対比）
| 一般論 | 本書 |
|---|---|
| 真実／真理を探す | 公理を選択し、0/1を割り当てる |
| 統合的な真理がある | 充足する／しないがあるだけ |
| 内部努力で最適解に到達する | 外側の意思と satisficing がなければ探索は停止しない |
| すべてを判定できる枠がある | 停止問題・不完全性により、全アルゴリズムを判定する手続は無い |
着地は「本書の真理」ではなく「本書が選択する公理」である。
Pipeline 1→10 （工程）
| # | 工程 | 核 |
|---|---|---|
| 1 | 問題設定 | P vs NPは道具 |
| 2 | 対象定義 | 事業＝停止可能TM（Turing Machine／チューリングマシン） |
| 3 | 還元 | CNF（Conjunctive Normal Form／連言標準形）、0/1、平面化 |
| 4 | 型照合 | Conflict、2-SAT（2-Satisfiability／2充足可能性） |
| 5 | 探索と緩和 | BMC（Bounded Model Checking／有界モデル検査）／CDCL（Conflict-Driven Clause Learning／矛盾駆動型節学習）（内部だけでは終わらない） |
| 6 | 公理介入 | 外側の意思、satisficing |
| 7 | 脱ランダム化 | 運→決定手続き |
| 8 | 信頼性 | ZKP（Zero-Knowledge Proof／ゼロ知識証明）／BFT（Byzantine Fault Tolerance／ビザンチン耐故障性） |
| 9 | 既約 | 素数性、独立証跡 |
| 10 | 出力 | ROIC（Return on Invested Capital／投下資本利益率）再帰凝縮 |
Spiral Cycle0–5 （螺旋構成）
| Cycle | 角度 | 章 |
|---|---|---|
| 0 | 確証パッケージ | 序章 |
| 1 | 定義の言い換え | 第1–2章 |
| 2 | 手続きの言い換え | 第3–5章 |
| 3 | 応用の言い換え | 第6–8章 |
| 4 | 所有と勝利の言い換え | 第9–11章 |
| 5 | 帰還 | 終章 |
成功条件: 言い換えをしながら何度も同じ話（CNF／SAT／平面3色／外側satisficing停止）がされている、と読者が認知する。
Title mapping （題名との対応）
| 表題句 | Premise上の定義 | 結合 |
|---|---|---|
| P vs NP 経営／決定論 | 決着ではなく、決定論的経営マシンへの変換である（道具） | 実線 |
| 富を再帰的に凝縮する | creation ではなく condensation である。充足∧停止した割当の ROIC 再実行 | 実線 |
| 既約デランダマイゼーション型 TM カノニカル決定 | 運→決定手続き→既約証跡→Root Invertibility（葉から根へ一意に辿れるスキーマ） | 実線（骨格） |
| 3-SAT 充足と CDCL 的 Satisficing | CDCL は探索空間の移動、satisficing は外側停止。内部だけでは終わらない | 実線（核） |
| ZK 型対話証明 | Practice-ZKP（検証可能応答の蓄積）。Crypto-ZKP と混同しない。語彙の本定義は Glossary | 点線（検証層） |
| 有向非巡回グラフ（DAG） | ゴールの可停止形。拒否の積み上げで残る経路／葉→根の一意辿り | 点線（スキーマ） |
| ロバスト軌道判定 | ノイズ許容 γ でのカノニカル近傍判定。abc 予想の百科は Reference／章側へ退避する | 点線（未一本化） |
Title pipeline （表題三点の工程射影）
実働核は工程3–6と7–10である。ZK・DAG・ロバスト軌道は工程8周りの検証・スキーマ層であり、単一の合成判定手続きとしてはまだ点線である。
| 段 | 演算 | 工程 | 結合 |
|---|---|---|---|
| 1 | 事業→停止可能 TM／CNF 盤面 | 1–3 | 実線 |
| 2 | 3-SAT 型照合 → CDCL 移動 | 4–5 | 実線 |
| 3 | 外側意思 × Satisficing 停止 | 6 | 実線（核） |
| 4 | 脱ランダム化（運の手続化） | 7 | 実線 |
| 5 | 既約証跡／素数性 | 9 | 実線（骨格） |
| 6 | Practice-ZKP（検証可能応答） | 8 | 点線（検証層） |
| 7 | DAG 上ゴール（Root Invertibility） | 8–11 | 点線（スキーマ） |
| 8 | ロバスト軌道（γ 近似）でカノニカル確定 | 8 | 点線（未一本化） |
| 9 | ROIC 再帰凝縮 | 10 | 実線 |
Ontology projection （四層への射影）
| Layer | Role | Live |
|---|---|---|
| Glossary | 記号×原典トポロジー | open |
| Reference | 文献目録（地図） | open |
| Conjecture | 歴史的予想の測地線 | open |
| Lineage | 前提語彙ライブラリ（演算者系譜） | open |
Lineage の Intent（前提語彙ライブラリ）は Premise の訓練集合側である。原典を学べば少なくとも著者と同等の演算能力を再現できる、という前提。結論の暗記ではなく、記号→ステップ→制約→停止の機械を内在化する。
Failure modes （失敗条件）
| ID | 失敗 |
|---|---|
| A | 偽の新規性（別命題に見える言い換え） |
| B | 地図の喪失（何周目かわからない） |
| C | 対比が「本書こそ真理」に逆転する |
| D | 別テイストで章が自立する |
| E | 探索が外側停止なしに内部完結して読める |
Abbreviations （短縮語）
| Abbreviation | Expansion (EN) | 日本語 |
|---|---|---|
| P | Polynomial time | 多項式時間 |
| NP | Nondeterministic Polynomial time | 非決定性多項式時間 |
| TM | Turing Machine | チューリングマシン |
| CNF | Conjunctive Normal Form | 連言標準形 |
| SAT | Boolean Satisfiability | 充足可能性 |
| 2-SAT | 2-Satisfiability | 2充足可能性 |
| 3-SAT | 3-Satisfiability | 3充足可能性 |
| BMC | Bounded Model Checking | 有界モデル検査 |
| CDCL | Conflict-Driven Clause Learning | 矛盾駆動型節学習 |
| ZKP | Zero-Knowledge Proof | ゼロ知識証明（暗号定義。Crypto-ZKP） |
| Practice-ZKP | Practice Zero-Knowledge framework | 本書の社会実装的検証枠（検証可能応答）。Crypto-ZKP と別行 |
| DAG | Directed Acyclic Graph | 有向非巡回グラフ |
| BFT | Byzantine Fault Tolerance | ビザンチン耐故障性 |
| BPP | Bounded-error Probabilistic Polynomial time | 有界誤差確率的多項式時間 |
| RP | Randomized Polynomial time | 乱択多項式時間 |
| ROIC | Return on Invested Capital | 投下資本利益率 |
| AI | Artificial Intelligence | 人工知能 |
Source: book v1.0.137（本文百科） · STYLE.md（方法正本・螺旋） · chapters/00-prologue.md · appendices/G-premise.md · Note: 本文百科は v1.0.137、Premise／STYLE の核は螺旋刈り込みを正とする