{
  "markdown": "# Atinamos Agent Verification Research\n\nPublic research, schemas and technical evidence for Atinamos independent verification of paid AI-agent and machine services.\n\n**Human-readable research:** https://verify.atinamos.co.uk  \n**Technical evidence:** this repository\n\n> **You can pay to be tested. You cannot pay to be trusted.**\n\nAtinamos produces scoped evidence. The buyer decides what that evidence means under its own policy.\n\nAtinamos does **not** issue a universal trust score, certification, approval, safe/unsafe verdict or permanent provider rating.\n\n## Current state — 7 September 2026\n\nRead the canonical public status first:\n\n- [Current Assurance / Verification state](CURRENT_STATE_2026-09-07.md)\n- [Public Evidence Index](EVIDENCE_INDEX.md)\n\nThe main technical milestone is now the first **unattended generic external Assurance execution from an already-frozen plan**.\n\n### Keyronne JSON Repair\n\n```text\nservice: POST https://keyronne.com/api/json-repair\nrun:     1b5bc844-368c-445a-8f84-e62be6d88baa\nadapter: generic-transaction-fulfilment v1.0\nstate:   PLAN_FROZEN → COMPLETE\nspend:   0.001 USDC\n```\n\nOne internal production coordinator invocation handled the routine paid execution stages without an operator manually stepping x402 challenge acquisition, payment signing, paid dispatch, settlement observation, fulfilment evaluation or Verification publication.\n\nIndependent Base settlement:\n\n```text\ntransaction: 0xc42bb177c41d21a56e9d3c02546fa8ebeda911cff3bc1139169a61c89f7b495c\nblock:       50996015\n```\n\nSigned evidence:\n\n```text\natinamos:receipt:10e40afd-f6b1-57bd-9c1e-0a4a1695a428\n```\n\nObserved evidence layers:\n\n```text\nPAYMENT       SETTLED\nFULFILMENT    FULFILLED\nCORRECTNESS   NOT_EVALUATED\nQUALITY       NOT_EVALUATED\n```\n\nThe service returned the advertised kind of JSON deliverable. Atinamos did not infer semantic correctness or quality from that fulfilment.\n\n- [Keyronne unattended generic Assurance experiment](experiments/2026-09-07-keyronne-unattended-generic-assurance/README.md)\n- Human-readable record: https://verify.atinamos.co.uk/research/unattended-generic-assurance-keyronne/\n\n### Important boundary\n\nThe Keyronne run began at `PLAN_FROZEN`.\n\nIt proves:\n\n```text\nfrozen independent plan\n→ real bounded external purchase\n→ independent Base settlement observation\n→ fulfilment evidence\n→ immutable Verification package\n→ signed receipt\n→ COMPLETE\n```\n\nIt does **not yet** prove the complete public seller journey:\n\n```text\nraw seller URL\n→ non-spending discovery\n→ scope explanation\n→ independent frozen plan\n→ seller funding\n→ durable queue\n→ proven Runner\n→ signed evidence\n```\n\nThat seller product journey is now the main development lane.\n\n## Current development priority\n\n```text\nPROVEN ENGINE\n      ↓\nSELLER PRODUCT\n      ↓\nFIRST USERS\n      ↓\nREVENUE / MARKET FEEDBACK\n```\n\nHuman seller productisation comes first. A later AI-seller API/MCP should use the same underlying Assurance run/order model rather than introducing another execution engine.\n\n## Earlier production milestone — IBANforge deterministic commissioning\n\nOn **6 September 2026**, Atinamos completed the first end-to-end external deterministic commissioning of the current Assurance Runner → Verification publication path against:\n\n```text\nPOST https://api.ibanforge.com/v1/iban/validate\n```\n\nTwo bounded x402 calls were made at 0.005 USDC each. Settlement was independently observed on Base, useful fulfilment returned, and the returned `valid` field matched independently derived ISO 13616 MOD-97 expectations for one valid and one invalid fixture.\n\n```text\ntotal observed test spend:    0.010 USDC\nBase settlements observed:    2\nsuccessful fulfilments:       2\nindependent controls passed:  2 / 2\nsigned Assurance receipts:    2\n```\n\nThat run was **human-triggered commissioning**. It remains an important earlier milestone and should not be retroactively described as unattended.\n\n- [IBANforge external commissioning experiment](experiments/2026-09-06-ibanforge-assurance-commissioning/README.md)\n\n## Earlier autonomous buyer milestone — Proof #3\n\nOn **28 August 2026**, an Atinamos-operated bounded buyer was given a task, maximum spend and buyer policy. It independently searched an external x402 marketplace, checked exact-route viability, queried published Atinamos evidence, applied its own policy, selected an external seller without the human naming the seller, made a bounded payment, consumed the result and validated the purchased output.\n\nFinal clean run:\n\n```text\nselected seller: Keyronne JSON Repair\npayment:         0.001 USDC on Base\nx402:            v2 / exact\npaid HTTP:       200\nproof3_complete: true\n```\n\n- [Proof #3 research note](research/2026-08-28-proof3-autonomous-buyer.md)\n- [Proof #3 experiment record](experiments/2026-08-28-proof3-autonomous-buyer/README.md)\n- [Sanitised final buyer receipt](experiments/2026-08-28-proof3-autonomous-buyer/public-receipt.json)\n\nThis proves the controlled Atinamos buyer experiment. It does not establish widespread external-agent adoption of Atinamos evidence.\n\n## First confirmed external commercial purchase of an Atinamos service\n\nAlso on **28 August 2026**, Atinamos observed an unrelated external client purchase Atinamos JSON Repair for 0.005 USDC through x402 and receive successful HTTP fulfilment.\n\n- [Research note](research/2026-08-28-first-external-commercial-purchase.md)\n- [Sanitised experiment record](experiments/2026-08-28-external-json-repair-purchase/README.md)\n- [Sanitised public evidence](experiments/2026-08-28-external-json-repair-purchase/public-evidence.json)\n\nThis establishes external commercial use of an Atinamos machine service. It does not establish that the purchaser was definitely an autonomous AI agent.\n\n## Other published direct evidence\n\nThe repository deliberately retains successful and unsuccessful observations, including:\n\n- [code402 LEI Check assurance series](experiments/2026-09-03-code402-lei-check/README.md)\n- [x402Node JSON Repair](experiments/2026-08-22-x402node-json-repair/README.md)\n- [x402.direct Service Directory Search](experiments/2026-08-22-x402direct-search/README.md)\n- [x402engine Web Screenshot](experiments/2026-08-22-x402engine-web-screenshot/README.md)\n\nSee [EVIDENCE_INDEX.md](EVIDENCE_INDEX.md) for the current consolidated index.\n\n## Evidence semantics\n\nAtinamos keeps these evidence layers separate:\n\n```text\nPAYMENT\nDid payment settle?\n\nFULFILMENT\nDid the advertised kind of deliverable return?\n\nCORRECTNESS\nWas the returned content independently checked?\n\nQUALITY\nWas subjective quality independently evaluated?\n```\n\nGuardrails:\n\n```text\nUNKNOWN != UNSAFE\nSETTLED != FULFILLED\nFULFILLED != CORRECT\nCORRECT != HIGH QUALITY\nSIGNED RECEIPT != PERMANENT TRUST\nSAMPLE COUNT != RELIABILITY PERCENTAGE\n```\n\nEndpoint and HTTP method are material evidence identity where applicable.\n\n## Public Evidence MCP\n\nAI agents and developers can query selected published Atinamos evidence through the read-only Atinamos Evidence MCP:\n\n```text\nhttps://verify.atinamos.co.uk/mcp\n```\n\n- [MCP documentation and index](mcp/README.md)\n- [Quick start](mcp/QUICKSTART.md)\n- [Tool reference](mcp/TOOLS.md)\n- [Buyer policy reference](mcp/BUYER_POLICY.md)\n- [Security and scope](mcp/SECURITY.md)\n\nThe MCP exposes published evidence and buyer-supplied policy evaluation. It does not expose wallet access, payment signing, verification-triggering writes or a universal trust verdict.\n\n## Public Market Search\n\nAtinamos exposes a bounded read-only projection of machine-service discovery observations:\n\n```text\nGET https://verify.atinamos.co.uk/v1/market/search?q=<query>&limit=<1-50>\nGET https://verify.atinamos.co.uk/v1/market/service/<service_id>\n```\n\n- [Market Search documentation](market/README.md)\n\nMarket Search reports observed listings and provenance. A market listing is not verification evidence.\n\n## Assurance evidence reads\n\nCurrent signed Assurance evidence can be read using:\n\n```text\nGET https://verify.atinamos.co.uk/v1/assurance/receipts/<receipt_id>\nGET https://verify.atinamos.co.uk/v1/assurance/evidence?endpoint=<service-url>&method=<HTTP_METHOD>\n```\n\nEndpoint **and HTTP method** are material evidence identity.\n\n## Methodology and specifications\n\n- [Evidence & Classification Methodology v1.0](methodology/evidence-and-classification.md)\n- [Public Verification Receipt Specification v1.0](specifications/public-verification-receipt-v1.md)\n- [Public Verification Receipt v1 JSON Schema](schemas/verification-receipt-v1.schema.json)\n- [Machine-Evidence Schema Audit — 6 September 2026](research/2026-09-06-machine-evidence-schema-audit.md)\n\nHistorical evidence should remain valid in the format in which it was issued rather than being silently rewritten.\n\n## Repository purpose\n\nThis repository is the deliberately sanitised public technical publication layer for Atinamos Verification and Assurance research.\n\nIt may contain:\n\n- public evidence schemas;\n- sanitised verification receipts;\n- methodology suitable for technical scrutiny;\n- deliberately published experiment records;\n- public research notes;\n- machine-interface documentation;\n- examples and specifications.\n\nIt does **not** contain:\n\n- Atinamos operational source code;\n- private signing/wallet material;\n- private infrastructure credentials;\n- the private operational database;\n- unpublished anti-abuse techniques;\n- material that would materially assist gaming of Assurance tests.\n\nGitHub is not where Atinamos Verification runs. It is where Atinamos publishes selected technical evidence and documentation for public scrutiny and machine consumption.\n\n## Licensing\n\nCopyright © 2026 MotionFil-AI.\n\n- Research, methodology, written evidence, findings, specifications and datasets are licensed under **CC BY 4.0** unless a file states otherwise.\n- Schemas, machine-readable receipts/examples and future source code are licensed under the **MIT License** unless a file states otherwise.\n\nSee [LICENSE.md](LICENSE.md) for details.\n",
  "bytes": 9948,
  "sha": "5cf19efb88290497b834bb33a0baf3680482f2dcdb833f76ca7d78e2e63289f7",
  "repo_slug": "atinamos/agent-verification-research",
  "fonte": "repo",
  "truncated": false,
  "api": "https://agentalog.com/api/listings/mcp_uk_co_atinamos_evidence_9d88a0b5/readme"
}