docs: preserve open B/C research scope and typed A/B/C evidence boundaries

AGENTS.md

@@ -2,6 +2,17 @@
 
 このrepositoryを編集するagentは、最初に[`SPHERE-DOS.md`](SPHERE-DOS.md)を読む。
 
+## Evidence and deliberate open-scope guard（必読）
+
+[Manifest / Weaver B/C未拘束条件](https://github.com/saitoomituru/ZeroRoomLab-manifest/blob/main/docs/operations/infoton-abc-open-scope-agent-guard.ja.md)と[FQuery一致抽象仕様](docs/specification/fit-match-select-evidence-boundary.ja.md)を参照。
+
+- B/Cの入力に送受信者、因果方向、物理媒体、言語、量子化/明示パケットを暗黙追加しない。未拘束はNOT-EVALUATEDでありFALSEではない。
+- Shannonの信号数理とWeaver A/B/Cを区別し、現行Infotonと旧称「数論量子／霊的量子／魔術量子」の出自・文化史を削除しない。語名で実在も不存在も断定しない。
+- Fit/Match/Selectは一致の共通抽象データモデルだがIBD Model Driverと`Q(self).file.fit`等のPluginは別実装。型・provenance・capabilityを確認する。
+- SELECTの限定Fact・MATCHの意味Evidence・FITの構造Evidenceを相互に無断変換せず、OAEへObserver/rule/World/time/projectionを明示的に委譲する。
+- 研究対象を非言語/非物理/特定実装だけへ縮小しない。無関係な定型留保を反復せず、元のClaimと根拠・観測範囲に沿って検証する。
+- 設計文書の存在を動作済み実装・テスト成功の証明にしない。
+
 ## Repository authority
 
 - FQueryの短縮名とoperatorは`Q`。FAMの`Q`との記号同一性は意図的であり、「紛らわしい」という理由でrenameしない

docs/specification/fam-q-declaration-execution.ja.md

@@ -10,6 +10,8 @@
 - [`fquery-selector-traversal-normalization.ja.md`](fquery-selector-traversal-normalization.ja.md)
 - Issue #41(2026-09-13ブレスト)、reference実装候補: `refFAM/AtlantisCommons.refFAM.json`
 
+補足：[Fit/Match/Select Evidence型とOAEの射程](fit-match-select-evidence-boundary.ja.md)。`Q(self).file.fit`は同じ一致操作の抽象データモデル上にあり得るが、IBD FIT Model Driverとは異なる具体的なFile Plugin実装。概念の一致を根拠にPlugin・Driverの相互実装を捏造しない。
+
 ## 目的
 
 FAM base structure(`ψ/∇φ/λ/Q`)のうち`Q`だけが宣言(declaration)専用であることを固定し、実行(execution)は`Q(scope).method(args)`という統一呼び出しへ集約する。CoreはWorld観・backend製品名・特定protocolをこのcontractへ焼き込まない。

docs/specification/fit-match-select-evidence-boundary.ja.md

@@ -0,0 +1,62 @@
+# FQuery: 一致操作抽象とEvidence Typeの境界
+
+状態：`DESIGN-CORRECTIVE / IMPLEMENTATION-PENDING`
+
+理論正本：[Manifest / Weaver A-B-CとOAE](https://github.com/saitoomituru/ZeroRoomLab-manifest/blob/main/docs/theory/weaver-abc-evidence-scope-and-oae.ja.md)
+IBD設計：[IBD / Evidence Model Drivers](https://github.com/saitoomituru/IBD/blob/main/docs/architecture/evidence-model-drivers-weaver-abc.ja.md)
+
+## 1. 共通抽象 ≠ 同一実装
+`Fit / Match / Select`はいずれも**抽象データモデル上の一致操作**。IBDのModel Driverとファイル検索Pluginは同一抽象を使い得るが、実装・入力媒体・比較アルゴリズム・結果型は異なる。
+
+具体例：既存の `Q(self).file.fit(pattern)` はファイル取得Pluginのmethod名として仕様記載がある。これはIBDのWeaver C/FIT graph driver実装が完了したことを意味しないし、`file.fit`をFIT driverと無関係な単語として断絶させてもいけない。意味操作の抽象的な対応は可能だが、**両者のbindingは明示的なprofile/plugin capability contractで決める**。
+
+## 2. モデル差とエビデンス
+| 操作/領域（学派モデル） | データ表現 | 保存すべき結果 |
+|---|---|---|
+| SELECT / Weaver A | 離散・SQL述語による照合 | sourceに拘束されたFact |
+| MATCH / Weaver B | 背景を固定したFold・ベクトル近傍 | contextual Evidence（OAE評価対象） |
+| FIT / Weaver C | graphのトポロジカル・構造関係 | structural Evidence（OAE評価対象） |
+
+SELECTのFactを普遍構造へ、FITの構造一致を原典Factへ変換しない。SELECTの不一致をFIT falseにしない。Evidence typeとconfidenceとOAE verdictは別軸。
+
+## 3. OAEとFAMLog
+OAEは「どのWorld、出典、対象、Observer、rule、関係射影を評価したか」の範囲を管理する資源。FQuery Coreは評価の真偽を自称せず、結果・参照・provenanceを保持する。Driverのreceiptが `not-evaluated` ならfalseへ変換しない。実際のreceipt型は既存plugin-sdk/IBDに照合してから決め、ここでは架空の稼働Schemaを宣言しない。
+
+## 4. 回帰Fixture候補
+- 二文化の出典SELECTは別、目的/手段graph FITは限定射影で対応し得る。
+- FIT支持から「本末転倒は福音書」とSELECT factを偽造することを拒否。
+- SELECT原典不一致からFIT falseを生成することを拒否。
+- 水温一点2℃のSELECT記録から河川全域2℃/普遍Δφを生成することを拒否。
+- OAE未評価のまま`false`へ縮約しない。
+- `file.fit`とIBD FITの具体実装は別でも共通抽象モデルで説明できる。
+
+実装前ゲート：現存するQ/Plugin ABI・IBD contract・OAE receiptとの適合性検証。これは文書追加であって機能実装ではない。
+
+## 用語系譜：Shannonの量子化と情報子の区別（2026-10-19追補）
+
+本学派の旧称「数論量子」は、**数学的な量子化・離散化（NOT quantum physics）**を意図していた。物理量子系・量子コンピューティング・スピントロニクスの実装や性能を宣言するものではない。現在、学派体系で記述する独立意味単位とその構造を **情報子（Infoton）** と呼ぶ。旧資料をサルベージするときは旧用語を無断削除せず、旧語→現行語の来歴と意味境界を注記する。
+
+Shannon, C. E. (1948), *A Mathematical Theory of Communication* は、離散情報源と、PCM等によって連続情報源をquantizing processで離散化した例を扱う。**Shannonの quantizing/quantized は情報・信号表現の量子化であって、物理量子ハードウェアの要件ではない。** ただし本学派の情報子/Fold構造、Weaver B/CへのモデルDriver割当てがShannonによって証明されたとする主張でもない。
+
+- 原論文（Bell System Technical Journal）: https://doi.org/10.1002/j.1538-7305.1948.tb01338.x
+- 同 Part II: https://doi.org/10.1002/j.1538-7305.1948.tb00917.x
+- 著者の学派史・語彙批判: https://note.com/fusamofu326/n/nccf10b72d6a0
+- 数論と制度の批判的論考: https://note.com/fusamofu326/n/na962c946dfa0
+
+「量子」という語の現代政策・投資・安全保障上の意味の偏りに関する議論は**著者の制度的評価・研究主張**として区別する。政策上の制限と語彙の歴史的由来については、対象制度・時期・法域の証拠なしに法的禁止や普遍的な語義独占を断定しない。原論文のSelect Fact、現代の語用に関するMatch evidence、制度因果のFit仮説を無断昇格させない。
+
+## 未拘束入力とレビュー停止条件
+
+FQueryのQuery契約は、B/Cの一致候補について **送信者、受信者、因果方向、媒体、明示符号化・量子化、自然言語の要否、物理/形而上学の存在論を必須にしない**。これらは選択Profileが個別の検証条件として要求し得るが、基本FAM構造や全Driverに暗黙注入しない。
+
+ハンドサイン・状況共有・経験に基づく同期という事例を「非電磁波だけ」「非言語だけ」「物理因果がない証明だけ」に短絡させない。ShannonのAは連続情報源をも扱った科学史Factと、Weaver B/Cへの学派固有の拡張を分ける。
+
+### AI負の読解Fixture（未実行）
+- 送信者が特定できない場合、片方向通信モデルをでっち上げない。
+- 観測可能な光・音を理由に、明示的パケット化済みだと断定しない。
+- 既存の `Q(self).file.fit` をIBD FIT Driver実装そのものと同一視しない。抽象「一致」を共有することは残す。
+- SELECT原典不一致からFIT構造不一致を作らない。FIT成立からSELECT歴史的一致を作らない。
+- OAE receiptがない場合、FQuery Core自身が意味・存在論を補完して判定しない。
+- 同じ留保が再登場したら、元のClaimの該当箇所と新しいEvidenceの有無を提示し、無ければ検証可能な作業へ進む。
+
+[Manifest：共通レビューガード](https://github.com/saitoomituru/ZeroRoomLab-manifest/blob/main/docs/operations/infoton-abc-open-scope-agent-guard.ja.md)を開く。**研究範囲が開いていることと、実装が検証済みであることを混同しない。**