Atinamos Evidence

Atinamos エージェント検証研究

有料の AI エージェントおよびマシンサービスを Atinamos が独立して検証するための公開研究、スキーマ、技術的証拠です。

人間向けの研究資料： https://verify.atinamos.co.uk
技術的証拠： このリポジトリ

検査を受けるために料金を支払うことはできます。信頼を得るために料金を支払うことはできません。

Atinamos は範囲を限定した証拠を作成します。その証拠を自社のポリシーに照らしてどう解釈するかは、購入者が決定します。

Atinamos は、普遍的な信頼スコア、認証、承認、安全／危険の判定、恒久的なプロバイダー評価を発行しません。

現在の状況 — 2026年9月7日

まず、正規の公開ステータスをお読みください。

• 現在の保証／検証状況
• 公開証拠インデックス

主な技術的マイルストーンは、凍結済みプランから初めて実行した汎用の外部保証の無人実行です。

Keyronne JSON Repair

service: POST https://keyronne.com/api/json-repair
run:     1b5bc844-368c-445a-8f84-e62be6d88baa
adapter: generic-transaction-fulfilment v1.0
state:   PLAN_FROZEN → COMPLETE
spend:   0.001 USDC

社内の本番コーディネーターを1回呼び出し、x402 のチャレンジ取得、支払いへの署名、有料ディスパッチ、決済の確認、フルフィルメントの評価、検証の公開という通常の有料実行段階を、オペレーターが手動で進めることなく処理しました。

独立して確認された Base 上の決済：

transaction: 0xc42bb177c41d21a56e9d3c02546fa8ebeda911cff3bc1139169a61c89f7b495c
block:       50996015

署名済みの証拠：

atinamos:receipt:10e40afd-f6b1-57bd-9c1e-0a4a1695a428

観測された証拠レイヤー：

PAYMENT       SETTLED
FULFILMENT    FULFILLED
CORRECTNESS   NOT_EVALUATED
QUALITY       NOT_EVALUATED

サービスは、広告された種類の JSON 成果物を返しました。Atinamos は、このフルフィルメントから意味上の正確性や品質を推測していません。

• Keyronne の汎用保証無人実行実験
• 人間向けの記録：https://verify.atinamos.co.uk/research/unattended-generic-assurance-keyronne/

重要な境界

Keyronne の実行は PLAN_FROZEN の時点から始まりました。

これは次のことを証明します。

frozen independent plan
→ real bounded external purchase
→ independent Base settlement observation
→ fulfilment evidence
→ immutable Verification package
→ signed receipt
→ COMPLETE

ただし、公開されている販売者の一連の流れ全体をまだ証明するものではありません。

raw seller URL
→ non-spending discovery
→ scope explanation
→ independent frozen plan
→ seller funding
→ durable queue
→ proven Runner
→ signed evidence

この販売者向けプロダクトの一連の流れが、現在の主な開発領域です。

現在の開発優先事項

PROVEN ENGINE
      ↓
SELLER PRODUCT
      ↓
FIRST USERS
      ↓
REVENUE / MARKET FEEDBACK

まず、人間向けの販売者プロダクト化に取り組みます。その後の AI 販売者向け API／MCP では、別の実行エンジンを導入するのではなく、同じ基盤の保証実行／注文モデルを使用する必要があります。

以前の本番マイルストーン — IBANforge の決定論的コミッショニング

2026年9月6日、Atinamos は現在の Assurance Runner → Verification 公開パスについて、次を対象とした初のエンドツーエンド外部決定論的コミッショニングを完了しました。

POST https://api.ibanforge.com/v1/iban/validate

0.005 USDC の x402 呼び出しを2回実行しました。Base 上で決済が独立して確認され、有用なフルフィルメントが返されました。また、返された valid フィールドは、有効なフィクスチャと無効なフィクスチャについて、独立して算出した ISO 13616 MOD-97 の期待値と一致しました。

total observed test spend:    0.010 USDC
Base settlements observed:    2
successful fulfilments:       2
independent controls passed:  2 / 2
signed Assurance receipts:    2

この実行は人間が開始したコミッショニングでした。重要な以前のマイルストーンであり、後から無人実行だったと記述してはなりません。

• IBANforge 外部コミッショニング実験

以前の自律型購入者マイルストーン — Proof #3

2026年8月28日、Atinamos が運用する範囲限定の購入者に、タスク、最大支出額、購入者ポリシーを与えました。購入者は外部の x402 マーケットプレイスを独自に検索し、正確なルートの実行可能性を確認し、公開済みの Atinamos の証拠を照会し、自身のポリシーを適用しました。そして、人間から販売者の指定を受けずに外部販売者を選び、範囲を限定した支払いを行い、結果を取得して、購入した出力を検証しました。

最終クリーン実行：

selected seller: Keyronne JSON Repair
payment:         0.001 USDC on Base
x402:            v2 / exact
paid HTTP:       200
proof3_complete: true

• Proof #3 の研究ノート
• Proof #3 の実験記録
• サニタイズ済みの購入者最終レシート

これは、管理された Atinamos の購入者実験を証明するものです。外部エージェントによる Atinamos の証拠の広範な採用を示すものではありません。

Atinamos サービスの初の確認済み外部商取引

2026年8月28日、Atinamos は、無関係の外部クライアントが x402 を通じて 0.005 USDC で Atinamos JSON Repair を購入し、HTTP による正常なサービス提供を受けたことも確認しました。

• 調査ノート
• サニタイズ済み実験記録
• サニタイズ済み公開証拠

これは、Atinamos の機械サービスが外部で商用利用されたことを示すものです。購入者が自律型 AI エージェントだったことを確実に示すものではありません。

その他の公開済み直接証拠

このリポジトリには、成功した観測結果と失敗した観測結果の両方が意図的に保持されています。たとえば、次のとおりです。

• code402 LEI Check 保証シリーズ
• x402Node JSON Repair
• x402.direct Service Directory Search
• x402engine Web Screenshot

最新の統合インデックスについては、EVIDENCE_INDEX.md を参照してください。

証拠の意味

Atinamos では、次の証拠レイヤーを分けて扱っています。

PAYMENT
Did payment settle?

FULFILMENT
Did the advertised kind of deliverable return?

CORRECTNESS
Was the returned content independently checked?

QUALITY
Was subjective quality independently evaluated?

ガードレール：

UNKNOWN != UNSAFE
SETTLED != FULFILLED
FULFILLED != CORRECT
CORRECT != HIGH QUALITY
SIGNED RECEIPT != PERMANENT TRUST
SAMPLE COUNT != RELIABILITY PERCENTAGE

該当する場合、エンドポイントと HTTP メソッドは証拠の識別における重要な要素です。

公開 Evidence MCP

AI エージェントと開発者は、読み取り専用の Atinamos Evidence MCP を通じて、公開済みの一部の Atinamos 証拠を照会できます。

https://verify.atinamos.co.uk/mcp

• MCP のドキュメントとインデックス
• クイックスタート
• ツールリファレンス
• 購入者ポリシーリファレンス
• セキュリティとスコープ

この MCP は公開済みの証拠と、購入者が提示したポリシーの評価を提供します。ウォレットへのアクセス、支払いの署名、検証を開始する書き込み操作、または汎用的な信頼判定は提供しません。

公開マーケット検索

Atinamos は、機械サービスの検出に関する観測結果を、範囲を限定した読み取り専用の形式で公開しています。

GET https://verify.atinamos.co.uk/v1/market/search?q=<query>&limit=<1-50>
GET https://verify.atinamos.co.uk/v1/market/service/<service_id>

• マーケット検索のドキュメント

マーケット検索では、観測されたリスティングとその来歴を報告します。マーケットのリスティングは検証の証拠ではありません。

Assurance 証拠の読み取り

現在の署名済み Assurance 証拠は、次の方法で読み取れます。

GET https://verify.atinamos.co.uk/v1/assurance/receipts/<receipt_id>
GET https://verify.atinamos.co.uk/v1/assurance/evidence?endpoint=<service-url>&method=<HTTP_METHOD>

エンドポイントと HTTP メソッドは、証拠の識別における重要な要素です。

方法論と仕様

• 証拠と分類の方法論 v1.0
• 公開検証レシート仕様 v1.0
• 公開検証レシート v1 JSON スキーマ
• 機械証拠スキーマ監査 — 2026年9月6日

過去の証拠は、暗黙のうちに書き換えず、発行時の形式のまま有効であるよう維持してください。

リポジトリの目的

このリポジトリは、Atinamos の検証および Assurance に関する研究を公開するための、意図的にサニタイズされた技術公開レイヤーです。

次の内容を含む場合があります。

• 公開証拠スキーマ
• サニタイズ済み検証レシート
• 技術的な精査に適した方法論
• 意図的に公開された実験記録
• 公開研究ノート
• 機械インターフェースのドキュメント
• 例と仕様

次の内容は含みません。

• Atinamos の運用ソースコード
• 非公開の署名鍵／ウォレット関連情報
• 非公開のインフラストラクチャ認証情報
• 非公開の運用データベース
• 未公開の不正利用対策技術
• Assurance テストの攻略に実質的に役立つ資料

Atinamos の検証が実行される場所は GitHub ではありません。GitHub は、Atinamos が選定した技術的証拠とドキュメントを公開し、一般の精査や機械による利用に供する場所です。

ライセンス

Copyright © 2026 MotionFil-AI.

• ファイルに別段の記載がない限り、研究、方法論、文書化された証拠、調査結果、仕様、データセットは CC BY 4.0 ライセンスです。
• ファイルに別段の記載がない限り、スキーマ、機械可読なレシート／例、および今後のソースコードは MIT License ライセンスです。

詳細は LICENSE.md をご覧ください。