Atinamos Evidence

Atinamos Agent Verification Research

关于 Atinamos 对付费 AI Agent 和机器服务进行独立验证的公开研究、架构和技术证据。

面向人类的研究： https://verify.atinamos.co.uk
技术证据： 此代码库

你可以付费接受测试，但不能付费换取信任。

Atinamos 提供有明确范围的证据。买方根据自身政策决定这些证据意味着什么。

Atinamos 不会发布通用信任评分、认证、批准、安全／不安全判定或永久的服务提供方评级。

当前状态 — 2026 年 9 月 7 日

请先阅读权威的公开状态：

• 当前 Assurance／Verification 状态
• 公开证据索引

目前的主要技术里程碑，是首次基于已冻结计划、无人值守地执行通用外部 Assurance。

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

一次内部生产协调器调用完成了常规付费执行阶段，无需操作员手动处理 x402 挑战获取、付款签名、付费派发、结算观察、履约评估或 Verification 发布。

独立的 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 无人值守通用 Assurance 实验
• 面向人类的记录：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 应使用相同的底层 Assurance 运行／订单模型，而不是引入另一个执行引擎。

较早的生产里程碑 — IBANforge 确定性调试

2026 年 9 月 6 日，Atinamos 首次针对以下对象，完成了对当前 Assurance Runner → Verification 发布流程的端到端外部确定性调试：

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

执行了两次有明确范围的 x402 调用，每次费用为 0.005 USDC。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 买方实验，但不能证明外部 Agent 已广泛采用 Atinamos 证据。

Atinamos 服务首次确认的外部商业购买

同样在 28 August 2026，Atinamos 观察到一个无关联的外部客户端通过 x402 以 0.005 USDC 购买 Atinamos JSON Repair，并成功收到 HTTP 履约响应。

• 研究说明
• 已脱敏的实验记录
• 已脱敏的公开证据

这证明了 Atinamos 机器服务存在外部商业使用，但不能证明购买者一定是自主 AI Agent。

其他已发布的直接证据

本仓库特意保留了成功和失败的观察记录，包括：

• code402 LEI Check 保证系列
• x402Node JSON Repair
• x402.direct 服务目录搜索
• x402engine 网页截图

当前汇总索引请参阅 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 Agent 和开发者可以通过只读的 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>

• 市场搜索文档

市场搜索会报告观察到的列表及其来源。市场列表不属于验证证据。

保证证据读取

可通过以下方式读取当前已签名的保证证据：

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 Schema
• 机器证据 Schema 审计 — 2026 年 9 月 6 日

历史证据应继续保持其发布时所用格式有效，而不是在未作说明的情况下被改写。

仓库用途

本仓库是 Atinamos 验证与保证研究经过特意脱敏的公开技术发布层。

其中可能包含：

• 公开证据 Schema；
• 已脱敏的验证回执；
• 适合接受技术审查的方法论；
• 特意发布的实验记录；
• 公开研究说明；
• 机器接口文档；
• 示例和规范。

其中不包含：

• Atinamos 运营源代码；
• 私有签名／钱包资料；
• 私有基础设施凭据；
• 私有运营数据库；
• 未公开的反滥用技术；
• 可能实质性助长规避保证测试的材料。

Atinamos Verification 并不在 GitHub 上运行。GitHub 是 Atinamos 发布精选技术证据和文档，供公众审查和机器使用的地方。

许可

版权所有 © 2026 MotionFil-AI。

• 研究、方法论、书面证据、研究结果、规格和数据集均采用 CC BY 4.0 许可，除非文件另有说明。
• 架构、机器可读的回执/示例和未来的源代码均采用 MIT License 许可，除非文件另有说明。

详情请参阅 LICENSE.md。