E-01: The processing engine
Summary
Content is processed by a channel-based streaming pipeline. Each tool runs in
its own goroutine; tools are connected by buffered channels that provide
automatic backpressure. An errgroup.Group coordinates errors and propagates
context cancellation. Four independent concurrency layers (intra-tool block
parallelism, batch file concurrency, document-level concurrency, and streaming
observation) compose without interference. Flows are declared as either a
graph of nodes and edges or a sequential list of steps (with explicit
parallel: blocks for fan-out), both compiled to the same executable
representation.
Context
Go's goroutines and channels make it natural to structure a pipeline as concurrent stages connected by typed channels. Such a pipeline mixes CPU-bound work (format parsing, checks) with IO-bound work (LLM calls, memory lookups). The same pipeline must also be driven at several scales: a single file on a laptop; hundreds of files in a batch; a long-lived project with many documents processed in parallel.
It must also support both declarative authoring (a visual flow editor, human-readable YAML) and programmatic construction (the Go library) from one data model.
Decision
Channel-based pipeline
Content flows through a channel-based concurrent pipeline:
Content enters through a source binding and leaves through a sink
binding (E-04). For the default file binding
these are a DataFormat reader and writer (E-02); a
project store, a .kpz, or an interchange file bind the same stream with no
reader or writer. Between the ends, each tool runs in its own goroutine.
Buffered channels provide backpressure. errgroup.Group coordinates error
handling across goroutines, and context cancellation propagates to all stages.
Parts carry typed resources (F-02): Blocks contain translatable content, Data carries structural markup, Layers group nested content, Media holds binary assets. Tools declare which resource types they handle; the rest pass through unchanged.
Executor
flow.DefaultExecutor orchestrates tool chains using the goroutine-per-tool
model:
- Each tool in the chain runs in its own goroutine.
- Buffered channels (configurable size) connect adjacent tools.
errgroupcollects the first error and cancels the shared context.- Parallel document processing is bounded by a semaphore worker pool.
ToolFactoriescreate fresh tool instances per document, so concurrent documents never share mutable tool state.
Configuration uses the functional-options pattern:
executor := flow.NewExecutor(
flow.WithMaxConcurrency(8),
flow.WithChannelSize(128),
flow.WithCollectors(wordCounter, checkReport),
)
flow.WithImmutabilityCheck turns on the per-dispatch content-immutability
backstop for a run (E-03); it is dev/test tooling and is
off unless a caller asks for it.
Parallel block processing
For IO-bound tools (LLM translation, remote checks), sequential per-part
processing underutilizes throughput. tool.ParallelBlockTool wraps any tool to
fan out Block processing across N goroutines while preserving strict Part
ordering:
The dispatcher assigns monotonic sequence numbers to all incoming Parts. Block Parts are dispatched to a semaphore-bounded worker pool; non-Block Parts (Data, Media, Layer) pass through the inner tool sequentially. A min-heap reassembly buffer collects results and emits them in strict sequence order, so downstream tools see the same Part ordering regardless of which worker finished first.
Auto-parallelism is a tool property. Each tool declares
ToolMeta.DefaultParallelBlocks (E-03); the runner takes
the maximum across the flow's tools and wraps every tool at that width. A
project may pin its own value, and --parallel-blocks N overrides both
(--parallel-blocks 1 disables the wrapper). The tools that declare a default
today are the LLM-backed ones, so an ordinary rules-only flow runs sequentially
with no configuration.
Batch executor
flow.BatchExecutor processes multiple pre-read files through a tool chain with
configurable file-level concurrency:
type BatchConfig struct {
FileConcurrency int // max files processed in parallel (default: 1)
ChannelSize int // per-pipeline channel buffer size (default: 64)
SharedResources []io.Closer // resources shared across files (closed at end)
FailFast bool // cancel remaining on first error (default: true)
}
Each file gets fresh tool instances from ToolFactory functions, preventing state leakage between concurrent documents. Results are returned in input file order regardless of completion order. Collectors are called with mutex protection for thread-safe aggregation across files.
Concurrency layering
Four independent concurrency layers compose without interference:
| Layer | Scope | Control | Order |
|---|---|---|---|
| ParallelBlockTool | Blocks within one tool | N goroutines per tool | Strict Part order |
| BatchExecutor | Multiple files | FileConcurrency semaphore | File order preserved |
| Executor | Multiple documents | MaxConcurrency semaphore | Document order preserved |
| TappingTool | Observation | Inline (no extra goroutine) | Sequential |
Collectors and streaming collectors
Collectors aggregate results across documents (word counts, check reports, term
lists). They implement Collect(ctx, item, parts), called after each document
completes, and Result() for the final aggregate. Collectors must be
thread-safe since multiple documents may complete concurrently.
StreamingCollector extends Collector with Observe(part) for inline
observation without adding a pipeline stage. TappingTool wraps a tool and its
streaming collector: output Parts are intercepted and passed to Observe()
synchronously before forwarding downstream. This enables real-time metrics
without buffering the entire result set.
Flow tracing and visualization
flow.TraceRecorder captures timestamped events during flow execution.
flow.TracingTool wraps each tool in the chain and records enter/exit events
with Part snapshots. The --trace path/to/trace.json flag on kapi run enables
tracing. The output is a FlowTrace JSON file containing:
- Nodes: the tool chain with concurrency metadata
- Events: timestamped enter/exit events per Part
- Part snapshots: Part state before and after each node
- Duration: total flow execution time in microseconds
A browser-based visualization renders the trace as an animated flow diagram with particles moving through nodes, channel fill indicators, and worker lane separation for parallel tools. The playback engine supports variable-speed replay and seeking.
Observation seam
Tracing to a file is one consumer of a more general seam. core/observe
defines a Tracer / Span interface with a no-op default and no dependency on
any telemetry library, so it costs nothing until a host registers a tracer at
startup; kapi and the desktop register none. flow.WrapWithSpans wraps each
tool in a chain so that one span opens per tool invocation (flow.tool), and
the file runner opens one per format read and write (format.read,
format.write). A SessionTool keeps its session path through the wrapper, so
a resumable run still resumes. Model provider calls carry their own span through
the same seam (E-07). One span per tool rather than
per Part keeps the cost proportional to the handful of tools a flow has, not the
thousands of Parts it moves.
Flow definitions
flow.FlowDefinition is a JSON/YAML-serializable struct that captures a flow
graph (nodes + edges) and the tool configurations needed to reconstruct a
runnable flow. This separates the declarative description of a flow from its
runtime execution.
Each FlowNode has:
- ID: unique identifier within the definition
- Type:
flow.NodeToolfor a processing step.NodeReaderandNodeWriterremain in theNodeTypevocabulary for the editor's graph, but every built-in and steps-compiled flow carries tool nodes only, because the ends are bindings (E-04) - Name: the registered name of the tool (e.g.
"pseudo-translate") - Label: optional display label for UI rendering
- Config: optional key-value configuration map
- Position: x/y coordinates for visual layout in the flow editor
Bindings (E-04). A flow's source and sink are bindings resolved from invocation context (file, the project store, a
.kpz, interchange import/export, or none), so the same flow runs over any origin. Every built-in flow graph carries tool nodes only. The graph is composition; a single tool is invoked directly, not wrapped in a one-tool flow.
Each FlowEdge connects a source node to a target node. TopologicalOrder()
computes the execution order using Kahn's algorithm, returning an error if a
cycle is detected, so invalid flow graphs never reach the runtime executor.
The built-in flow catalog is a product concern and lives in the host module
(host/flowdef.BuiltInFlows), not in the engine. It covers translation with
guardrails, checks, memory reuse, pseudo-translation, the media-to-subtitle
paths, and the redaction-bracketed flows; the authoritative list with each
flow's steps is kapi flows and the generated
command reference.
kapi flows lists only the composed (multi-tool) built-in flows, because
single-tool definitions are surfaced as top-level tool commands rather than as
flows. host/flowdef.FlowStore persists user-created flow definitions as JSON
files on disk, distinguished by source:
built-in: ships with neokapi, immutableuser: created by the user, stored in the user's config directory
A project's own named flows are declared in its recipe's flows: block rather
than stored as files (E-04).
Steps-based YAML format
A human-friendly steps format is the primary authoring surface for flows in YAML (E-03):
apiVersion: v1
kind: FlowDefinition
metadata:
name: Production Pipeline
spec:
steps:
- tool: recycle
config: { fuzzyThreshold: 75 }
- tool: translate
config: { provider: anthropic }
- tool: qa
Steps are sequential by default. parallel: blocks provide fan-out. The parser
auto-detects the shape (steps vs graph) and compiles steps to nodes and edges.
Both produce the same runnable executor.
The steps carry only the composition. A flow's source and sink are bindings
resolved at invocation (file, the project store, a .kpz, interchange, or none;
E-04) rather than fields of the flow document.
Fan-out and batching
tool.Tee() copies parts to N output channels, enabling fan-out topologies where
one node feeds multiple parallel branches. The batch tool collects blocks into
configurable batches before forwarding, which suits batch-capable remote APIs and
LLM prompts that benefit from multiple inputs per request
(M-05).
Script step
The script tool runs user-provided JavaScript (ES5) via the goja runtime. Each
tool instance owns its own goja.Runtime, which is safe because ToolFactory
gives one instance per goroutine. The JS API exposes part, emit(), skip(),
and log() for filtering and transforming parts: lightweight custom
transformations without Go code. script is in the exec class: a recipe
cannot arm it silently (E-06).
Terminology: Okapi → neokapi
For readers familiar with the Okapi Framework, the engine maps to Okapi concepts as follows:
| Okapi (Java) | neokapi (Go) |
|---|---|
| Filter | DataFormat (Reader/Writer) |
| Step | Tool |
| Pipeline | Flow |
| PipelineDriver | Executor |
| Event | Part |
| TextUnit | Block |
| TextFragment | Run sequence ([]Run) |
| Code | Run |
| StartSubDocument/StartSubFilter | Child Layer |
Consequences
- Each tool runs concurrently; multi-core CPUs are utilized within a single document's pipeline.
- Multiple documents process in parallel, bounded by
MaxConcurrency. - Backpressure is automatic: a slow tool causes its input channel to fill, which blocks the upstream tool without manual coordination.
- Context cancellation cleanly propagates through the entire chain.
- ToolFactories ensure no shared mutable state between parallel documents.
- Collectors provide cross-document aggregation without breaking the streaming model.
- Tool authors do not manage goroutines; the executor handles lifecycle, and
ParallelBlockToolsupplies intra-tool parallelism without any concurrency code in the tool. StreamingCollectorenables real-time observation of pipeline output without modifying the Part stream or adding buffering stages.- Flow tracing enables post-hoc debugging and visualization, helping users understand tool behaviour and identify bottlenecks.
TopologicalOrdervalidation catches cycles before runtime, giving fast feedback during flow authoring.- JSON and YAML serialization supports import/export and version control of flow configurations.
- Steps-based YAML makes flow authoring accessible without Go; the visual editor and the YAML stay in sync because both compile to the same graph.
Related
- F-02: The content model: the Part types that stream
- E-02: The format system: readers that emit Parts, writers that consume them
- E-03: The tool system: the tools that make up a flow
- E-04: Flows and I/O binding: reader/writer become source/sink bindings; a flow is composition only
- E-05: The plugin system: plugin tools use the same executor contract