Two agents, one limit, one refused.
All guides
Architecture
Updated
2 min read
by Anlyon Team

Make a read-back prove the intended change

Design declared HTTP action verification around operation-specific evidence rather than generic endpoint health or pre-existing state.

verificationHTTP APIsevidence

A successful GET after a write does not automatically verify that write. The read-back needs to match evidence that the intended operation created. Otherwise an unrelated existing record can make a failed or missing write look confirmed.

Anlyon's declared action verify rule performs a GET on the action's own host, checks the expected status and evaluates configured JSON matches. A confirmed grade means that rule matched. The strength of the business claim depends on the rule you designed.

Start from the success condition

Write a sentence such as: "The provider record for operation X contains target Y and value Z." Then identify the read endpoint and fields that support it. If the API exposes only a generic health endpoint, that endpoint cannot establish the operation's result.

Weak checkMore useful evidence, when available
Service returns 200Operation-specific record exists
Resource has desired valueRecord also identifies the intended operation
Latest item looks similarStable correlation ID matches
Request was acceptedProvider's completed result matches the required state

A provider may not expose all of this evidence. State the resulting limitation rather than inventing a stronger verification claim.

Account for delayed visibility

An immediate mismatch may mean the provider has not exposed the write yet. It does not necessarily mean the write failed. For unknown outcomes, unsuccessful read-back remains uncertainty; the write is not automatically repeated.

Test a match, a mismatch, a read timeout and a response lost after the write. Check whether the read URL can still be constructed without the write response. If it cannot, document the operator recovery route.

Keep the rule maintainable

Review changes to response shapes and provider semantics. Avoid matching volatile presentation fields when stable identifiers exist. Do not call the rule an independent audit of the whole workflow: it checks the specific condition you configured.

Use the declared action reference, verification after a lost response and receipt grades.

Continue with a related task

Free tier, no credit card. One command if you use Claude or Cursor.

$ claude mcp add anlyon -- npx -y @anlyonhq/mcp-server