Module substrate 

The execution substrate: agentplane, embedded.

This module is the only place speccoder touches agentplane. A Plane is a redb journal in speccoder’s state directory, the speccoder agent declared in Rust, and the model driver. Every run is journaled; every recorded run can be replayed strictly, without the model.

Modules

acceptance

speccoder.task.acceptance: derive acceptance tests from the spec before an attempt.

attempt

speccoder.task.attempt: one bounded, governed attempt at a task .

converge

speccoder.feature.converge: assess a feature’s code against its spec, plan and tasks, read-only.

host

speccoder.skill.run: an installed Agent Skill, hosted.

model_config

[model] in speccoder.toml.

monitor

speccoder.task.monitor: a reasoning-blind gaming monitor.

near_miss

speccoder.task.near_miss: wrong and permitted variants of a task’s change, to test its acceptance tests.

propose

speccoder.task.propose: one governed model call that proposes how to do a task. The answer is recorded, never executed.

provenance

Where content came from.

run_config

[budget] and [commands] in speccoder.toml (policy).

Structs

AccountTurn

One model turn of an attempt, as the person is shown it afterwards: the model’s summary of its reasoning and its words beside its calls — its account, a claim. Control characters escaped.

Always

A call answered Always Allow inline.

Hooks

What a live run hands its skills besides the model: someone to ask and somewhere to report progress. Neither is journaled; replay gets neither.

Inline

What Plane::decide_inline leaves.

Plane

An open plane.

PlaneError

A failure to open or use the plane.

RecordedCall

One recorded call.

RecordedCalls

Calls the journal records, and what of it could not be read.

Constants

AGENTPLANE_VERSION

The agentplane release speccoder is built against (the exact pin in the workspace Cargo.toml), named in every verification summary.

JOURNAL

The journal file inside a project’s state directory.

Functions

account

The model’s account of run, turn by turn: every turn that reasoned or said something, in order.

account_refusal

Whether a provider refusal concerns the account (no credits, quota, a key it does not accept) rather than one request: every later call would be refused too.

admitted

The input run was admitted with, with its root and field labels — from the journal’s RunAdmitted record, never from anything a tool returned.

manifest

The speccoder agent, declared in code (Manifest::builder runs the same validation as a parsed manifest).

manifest_with

manifest with grants for the run’s MCP tools: mutating (speccoder cannot know otherwise), every argument field the model’s.

provider_refusal

What a model provider refused, from a run’s failure: the text after agentplane’s “refused the request:” — a refusal, which no retry changes.

replay_strict

Strictly re-derives a recorded run and says whether this build reproduces it: history is consumed, nothing is dispatched. The model driver is agentplane’s replay-only provider, which reads the request profile back from the history and refuses every call, so no credential is needed. A faithful replay of a run that failed is Finding::Verified too — the recorded ending is what is verified. Ok(None) when the run is not in the journal.