/**
 * Harness template for the `stateMachine` assembly arm.
 *
 * With a {@link HarnessContext} the generated test imports the REAL capsule
 * binding and probes its handlers at runtime: when the capsule declares
 * `step` + `initialState`, the test derives a fast-check arbitrary from the
 * input schema (events), drives randomized event sequences from the initial
 * state, asserts every declared invariant after each step, and replays the
 * same sequence twice to prove determinism. When the capsule cannot be
 * harnessed (no runtime driver and no importable binding, or an input schema
 * the arbitrary walker rejects) the generator THROWS a tagged
 * `UnsupportedError` so `capsule:compile` fails loud — never an `it.skip` or a
 * vacuous `() => true` placeholder (wire-or-fail).
 *
 * @module
 */
import type { CapsuleDef } from '../assembly.js';
import type { HarnessContext, HarnessOutput } from './pure-transform.js';
/**
 * Generate the test + bench file contents for a `stateMachine` capsule.
 * A runtime-backed machine drives via its build+tick handle; a field-driven
 * machine drives its real `step`. With neither a runtime driver nor an
 * importable binding the generator THROWS a tagged `UnsupportedError`
 * (wire-or-fail) rather than emitting a placeholder.
 */
export declare function generateStateMachine(cap: CapsuleDef<'stateMachine', unknown, unknown, unknown>, ctx?: HarnessContext): HarnessOutput;
//# sourceMappingURL=state-machine.d.ts.map