Struct NextStep 

pub struct NextStep {
    pub id: String,
    pub command: String,
    pub reason: String,
}

A read-only follow-up command fallow surfaces from the current findings, emitted as the top-level next_steps array on each command’s JSON envelope.

next_steps exists to point agents and humans sideways to fallow’s adjacent verification capabilities (trace, complexity breakdown, audit, workspace scoping) that telemetry shows agents rarely discover, because they act on the output in front of them rather than on reference docs.

Two hard contracts

1. Read-only. A next_step NEVER suggests fallow fix or any mutating command. Fallow surfaces evidence and verification paths; deciding and applying the remediation is the agent’s job.
2. Runnable, placeholder-free. command is always runnable as-is. It never contains an angle-bracket placeholder (<...>); finding-derived values are filled in from a real, deterministically-selected finding, and any environment- or user-specific value that cannot be made concrete lives in reason instead. An agent can copy command and run it without edits.

Both contracts are enforced by unit tests in crates/cli/src/report/suggestions.rs.

Note: a SEPARATE, unrelated next_steps field exists on the coverage setup envelope (CoverageSetupOutput.next_steps) as a plain Vec<String> of human onboarding steps. Consumers that read multiple envelope kinds must route on the envelope’s kind before interpreting a next_steps field: on analysis envelopes it is Vec<NextStep> objects, on coverage setup it is Vec<String>.

Fields

id: String

Stable kebab-case key for machine dispatch and de-duplication (for example "trace-unused-export"). Identity is stable across runs; the command and reason strings may vary with the findings.

command: String

A runnable, read-only command string. Placeholder-free by contract.

reason: String

One short phrase explaining why this helps. Carries any value that cannot be made concrete in command.

Trait Implementations

impl Clone for NextStep

fn clone(&self) -> NextStep

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for NextStep

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Serialize for NextStep

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.