fault

Adversity you schedule, not adversity the harness invents.

A fault adapter joins behavior the owner supplies to the postcondition the owner expects that behavior to preserve. The harness keeps both values opaque.

Boundary

A schedule places adapters at positions in a command sequence. A campaign preserves authored schedule order while admitting only a non-vacuous, unambiguous choice among them. Selection borrows the schedule held by that campaign, so a selection cannot relabel or outlive its source.

Injection resolves every scheduled position before it clones an adapter. A refused placement therefore leaves no partially injected history, while an admitted placement preserves command order and the authored order of adapters stacked at one position.

Composition

The injected sequence is ordinary typed input for another harness road. Interleave can schedule its commands, properties can judge the resulting history, and runner can record the earned conclusion without any of those homes acquiring fault-placement authority.

An empty schedule may stand beside an adverse schedule as its comparison control. Running adapters, interpreting their behavior, and deciding whether a promised postcondition held remain the owner’s work.

Evidence ceiling

This home proves placement coherence and all-or-nothing injection. It defines no subject protocol, installs no hook, executes no adapter, observes no resource, and reaches no verdict.