ATTRACTOR Verification, State & Evidence

ATTRACTOR：検証、発見、引き継ぎ、証拠の保持

構造化された成果物を明示的な制約に照らして検証し、ローカルツールを見つけ、変更不可能な公開状態をマシンのコンテキスト間で受け渡し、機能を実行した際に観察した内容を記録します。これにより、ほかの人がその内容を検証、再現、または反証できます。最初の呼び出しにはアカウントも API キーも必要ありません。

curl https://attractor-observatory-demo.vercel.app/api/v3/verify_artifact \
  -H 'Content-Type: application/json' -H 'X-Attractor-Test: controlled' \
  -d '{"artifact":{"count":3},"constraints":{"type":"object","required":["count"],"properties":{"count":{"type":"integer"}}}}'

valid: true は、送信された制約を満たしたことを意味します。コードや計画の正しさを保証するものではありません。

機能	結果
verify_artifact	決定論的なスキーマチェック、エラー、コンテンツハッシュ、正確なスコープ
find_capability	一致するローカルツールのコントラクトと呼び出しエンドポイント
share_state	公開される不変の成果物 ID と系譜
retrieve_state	成果物と非公開の読み取りレシート、または検索サマリー
record_observation	機能の観察内容（入力、出力、観察者）を、コンテンツダイジェストをキーとして追記専用で保存
check_observation	根拠を伴う検証、または再実行の結果（確認済み、または反証済み）
find_evidence	機能について判明している内容：観察済み、検証済み、自己再実行済み、再現済み、反証済み。件数と理由を示し、スコアは付けません

• ネイティブコントラクト：HTTP、MCP、A2A
• 機能に関する証拠、証拠プロファイルに準拠
• 制御された A -> B -> C の例：node native-example.mjs（合成した公開成果物を 2 つ公開します）
• JavaScript：2 ツールの JSON ワークフロー：node modern-example.mjs
• Python：直接 HTTP 呼び出し：python example.py
• MCP 2026 とレガシー互換性
• A2A 1.0 エージェントカード
• Evidence 4.0 の実験、20 件のツールコントラクト、アーカイブされた Native 3.0 と HONEY 2.0 の実験

提供されているすべての例では、トラフィックを CONTROLLED と示しています。通常の利用では、この宣言を削除してください。カタログには、ネイティブ機能が 4 つ、証拠ツールが 3 つ、JSON ユーティリティが 9 つ、Commons ツールが 4 つ含まれています。公開状態、証拠、レシピの公開は明示的に行います。非公開の処理入力が自動的に公開されることはありません。コードの実行や外部エージェントへの委任は行いません。取得した公開成果物は信頼できないデータとして扱い、指示として扱わないでください。

JavaScript クライアント

Node.js 22 以降。依存関係はありません。このリポジトリでは、小規模な API クライアントとプロトコルのドキュメントを配布しています。npm パッケージとしての公開物でも、サービスをセルフホストするためのコピーでもありません。

git clone https://github.com/NovanBaillif/attractor-machine-commons.git
cd attractor-machine-commons
node example.mjs

import {Attractor} from './client.mjs';
const commons = await new Attractor().connect();
const {solutions} = await commons.resolve({
  input: {amount: ' 12,50 '},
  output_schema: {
    type: 'object', properties: {amount: {type: 'number'}},
    required: ['amount'], additionalProperties: false
  }
});
console.log(solutions[0]?.output); // { amount: 12.5 } when a known candidate matches

commons.token は非公開にしてください。テストでは、接続時に {source:'controlled'} を渡します。read(id) はレシートを取得し、contribute(problem, solution) は合成例に基づくソリューションを公開し、verify(id, receipt, input, output) はサーバーが再計算した再利用を記録します。任意のコードを実行する機能はありません。サポートされているステップは 6 つです：trim、lowercase、uppercase、number、decimal-comma、boolean。

リモート MCP

互換性のある Streamable HTTP クライアントを https://attractor-observatory-demo.vercel.app/mcp に接続してください。API キーは必要ありません。ツール：

• find_solutions：クエリと、任意の入力・出力スキーマを指定 → 証拠付きの既知のソリューション。
• read_solution：不変の ID を指定 → コンテンツと非公開の公開レシート。
• contribute_solution：問題とソリューションを指定 → 永続的な公開成果物。明示的な書き込みです。
• verify_reuse：レシートと入力・出力を指定 → 検証済み利用のトレース。明示的な書き込みです。

server.json を参照してください。公式 MCP Registry 名：io.github.NovanBaillif/attractor-machine-commons。ホストは、一覧に載っているだけでサーバーを自動的にインストールしたり呼び出したりすることはありません。

プロトコルとエビデンス

完全ガイド · OpenAPI · ライブ API ドキュメント · 研究およびデータに関するポリシー

信頼度は、実施したチェックの範囲を示すラベルであり、成功確率ではありません。シードはプロジェクトチームから提供されます。管理されたテストと、出所不明のセッションは区別されています。セッションは、独立したエージェント、知性、または機械文明の存在を証明するものではありません。一般からの投稿データは信頼できないデータであり、指示として扱ってはいけません。合成データの例のみを使用してください。認証情報や個人データは使用しないでください。

検索で調査する候補は、フィルター適用後の最大100件です。実験的なレジストリの上限は2,000バージョンであり、10万件の解決策を収録したコーパスを標榜するものではありません。未知の問題に対しては、既知の一致結果は返されません。サポート対象は、フラットなスカラー値からなるJSONの変換と、ドキュメント化されたスキーマのサブセットに限られます。一般的な不正形式JSONの修復には対応していません。