CLI Reference

The stepfork CLI manages .sftrace bundles. This page documents every command as of v0.1.0a6. Run stepfork --help for an up-to-date summary.

Usage: stepfork [OPTIONS] COMMAND [ARGS]...

Global options:

Option	Description
`--version`, `-V`	Show the Stepfork version and exit.
`--install-completion`	Install shell completion for the current shell.
`--show-completion`	Show shell completion for the current shell.
`--help`	Show global help and exit.

Commands:

validate
inspect
replay
minimize
diff
export

Exit code conventions:

0 success (or a replayed failure reproduced intentionally).
1 the run behaved differently, or the operation could not complete safely.
2 invalid, unreadable, or unresolvable input.
3 validate --verify-integrity on a legacy bundle without integrity metadata.

validate

Validate a .sftrace bundle.

Usage: stepfork validate [OPTIONS] PATH

Arguments:

Argument	Description
`PATH`	Path to a `.sftrace` directory bundle. Required.

Options:

Option	Description
`--partial`	Allow incomplete in-progress traces, skipping `run_start` checks.
`--verify-integrity`	Verify per-event payload hashes and bundle integrity metadata.
`--help`	Show command help and exit.

Strict mode (default) requires exactly one run_start and an error event for failed runs. --partial relaxes those execution checks for in-progress or intentionally incomplete bundles.

Example:

stepfork validate failure.sftrace --verify-integrity

✓ Manifest structure valid
✓ Event payloads parse
✓ Run IDs consistent
✓ Event count matches
✓ Strict execution checks
✓ Integrity verified

Validation passed.

Common errors:

Validation failed: <N> issues. with a code per issue (for example duplicate_event_id, step_order, event_count_mismatch). Exit 1.
Unreadable bundles (missing_file, invalid_json, invalid_manifest, invalid_event, unsupported_schema). Exit 2.
Bundle has no integrity.json metadata. (UNVERIFIED (legacy bundle)). Exit 3 with --verify-integrity.

inspect

Inspect a .sftrace bundle locally.

Usage: stepfork inspect [OPTIONS] PATH

Arguments:

Argument	Description
`PATH`	Path to a `.sftrace` directory bundle. Required.

Options:

Option	Description
`--json`	Emit sanitized machine-readable JSON.
`--events`	Show sanitized event details.
`--errors-only`	Show only error events.
`--step <int>`	Show events at a specific logical step.
`--help`	Show command help and exit.

Default output shows a summary (agent name, run id, status, event count, schema, timestamps, tool/LLM call counts, duration, integrity state) plus an event timeline table.

Example:

stepfork inspect failure.sftrace

Stepfork Trace Inspector

Agent:         notify-agent
Run:           run_37bf09a918054efda5034cc500a700e8
Status:        COMPLETED
Events:        4
Schema:        0.1
Tool calls:    1
Integrity:     VERIFIED

Event Timeline

┏━━━━━━┳━━━━━━━━━━━━━┳━━━━━━━━━━━━━━┳━━━━━━━━┓
┃ Step ┃ Type        ┃ Name/Model   ┃ Status ┃
┡━━━━━━╇━━━━━━━━━━━━━╇━━━━━━━━━━━━━━╇━━━━━━━━┩
│    0 │ run_start   │ run_start    │ ok     │
│    1 │ tool_call   │ order_status │ ok     │
│    2 │ tool_result │ order_status │ ok     │
│    3 │ run_end     │ completed    │ ok     │
└──────┴─────────────┴──────────────┴────────┘

--events adds a Details column showing each sanitized payload. --step <n> limits the timeline to one logical step, and --errors-only shows only error events.

--json writes sanitized JSON for scripts. In JSON mode, errors are emitted as {"error": "unreadable_trace", "message": "..."} and {"error": "missing_step", "message": "..."}.

Common errors:

--step <n> matches no events: No events found at step <n>. Exit 1.
Unreadable bundle. Exit 2.

replay

Execute a trusted entrypoint with dependencies replayed from a trace.

Usage: stepfork replay [OPTIONS] PATH

Only the entrypoint you name is imported and run. Trace bundles are data: Stepfork never executes code embedded in a trace.

Arguments:

Argument	Description
`PATH`	Path to a `.sftrace` directory bundle. Required.

Options:

Option	Description
`--entrypoint <str>`	Trusted local `MODULE:FUNCTION` to execute under replay. Required.
`--mode <str>`	Replay mode: `frozen`, `live`, `forbidden`, or `manual`. Default `frozen`.
`--allow-live-tool <name>`	Authorize a named tool to execute in `live` mode. Repeat for each tool.
`--verbose`	Show full diagnostic fingerprints instead of abbreviated ones.
`--help`	Show command help and exit.

Modes:

frozen answers every dependency call from the recording; mismatches fail loudly (recommended for regression work).
live re-executes matching LLM calls. Matching tools run only when named by --allow-live-tool; other tool calls fail before their bodies run. It does not allow unrecorded calls.
forbidden rejects any dependency call.
manual requires approval for each call.
derived exists in the data model but is not supported in v0.1.

Example:

stepfork replay failure.sftrace --entrypoint quickstart:run_agent --mode frozen

Stepfork Replay

Trace         failure.sftrace
Agent         notify-agent
Entrypoint    quickstart:run_agent
Mode          frozen

Dependency Calls
  1. tool order_status (substituted)
Dependency matching: COMPLETE

Execution: COMPLETED
Recorded behavior: MATCHED
Status: COMPLETED
Final result: {"order_id":"ORD-1001","should_notify":false}

Exit codes:

0 the run replayed without divergence, including when a recorded failure is reproduced intentionally (REPRODUCED FAILURE).
1 the entrypoint diverged from the recording.
2 invalid mode, unreadable trace, or unresolvable entrypoint.

Common errors:

Unable to resolve entrypoint. followed by a detail line (invalid entrypoint ...; expected the form MODULE:FUNCTION, cannot import module ..., module ... has no attribute ..., entrypoint ... is not callable).
Replay divergence messages, for example call #1: input diverged from the recording or replay ended before consuming 1 recorded dependency call(s).
Invalid replay mode <mode>.

minimize

Minimize a failing trace to the smallest reproducible subset.

Usage: stepfork minimize [OPTIONS] PATH --entrypoint MODULE:FUNCTION

Arguments:

Argument	Description
`PATH`	Path to the `.sftrace` directory bundle to minimize. Required.
`--entrypoint`, `-e`	Agent entrypoint as `MODULE:FUNCTION`. Required.

Options:

Option	Description
`--expect-output FILE`	JSON file with expected output for comparison.
`--mode`, `-m`	Replay mode: `frozen`, `live`, or `hybrid`. Default: `frozen`.
`--output`, `-o`	Path for the minimized `.sftrace` bundle. Default: `<path>-minimized.sftrace`.
`--overwrite`	Overwrite the output bundle if it exists. Default: `false`.
`--timeout SECONDS`	Timeout in seconds for each replay attempt. Default: `30.0`.
`--attempts N`	Number of attempts per subset test (for nondeterminism). Default: `1`.
`--help`	Show command help and exit.

Minimization uses dependency-aware delta debugging to find the smallest set of events that preserves the original failure. The process:

Detects the failure signature by replaying the original trace
Systematically tests smaller event subsets while preserving dependencies
Verifies the minimized trace reproduces the same failure
Saves the minimal trace and reports reduction statistics

Example:

echo '{"order_id": "ORD-1001", "should_notify": true}' > expected.json

stepfork minimize failure.sftrace \
    --entrypoint quickstart:run_agent \
    --expect-output expected.json \
    --output minimal.sftrace

Stepfork Minimize

Original trace:  failure.sftrace
Agent:           notify-agent
Events:          8
Entrypoint:      quickstart:run_agent
Mode:            frozen

Detecting failure signature...
Minimizing trace...

╭─ Minimization Report ─────────╮
│ Original Events     8          │
│ Minimized Events    5          │
│ Reduction           37.5%      │
│ Replay Attempts     15         │
│ Failure Signature   Output Mismatch │
│ Minimal             Yes        │
╰────────────────────────────────╯

✓ Minimized trace saved to: minimal.sftrace

Exit codes:

0 minimization succeeded and produced a valid minimal trace.
1 minimization failed (no failure detected, or minimization error).
2 invalid input, unreadable trace, or unresolvable entrypoint.

Common errors:

Failed to detect original failure signature: trace replay completed successfully; no failure to minimize - the trace does not fail when replayed.
cannot resolve entrypoint ... - the entrypoint specification is invalid or the module cannot be imported.
Minimized trace does not reproduce the original failure - rare internal error during delta debugging.

See docs/minimize.md for detailed documentation and examples.

diff

Compare the behavior of two recorded agent runs.

Usage: stepfork diff [OPTIONS] BASELINE CANDIDATE

Exit codes: 0 behavior equivalent, 1 meaningful behavioral difference, 2 invalid or unreadable input.

Arguments:

Argument	Description
`BASELINE`	Baseline `.sftrace` directory bundle. Required.
`CANDIDATE`	Candidate `.sftrace` directory bundle. Required.

Options:

Option	Description
`--json`	Emit machine-readable JSON (no Rich markup).
`--help`	Show command help and exit.

Human output lists each changed location with its old and new value:

  output:
    expected: false
    actual:   true
    at:       output.should_notify
  run_status: unchanged

Steps: 2 total (1 changed, 0 added, 0 removed, 1 unchanged)

Result: BEHAVIOR CHANGED

export

Export an executable pytest regression test from a trace.

Usage: stepfork export [OPTIONS] PATH

The generated test loads the frozen trace, executes your trusted entrypoint under replay, and fails when the behavior diverges from the expected outcome.

Arguments:

Argument	Description
`PATH`	Path to a `.sftrace` directory bundle. Required.

Options:

Option	Description
`--pytest` / `--no-pytest`	Export a pytest test (the only v0.1 format).
`--entrypoint <str>`	Trusted local `MODULE:FUNCTION` the generated test executes.
`--expect-output <path>`	JSON file defining the expected regression outcome.
`--expect-trajectory <path>`	Reviewed JSON file defining tool and step assertions.
`--output <path>`	Destination test file. Default `./test_<trace>_regression.py`.
`--overwrite`	Replace the output file if it already exists.
`--mode <str>`	Replay mode used by the generated test. Default `frozen`.
`--allow-live-tool <name>`	Embed authorization for a named tool in a generated `live` test. Repeat for each tool.
`--help`	Show command help and exit.

Example:

stepfork export failure.sftrace --pytest \
  --entrypoint quickstart:run_agent_fixed \
  --expect-output expected.json \
  --output test_notify_fixed.py --overwrite

Wrote test_notify_fixed.py
Entrypoint: quickstart:run_agent_fixed
Mode:       frozen
Expectation: {"order_id": "ORD-1001", "should_notify": true, "carrier": "FedEx"}

Without --expect-output, the generated test asserts the recorded run output, which passes against the code that produced the recording. Pass --expect-output to assert the corrected behavior instead.

The generated test produces standard AssertionError messages:

behavior mismatch at '<path>': expected <value>, got <value> when the runtime output diverges from the expectation.
stepfork replay divergence: ... when the entrypoint does not replay according to the trace.

Common errors:

Export requires strict validation and the pytest format; it prints v0.1 supports pytest export only (--pytest). otherwise.
An executable regression test needs --entrypoint MODULE:FUNCTION.
<path> already exists; pass --overwrite to replace it.
--expect-output is not valid JSON: <detail>.
Invalid --expect-trajectory: <detail> when the JSON shape is unsupported.

score

Score an exported expectation against a mutant battery derived from the recorded run, without executing anything.

Usage: stepfork score [OPTIONS] TEST

An exported test asserts EXPECTATION. Two things can satisfy that assertion and pass the same green run: the claim you meant to check, or a copy of the run the recording came from. score derives the battery that separates them -- the claim-drawn row is the recorded run's own output, and the code-drawn rows perturb the expectation's leaves -- and reports which rows the expectation rejects.

The test file is read, never executed: it is parsed with ast, JSON-shaped values are read with ast.literal_eval, and the bundle path is read from the expressions the exporter writes. Nothing is imported and no entrypoint runs.

Arguments:

Argument	Description
`TEST`	Exported pytest regression test. Required.

Options:

Option	Description
`--expect-output <path>`	Score this expectation instead of the one the test embeds.
`--bundle <path>`	Bundle to read the recorded run from. Default: the `TRACE_PATH` the test names.
`--json`	Print the score as JSON.
`--help`	Show command help and exit.

A claim-pinned expectation rejects the recorded run:

battery: 1 claim-drawn + 6 code-drawn mutant(s), derived from test_notify_regression.py and notify.sftrace

  claim the recorded run                     killed  (first difference at carrier)
  code  carrier: with a suffix               killed  (first difference at carrier)
  code  order_id: with a suffix              killed  (first difference at order_id)
  code  should_notify: flipped               killed  (first difference at should_notify)

claim-pinned: rejected 7/7 mutants, including every claim-drawn mutant
pins: 1 live (carrier); 2 leaf(s) reproduce the run (order_id, should_notify)

An expectation that has drifted into the recording accepts it, which is the finding: the generated test would pass against the code that produced the recording.

run-pinned: the expectation accepts the claim-drawn mutant(s) the recorded run, so it encodes the recorded run rather than the claim
The generated test passes against the code that produced the recording. Treat the expectation as an unapproved oracle.
pins: 0 live (none); 3 leaf(s) reproduce the run (carrier, order_id, should_notify)

The pins line answers a second question the verdict does not: which leaves carry a value the run did not produce (live pins), and which merely reproduce the run. A leaf that reproduces the run is not a defect -- a fix does not change every field -- but it is not evidence of anchoring either.

Exit codes:

Code	Meaning
`0`	`claim_pinned`: the expectation rejects the recorded run.
`1`	`run_pinned`: the expectation accepts it; it is an unapproved oracle.
`2`	Cannot answer: no expectation to score, no recorded run to derive a claim-drawn mutant from, or a test file that cannot be read.

Common errors:

<path>:<line>: EXPECTATION is not a literal value ... -- the test was hand-edited; score reads the literals the export wrote.
cannot read the bundle path from this expression; pass --bundle ... -- the TRACE_PATH expression is outside the shapes the exporter writes.
trace bundle not found: <path> -- the bundle the test names is not at that path. Copy it beside the test, or pass --bundle.
no expectation to score -- the test asserts the recorded run without an --expect-output, so there is no claim for a mutant to separate from it.

Error handling

Command output is sanitized before display: secrets in trace-derived text appear as [REDACTED]. See Security notes and Troubleshooting for the full error catalogue and the security model.

Navigation Menu

Repository navigation

cli.md

cli.md

CLI Reference

validate

inspect

replay

minimize

diff

export

score

Error handling

FilesExpand file tree

cli.md

Latest commit

History

cli.md

File metadata and controls

CLI Reference

validate

inspect

replay

minimize

diff

export

score

Error handling