@@ -21,7 +21,10 @@ npm test
 
 ## Public API
 
-- `AgilityApiClient` - top-level SDK client (`meta`, `data` for rest-1, `assets` for api/asset, `localize` for loc-2, `schema`)
+- `AgilityApiClient` - top-level SDK client (`meta`, `data` for rest-1, `assets` for api/asset, `localize` for loc-2, `schema`), and the services on it:
+  - `resolve.numbers` / `resolve.ref` - asset numbers and OID tokens to assets, in one request
+  - `assets.sendGuarded` - a batch as a compare-and-set on each asset's ChangeDate; changed assets come back `skipped`
+  - `batch.run` / `batch.reversible` - preview, snapshot, (confirm,) send guarded, and a receipt with a reverse batch
 - `createFetchTransport` - configurable HTTP transport
 - `ApiError` - typed API error; `CommandFailureError` - an api/asset batch in which commands failed (`failures` by index, plus the `response`)
 
 
@@ -230,8 +230,16 @@ instance: same requests out, same rows in.
 - **C2 Delete the decodes.** With rows translated by the schema, `isTrue`
   and `oidOf` drop out of `meta.js`, `resolve.js`, `board.js`; `momentless`
   comes from the SDK.
-- **C3 Invert the services.** Once A5 lands, `resolve.js` and `batch.js`
-  keep only prompting, rendering and receipt files; the logic is imported.
+- **C3 Invert the services.** A5 is done, so `resolve.js` and `batch.js`
+  keep only prompting, console rendering, permalinks and receipt files:
+  `resolveAssets` → `client.resolve.numbers` (its `missing` drives the
+  "not found — skipped" lines); `run()` → `client.batch.run` with
+  `confirm` as the prompt and the receipt written as returned;
+  `--reverse` → `client.batch.reversible` (+ `--force`). Two deliberate
+  differences to carry over: the SDK refuses an unguardable batch unless
+  `guard: false` (gh-v1 sent it as written with a note — keep that UX by
+  checking `unguardable()` first), and its number roots are wider than
+  gh-v1's list.
 - **C4 Passthrough.** `raw`/`blob` stay CLI-local unless an `attachment`
   wire module (gap 5) is built for rooms — then `gh v1 attach` uses it.
 
@@ -347,7 +355,7 @@ ESM" here means finishing the edges:
 - [x] A2 command-failure error (`CommandFailureError`, `throwOnFailure`, reads always throw)
 - [x] A3 loc2 (`loc2.localize`, `client.localize`; GET, POST past 2000 encoded chars, culture via Accept-Language)
 - [ ] A4 slack-shaped reads (queryV1 or api/asset)
-- [~] A5 services port from gh-v1 — `resolve` done (`client.resolve.numbers`/`.ref`); `guard` done (`client.assets.sendGuarded`); `batch` to come
+- [x] A5 services port from gh-v1 — `resolve` (`client.resolve.numbers`/`.ref`), `guard` (`client.assets.sendGuarded`), `batch` (`client.batch.run`/`.reversible`)
 - [ ] A6 CI + prerelease publish
 - [ ] G0–G3 gh-v1 migrations (gh-v1 session)
 - [ ] S1–S4 slack-bot migrations (slack-bot session, `bolt-migration`)
 
@@ -1,6 +1,7 @@
 import type { ClientConfig } from "./core/clientConfig";
 import { createFetchTransport } from "./core/fetchTransport";
 import type { Transport } from "./core/transport";
+import * as batch from "./services/batch";
 import * as guard from "./services/guard";
 import * as resolve from "./services/resolve";
 import { Schema } from "./services/schema";
@@ -28,7 +29,7 @@ export interface ClientOptions {
  * them. Every api/asset read goes through the schema so its rows arrive in
  * the model's shape (numbers as numbers, a single relation as one Ref).
  * Services ported from gh-v1 are exposed here the same way: resolve, the
- * guard (assets.sendGuarded); batch to come.
+ * guard (assets.sendGuarded), batch.
  */
 export class AgilityApiClient {
   readonly transport: Transport;
@@ -74,6 +75,17 @@ export class AgilityApiClient {
     ref: (spec: string) => resolve.resolveRef(this.transport, spec)
   };
 
+  /**
+   * A batch with a record: preview, snapshot what it overwrites, (confirm,)
+   * send guarded, and a receipt with created/touched/skipped assets and a
+   * reverse batch. `reversible` drops from a receipt's reverse the assets
+   * changed since, unless forced.
+   */
+  readonly batch = {
+    run: (commands: assetApi.Command[], options?: batch.BatchOptions) => batch.runBatch(this.transport, this.schema, commands, options),
+    reversible: (receipt: Pick<batch.Receipt, "reverse" | "after">, options?: { force?: boolean }) => batch.reversible(this.transport, receipt, options)
+  };
+
   /** rest-1.v1: bounded reads, one asset, history. */
   readonly data = {
     list: <Row extends Asset = Asset>(type: string, params: rest1.ReadParams) => rest1.list<Row>(this.transport, type, params),
 
@@ -16,7 +16,7 @@ export type * from "./types/assets/index";
 // The wire layer: one module per endpoint.
 export { assetApi, rest1, meta, loc2 } from "./wire";
 export * as select from "./wire/select";
-export type { AssetApiResponse, Command, CommandBody, CommandFailureDetail, CommandValue, CreateBody, ExecuteBody, QueryBody, UpdateBody, ReadOptions, RowContext, SendOptions } from "./wire/assetApi";
+export type { AssetApiResponse, Command, CommandBody, CommandFailureDetail, Outcome, CommandValue, CreateBody, ExecuteBody, QueryBody, UpdateBody, ReadOptions, RowContext, SendOptions } from "./wire/assetApi";
 export { CommandFailureError } from "./wire/assetApi";
 export type { AssetDocument, AssetsDocument, ReadParams, ReadResult } from "./wire/rest1";
 export type { Localizations, LocalizeOptions } from "./wire/loc2";
@@ -27,3 +27,5 @@ export { CHUNK as RESOLVE_CHUNK, NUMBER_ROOTS, isAssetNumber, resolveNumbers, re
 export type { Resolution, ResolvedAsset } from "./services/resolve";
 export { UNGUARDABLE_TYPES, UnguardableError, guard, sendGuarded, stampsOf, touchedBy, unguardable } from "./services/guard";
 export type { GuardedResult, Unguardable } from "./services/guard";
+export { BatchSendError, INVERSE, describe as describeBatch, namesOf, reverseOf, reversible, runBatch, snapshot } from "./services/batch";
+export type { BatchOptions, Described, Named, Receipt, Reverse } from "./services/batch";