Contract: anthropic.message_batch.all

Prove that every request of the Message Batch succeeded. A batch that ended is not a batch whose requests succeeded. The level reads request_counts and refuses a batch that holds an error, an expiry, or a cancellation.

Contract identity.
Fact	Value
Contract id	`anthropic.message_batch.all_succeeded`
Version	`1.0.0`
Hash	`84f423d28d2f9a93`
Completion level	`all_succeeded`
Publisher	Built and signed by Provely.
Certification	Provisional
Skill	Anthropic Claude API 0.1.0
Valid for provider API versions	`2023-06-01`

What is the intent?

Submit the message requests as one batch and get a message for each one.

What is the subject and the action?

Member	Value
Subject type	`anthropic.message_batch`
Subject identity	message_batch_id = `$action.result.id`
Canonical effect	`ai.message_batch_start`
Provider operation	`POST /v1/messages/batches`
Idempotency	none, retry is not safe

How does the evidence correlate with this operation?

Strategy	Assurance	Keys	Required
`resource_id`	strong	message_batch_id from `$action.result.id`	yes

Which evidence does the contract require?

Minimum evidence level E2. An independent channel is required. Minimum channels: 1.

Channel	Level	Independence	Verifier	Description
`message_batch_readback`	E2	provider readback	`http`	Read the Message Batch from the provider. A condition path is $observed.message_batch_readback.request_counts.succeeded. The read states no provider API version, because Anthropic returns no version header.

Which conditions must all hold for VERIFIED?

Condition	Meaning	Path	Operator	Expected	Evidence
`batch_present`	The provider holds the Message Batch with the returned identifier.	`$observed.message_batch_readback.id`	`eq`	`$action.result.id`	`message_batch_readback`
`batch_no_request_still_processing`	The member request_counts.processing is zero. Every terminal count is zero until the whole batch ends, so a count of successes alone proves nothing.	`$observed.message_batch_readback.request_counts.processing`	`eq`	`0`	`message_batch_readback`
`batch_every_request_succeeded`	The member request_counts.succeeded equals the request count of the intent. Every request of the batch has a message result.	`$observed.message_batch_readback.request_counts.succeeded`	`eq`	`$input.request_count`	`message_batch_readback`
`batch_no_request_errored`	The member request_counts.errored is zero.	`$observed.message_batch_readback.request_counts.errored`	`eq`	`0`	`message_batch_readback`
`batch_no_request_canceled`	The member request_counts.canceled is zero. A canceled batch also reports the status ended.	`$observed.message_batch_readback.request_counts.canceled`	`eq`	`0`	`message_batch_readback`
`batch_no_request_expired`	The member request_counts.expired is zero. A batch that reached the 24-hour expiration sent those requests to no model.	`$observed.message_batch_readback.request_counts.expired`	`eq`	`0`	`message_batch_readback`
`batch_ended_in_window`	The provider ended the batch after the operation started.	`$observed.message_batch_readback.ended_at`	`time_after`	`$operation.created_at`	`message_batch_readback`
`batch_created_in_window`	The provider created the batch after the operation started.	`$observed.message_batch_readback.created_at`	`time_after`	`$operation.created_at`	`message_batch_readback`

Which conditions give CONTRADICTED?

Condition	Class	Reason	Path	Operator	Expected
`batch_predates_operation`	pre existing state	The Message Batch is older than the operation. It proves nothing.	`$observed.message_batch_readback.created_at`	`time_before`	`$operation.created_at`
`batch_completed_more_requests_than_intent`	wrong subject	The batch completed more requests than the intent named. It is not the batch that the intent described.	`$observed.message_batch_readback.request_counts.succeeded`	`gt`	`$input.request_count`
`batch_processing_count_exceeds_intent`	duplicate side effect	The batch holds more requests than the intent named. Anthropic bills each of them. Do not retry.	`$observed.message_batch_readback.request_counts.processing`	`gt`	`$input.request_count`

Which observed states map to a verdict before completion?

Rule	Match	Verdict	Reason
`batch_canceled`	`$observed.message_batch_readback.request_counts.canceled` gt `0`	CONTRADICTED	A caller canceled the batch. Anthropic sent those requests to no model.
`batch_expired`	`$observed.message_batch_readback.request_counts.expired` gt `0`	FAILED	The batch reached the 24-hour expiration before Anthropic sent every request to a model.
`batch_errored`	`$observed.message_batch_readback.request_counts.errored` gt `0`	FAILED	A request of the batch encountered an error, and Anthropic created no message.
`still_processing`	`$observed.message_batch_readback.processing_status` in `["in_progress","canceling"]`	PENDING	The Message Batch has not ended. The runtime observes again later.

How long does the runtime observe?

Timing member	Value
Initial delay	1000 ms
Poll interval	5000 ms
Backoff	exponential factor 2, max 60000 ms
Maximum attempts	40
Timeout	90000000 ms
Stale read window	20000 ms
On timeout	UNVERIFIABLE (`evidence_unavailable_before_timeout`), escalated to a person

Where do these rules come from?

anthropic.docs.batches#message-batches/the-result-types: anthropic.docs.batches, retrieved 2026-09-09
anthropic.docs.batches#message-batches/the-request-counts: anthropic.docs.batches, retrieved 2026-09-09
anthropic.docs.batch_object#the-batch-object/the-request-counts-member: anthropic.docs.batch_object, retrieved 2026-09-09
anthropic.docs.batches#message-batches/expiry: anthropic.docs.batches, retrieved 2026-09-09
anthropic.docs.batch_object#the-batch-object/the-identifier: anthropic.docs.batch_object, retrieved 2026-09-09
anthropic.docs.batches#message-batches/read-a-batch: anthropic.docs.batches, retrieved 2026-09-09
anthropic.docs.batch_object#the-batch-object/the-time-members: anthropic.docs.batch_object, retrieved 2026-09-09
anthropic.docs.batches#message-batches/cancel-a-batch: anthropic.docs.batches, retrieved 2026-09-09

Can anthropic.message_batch.all_succeeded return VERIFIED from the action response alone?

No. The minimum evidence level is E2. The action response is E1. The completion conditions read message_batch_readback.

What happens after the timeout?

The verdict is UNVERIFIABLE with the reason evidence_unavailable_before_timeout. The operation goes to a person for review.