gleamunison/cli_replay

gleamunison replay <file.lisp> <def> <tape.json> — re-run a definition against a recorded transcript. Playback serves recorded op results; the real handlers never run. Divergence (wrong ability, wrong op, exhausted tape) fails loudly. Verification, not vibes: a clean replay proves the run the tape records is the run the code performs.

Values

command

</>

pub fn command(args: List(String)) -> Nil

replay_from_file

</>

pub fn replay_from_file(
  path: String,
  name: String,
  tape_path: String,
) -> Result(String, String)

Replay a definition against a tape file. The tape must carry raw values (v2 format); an audit-only tape cannot drive a replay.

run_definition

</>

pub fn run_definition(
  path: String,
  name: String,
  frames: List(effects.HandlerFrame),
) -> Result(String, String)

Run a definition under caller-supplied handler frames (the recording path: wrap them with transcript.wrap_frames first).