Browser postcondition coverage is becoming an AI agent reliability metric
Tool success rates tell buyers whether actions were attempted. Postcondition coverage reveals whether an agent can prove what happened after a click, especially when the browser loses confirmation.
Reliability is moving beyond click completion
Browser agents are being judged less by whether they can press the right control and more by whether they can verify the resulting state.
Traditional task benchmarks often reward a successful-looking interaction sequence: navigate, fill, click, and observe a confirmation. Production failures concentrate around the gap after the click. The session closes, navigation stalls, a provider responds slowly, or the screenshot is lost. The agent no longer knows whether the external system committed the action.
Postcondition coverage measures how much of the agent’s side-effecting browser surface has an explicit, independently testable success condition. A publish action might map to a live revision record. A booking action might map to a confirmed appointment ID. A checkout action might map to a correlated order and payment authorization.
The metric matters because safe replay depends on it. When a postcondition is present, the system can verify completion, prove absence, or preserve an honest unknown state. Without one, a generic retry policy can create duplicate orders, messages, bookings, and releases.
Buyers will increasingly ask not only how often agents finish cleanly, but what percentage of consequential actions can be reconciled after confirmation is lost. That question turns an invisible engineering discipline into a diligence signal.
Action success is incomplete
A click can execute while the agent records failure, or appear successful before backend commitment. The action result and external outcome are different facts.
Defined
The action declares the exact user-visible state expected after success, independent of interface mechanics.
Observable
The agent has a read path to inspect the result without repeating the side effect it is trying to verify.
Authoritative
The evidence source can establish presence and, where claimed, absence within a documented consistency window.
Why the market is ready
Computer-use scope is expanding
Agents now encounter targets without clean APIs or idempotency keys.
- More UI-only actions are irreversible.
- Session lifetimes are shorter than workflows.
- Website changes break brittle confirmation checks.
Retries are becoming visible risk
A browser timeout no longer means “try again” when the action may purchase, publish, or submit.
- Unknown outcomes need reconciliation.
- Repeated effects damage user trust.
- Manual review must be a first-class path.
Buyers need comparable evidence
Aggregate success rates hide whether failures can be recovered safely.
- Coverage can be measured by effect class.
- Evidence strength can be audited.
- Failure drills can validate vendor claims.
Which actions count?
Inventory side-effecting browser actions by workflow, target, severity, and reversibility. Exclude read-only navigation. Weight high-impact purchases, sends, publishes, bookings, and account changes separately from low-risk draft edits.
Is success explicit?
Require a semantic outcome, stable intent fingerprint, observation method, expected fields, consistency window, freshness, and authority. “Success toast appears” is weaker than “resource ID exists with matching material fields.”
Does verification work under failure?
Inject lost sessions and missing confirmations. Measure time to classify complete, absent, failed, or unknown; duplicate replays prevented; manual review rate; and whether contradictory evidence is preserved.
Was the final state actually right?
Audit postcondition false positives, false absence, stale observations, unmatched resources, and later reversals. A high coverage number built on weak checks can be worse than honest gaps.
Four maturity tiers
Action-only automation
Records clicks and immediate page responses.
- Fast to build.
- Weak after lost confirmation.
- Blind replay is common.
Visual confirmation
Checks toast text, URL changes, or screenshots.
- Better than no confirmation.
- Can be transient or stale.
- Often cannot prove absence.
Semantic postconditions
Matches stable resources, states, identifiers, and material fields.
- Supports recovery decisions.
- Requires target-specific adapters.
- Needs consistency modeling.
Receipt-grade recovery
Combines postconditions with intent identity, checkpoints, policy, review, and durable receipts.
- Prevents unsafe replay.
- Creates buyer evidence.
- Turns failures into measurable learning.
How to calculate without gaming
Use a risk-weighted denominator
Report raw and severity-weighted coverage. Ten safe draft actions should not hide one uncovered payment or publish action.
Grade evidence strength
Separate authoritative provider records, stable resource views, supporting history, and transient visual cues. Coverage without quality invites checkbox implementations.
Measure presence and absence
Many systems can prove a result exists but cannot prove it does not. Safe replay needs a documented route to confirmed absence or explicit manual review.
Test target drift
Run checks across ordinary UI changes, localization, delayed consistency, permission differences, and stale sessions. Semantic checks should degrade to unknown rather than false absence.
Audit final outcomes
Sample recovered runs later. Detect reversed charges, unpublished revisions, duplicate resources, and delayed events that reveal an earlier classification was wrong.
What the dashboard should report
A single coverage percentage is useful for direction but insufficient for operations or buying decisions.
Start with inventory coverage: total side-effecting action classes, instrumented classes, and risk-weighted coverage by target and workflow. Then show execution coverage: how many production action attempts actually emitted a postcondition plan before crossing the boundary.
Report outcome classification separately. Track the share of recovery checks ending complete, absent, failed, unknown, contradictory, or manual review. Include median and tail time spent unknown because long ambiguity is itself user impact.
Evidence quality deserves its own distribution. Count authoritative provider records, stable resource views, supporting history, transient visual cues, and model-only interpretations. A shift toward weaker evidence can warn of target drift even when the top-line coverage percentage stays constant.
Finally, connect the metric to consequences: duplicate replays prevented, false absence incidents, false completion incidents, manual reviews, user notifications, and final-outcome reversals discovered later. Break these down by effect severity. This makes postcondition coverage an operating signal rather than a documentation score.
What can distort the signal
The metric becomes theater when teams maximize the numerator without improving recovery.
The easiest distortion is declaring weak visual cues to be postconditions. A button becoming disabled may only mean the request started. A confirmation page may load before asynchronous processing completes. A list search miss may reflect lag or wrong filters rather than true absence.
A second distortion is shrinking the denominator. Teams may instrument low-risk, stable targets while excluding the consequential workflows where evidence is difficult. Buyers should ask for coverage by effect severity and the explicit list of uncovered actions.
A third is measuring definitions rather than tested behavior. A repository can contain postcondition functions that are never called after real failures. Failure injection should close the loop: interrupt after the action, open a fresh session, classify the effect, and verify the final state.
Finally, a high manual-review rate may be appropriate for dangerous targets. The goal is not automatic replay. It is correct classification and safe outcome. Honest unknown states can indicate stronger reliability than confident guesses.
Applied personal-agent surfaces
Text-message assistant
Postcondition evidence lets an agent tell the user that a browser-backed task is still being checked, then send a verified outcome without encouraging duplicate requests.
Computer-use cache
Observation caches need source, scope, freshness, and invalidation. Coverage should distinguish fresh postcondition evidence from a stale cached success or absence.
Website-building agent
Commit identity, deployment record, revision status, and live health form a stronger publish postcondition than a transient “deploy started” banner.
Buyer checklist
Is every consequential browser action inventoried?
Is coverage reported by effect severity?
Does each action define a semantic outcome?
Is a stable intent fingerprint recorded?
Can verification run in a fresh read-only session?
Are evidence sources graded by authority?
Can the system prove presence and absence?
Are consistency windows explicit?
Does UI drift degrade to unknown safely?
Are contradictory observations preserved?
Do failure drills interrupt after action execution?
Are duplicate replays prevented and measured?
Can high-impact unknowns route to review?
Are final outcomes audited after recovery?
Frequently asked questions
What is browser postcondition coverage?
The percentage of side-effecting browser actions with an explicit, testable description of successful external state and a recovery-time observation method. Mature reporting also grades evidence strength and effect severity.
Is actionability checking the same thing?
No. Actionability checks whether an element is visible, enabled, stable, and ready before interaction. A postcondition verifies the external state after the action, especially when confirmation is lost.
Can screenshots count as coverage?
They can provide supporting evidence but often do not prove backend commitment or confirmed absence. Strong coverage uses stable identifiers, resource records, status history, provider events, or authoritative APIs where available.
What is a good target percentage?
There is no universal number. Prioritize complete coverage for high-impact irreversible actions, report uncovered risk explicitly, and improve evidence quality before expanding weak checks to inflate the total.
Should unknown outcomes hurt the metric?
Unknown frequency and duration should be measured, but preserving unknown is correct when evidence is inconclusive. Penalizing all unknown states can encourage unsafe guesses.
How should vendors prove coverage?
Provide the action inventory, postcondition definitions, evidence grades, and results from injected failures that lose confirmation after the action. Buyers should inspect recovery receipts and final outcomes.
Primary references
The next browser benchmark measures proof after the click.
Super connects personal-agent workflows to messaging, computer use, and website operations where verified outcomes matter more than optimistic action logs.
Explore Super