From 390f74181dd1c1d19f400e4c2919ac8445548668 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E9=BD=8B=E8=97=A4=E3=81=BF=E3=81=A4=E3=82=8B?= <76672157+saitoomituru@users.noreply.github.com> Date: Sun, 18 Oct 2026 16:18:21 -0700 Subject: [PATCH 1/6] docs: define Weaver ABC evidence types, OAE scope and abstract fit operations --- .../fit-match-select-evidence-boundary.ja.md | 33 +++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 docs/specification/fit-match-select-evidence-boundary.ja.md 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..f18dc1e --- /dev/null +++ b/docs/specification/fit-match-select-evidence-boundary.ja.md @@ -0,0 +1,33 @@ +# 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との適合性検証。これは文書追加であって機能実装ではない。 From c9776439c546f09f0f888d716589629f9887b605 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E9=BD=8B=E8=97=A4=E3=81=BF=E3=81=A4=E3=82=8B?= <76672157+saitoomituru@users.noreply.github.com> Date: Sun, 18 Oct 2026 16:24:57 -0700 Subject: [PATCH 2/6] docs: disambiguate Shannon quantization, historical number-theory terminology and Infoton --- .../fit-match-select-evidence-boundary.ja.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/docs/specification/fit-match-select-evidence-boundary.ja.md b/docs/specification/fit-match-select-evidence-boundary.ja.md index f18dc1e..93b39a3 100644 --- a/docs/specification/fit-match-select-evidence-boundary.ja.md +++ b/docs/specification/fit-match-select-evidence-boundary.ja.md @@ -31,3 +31,16 @@ OAEは「どのWorld、出典、対象、Observer、rule、関係射影を評価 - `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仮説を無断昇格させない。 From d3ff904bd1cd5a1e9277720147552591d846ecb6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E9=BD=8B=E8=97=A4=E3=81=BF=E3=81=A4=E3=82=8B?= <76672157+saitoomituru@users.noreply.github.com> Date: Sun, 18 Oct 2026 16:53:38 -0700 Subject: [PATCH 3/6] docs: connect evidence type/causality scope guard to implementation review --- AGENTS.md | 11 +++++++++++ 1 file changed, 11 insertions(+) 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しない From e89f439b62580178d8352b0df3672b699d21fdb1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E9=BD=8B=E8=97=A4=E3=81=BF=E3=81=A4=E3=82=8B?= <76672157+saitoomituru@users.noreply.github.com> Date: Sun, 18 Oct 2026 16:53:43 -0700 Subject: [PATCH 4/6] docs: connect evidence type/causality scope guard to implementation review --- .../fit-match-select-evidence-boundary.ja.md | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/docs/specification/fit-match-select-evidence-boundary.ja.md b/docs/specification/fit-match-select-evidence-boundary.ja.md index 93b39a3..292dd0f 100644 --- a/docs/specification/fit-match-select-evidence-boundary.ja.md +++ b/docs/specification/fit-match-select-evidence-boundary.ja.md @@ -44,3 +44,19 @@ Shannon, C. E. (1948), *A Mathematical Theory of Communication* は、離散情 - 数論と制度の批判的論考: 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)を開く。**研究範囲が開いていることと、実装が検証済みであることを混同しない。** From e063deb18374fd5f593bf6e98cba913429af4f46 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E9=BD=8B=E8=97=A4=E3=81=BF=E3=81=A4=E3=82=8B?= <76672157+saitoomituru@users.noreply.github.com> Date: Sun, 18 Oct 2026 16:53:45 -0700 Subject: [PATCH 5/6] docs: connect evidence type/causality scope guard to implementation review --- docs/specification/fam-q-declaration-execution.ja.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/specification/fam-q-declaration-execution.ja.md b/docs/specification/fam-q-declaration-execution.ja.md index a714658..3c4e625 100644 --- a/docs/specification/fam-q-declaration-execution.ja.md +++ b/docs/specification/fam-q-declaration-execution.ja.md @@ -10,7 +10,7 @@ - [`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の相互実装を捏造しない。\n\n## 目的 FAM base structure(`ψ/∇φ/λ/Q`)のうち`Q`だけが宣言(declaration)専用であることを固定し、実行(execution)は`Q(scope).method(args)`という統一呼び出しへ集約する。CoreはWorld観・backend製品名・特定protocolをこのcontractへ焼き込まない。 From bd14db2ff92bcdb1c236e93f09daf27438792e93 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E9=BD=8B=E8=97=A4=E3=81=BF=E3=81=A4=E3=82=8B?= <76672157+saitoomituru@users.noreply.github.com> Date: Sun, 18 Oct 2026 16:55:28 -0700 Subject: [PATCH 6/6] docs: normalize escaped README/spec line breaks --- docs/specification/fam-q-declaration-execution.ja.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/specification/fam-q-declaration-execution.ja.md b/docs/specification/fam-q-declaration-execution.ja.md index 3c4e625..4ed76c6 100644 --- a/docs/specification/fam-q-declaration-execution.ja.md +++ b/docs/specification/fam-q-declaration-execution.ja.md @@ -10,7 +10,9 @@ - [`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の相互実装を捏造しない。\n\n## 目的 +補足：[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へ焼き込まない。