type.batch_input

An Input or a route placeholder holds a batch type, a File or a FileContents, or what a provider or a queue sends holds a File or a FileContents, which only the runtime builds.

Area 12, Background work; not declinable; the next step is usually the agent's.

Only the runtime builds a batch type, and batches.status and batches.cancel find a run by its id alone, so no request carries one: an Input, read from a body or a query string, and a route's placeholder may not hold a BatchRun, a BatchProgress, a RowProblem or an ImportSummary, however deep. A run comes from batches.each, or from a field the caller may read where the application kept it. No request carries a File either, since it would name any file's store and key; take the id of the record that keeps it instead. Nothing else from outside carries one: an operation's output: or wire_output:, a webhook's event and an event a queue lists are refused the same way. The same goes for FileContents, which only store.read builds, so no request or answer can be read as one; bytes from outside are Bytes:

type StopSweep = Input {    shelf_run: BatchRun}action stop_sweep(request: StopSweep) -> Unit {    batches.cancel(request.shelf_run)}

  |2 |     shelf_run: BatchRun  |                ^^^^^^^^ a `BatchRun`