Public working papers, research notes and experiment reports on AI agents, verification and autonomous commerce. https://atinamoslabs.co.uk/research/ 2026-09-16T18:00:00+01:00 Atinamos Labs https://atinamoslabs.co.uk/research/proof3-autonomous-buyer/ 2026-09-16T00:00:00+01:00 2026-09-16T00:00:00+01:00

An Atinamos-operated buyer independently discovered external machine services, checked exact-route viability, queried published evidence, applied a fixed procurement policy, selected a seller without human seller selection, paid 0.001 USDC and exactly validated the purchased result.

https://atinamoslabs.co.uk/research/ibanforge-deterministic-assurance/ 2026-09-16T00:00:00+01:00 2026-09-16T00:00:00+01:00

Two paid external x402 controls settled on Base and the returned valid field matched independently computed ISO 13616 MOD-97 expectations for one valid and one deliberately invalid IBAN fixture.

https://atinamoslabs.co.uk/research/keyronne-unattended-generic-assurance/ 2026-09-16T17:50:00+01:00 2026-09-16T17:50:00+01:00

A bounded production experiment in which an already-frozen external x402 service completed paid execution, independent Base settlement observation, generic fulfilment evaluation and signed evidence publication without manual stage stepping.

https://atinamoslabs.co.uk/research/external-json-repair-purchase/ 2026-09-16T00:00:00+01:00 2026-09-16T00:00:00+01:00

A confirmed external source outside the known controlled Atinamos test flow purchased Atinamos JSON Repair for 0.005 USDC over x402 on Base and received successful paid HTTP fulfilment.

https://atinamoslabs.co.uk/research/render-check-machine-buyable-browser-verification/ 2026-09-16T00:00:00+01:00 2026-09-16T00:00:00+01:00

A retained seller-side production observation of a 0.25 USDC x402 service that created asynchronous desktop and mobile Chromium verification jobs and returned machine-readable browser evidence, screenshots and SHA-256 result commitments.

https://atinamoslabs.co.uk/research/evidence-before-trust/ 2026-09-16T00:00:00+01:00 2026-09-16T00:00:00+01:00

A design argument for separating observable service evidence from the buyer's policy decision, rather than collapsing both into a universal trust score.

https://atinamoslabs.co.uk/research/autonomous-commerce-decision-layer/ 2026-09-16T00:00:00+01:00 2026-09-16T00:00:00+01:00

A research note on the gap between discovering a machine service, being technically able to pay it, and deciding that a particular buyer should actually do so.