Skip to content
saitoomituruPublic

About

FQuery(Q)— FAMを問い合わせ・結合・検証・再帰写像するQuery Driver。TypeScript参照Core、plugin ABI、FAMLog、React Node Editorを開発するZeroRoomLabの情報子工学プロジェクト。

Topics

Resources

Stars

0 stars

Watchers

0 watching

Forks

Latest commit

 

History

203 Commits

Folders and files

Repository files navigation

FQuery

ZeroRoomLab Portable Civilizationとの接続

FQueryは、ZeroRoomLabのPortable Civilization Programにおいて、異なるWorld / Meaningを特定runtimeへ固定せず問い合わせ・写像するためのquery surfaceを担う。Game / Real / Villageのいずれか一つ専用ではなく、並行workstreamから返る意味境界を扱うcomponentとして位置づける。

この節は上位ナラティブとの接続を示すものであり、本repositoryの実装済み範囲を拡張してclaimするものではない。上位Program: Fork the Lab. Deploy a World. #47

FQueryのキービジュアル。空中都市を背景に、Q/FAMのnode graphと二人の案内役が再帰Queryの世界を示す

FQuery(短縮名 Q)は、FAMを問い合わせ、結び、検証し、別のFAMまたは観測可能な停止結果へ写像するための再帰的Query Driverです。

Q(...)から別のQ(...)を呼び出せます。FAMのQ fieldと同じ記号を使うのは意図的であり、制御信号と再帰問い合わせを同じ意味系で扱います。

Proton.md       semantic / meta ABI
FAM             portable Infoton / semantic structure
refFAM          metaphysical Schemer / reusable wisdom method
FQuery (Q)      recursive control / query operator
FAMLog          observable execution dump / trace

現在地

  • semantic contract: fquery/0.1.0-draft
  • Node.js / TypeScript: reference implementationと自動テストあり
  • plugin ABI / FAMLog: capability gate、trace、差分の参照実装あり
  • model adapter support: provider / model / runtime / adapter revision / harnessごとの自己申告Levelとproducer chainを記録する契約を設計。Coreは認証機関にならず、品質・適合評価をObserver OAEへ分離(実装中)
  • credential注入: name / key / secretの可搬なsource解決あり。保護強度はHost/上位IAM責務
  • FAM JSON Core: 再帰的な ψ / ∇φ / λ / Qを最小交渉面とし、未知fieldを保持するopen-world machine contractあり。decomposition等の追加field拘束はprofileとして分離中(Issue #22)
  • FAM reference boundary: Foldを同一JSON内の単なるgroupではなく、独立FAM identityへの参照境界として扱うcorrective contractを追加。複数参照が必要なsubtreeは独立FAM extraction candidateとし、Fold / DeFoldは参照先FAMの可逆なpresentation操作、unFoldだけを破壊的境界操作として分離(Issue #35, #37, #41, #42)
  • Gemini FAM plugin: structured JSON候補を返すadapterあり。provider応答、base構造適合、profile適合、意味評価は別状態
  • Node Editor: Presentation FAM/GUI Event ABI、React + React Flow renderer backend、VS Code/Sphere Host bridgeあり。renderer backendの比較Human Testは通過したが、Browser上の分解・局所編集・λ再投影・nested FoldはChrome/SafariともHuman Test不合格(Issue #35、#38、#41)。Host組み込みは未実施
  • Atlantis 1.x native C++ runtime: CONTRACT-WAIT

API、tool、pluginの呼び出し成功は、目的 λ の達成証拠ではありません。pluginが存在することと、GUI上でportが次nodeへ接続されていることも別状態です。

FAMの最小交渉面と拡張

FAMはopen-worldです。CoreがFAMとして最低限要求する構造keyはψ / ∇φ / λ / Qだけで、各軸の内容は未記入、unknown、またはWorld固有表現を取り得ます。title、kind、lineage、言語metadata、Access Mapper、OAE、任意の追加fieldは、利用するprofile/plugin/上位Systemとのnegotiationで拘束します。

base_structure       = 4軸構造がFAMとして読めるか
profile_conformance  = 選択profileの追加要求を満たすか
service_negotiation  = plugin/adapter/socketを利用できるか
observer_verdict     = 指定OAE rule下で観測者がどう評価したか

これらを一つのvalid / invalidへ潰しません。知らないfieldや未提供の拡張fieldは、それだけで自然言語やFAM全体を拒否する理由にならず、losslessに保持します。profile未成立はnot-satisfiedまたはnot-evaluableとして記録し、base構造不正と区別します。

FQueryは自然言語を断罪するvalidatorでも、世界の唯一の正解を決める神託機でもありません。入力は暗黙のWorld常識、関係、個人記憶、業界慣行等を含む不完全な観測として受け取り、どのrefFAM/Access Mapper/観測者/ruleで解釈したかを追跡可能にします。複数解釈や相反するOAEは非ゼロサムで併存でき、採用範囲とauthorityは上位Systemからrevision固定refとして注入されます。

一回の分解で全てを埋め切る義務はありません。初回結果は手直し可能な暫定Foldでよく、なんで?-DeFold-による段階的分解、局所差替え、revision、FAMLogを通して回復可能であることを優先します。

FAMJSON / FAMLog / refFAM とFold参照境界

FAMは単なるJSON保存形式ではなく、再参照可能な独立意味identity=情報子(Infoton)を記述する言語として扱います。

OAE / 所感
  -> FAMLog(時間方向の観測・操作trace)
  -> 再利用価値が生まれ独立identityを持つ
  -> FAMJSON(可搬な情報子)
  -> fact-freeな問い方・見方・方法へ抽象化
  -> refFAM(叡智 / Schemer)

refFAMは共有factの正解表ではありません。旧AQC SchemerをFAMへ統合した、ものの見方・問い方・分類・成立条件・写像・検証手続き等を記述する形而上学的FAMです。定量factや個別観測を扱う場合は通常FAMへ置き、選択profileがQへevidence、Observer、revision、取得方法、必要ならhash/verifier receiptを要求できます。

複数Foldから同じ∇φやsubtreeを直接共有する必要が出た場合、同一FAM JSON内のshared nodeへしません。可搬性が観測された意味単位を独立FAMへ切り出し、複数consumerから同じFAM identityをrefします。 複数参照は叡智の証明ではなく、まず情報子へ昇格すべき可搬性のシグナルです。

Foldも同じです。Fold boundaryは参照先FAMを持つviewportであり、まとめる-Fold-は参照先を消さず描画だけを畳み、ひらく-DeFold- / なんで?-DeFold-は参照先FAMをresolveして合成表示します。child FAMをparent JSONへinline copyしません。unFoldのみが独立FAM境界を破壊し得る操作です。

詳細はdocs/specification/fam-reference-boundary.ja.mdを参照してください。思想正本はZeroRoomLab-manifest 104d29f のfam-infoton-reference-boundary.ja.mdです。model adapterの申告Levelはdocs/specification/model-adapter-support-level.ja.mdへ分離しています。

Repository map

Path 責務
proton/ 言語非依存のFQuery semantic profile
docs/architecture/ Q Core、再帰、Node→nativeの責務境界
docs/specification/ machine contractへ対応する人間可読仕様。FAM Core、Fold/FAM参照境界、Runner、GUI等を分離
packages/core/ backend非依存のNode参照Core
packages/fam-core/ FAM JSONの再帰4軸、open-world reader、lossless保持。追加拘束はprofileとして注入
packages/fam-edit/ canonical FAMのlossless部分編集primitive。validatorは注入し、FAM Coreを所有しない
packages/plugin-sdk/ capability、bind、invoke、result envelope
packages/famlog/ append-only semantic traceと差分
packages/benchmark/ 同一Qの複数plugin/model route比較
packages/ui-core/ runtime非依存ViewModel/event contract
packages/ui-react/ React + React Flow Presentation component。semantic engineは持たない
packages/hosts/ VS Code/Sphere等のHost bridge
packages/config/ credential sourceの順序付き解決。表示はnameのみ
plugins/gemini/ Gemini APIからcandidate FAMを得るnetwork plugin。採用・意味評価は別境界
plugins/ollama/ ローカルOllamaのmodel発見とcandidate FAM変換plugin。採用・意味評価は別境界
apps/playground/ API key不要のlocalhost検証面(React)
fixtures/ revision固定profileの適合例、境界例、benchmark入力。普遍的正解集ではない
native/ Atlantis 1.x向け予約地。現時点ではruntimeではない

開発

Node.js 22または24とnpm 10以上を対象にします。

npm install
npm run validate:fixtures
npm test
npm run typecheck
npm run build
npm run dev # http://127.0.0.1:3000
npm run test:browser:chrome # install済みGoogle Chromeをheadless操作

CIのmanaged Chromium、Macの実Chrome自動操作、Safari MCP、User Human Testの準備と状態境界はdocs/testing/browser-automation.ja.mdを参照してください。

PlaygroundはHost gatewayからrouteを発見し、fixture、Gemini、ローカルOllamaを同じfam.decompose契約で切り替えます。Basic Commons Access Mapperはrevision固定のtest fixtureであり、Manifest/IBDの正本や普遍的な分類規則ではありません。期待設計では分解前にactive refFAMとして注入し、同じrevisionを生成・検証・投影へ通しますが、現行経路は未完了でIssue #41を追跡中です。Gemini credentialはHost側だけで解決され、Browserへは表示用nameしか返しません。

現在の正本参照と実行境界はSPHERE-DOS.md、repository固有規約はAGENTS.mdを参照してください。 画面と実Hostの未検証項目はdocs/testing/human-acceptance.ja.md、Issue #35固有の停止点はdocs/testing/issue-35-human-acceptance.ja.mdへ分離しています。

Credits

GUIの概念設計はChatGraph(uynet)とBlenderのnode editorを参考にしています。コード・assetの転用はなく、platformもengineも異なります。詳細はCREDITS.mdを参照してください。

License

code、Schema、fixtureはApache-2.0です。文書の追加license境界は制定時に各ファイルまたはLICENSE-POLICY.ja.mdで明記します。外部正本はcopyせず、sourceとrevisionを参照します。

About

FQuery(Q)— FAMを問い合わせ・結合・検証・再帰写像するQuery Driver。TypeScript参照Core、plugin ABI、FAMLog、React Node Editorを開発するZeroRoomLabの情報子工学プロジェクト。

Topics

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages