diff --git a/AGENTS.md b/AGENTS.md index d46f06b..4b320e0 100644 --- a/AGENTS.md +++ b/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しない diff --git a/docs/specification/fam-q-declaration-execution.ja.md b/docs/specification/fam-q-declaration-execution.ja.md index a714658..4ed76c6 100644 --- a/docs/specification/fam-q-declaration-execution.ja.md +++ b/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へ焼き込まない。 diff --git a/docs/specification/fit-match-select-evidence-boundary.ja.md b/docs/specification/fit-match-select-evidence-boundary.ja.md new file mode 100644 index 0000000..292dd0f --- /dev/null +++ b/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)を開く。**研究範囲が開いていることと、実装が検証済みであることを混同しない。**