What a brain is
A brain is the loop half of a split-topology harness: a digest-pinned JavaScript module conforming to the published brain interface. It receives every platform dependency as data and ports — the documented environment contract (CHECKFU_MODEL_*, CHECKFU_MCP_*) carrying
per-run scoped grants, a fetch, and a command executor — and performs every file and shell
operation through that executor. It never receives ambient secrets: grants arrive as
short-TTL per-run tokens minted at claim time, and the worker plane’s own secret bindings are
unreachable from the brain module by interface shape.
The first-party checkfu harness is the reference brain, not the owner of the plane. The
contract is designed so any conforming brain can enroll through the same profile,
conformance, and capability-ceiling machinery as any harness once the lane is admitted.
How the split works
The topology issplit (see RuntimeTopology): the brain runs on the worker plane; its
hands — shell commands, file syncs — cross a durable command queue. The brain appends a
command; a sandbox executor claims it under the same fenced-lease mechanics runners use to
claim Runs; the result appends back. The two sides of a command never need to be alive at the
same time, and there is no live RPC across the split. Files live in a governed workspace
filesystem the platform can reach directly, so mounts, memory, skills, and deliverables work
without a box.
Placement is compiled at admission — provider, profile, and image digest are fixed before any
command exists. Lazy summoning only changes when the sandbox starts; a command cannot choose a
different one, or a weaker isolation tier than the one admission fixed.
Zero-machine turns
In the qualified brain-plane semantics, sandbox provisioning is triggered by the first durable command of a turn:- A turn that issues no command binds no sandbox. Its Budget reservation (made before
work, like every turn) is released at settlement, and no sandbox-compute usage entry is
ever written — the ledger shows exactly what didn’t run. The turn’s telemetry
(
run.completed.turn) recordsexecution: "model_only". - A turn whose first command needs a machine waits for a cold sandbox summon at that moment. This is the direction in which the brain plane is worse than a container lane: a container-lane run already had its machine when the command arrived. The recorded comparison journey measures both directions on the same chat turn.
- Later commands in the turn reuse the summoned machine; usage is ledgered from the summon, and the machine is released at the turn’s end like any sandbox.
Ceilings and refusal modes
The brain plane declares an honest capability ceiling; nothing about the topology promotes a capability:- Non-JavaScript brains route to the container lanes. The brain interface is a JS module contract. A harness that cannot conform runs colocated in a sandbox, exactly as today.
- Overweight workspaces route to the container lanes. The governed filesystem has pinned size and entry ceilings with typed quota refusals; work that exceeds them belongs in a sandbox with a real disk.
- The server ceiling starts at
interrupt: kill_onlyandmid_run_input: unsupported. A brain that declares the checkfu cooperative-steering extensions admits exactlycooperativeandnativefor that live session; the split driver carries the matching control hooks and serializes them against teardown. A non-declaring brain stays at the floor. ActionApprovals areend_reinject; checkpoints ride the journal in the governed filesystem rather than a driver-exported artifact. - Conformance obligations are identical to any harness, plus brain-plane locus evidence: platform-recorded proof that MCP calls originate from the enrolled brain’s plane identity and that hands commands executed under the workload envelope.
Deployment gates
The split lane is not admissible in production today:SPLIT_RUNTIME_AVAILABILITYisunavailableand names its two missing qualifications — a qualified platform-remote brain and the governed remote filesystem passing conformance in a deployed environment. No Runner registers a split execution target.- The worker-plane brain host wire (the turn-hosting Durable Object and its command/file adapters) is in-flight follow-up work; locally the split composition is proven against the real first-party brain out-of-process, byte-indistinguishable from the container locus.
- Digest-pinned brain module loading depends on dynamic Worker Loaders, which reached open beta on Workers Paid plans in April 2026. Availability is no longer the gate; the code-identity contract is recorded, and the integration itself is unbuilt.
Next steps
- Harnesses and models — the adoption paths and conformance machinery every harness, brain or not, goes through.
- Sessions and runs — the event log the brain plane settles into.
- Billing and platform supply — how usage entries and Budget reservations work.