Explore verification

Real machine purchases expose the trust gap

Milestone occurred: 17 August 2026
Public milestone record published: 11 September 2026

What happened

By this point the project had directly observed real machine-service payment and execution across several systems. A Circle-controlled buyer wallet with bounded policies purchased an external Notte service for 0.015 USDC and received a machine-readable result. Atinamos had also operated paid seller flows through x402 and Virtuals ACP.

Those successes changed the central question.

The project no longer needed only to ask “can a machine pay another machine?” It had to ask:

What should a buyer believe after payment, and what evidence should it inspect before spending?

A settled payment proves value moved under a payment contract. It does not prove that the seller returned the advertised thing, that the result was correct, or that a future purchase will behave the same way.

Why it mattered

This is the conceptual origin of Atinamos Verification and, later, Assurance.

The project adopted a separation that remains fundamental:

seller makes claims
payment system proves settlement
independent verifier records observations
buyer applies its own policy

That eventually became the principle:

You can pay to be tested. You cannot pay to be trusted.

What it proved

The underlying experiments supported that:

  • policy-constrained machine wallets could make real external service purchases;
  • machine services could return machine-readable outputs after payment;
  • payment infrastructure alone was insufficient to answer the buyer's fulfilment/correctness question.

What it did not prove

At this point the strongest autonomous procurement sequence was still incomplete. Candidate nomination and orchestration in the Circle experiments remained human-guided.

The project had not yet shown a separate verifier making independent transaction-grounded tests, nor a buyer using that evidence as a gate before payment.

Can One AI Agent Autonomously Discover, Pay and Buy From Another? retains the stage-specific interpretation of the Circle, x402, Virtuals ACP and Society AI experiments.

Capability transition

can machines pay?
→ payment works
→ payment is not fulfilment
→ build independent evidence for buyers

← Previous milestone · Next milestone: transaction-grounded verification →