release_kit/commands/

setup.rs

//! `rk setup`: execute the repository-side setup against the detected forge.
//!
//! Preview is the default and is an offline rendering — it materializes
//! nothing and invokes no external command. Apply runs each step as the
//! observe-compare-apply-verify lifecycle: observe the current state,
//! report and skip when satisfied, otherwise materialize the embedded
//! script into the run's private journal directory, verify its digest,
//! spawn it as `sh <path>`, and read the state back. `check` calls the same
//! observe functions with the mutating half unreachable from its code path.

use std::ffi::OsString;
use std::fs;
use std::path::PathBuf;
use std::time::Instant;

use zeroize::Zeroizing;

use crate::cli::setup::{SetupAction, SetupArgs};
use crate::detect::Forge;
use crate::diagnostic::{Diagnostic, Reason};
use crate::digest::Digest;
use crate::embedded;
use crate::error::RkError;
use crate::events::{ChildStream, Event, EventKind};
use crate::output::Output;
use crate::setup::app_jwt::{self, AppApi};
use crate::setup::context::{Ctx, SECRET_VARS};
use crate::setup::journal::Journal;
use crate::setup::observe::{self, StepState};
use crate::setup::process::{self, Exec, Outcome};
use crate::setup::proof::{self, Standing};
use crate::setup::report::{Report, Row, Stance, stance};
use crate::setup::secrets;
use crate::setup::steps::{Mutates, STEPS, StepSpec, spec};

/// Dispatch the setup surface.
///
/// # Errors
///
/// Every failure classified through the matrix, each carrying its `reason`.
pub fn run(args: &SetupArgs) -> Result<(), RkError> {
    // Every action that reads a target reads it with git; printing a step
    // script and listing the steps read nothing.
    let reads_nothing = matches!(args.action, Some(SetupAction::Script { .. }))
        || (args.action.is_none() && args.list);
    if !reads_nothing {
        crate::requirements::require("rk setup", &[crate::requirements::Tool::Git])?;
    }
    match &args.action {
        Some(SetupAction::Script { name, forge }) => script(name, forge.as_deref()),
        Some(SetupAction::Check {
            target,
            repo,
            forge,
            required_check,
            json,
        }) => check(
            Output::new(*json),
            observing(
                target,
                repo.as_deref(),
                forge.as_deref(),
                required_check.as_deref(),
            )?,
        ),
        Some(SetupAction::Checkpoint {
            target,
            repo,
            forge,
            required_check,
            json,
        }) => checkpoint(
            Output::new(*json),
            observing(
                target,
                repo.as_deref(),
                forge.as_deref(),
                required_check.as_deref(),
            )?,
        ),
        // No forge CLI is resolved and no run opens: the status reads a
        // committed file and this target's own configuration alone.
        Some(SetupAction::Status {
            target,
            repo,
            forge,
            required_check,
            json,
        }) => status(
            Output::new(*json),
            &Ctx::resolve(
                target,
                repo.as_deref(),
                forge.as_deref(),
                required_check.as_deref(),
            )?,
        ),
        Some(action @ SetupAction::Step { .. }) => step(action),
        None if args.list => list(args.forge.as_deref()),
        None => {
            let target = args.target.clone().ok_or_else(|| {
                RkError::Usage("name a --target, or pass --list to see the steps".into())
            })?;
            let all: Vec<&StepSpec> = STEPS.iter().collect();
            let mut ctx = Ctx::resolve(
                &target,
                args.repo.as_deref(),
                args.forge.as_deref(),
                args.required_check.as_deref(),
            )?;
            reject_check_flag_on_gitlab(&ctx)?;
            if args.apply {
                require_check_for(&ctx, &all)?;
                // The full run skips its optional steps, so the callers
                // are what the run will actually reach.
                let acted: Vec<&StepSpec> = all
                    .iter()
                    .copied()
                    .filter(|step| !skipped_by_a_full_run(&ctx, step, all.len()))
                    .collect();
                ctx.require_cli(&acted)?;
                execute(Output::new(args.json), ctx, &all, "setup")
            } else {
                let acted: Vec<&StepSpec> = all
                    .iter()
                    .copied()
                    .filter(|step| !skipped_by_a_full_run(&ctx, step, all.len()))
                    .collect();
                ctx.require_cli(&acted)?;
                preview(Output::new(args.json), &ctx, &all)
            }
        }
    }
}

/// `rk setup step`: preview one step, or run it under `--apply`.
fn step(action: &SetupAction) -> Result<(), RkError> {
    let SetupAction::Step {
        name,
        target,
        repo,
        forge,
        required_check,
        apply,
        json,
    } = action
    else {
        unreachable!("the dispatch routes only a step here");
    };
    let selected = spec(name).ok_or_else(|| {
        RkError::Usage(format!("unknown step '{name}'; rk setup --list names them"))
    })?;
    let mut ctx = Ctx::resolve(
        target,
        repo.as_deref(),
        forge.as_deref(),
        required_check.as_deref(),
    )?;
    reject_check_flag_on_gitlab(&ctx)?;
    if *apply {
        refuse_an_excluded_step(&ctx, selected)?;
        require_check_for(&ctx, &[selected])?;
        // Every argument refusal has been given, so what remains
        // is the call itself and its one prerequisite.
        ctx.require_cli(&[selected])?;
        execute(Output::new(*json), ctx, &[selected], "setup step")
    } else {
        // A preview writes nothing, but it names the command it
        // would run, so a forge CLI it could never find is worth
        // saying now rather than at the apply.
        ctx.require_cli(&[selected])?;
        preview(Output::new(*json), &ctx, &[selected])
    }
}

/// The context of a run that observes every step: a check and a
/// checkpoint. Each asks the forge for every step the target runs, so it
/// needs the forge CLI for each one that asks a question.
fn observing(
    target: &camino::Utf8PathBuf,
    repo: Option<&str>,
    forge: Option<&str>,
    required_check: Option<&str>,
) -> Result<Ctx, RkError> {
    let mut ctx = Ctx::resolve(target, repo, forge, required_check)?;
    reject_check_flag_on_gitlab(&ctx)?;
    let all: Vec<&StepSpec> = STEPS.iter().collect();
    ctx.require_cli(&all)?;
    Ok(ctx)
}

/// Whether a full run skips this step at this target.
///
/// `optional` is the setup declaration's claim that a step is not universal; the
/// target's own configuration answers whether it wants this one. Today
/// `protect-release-lines` is the single such step, and a project that
/// sets `setup.release_lines` gets it run rather than skipped and
/// remembered.
fn skipped_by_a_full_run(ctx: &Ctx, step: &StepSpec, selected: usize) -> bool {
    if !step.optional || selected <= 1 {
        return false;
    }
    !(step.name == "protect-release-lines" && ctx.release_lines())
}

/// A step the target declared it does not run is refused by name rather
/// than applied. The committed file is the one statement of which steps
/// this target runs, so a run that installed what the file excludes would
/// leave the forge and the declaration disagreeing with nobody to notice;
/// changing the model is one edit, and that edit is the auditable act.
fn refuse_an_excluded_step(ctx: &Ctx, step: &StepSpec) -> Result<(), RkError> {
    match stance(ctx, step) {
        Stance::Applies => Ok(()),
        Stance::Excluded(reason) | Stance::Redundant { reason, .. } => {
            Err(RkError::Usage(format!(
                "{} is excluded by {}: {reason}; remove it from setup.excluded_steps to run it",
                step.name,
                crate::config::CONFIG_PATH
            )))
        }
        // A step the target configuration does not select is refused
        // rather than applied: the value that decided it is the answer,
        // and changing the configuration is the auditable act.
        Stance::NotApplicable(reason) => Err(RkError::refusal(
            Diagnostic::new(
                Reason::PrerequisiteUnmet,
                format!("{} does not apply to this target: {reason}", step.name),
            )
            .expected("a target configuration that selects this step")
            .action("rk profile --target . reports what this target resolves to")
            .target_state("unchanged")
            .step(step.name),
        )),
    }
}

/// On GitLab `--required-check` is a usage error, per the forge document:
/// the forge requires the whole pipeline and names no individual check, and
/// a flag silently discarded would read as configured while nothing uses it.
fn reject_check_flag_on_gitlab(ctx: &Ctx) -> Result<(), RkError> {
    if ctx.forge == Some(Forge::Gitlab) && ctx.required_check.is_some() {
        return Err(RkError::Usage(
            "--required-check is refused on gitlab: the forge requires the whole pipeline and names no individual check".into(),
        ));
    }
    Ok(())
}

/// On GitHub the trunk protection needs the check name before any step
/// runs: a wrong or missing one does not fail, it hangs the merge button,
/// so a full apply refuses up front rather than writing eight steps and
/// stopping. A target that excludes the protection is asked for nothing,
/// because the value would answer a step this run never reaches, or one
/// whose effective policy carries no required-check rule. Both integration
/// modes normally carry that rule, and this prerequisite stays about the
/// ruleset step.
fn require_check_for(ctx: &Ctx, steps: &[&StepSpec]) -> Result<(), RkError> {
    let needs = ctx.forge == Some(Forge::Github)
        && ctx.required_check.is_none()
        && ctx
            .protection()
            .owned_trunk_rules
            .iter()
            .any(|rule| rule == "required_status_checks")
        && steps
            .iter()
            .any(|step| step.name == "protect-trunk" && stance(ctx, step).acts());
    if needs {
        return Err(RkError::refusal(
            Diagnostic::new(
                Reason::PrerequisiteUnmet,
                "protect-trunk refuses until the required check is named, and nothing was written",
            )
            .expected("the name of the CI check the release merge must pass")
            .action(format!(
                "set setup.required_check in {}, or pass --required-check <name>; gh api repos/{}/commits/HEAD/check-runs lists the project's check names",
                crate::config::CONFIG_PATH,
                ctx.repo
            ))
            .step("protect-trunk"),
        ));
    }
    Ok(())
}

/// `rk setup --list`: the ordered steps, what each proves, and which needs
/// input on which forge — visible before a first apply rather than
/// discovered by one.
fn list(forge: Option<&str>) -> Result<(), RkError> {
    let forge = forge
        .map(|name| {
            Forge::parse(name).ok_or_else(|| {
                RkError::Usage(format!(
                    "unknown forge '{name}'; the forges are: github, gitlab"
                ))
            })
        })
        .transpose()?;
    let out = Output::human();
    for (idx, step) in STEPS.iter().enumerate() {
        let mut line = format!(
            "{:2}. {} [{}] proves: {}",
            idx + 1,
            step.name,
            step.chapter,
            step.proves
        );
        if step.name == "protect-trunk" && forge != Some(Forge::Gitlab) {
            line.push_str(" (needs --required-check on github)");
        }
        if step.destructive {
            line.push_str(" (destructive)");
        }
        if step.optional {
            line.push_str(" (optional; a full apply skips it)");
        }
        out.result_line(line);
    }
    out.next(&[
        "rk setup --target . previews every step".to_owned(),
        "rk setup script <name> prints one embedded script".to_owned(),
    ]);
    Ok(())
}

/// `rk setup script <name>`: the audit escape hatch, printed byte-identical
/// to the embedded file.
fn script(name: &str, forge: Option<&str>) -> Result<(), RkError> {
    if name == "package-check" {
        return Err(RkError::Usage(
            "package-check reads its command from the technology binding and has no script".into(),
        ));
    }
    if name == "branch-reminder" {
        return Err(RkError::Usage(
            "branch-reminder writes an embedded hook body and has no script; rk setup step branch-reminder previews the write".into(),
        ));
    }
    if name == "forge-version" {
        return Err(RkError::Usage(
            "forge-version reads the forge's own version and has no script; rk setup step forge-version previews the read".into(),
        ));
    }
    let forge = match forge {
        Some(value) => Forge::parse(value).ok_or_else(|| {
            RkError::Usage(format!(
                "unknown forge '{value}'; the forges are: github, gitlab"
            ))
        })?,
        None => Forge::Github,
    };
    let path = format!("{}/{name}", forge.as_str());
    let file = embedded::SETUP.get_file(&path).ok_or(RkError::NotFound {
        kind: "setup step",
        name: name.to_owned(),
    })?;
    Output::human().result_raw(&String::from_utf8_lossy(file.contents()));
    Ok(())
}

/// The shared run state: the boundary, the resolved context, the journal,
/// and the event stream.
struct Engine {
    out: Output,
    ctx: Ctx,
    journal: Option<Journal>,
    secrets: Vec<Zeroizing<Vec<u8>>>,
    /// The run's one read of the named key file; see [`key_file_for`].
    key: Option<secrets::KeyFile>,
    /// The run's App JWT, minted at most once; see [`app_jwt_for`].
    app_jwt: Option<String>,
    /// Whether an unreachable key file is an observation boundary rather
    /// than a refusal: true for a read-only check alone.
    key_boundary: bool,
    /// Why the named key file was unreachable, once a check found it so.
    key_unavailable: Option<String>,
    seq: u64,
    command: &'static str,
    run_id: String,
    /// The run's snapshot directory, opened by the first step that saves
    /// a before-state.
    snapshot: Option<crate::snapshot::Snapshot>,
    /// Whether the run names one step, as `rk setup step` does: a request
    /// for that step's action, which a full run does not make.
    named: bool,
}

impl Engine {
    /// Open the run: journal first, before any remote mutation. An apply
    /// that cannot create its journal refuses; observability-only modes
    /// warn and continue, because refusing them over observability is
    /// self-defeating.
    fn open(
        out: Output,
        ctx: Ctx,
        command: &'static str,
        journal_required: bool,
    ) -> Result<Self, RkError> {
        // A stale key export is refused wherever a run opens, so every
        // mode catches it and not the one step that would have used it.
        secrets::refuse_legacy_key()?;
        let journal = match Journal::create(
            command,
            ctx.target.as_str(),
            ctx.forge.map_or("none", Forge::as_str),
            &ctx.repo,
        ) {
            Ok(journal) => Some(journal),
            Err(source) if journal_required => {
                return Err(RkError::refusal(
                    Diagnostic::new(
                        Reason::JournalUnavailable,
                        format!("the run journal cannot be created: {source}"),
                    )
                    .expected("a writable state root for the journal")
                    .target_state("nothing was run and nothing changed"),
                ));
            }
            Err(source) => {
                out.warn(format!("no run journal for this run: {source}"));
                None
            }
        };
        let run_id = journal
            .as_ref()
            .map_or_else(|| "unjournaled".to_owned(), |j| j.run_id().to_owned());
        let mut engine = Self {
            out,
            ctx,
            journal,
            secrets: Ctx::secret_values(),
            key: None,
            app_jwt: None,
            key_boundary: false,
            key_unavailable: None,
            seq: 0,
            command,
            run_id,
            snapshot: None,
            named: false,
        };
        let opening = Event::opening(
            engine.next_seq(),
            crate::applog::now_utc(),
            engine.run_id.clone(),
            engine.command,
        );
        engine.emit(&opening);
        if engine.ctx.self_hosted_gitlab() {
            engine.out.warn(
                "this remote is a self-hosted GitLab: registry trusted publishing covers GitLab.com only, so the OIDC invariant cannot be satisfied here",
            );
        }
        Ok(engine)
    }

    const fn next_seq(&mut self) -> u64 {
        let seq = self.seq;
        self.seq += 1;
        seq
    }

    fn event(&mut self, kind: EventKind, step: Option<&str>) -> Event {
        let mut event = Event::opening(
            self.next_seq(),
            crate::applog::now_utc(),
            self.run_id.clone(),
            self.command,
        );
        event.kind = kind;
        event.step = step.map(str::to_owned);
        event
    }

    fn emit(&mut self, event: &Event) {
        self.out.event(event);
        if let Some(journal) = &mut self.journal
            && let Ok(line) = serde_json::to_string(event)
        {
            journal.event_line(&line);
        }
    }

    /// Run one external command: echo it, stream and redact its output,
    /// journal everything, surface its exit.
    fn exec(&mut self, exec: &Exec, passthrough: bool) -> Result<Outcome, RkError> {
        let echo = exec.echo();
        self.out.frame(&echo);
        if let Some(journal) = &mut self.journal {
            journal.transcript(echo.as_bytes());
            journal.transcript(b"\n");
        }
        let secrets = std::mem::take(&mut self.secrets);
        let step_name: Option<String> = None;
        let mut chunks: Vec<(ChildStream, Vec<u8>)> = Vec::new();
        let spawned = process::run(exec, |stream, chunk| {
            chunks.push((stream, process::redact(chunk, &secrets)));
        });
        self.secrets = secrets;
        for (stream, chunk) in chunks {
            if passthrough {
                self.out.child_passthrough(stream, &chunk);
            }
            let event = self.event(EventKind::ChildOutput, step_name.as_deref());
            let event = event.child_output(stream, &chunk);
            self.emit(&event);
            if let Some(journal) = &mut self.journal {
                journal.transcript(&chunk);
            }
        }
        spawned.map_err(|source| {
            RkError::refusal(
                Diagnostic::new(
                    Reason::SubprocessSpawn,
                    format!("{} did not spawn: {source}", exec.program.to_string_lossy()),
                )
                .expected("a POSIX sh and the forge CLI on PATH")
                .run(self.run_path()),
            )
        })
    }

    fn run_path(&self) -> String {
        self.journal.as_ref().map_or_else(
            || "no journal was written".to_owned(),
            |j| j.dir.display().to_string(),
        )
    }

    fn finish(&mut self, exit_code: i32, reason: Option<&str>) {
        let mut event = self.event(EventKind::RunFinished, None);
        event.exit_code = Some(exit_code);
        event.status = Some(if exit_code == 0 {
            "ok".into()
        } else {
            "failed".into()
        });
        self.emit(&event);
        if let Some(journal) = &mut self.journal {
            journal.finish(exit_code, reason);
        }
    }
}

/// Attach the failure to its run journal and close the run.
fn fail(engine: &mut Engine, error: RkError) -> RkError {
    let error = match error {
        RkError::Refusal(mut diagnostic) => {
            diagnostic.run.get_or_insert_with(|| engine.run_path());
            RkError::Refusal(diagnostic)
        }
        RkError::Subprocess(mut diagnostic) => {
            diagnostic.run.get_or_insert_with(|| engine.run_path());
            RkError::Subprocess(diagnostic)
        }
        RkError::CheckFailed(mut diagnostic) => {
            diagnostic.run.get_or_insert_with(|| engine.run_path());
            RkError::CheckFailed(diagnostic)
        }
        other => other,
    };
    engine.finish(i32::from(error.exit_code()), Some(error.reason().as_str()));
    error
}

/// Preview: walk the ordered steps and print, for each, the step name, what
/// it proves, and the resolved invocation — without materializing anything
/// and without invoking any external command. What preview shows is what
/// apply would run, because both read the same step table and environment
/// construction.
fn preview(out: Output, ctx: &Ctx, steps: &[&StepSpec]) -> Result<(), RkError> {
    let mut engine = Engine::open(out, clone_ctx(ctx), "setup preview", false)?;
    out.result_line(format!(
        "DRY RUN: rk setup would run these steps against {} on {}; re-run with --apply",
        engine.ctx.repo,
        engine.ctx.forge.map_or("no forge", Forge::as_str)
    ));
    for (idx, step) in steps.iter().enumerate() {
        out.result_line(format!(
            "step {}/{} {} — proves {}",
            idx + 1,
            steps.len(),
            step.name,
            step.proves_for(ctx)
        ));
        let stance = stance(&engine.ctx, step);
        if !stance.acts() {
            out.result_line(format!("  {}", stance.framed()));
            let mut event = engine.event(EventKind::StepFinished, Some(step.name));
            event.status = Some(stance.word().into());
            event.detail = Some(stance.detail());
            engine.emit(&event);
            continue;
        }
        // Preview is the rehearsal of apply, so a credential apply could
        // not use is a preview failure: the operator learns it here rather
        // than one flag later, and before an invocation is claimed.
        if step.name == "bot-secrets" && engine.ctx.forge == Some(Forge::Github) {
            secrets::resolve_key_file(&engine.ctx.target)?;
        }
        out.result_line(format!("  {}", render_invocation(&engine.ctx, step)));
        // The name is asked for only where a rule consumes it. It feeds the
        // required-status-checks rule alone, and local integration owns no
        // such rule, because no forge can require a check before the push
        // that starts it. Asking there would name a flag whose value reaches
        // nothing the run installs.
        if step.name == "protect-trunk"
            && engine.ctx.forge == Some(Forge::Github)
            && engine.ctx.required_check.is_none()
            && engine
                .ctx
                .protection()
                .owned_trunk_rules
                .iter()
                .any(|rule| rule == "required_status_checks")
        {
            out.result_line("  needs: --required-check <name> before apply");
        }
        if skipped_by_a_full_run(&engine.ctx, step, steps.len()) {
            out.result_line(format!(
                "  optional: a full apply skips it; set setup.release_lines, or rk setup step {} --apply runs it",
                step.name
            ));
        }
        let excluded = excluded_prerequisites(&engine.ctx, step);
        for line in &excluded {
            out.result_line(format!("  {line}"));
        }
        let mut event = engine.event(EventKind::StepFinished, Some(step.name));
        event.status = Some("previewed".into());
        event.detail = prerequisite_detail(&excluded);
        engine.emit(&event);
    }
    let next = next_for_apply(&engine.ctx, steps);
    out.next(&[
        next,
        "rk setup check --target . proves what is already true".to_owned(),
    ]);
    engine.finish(0, None);
    Ok(())
}

/// The one line preview prints per step: the exact spawn shape, with every
/// non-secret variable resolved.
fn render_invocation(ctx: &Ctx, step: &StepSpec) -> String {
    match step.name {
        "branch-reminder" => {
            "would write: the post-merge reminder hook at $(git rev-parse --git-path hooks)/post-merge".to_owned()
        }
        "package-check" => match ctx.tech {
            Some("rust") if ctx.reporting_policy() => "would run: cargo publish --dry-run --allow-dirty, then cargo metadata --no-deps --format-version 1, then cargo package --list --allow-dirty for a single default package rooted at the target, asserting it carries SECURITY.md and none of release-kit's own files; another workspace shape reports both as unproved".to_owned(),
            Some("rust") => "would run: cargo publish --dry-run --allow-dirty, then cargo metadata --no-deps --format-version 1, then cargo package --list --allow-dirty for a single default package rooted at the target, asserting it ships none of release-kit's own files; another workspace shape reports that as unproved".to_owned(),
            Some("python") if ctx.reporting_policy() => "would run: uv build, then list the sdist and the wheel in dist/; sdist and wheel SECURITY.md inclusion stays unproved".to_owned(),
            Some("python") => "would run: uv build, then list the sdist and the wheel in dist/".to_owned(),
            Some("bash") => ctx
                .profile
                .release
                .build
                .as_ref()
                .and_then(|build| build.verify.as_deref())
                .map_or_else(
                    || "would judge nothing: profile.release.build.verify names no command, and the package is not listed".to_owned(),
                    |command| format!(
                        "would judge the verify command {command}, from profile.release.build.verify: a make command needs a makefile and runs make -n; the package is not listed"
                    ),
                ),
            _ => "needs: a version file naming the technology".to_owned(),
        },
        "forge-version" => {
            let (major, minor) = observe::GITLAB_VERSION_FLOOR;
            match ctx.forge {
                Some(Forge::Github) => {
                    "nothing to read: github.com is a rolling service and declares no version floor"
                        .to_owned()
                }
                Some(Forge::Gitlab) => format!(
                    "would read: GET /version, and compare it against the {major}.{minor} floor; nothing is written"
                ),
                None => "nothing to read: the profile names no forge".to_owned(),
            }
        }
        name => {
            let check = ctx
                .required_check
                .as_ref()
                .filter(|_| ctx.forge == Some(Forge::Github) && name == "protect-trunk")
                .map(|value| format!(" RK_REQUIRED_CHECK={value}"))
                .unwrap_or_default();
            // The ruleset a protection step installs is the one
            // per-target fact the operator most needs to see before an
            // apply, because a renamed ruleset leaves the old one standing.
            let ruleset = match name {
                "protect-trunk" => format!(
                    " RK_TRUNK_RULESET={} RK_SAFETY_RULESET={} RK_TITLE_CHECK={}",
                    ctx.trunk_ruleset(),
                    ctx.safety_ruleset(),
                    ctx.title_check()
                ),
                "protect-tags" => format!(" RK_TAG_RULESET={}", ctx.tag_ruleset()),
                "protect-release-lines" => format!(" RK_LINES_RULESET={}", ctx.lines_ruleset()),
                _ => String::new(),
            };
            format!(
                "would run: sh <embedded setup/{}/{name}> with RK_REPO={} RK_TRUNK_BRANCH={}{ruleset}{check}",
                ctx.forge.map_or("<no forge>", Forge::as_str),
                ctx.repo,
                ctx.trunk()
            )
        }
    }
}

fn next_for_apply(ctx: &Ctx, steps: &[&StepSpec]) -> String {
    let check = ctx
        .required_check
        .as_ref()
        .map(|value| format!(" --required-check {value}"))
        .unwrap_or_default();
    if steps.len() == 1 {
        format!(
            "rk setup step {} --target {} --apply{check}",
            steps[0].name, ctx.target
        )
    } else {
        format!("rk setup --target {} --apply{check}", ctx.target)
    }
}

/// A `Ctx` copy for engine ownership; the context is plain data.
fn clone_ctx(ctx: &Ctx) -> Ctx {
    ctx.clone()
}

/// Apply: run the selected steps in order, each through the full lifecycle.
fn execute(
    out: Output,
    ctx: Ctx,
    steps: &[&StepSpec],
    command: &'static str,
) -> Result<(), RkError> {
    guard_sh()?;
    let mut engine = Engine::open(out, ctx, command, true)?;
    engine.named = steps.len() == 1;
    let mut done: Vec<(String, String)> = Vec::new();
    for (idx, step) in steps.iter().enumerate() {
        // A declared exclusion states the skip and runs nothing. A single
        // step named on the command line never arrives here: that form
        // refuses before the run opens.
        let stance = stance(&engine.ctx, step);
        if !stance.acts() {
            engine.out.frame(format!(
                "step {}/{} {} — {}",
                idx + 1,
                steps.len(),
                step.name,
                stance.framed()
            ));
            let mut finished = engine.event(EventKind::StepFinished, Some(step.name));
            finished.status = Some(stance.word().into());
            finished.detail = Some(stance.detail());
            engine.emit(&finished);
            done.push((step.name.to_owned(), stance.word().to_owned()));
            continue;
        }
        // An optional step applies only by name: a full run states the skip
        // rather than acting on a condition the operator never asserted.
        if skipped_by_a_full_run(&engine.ctx, step, steps.len()) {
            engine.out.frame(format!(
                "step {}/{} {} — skipped (optional; set setup.release_lines, or rk setup step {} --apply runs it)",
                idx + 1,
                steps.len(),
                step.name,
                step.name
            ));
            let mut finished = engine.event(EventKind::StepFinished, Some(step.name));
            finished.status = Some("skipped".into());
            engine.emit(&finished);
            done.push((step.name.to_owned(), "skipped".to_owned()));
            continue;
        }
        engine.out.frame(format!(
            "step {}/{} {} — {}",
            idx + 1,
            steps.len(),
            step.name,
            step.proves_for(&engine.ctx)
        ));
        let excluded = excluded_prerequisites(&engine.ctx, step);
        for line in &excluded {
            engine.out.frame(format!("  {line}"));
        }
        let mut started = engine.event(EventKind::StepStarted, Some(step.name));
        started.status = Some("running".into());
        started.detail = prerequisite_detail(&excluded);
        engine.emit(&started);
        let clock = Instant::now();
        let status = match apply_step(&mut engine, step) {
            Ok(status) => status,
            Err(error) => {
                let error = attach_progress(error, &done, step, steps);
                let mut finished = engine.event(EventKind::StepFinished, Some(step.name));
                finished.status = Some("failed".into());
                finished.reason = Some(error.reason());
                finished.duration_ms = Some(elapsed_ms(clock));
                engine.emit(&finished);
                return Err(fail(&mut engine, error));
            }
        };
        engine.out.frame(format!(
            "{} {}: {}",
            if matches!(status, Done::Skipped(_)) {
                "skipped"
            } else {
                "ok"
            },
            step.name,
            status.line()
        ));
        let mut finished = engine.event(EventKind::StepFinished, Some(step.name));
        finished.status = Some(status.wire().into());
        finished.detail = Some(status.line());
        finished.exit_code = Some(0);
        finished.duration_ms = Some(elapsed_ms(clock));
        engine.emit(&finished);
        done.push((step.name.to_owned(), status.wire().to_owned()));
    }
    engine.out.result_line(format!(
        "setup: {} completed against {}",
        step_count(done.len()),
        engine.ctx.repo
    ));
    for (name, status) in &done {
        engine.out.result_line(format!("  {status} {name}"));
    }
    engine.out.next(&[
        format!("rk setup check --target {}", engine.ctx.target),
        "rk guide setup orders what no command performs".to_owned(),
    ]);
    engine.finish(0, None);
    Ok(())
}

/// A step count rendered with the noun that agrees with it, so no summary
/// line can regrow a dangling plural.
fn step_count(count: usize) -> String {
    format!("{count} {}", if count == 1 { "step" } else { "steps" })
}

fn elapsed_ms(clock: Instant) -> u64 {
    u64::try_from(clock.elapsed().as_millis()).unwrap_or(u64::MAX)
}

/// What one applied step reported.
enum Done {
    /// The desired state already held; nothing ran.
    Satisfied(String),
    /// The target is ineligible for this step.
    Skipped(String),
    /// The script ran and the postcondition was read back.
    Changed(String, Option<String>),
    /// A read-only step ran and passed.
    Passed(String),
}

impl Done {
    const fn wire(&self) -> &'static str {
        match self {
            Self::Satisfied(_) => "satisfied",
            Self::Skipped(_) => "skipped",
            Self::Changed(..) => "applied",
            Self::Passed(_) => "passed",
        }
    }

    fn line(&self) -> String {
        match self {
            Self::Satisfied(detail) | Self::Passed(detail) | Self::Skipped(detail) => {
                detail.clone()
            }
            Self::Changed(detail, limitation) => limitation.as_ref().map_or_else(
                || detail.clone(),
                |limit| format!("{detail} (limitation: {limit})"),
            ),
        }
    }
}

/// What the prerequisite gate does with one prerequisite at this target.
///
/// SATISFIES forge-setup:the-setup-refuses-a-forge-below-the-floor
#[derive(Debug, PartialEq, Eq)]
enum PrereqGate {
    /// The prerequisite is not part of this target's setup: the gate
    /// passes and says nothing.
    Silent,
    /// The target excluded the prerequisite, with its stated reason: the
    /// gate passes and the dependent step reports the exclusion.
    Excluded(String),
    /// The prerequisite applies: observe it, and refuse on anything but
    /// satisfied.
    Observe,
}

/// The gate's answer for one prerequisite's stance, read from the
/// committed declaration and never from the forge.
fn prereq_gate(stance: Stance) -> PrereqGate {
    match stance {
        Stance::Applies => PrereqGate::Observe,
        Stance::NotApplicable(_) => PrereqGate::Silent,
        Stance::Excluded(reason) | Stance::Redundant { reason, .. } => PrereqGate::Excluded(reason),
    }
}

/// The lines a dependent step carries for each prerequisite the target
/// excluded, in the order the step names them.
fn excluded_prerequisites(ctx: &Ctx, step: &StepSpec) -> Vec<String> {
    step.prereqs
        .iter()
        .filter_map(|prereq| {
            let held = spec(prereq)?;
            match prereq_gate(stance(ctx, held)) {
                PrereqGate::Excluded(reason) => {
                    Some(format!("prerequisite {prereq} excluded: {reason}"))
                }
                PrereqGate::Silent | PrereqGate::Observe => None,
            }
        })
        .collect()
}

/// The event detail that carries a step's excluded prerequisites under
/// `--json`, or none where the step has none.
fn prerequisite_detail(lines: &[String]) -> Option<String> {
    (!lines.is_empty()).then(|| lines.join("; "))
}

/// One step, full lifecycle.
#[allow(
    clippy::too_many_lines,
    reason = "one step is observe, compare, apply, and verify in one place, and splitting it would separate a verdict from the observation it rests on"
)]
fn apply_step(engine: &mut Engine, step: &StepSpec) -> Result<Done, RkError> {
    // Prerequisites are observed, not remembered: the forge is the
    // authority on whether an earlier step's state holds. A prerequisite
    // the target excluded or does not run is not observed: the committed
    // declaration is the answer, and the run reports it beside the step.
    for prereq in step.prereqs {
        let gate = spec(prereq).map_or(PrereqGate::Observe, |held| {
            prereq_gate(stance(&engine.ctx, held))
        });
        if gate != PrereqGate::Observe {
            continue;
        }
        let state = observe_with(engine, prereq)?;
        if !state.satisfied() {
            return Err(RkError::refusal(
                Diagnostic::new(
                    Reason::PrerequisiteUnmet,
                    format!(
                        "{} requires {prereq} first: {}",
                        step.name,
                        state_detail(&state)
                    ),
                )
                .expected(format!("{prereq} satisfied before {}", step.name))
                .action(format!(
                    "rk setup step {prereq} --target {} --apply",
                    engine.ctx.target
                ))
                .step(step.name),
            ));
        }
    }
    match step.name {
        "package-check" => {
            if engine.ctx.tech.is_none() {
                return Err(RkError::Usage(
                    "no version file names a technology; rk binding --list names the bindings"
                        .into(),
                ));
            }
            let state = observe_with(engine, "package-check")?;
            match state {
                StepState::Satisfied { detail, .. } => Ok(Done::Passed(detail)),
                StepState::Unsatisfied { detail } | StepState::Inapplicable { detail } => {
                    Err(RkError::subprocess(
                        Diagnostic::new(
                            Reason::SubprocessFailed,
                            format!("package-check failed: {detail}"),
                        )
                        .expected(step.proves_for(&engine.ctx).to_owned())
                        .step(step.name),
                    ))
                }
                StepState::Unknown { detail } => Err(RkError::subprocess(
                    Diagnostic::new(
                        Reason::SubprocessFailed,
                        format!("package-check could not run: {detail}"),
                    )
                    .step(step.name),
                )),
            }
        }
        // The step mutates nothing, so apply and check read the same answer
        // and apply writes nothing at all. An unreadable version is a
        // refusal, never a pass: the floor exists to stop a protection the
        // forge cannot honor, and a floor nobody could read proves neither
        // way.
        "forge-version" => match observe_with(engine, "forge-version")? {
            StepState::Satisfied { detail, .. } => Ok(Done::Satisfied(detail)),
            StepState::Unsatisfied { detail } | StepState::Inapplicable { detail } => {
                Err(RkError::refusal(
                    Diagnostic::new(Reason::PrerequisiteUnmet, detail)
                        .expected(step.proves_for(&engine.ctx).to_owned())
                        .action(if engine.ctx.on_gitlab_com() {
                            "rerun after the next gitlab.com deployment"
                        } else {
                            "upgrade the instance, or host the project on gitlab.com"
                        })
                        .target_state("unchanged")
                        .step(step.name),
                ))
            }
            StepState::Unknown { detail } => Err(RkError::refusal(
                Diagnostic::new(Reason::ForgeTemporary, detail)
                    .expected("a readable forge version")
                    .action("glab auth login, then rerun")
                    .target_state("unchanged")
                    .step(step.name),
            )),
        },
        "branch-reminder" => {
            use crate::setup::branch_reminder::{HookState, hook_body, hook_path, observe_hook};
            match observe_hook(&engine.ctx.target) {
                HookState::Installed => Ok(Done::Satisfied(
                    "the post-merge reminder hook is installed".into(),
                )),
                HookState::Foreign => Err(RkError::refusal(
                    Diagnostic::new(
                        Reason::StateDrift,
                        "a foreign post-merge hook exists; the reminder is never written over it",
                    )
                    .expected("no post-merge hook, or one carrying the release-kit marker")
                    .action(
                        "merge by hand: guard each call behind its own capability probe inside the existing hook — `rk branches prune --help >/dev/null 2>&1` before `rk branches prune --quiet || :`, and the same pair for `rk worktree prune`",
                    )
                    .target_state("unchanged")
                    .step(step.name),
                )),
                HookState::Unreadable(detail) => Err(RkError::refusal(
                    Diagnostic::new(
                        Reason::StateDrift,
                        format!("the post-merge hook cannot be read: {detail}"),
                    )
                    .target_state("unchanged")
                    .step(step.name),
                )),
                HookState::Absent | HookState::Drifted => {
                    let path = hook_path(&engine.ctx.target).map_err(|detail| {
                        RkError::refusal(
                            Diagnostic::new(
                                Reason::PrerequisiteUnmet,
                                format!("the hooks directory cannot be resolved: {detail}"),
                            )
                            .expected("a git repository whose hooks directory git can name")
                            .step(step.name),
                        )
                    })?;
                    crate::atomic::write(&path, hook_body())?;
                    #[cfg(unix)]
                    {
                        use std::os::unix::fs::PermissionsExt as _;
                        std::fs::set_permissions(
                            &path,
                            std::fs::Permissions::from_mode(0o755),
                        )?;
                    }
                    Ok(Done::Changed(
                        "wrote the post-merge reminder hook".into(),
                        None,
                    ))
                }
            }
        }
        "single-trunk" => {
            let guard = {
                let ctx = clone_ctx(&engine.ctx);
                let mut runner = |exec: &Exec| engine.exec(exec, false);
                observe::single_trunk_guard(&ctx, &mut runner)?
            };
            // A destructive step fails closed: an ancestry the guard cannot
            // establish is treated exactly like one it refuted.
            match &guard {
                StepState::Satisfied { .. } => {}
                StepState::Unsatisfied { detail }
                | StepState::Inapplicable { detail }
                | StepState::Unknown { detail } => {
                    return Err(RkError::refusal(
                        Diagnostic::new(
                            Reason::DestructiveRefusal,
                            format!("single-trunk refuses: {detail}"),
                        )
                        .expected(
                            "proof that every candidate branch is absent, or an ancestor of the trunk",
                        )
                        .step(step.name),
                    ));
                }
            }
            run_forge_step(engine, step)
        }
        "bot-secrets" => {
            // Validate before observing: a wrong path or a wrong mode is
            // the operator's answer either way, and the refusal costs no
            // forge call. Only GitHub reads a key file; GitLab's credential
            // is a token, and its step must not fail over a variable it
            // never consumes.
            let adapter = engine.ctx.adapter()?;
            let key = match adapter {
                // The run's one read: an install-bot observation earlier in
                // this run already holds the bytes, and this step stores
                // those very bytes rather than reopening the path.
                Forge::Github => key_file_for(engine)?.map(|key| key.bytes.clone()),
                Forge::Gitlab => None,
            };
            let provided = match adapter {
                // Both halves of an App identity, or neither: a run holding
                // only one of them would store half a credential.
                Forge::Github => secrets::value_of("RK_BOT_APP_ID").is_some() && key.is_some(),
                Forge::Gitlab => secrets::value_of("RK_BOT_TOKEN").is_some(),
            };
            let state = observe_with(engine, step.name)?;
            // On gitlab.com a Free group's bot is a service account, and
            // the script mints a fresh token on it where the stored value
            // is missing, or wherever the run names this step, which is the
            // rotation request; a full run leaves a stored token alone. The
            // script reads the tier itself, and refuses on the token path,
            // whose value only install-bot can create.
            let mints = adapter == Forge::Gitlab && engine.ctx.on_gitlab_com();
            let rotates = if mints && engine.named && state.satisfied() && !provided {
                let ctx = clone_ctx(&engine.ctx);
                let mut runner = |exec: &Exec| engine.exec(exec, false);
                match observe::gitlab_bot_is_a_service_account(&ctx, &mut runner)? {
                    Ok(service_account) => service_account,
                    // A rotation asked for by name whose form is unknown is
                    // neither done nor satisfied: it stops before any write.
                    Err(detail) => {
                        return Err(RkError::refusal(
                            Diagnostic::new(
                                Reason::ObservationIncomplete,
                                format!("bot-secrets cannot tell which bot identity to rotate: {detail}"),
                            )
                            .expected("the namespace's tier, read from gitlab.com")
                            .action("check that glab is authenticated against gitlab.com and reads the namespace, then rerun rk setup step bot-secrets --apply".to_owned())
                            .step(step.name),
                        ));
                    }
                }
            } else {
                false
            };
            let runs = provided || rotates || (mints && !state.satisfied());
            if !runs {
                if state.satisfied() {
                    return Ok(Done::Satisfied(state_detail(&state)));
                }
                let wanted = match adapter {
                    Forge::Github => {
                        "export RK_BOT_APP_ID and RK_BOT_PRIVATE_KEY_FILE, the second naming the .pem; rk forge github carries the walkthrough"
                    }
                    Forge::Gitlab => {
                        "rk setup step install-bot --apply stores the token, or export RK_BOT_TOKEN to rotate one"
                    }
                };
                return Err(RkError::refusal(
                    Diagnostic::new(
                        Reason::PrerequisiteUnmet,
                        "bot-secrets has no credentials to store",
                    )
                    .expected("the bot credentials in the environment, the key as a path")
                    .action(wanted.to_owned())
                    .step(step.name),
                ));
            }
            if let Some(journal) = &mut engine.journal {
                for name in SECRET_VARS {
                    if secrets::value_of(name).is_some() {
                        journal.record_secret(name, true, "environment");
                    }
                }
                if key.is_some() {
                    journal.record_secret(secrets::PRIVATE_KEY_FILE, true, "file");
                }
            }
            // The bytes rk validated are the bytes the child receives and
            // the bytes the redactor holds: one read, one value, so nothing
            // can be substituted between the check and the forge.
            let stdin = key;
            run_forge_step_with(engine, step, stdin, Vec::new())
        }
        "protections-check" => {
            let (outcome, _) = run_script(engine, step)?;
            if !outcome.success() {
                return Err(classify_failure(engine, step, &outcome));
            }
            // The script is the operator-auditable mirror; the observation
            // is the authoritative shape check, so the step passes only
            // when both agree.
            match observe_with(engine, step.name)? {
                StepState::Satisfied { detail, limitation } => {
                    Ok(Done::Passed(limitation.map_or_else(
                        || detail.clone(),
                        |limit| format!("{detail} (limitation: {limit})"),
                    )))
                }
                StepState::Unsatisfied { detail } | StepState::Inapplicable { detail } => {
                    Err(RkError::refusal(
                        Diagnostic::new(
                            Reason::StateDrift,
                            format!("protections-check passed its script and the observation disagrees: {detail}"),
                        )
                        .expected(step.proves_for(&engine.ctx).to_owned())
                        .step(step.name),
                    ))
                }
                // An unreadable readback is a retryable outage, not drift,
                // exactly as the postcondition lifecycle classifies it.
                StepState::Unknown { detail } => Err(RkError::refusal(
                    Diagnostic::new(
                        Reason::ForgeTemporary,
                        format!(
                            "protections-check passed its script and the readback could not confirm it: {detail}"
                        ),
                    )
                    .expected(step.proves_for(&engine.ctx).to_owned())
                    .action("check authentication and connectivity, then rerun")
                    .step(step.name),
                )),
            }
        }
        // GitHub's grant is the one write the forge offers a command, and
        // it takes a user credential; everything else here — the pre- and
        // post-observation, and the installation id the script is handed —
        // happens as the App itself. GitLab's install-bot needs none of
        // this and takes the generic lifecycle below.
        "install-bot" if engine.ctx.forge == Some(Forge::Github) => {
            match observe_with(engine, step.name)? {
                StepState::Satisfied { detail, .. } => {
                    return Ok(Done::Satisfied(detail));
                }
                StepState::Unsatisfied { .. } | StepState::Inapplicable { .. } => {}
                StepState::Unknown { detail } => {
                    return Err(RkError::refusal(
                        Diagnostic::new(
                            Reason::ForgeTemporary,
                            format!("{} cannot observe the current state: {detail}", step.name),
                        )
                        .expected("a readable forge answer before anything mutates")
                        .action("check the App credentials and connectivity, then rerun")
                        .step(step.name),
                    ));
                }
            }
            let installation = github_installation_id(engine, step)?;
            run_forge_step_with(
                engine,
                step,
                None,
                vec![("RK_BOT_INSTALLATION".into(), installation.into())],
            )
        }
        _ => {
            if step.mutates == Mutates::Forge {
                // The lifecycle applies only on a state it has read: an
                // observation that cannot decide fails closed here exactly
                // as it does after the write, so no mutation ever rides on
                // an unreadable forge answer.
                match observe_with(engine, step.name)? {
                    StepState::Satisfied { detail, limitation } => {
                        let detail = if step.name == "private-vulnerability-reporting" {
                            limitation.map_or_else(
                                || detail.clone(),
                                |limit| format!("{detail} (limitation: {limit})"),
                            )
                        } else {
                            detail
                        };
                        return Ok(Done::Satisfied(detail));
                    }
                    StepState::Inapplicable { detail }
                        if step.name == "private-vulnerability-reporting" =>
                    {
                        return Ok(Done::Skipped(detail));
                    }
                    StepState::Unsatisfied { .. } | StepState::Inapplicable { .. } => {}
                    StepState::Unknown { detail } => {
                        return Err(RkError::refusal(
                            Diagnostic::new(
                                Reason::ForgeTemporary,
                                format!("{} cannot observe the current state: {detail}", step.name),
                            )
                            .expected("a readable forge answer before anything mutates")
                            .action("check authentication and connectivity, then rerun")
                            .step(step.name),
                        ));
                    }
                }
            }
            run_forge_step(engine, step)
        }
    }
}

/// The id of the App's installation on this repository's owner, read as
/// the App itself. The grant needs it, and no user credential can read
/// it: the observation that just ran answered 404, so the repository
/// endpoint that names the id directly has nothing to say yet. The
/// account-level installation is a direct read for either account kind —
/// the user endpoint answers for a person, the organization endpoint for
/// an organization — so nothing here lists or paginates.
fn github_installation_id(engine: &mut Engine, step: &StepSpec) -> Result<String, RkError> {
    let refuse = |message: String, action: &str| {
        RkError::refusal(
            Diagnostic::new(Reason::PrerequisiteUnmet, message)
                .expected("the App installed on the repository's owner")
                .action(action.to_owned())
                .step(step.name),
        )
    };
    let jwt = match app_jwt_for(engine)? {
        Ok(jwt) => jwt,
        Err(detail) => {
            return Err(refuse(
                format!("install-bot has no App token: {detail}"),
                app_jwt::REMEDIATION,
            ));
        }
    };
    let owner = engine
        .ctx
        .repo
        .split('/')
        .next()
        .unwrap_or_default()
        .to_owned();
    let ctx = clone_ctx(&engine.ctx);
    for path in [
        format!("users/{owner}/installation"),
        format!("orgs/{owner}/installation"),
    ] {
        match app_jwt::api_get(&ctx, &jwt, &path) {
            AppApi::Ok(body) => {
                return body["id"].as_i64().map(|id| id.to_string()).ok_or_else(|| {
                    refuse(
                        format!("the forge answered {path} without an installation id"),
                        "check RK_BOT_APP_ID and the key file name the same App",
                    )
                });
            }
            AppApi::Missing => {}
            AppApi::Refused(detail) => {
                return Err(refuse(
                    detail,
                    "check RK_BOT_APP_ID and the key file name the same App",
                ));
            }
            AppApi::Failed(detail) => {
                return Err(RkError::refusal(
                    Diagnostic::new(
                        Reason::ForgeTemporary,
                        format!("install-bot cannot read the App's installation: {detail}"),
                    )
                    .action("check connectivity, then rerun")
                    .step(step.name),
                ));
            }
        }
    }
    Err(refuse(
        format!("the App has no installation on {owner}"),
        "install the App on the account first; the setup guide's step 5 walks it",
    ))
}

/// Materialize, spawn, classify, and verify one forge-mutating step.
fn run_forge_step(engine: &mut Engine, step: &StepSpec) -> Result<Done, RkError> {
    run_forge_step_with(engine, step, None, Vec::new())
}

/// The same, with bytes written to the step's standard input and values
/// `rk` derived added to its environment.
fn run_forge_step_with(
    engine: &mut Engine,
    step: &StepSpec,
    stdin: Option<Zeroizing<Vec<u8>>>,
    extra_env: Vec<(OsString, OsString)>,
) -> Result<Done, RkError> {
    if crate::setup::before_state::destructive(step.name) {
        save_before_state(engine, step)?;
    }
    let (outcome, _) = run_script_with(engine, step, stdin, extra_env)?;
    if !outcome.success() {
        return Err(classify_failure(engine, step, &outcome));
    }
    let state = observe_with(engine, step.name)?;
    match state {
        StepState::Satisfied { detail, limitation } => Ok(Done::Changed(detail, limitation)),
        StepState::Inapplicable { detail } if step.name == "private-vulnerability-reporting" => {
            Ok(Done::Skipped(detail))
        }
        StepState::Unsatisfied { detail } | StepState::Inapplicable { detail } => {
            Err(RkError::refusal(
                Diagnostic::new(
                    Reason::StateDrift,
                    format!(
                        "{} ran and its postcondition does not hold: {detail}",
                        step.name
                    ),
                )
                .expected(step.proves_for(&engine.ctx).to_owned())
                .step(step.name),
            ))
        }
        // The lifecycle ends with a proven postcondition; a readback that
        // cannot run leaves the step unproven, and an unproven apply is a
        // failure a retry can cure, never a success.
        StepState::Unknown { detail } => Err(RkError::refusal(
            Diagnostic::new(
                Reason::ForgeTemporary,
                format!(
                    "{} ran and the readback could not confirm it: {detail}",
                    step.name
                ),
            )
            .expected(step.proves_for(&engine.ctx).to_owned())
            .action(format!(
                "rk setup step {} --target {} --apply re-asserts and re-proves it",
                step.name, engine.ctx.target
            ))
            .step(step.name),
        )),
    }
}

/// Save what `step` is about to change, before its script runs, and name
/// the path in the human report and the event stream.
///
/// SATISFIES forge-setup:a-step-is-idempotent
fn save_before_state(engine: &mut Engine, step: &StepSpec) -> Result<(), RkError> {
    // During a migration the archive took the before-state of every
    // destructive step, on a host that could read the forge. The step runs
    // only where the registry holds that snapshot, and the archive's copy
    // stays the record of what the forge held before the migration.
    if let Some(held) = migration_snapshot(&engine.ctx.target, step.name)? {
        engine.out.result_line(format!(
            "the migration holds the before-state of {} at {held}",
            step.name
        ));
        let mut event = engine.event(EventKind::Snapshot, Some(step.name));
        event.detail = Some(held);
        engine.emit(&event);
        return Ok(());
    }
    let snapshot = if let Some(snapshot) = &engine.snapshot {
        snapshot.clone()
    } else {
        let canonical = std::fs::canonicalize(engine.ctx.target.as_std_path())?;
        let snapshot = crate::snapshot::Snapshot::begin(&canonical)?;
        engine.snapshot = Some(snapshot.clone());
        snapshot
    };
    let ctx = clone_ctx(&engine.ctx);
    let mut runner = |exec: &Exec| engine.exec(exec, false);
    let path = crate::setup::before_state::save(&ctx, step.name, &snapshot, &mut runner)?;
    let path = path.display().to_string();
    engine
        .out
        .result_line(format!("saved the before-state of {} to {path}", step.name));
    let mut event = engine.event(EventKind::Snapshot, Some(step.name));
    event.detail = Some(path);
    engine.emit(&event);
    Ok(())
}

/// The registry id of a destructive step's forge snapshot.
#[must_use]
pub fn forge_snapshot_id(step: &str) -> String {
    format!("forge-{step}")
}

/// Where an open migration holds the before-state of `step`, or `None`
/// where no migration is open.
///
/// # Errors
///
/// A `destructive-refusal` while a migration is open and its registry
/// holds no intact snapshot of the step, and a refusal where the workspace is not
/// on this host.
fn migration_snapshot(target: &camino::Utf8Path, step: &str) -> Result<Option<String>, RkError> {
    let Some(id) = crate::migrate::open_id(target)? else {
        return Ok(None);
    };
    let Some(workspace) = crate::migrate::open_workspace(target)? else {
        return Err(crate::migrate::none_open());
    };
    if !workspace.join(crate::migrate::REGISTRY_FILE).is_file() {
        return Err(crate::migrate::workspace_missing(&id, &workspace));
    }
    let registry = crate::migrate::registry::load(&workspace)?;
    let wanted = forge_snapshot_id(step);
    // A snapshot whose file is gone or altered restores nothing, so it
    // licenses nothing either; one that cannot be read stops the step.
    let found = registry
        .snapshots
        .iter()
        .find(|snapshot| snapshot.id == wanted);
    let intact = match found {
        Some(snapshot) => {
            crate::migrate::registry::integrity(&workspace, snapshot)?
                == crate::migrate::registry::Integrity::Intact
        }
        None => false,
    };
    let Some(snapshot) = found.filter(|_| intact) else {
        return Err(RkError::refusal(
            Diagnostic::new(
                Reason::DestructiveRefusal,
                format!(
                    "{step} changes forge state, and the migration {id} holds no intact snapshot of it (migration:a-destructive-step-waits-for-its-snapshot)"
                ),
            )
            .expected("the step's before-state in the migration registry")
            .action("rk migrate archive --apply --target . takes the missing forge snapshots on a host that holds the forge credentials")
            .target_state("unchanged")
            .step(step),
        ));
    };
    Ok(Some(workspace.join(&snapshot.file).to_string()))
}

/// One destructive step's forge snapshot, as the archive took it.
#[derive(Debug, Clone, PartialEq, Eq)]
pub enum ForgeSnapshot {
    /// The before-state is saved at this path.
    Taken(PathBuf),
    /// The before-state could not be read from where this ran.
    Unknown(String),
}

/// Take the before-state of every destructive step this target runs into
/// `snapshot`, for a migration's archive.
///
/// A step whose state this host cannot read reads unknown and stays
/// refused until a host that can takes it; `skip` names the steps already
/// held.
///
/// # Errors
///
/// A target configuration that does not resolve.
pub fn migration_snapshots(
    target: &camino::Utf8PathBuf,
    snapshot: &crate::snapshot::Snapshot,
    skip: &[String],
) -> Result<Vec<(&'static str, ForgeSnapshot)>, RkError> {
    let mut ctx = Ctx::resolve(target, None, None, None)?;
    let steps: Vec<&StepSpec> = STEPS
        .iter()
        .filter(|step| {
            crate::setup::before_state::destructive(step.name)
                && stance(&ctx, step).acts()
                && !skip.contains(&forge_snapshot_id(step.name))
        })
        .collect();
    if steps.is_empty() {
        return Ok(Vec::new());
    }
    if let Err(error) = ctx.require_cli(&steps) {
        return Ok(steps
            .iter()
            .map(|step| (step.name, ForgeSnapshot::Unknown(error.to_string())))
            .collect());
    }
    // The archive's own report is the result; the engine's framing goes
    // to stderr and its events nowhere, so a JSON report stays one object.
    let mut engine = Engine::open(Output::new(false), ctx, "migrate", false)?;
    let mut out = Vec::new();
    for step in steps {
        let ctx = clone_ctx(&engine.ctx);
        let mut runner = |exec: &Exec| engine.exec(exec, false);
        let taken = match crate::setup::before_state::save(&ctx, step.name, snapshot, &mut runner) {
            Ok(path) => ForgeSnapshot::Taken(path),
            Err(error) => ForgeSnapshot::Unknown(error.to_string()),
        };
        out.push((step.name, taken));
    }
    Ok(out)
}

/// The destructive steps this target runs, offline: the steps whose
/// before-state a migration must hold.
///
/// # Errors
///
/// A target configuration that does not resolve.
pub fn destructive_steps(target: &camino::Utf8PathBuf) -> Result<Vec<&'static str>, RkError> {
    let ctx = Ctx::resolve(target, None, None, None)?;
    Ok(STEPS
        .iter()
        .filter(|step| {
            crate::setup::before_state::destructive(step.name) && stance(&ctx, step).acts()
        })
        .map(|step| step.name)
        .collect())
}

/// Where the committed setup proof stands against this target, offline:
/// `absent`, `compatible`, `stale`, or `invalid`.
///
/// # Errors
///
/// A target configuration that does not resolve.
pub fn proof_word(target: &camino::Utf8PathBuf) -> Result<&'static str, RkError> {
    let ctx = Ctx::resolve(target, None, None, None)?;
    Ok(proof::judge(&ctx.target, &proof::subject(&ctx)).word())
}

/// Observe one step through the engine's executor.
///
/// `install-bot` on GitHub is the one observation that authenticates as
/// the App itself, so it routes through [`app_jwt_for`] here — where the
/// engine can mint once and register the redaction needles — rather than
/// through the credential-free name dispatch in [`observe::observe`].
fn observe_with(engine: &mut Engine, step: &str) -> Result<StepState, RkError> {
    if step == "install-bot" && engine.ctx.forge == Some(Forge::Github) {
        let jwt = match app_jwt_for(engine)? {
            Ok(jwt) => jwt,
            Err(detail) => return Ok(StepState::Unknown { detail }),
        };
        return Ok(observe::github_install_bot(&engine.ctx, &jwt));
    }
    let ctx = clone_ctx(&engine.ctx);
    let mut runner = |exec: &Exec| engine.exec(exec, false);
    observe::observe(&ctx, step, &mut runner)
}

/// The run's validated key file, read exactly once per run: the first
/// consumer resolves it and every later one reuses the same bytes, so the
/// file that authenticated the App is the file `bot-secrets` stores, and
/// no replacement between steps can split the two. The bytes become a
/// redaction needle the moment they are read.
fn key_file_for(engine: &mut Engine) -> Result<Option<&secrets::KeyFile>, RkError> {
    if engine.key.is_none() && engine.key_unavailable.is_none() {
        match secrets::look_up_key_file(&engine.ctx.target)? {
            secrets::KeyLookup::Absent => {}
            secrets::KeyLookup::Found(key) => {
                engine.secrets.push(key.bytes.clone());
                engine.key = Some(key);
            }
            // A check reads the forge and changes nothing, so a key this
            // runtime cannot reach leaves the one step that needs it
            // undecided and lets every other step run. A run that would
            // mutate, or record a proof, still needs the key and refuses.
            secrets::KeyLookup::Unavailable(unavailable) if engine.key_boundary => {
                engine.key_unavailable = Some(unavailable.message);
            }
            secrets::KeyLookup::Unavailable(unavailable) => return Err(unavailable.refusal()),
        }
    }
    Ok(engine.key.as_ref())
}

/// The run's App JWT, minted at most once: the key comes from the run's
/// one read, and the minted token and its signature segment become
/// redaction needles before anything else spawns. Every install-bot
/// observation and the grant's installation-id discovery reuse the one
/// token, whose nine-minute life covers a run's contiguous step easily.
///
/// The inner value is `Err` with a one-line detail where no token can
/// exist — absent exports, or a signer that failed — which an observation
/// reports as `unknown` and an apply turns into a refusal.
fn app_jwt_for(engine: &mut Engine) -> Result<Result<String, String>, RkError> {
    if let Some(jwt) = &engine.app_jwt {
        return Ok(Ok(jwt.clone()));
    }
    let app_id = app_jwt::app_id(engine.ctx.bot_app_id())?;
    let key_bytes = key_file_for(engine)?.map(|key| key.bytes.clone());
    if let Some(unreachable) = &engine.key_unavailable {
        return Ok(Err(format!(
            "the installation is readable only to the App itself, and this runtime cannot reach the key {} names: {unreachable}; a host that holds the key re-verifies it",
            secrets::PRIVATE_KEY_FILE
        )));
    }
    let (Some(app_id), Some(key_bytes)) = (app_id, key_bytes) else {
        return Ok(Err(format!(
            "the installation is readable only to the App itself; {}",
            app_jwt::REMEDIATION
        )));
    };
    let credentials = app_jwt::AppCredentials { app_id, key_bytes };
    let ctx = clone_ctx(&engine.ctx);
    Ok(match app_jwt::mint(&ctx, &credentials) {
        Ok(jwt) => {
            engine
                .secrets
                .push(Zeroizing::new(jwt.clone().into_bytes()));
            if let Some(signature) = jwt.rsplit('.').next() {
                engine
                    .secrets
                    .push(Zeroizing::new(signature.as_bytes().to_vec()));
            }
            engine.app_jwt = Some(jwt.clone());
            Ok(jwt)
        }
        Err(detail) => Err(detail),
    })
}

fn state_detail(state: &StepState) -> String {
    state.detail().to_owned()
}

/// Materialize the step's script into the run's private directory, prove
/// the written bytes by digest, and spawn it through the interpreter.
fn run_script(engine: &mut Engine, step: &StepSpec) -> Result<(Outcome, PathBuf), RkError> {
    run_script_with(engine, step, None, Vec::new())
}

/// The same, with bytes written to the script's standard input.
///
/// A credential travels this way and no other: `rk` reads it, validates it,
/// and hands the child the bytes it validated, so nothing between the check
/// and the forge can substitute a different file.
fn run_script_with(
    engine: &mut Engine,
    step: &StepSpec,
    stdin: Option<Zeroizing<Vec<u8>>>,
    extra_env: Vec<(OsString, OsString)>,
) -> Result<(Outcome, PathBuf), RkError> {
    let forge = engine.ctx.adapter()?;
    let rel = format!("{}/{}", forge.as_str(), step.name);
    let bytes = embedded::SETUP
        .get_file(&rel)
        .map(include_dir::File::contents)
        .ok_or_else(|| RkError::Other(anyhow::anyhow!("no embedded script at setup/{rel}")))?;
    let journal = engine
        .journal
        .as_mut()
        .ok_or_else(|| RkError::Other(anyhow::anyhow!("an apply always has a journal")))?;
    let dir = journal.scripts_dir().join(forge.as_str());
    fs::create_dir_all(&dir)?;
    restrict(&dir, 0o700);
    let path = dir.join(step.name);
    fs::write(&path, bytes)?;
    restrict(&path, 0o600);
    let written = fs::read(&path)?;
    let digest = Digest::of(&written);
    if digest != Digest::of(bytes) {
        return Err(RkError::Other(anyhow::anyhow!(
            "the materialized script at {} differs from the embedded bytes",
            path.display()
        )));
    }
    journal.record_script(format!("scripts/{rel}"), digest.to_string());
    let mut env = engine.ctx.child_env(step.name);
    env.extend(extra_env);
    let exec = Exec {
        program: crate::probes::sh_bin(),
        args: vec![path.clone().into_os_string()],
        env,
        cwd: engine.ctx.target.as_std_path().to_path_buf(),
        stdin,
    };
    let outcome = engine.exec(&exec, true)?;
    Ok((outcome, path))
}

/// Honest classification: `gh` documents exit 4 as authentication required;
/// beyond that only an HTTP status in the response says more, and a step
/// that fails for a reason nothing establishes stays `subprocess-failed`
/// with its own stderr surfaced verbatim.
fn classify_failure(engine: &Engine, step: &StepSpec, outcome: &Outcome) -> RkError {
    let stderr = String::from_utf8_lossy(&outcome.stderr);
    // A signalled child usually writes nothing before it dies, and
    // "no output" would blame the forge for a kill that came from
    // outside it. The adapter already resolved 128+N; say which.
    let last = if outcome.exit_code >= 128 {
        format!("killed by signal {}", outcome.exit_code - 128)
    } else {
        stderr
            .lines()
            .rev()
            .find(|line| !line.trim().is_empty())
            .unwrap_or("no output")
            .to_owned()
    };
    let reason = if (engine.ctx.forge == Some(Forge::Github) && outcome.exit_code == 4)
        || stderr.contains("HTTP 401")
    {
        Reason::ForgeAuthentication
    } else if stderr.contains("HTTP 403") {
        Reason::ForgePermission
    } else if stderr.contains("HTTP 429") || stderr.contains("rate limit") {
        Reason::ForgeRateLimit
    } else {
        Reason::SubprocessFailed
    };
    let diagnostic = Diagnostic::new(reason, format!("the forge refused '{}': {last}", step.name))
        .expected(step.proves_for(&engine.ctx).to_owned())
        .action(format!(
            "rk setup step {} --target {} --apply",
            step.name, engine.ctx.target
        ))
        .step(step.name);
    let diagnostic = match reason {
        Reason::ForgePermission => diagnostic.expected(format!(
            "repository administration write on {} for the authenticated account",
            engine.ctx.repo
        )),
        _ => diagnostic,
    };
    match reason {
        Reason::SubprocessFailed => RkError::subprocess(diagnostic),
        _ => RkError::refusal(diagnostic),
    }
}

/// Fold the run's progress into the failure, so the diagnostic answers
/// what state the target is in.
fn attach_progress(
    error: RkError,
    done: &[(String, String)],
    failed: &StepSpec,
    steps: &[&StepSpec],
) -> RkError {
    let remaining = steps.len().saturating_sub(done.len() + 1);
    let state = format!(
        "{} completed; {} failed; {remaining} not attempted",
        step_count(done.len()),
        failed.name
    );
    match error {
        RkError::Refusal(mut diagnostic) => {
            diagnostic.target_state.get_or_insert(state);
            RkError::Refusal(diagnostic)
        }
        RkError::Subprocess(mut diagnostic) => {
            diagnostic.target_state.get_or_insert(state);
            RkError::Subprocess(diagnostic)
        }
        other => other,
    }
}

/// Observe every step once, in table order, and render each row as it
/// lands, so a person reads the forge calls beside the step that made
/// them. The rows it returns are the only source of every later verdict.
///
/// SATISFIES setup-proof:one-report-owns-every-classification
fn observe_all(engine: &mut Engine) -> Result<Report, RkError> {
    let mut report = Report::default();
    for step in &STEPS {
        let clock = Instant::now();
        // A step the target declared it does not run is stated and judged
        // by nothing: no forge call, no verdict, and no weight in the exit
        // code. The reason travels with it, so a reader can tell a chosen
        // subset from an incomplete setup.
        let stance = stance(&engine.ctx, step);
        let row = if stance.acts() {
            let state = observe_with(engine, step.name)?;
            Row::observed(step, stance, &state)
        } else {
            Row::stated(step, stance)
        };
        engine.out.result_line(row.line());
        let (status, detail) = row.event_fields();
        let mut finished = engine.event(EventKind::StepFinished, Some(step.name));
        finished.status = Some(status);
        finished.detail = Some(detail);
        finished.duration_ms = Some(elapsed_ms(clock));
        engine.emit(&finished);
        report.rows.push(row);
    }
    if report.judged() < STEPS.len() {
        engine.out.result_line(format!(
            "{} judged; the rest do not apply to this target or {} excludes them",
            step_count(report.judged()),
            crate::config::CONFIG_PATH
        ));
    }
    Ok(report)
}

/// `rk setup check`: observe and verify every step, report per step, and
/// judge at the end. The mutating half is unreachable from this path: it
/// calls only the observe functions.
fn check(out: Output, ctx: Ctx) -> Result<(), RkError> {
    let mut engine = Engine::open(out, ctx, "setup check", false)?;
    engine.key_boundary = true;
    let report = observe_all(&mut engine)?;
    // The milestones are information the publish task resumes from; none
    // weighs on the verdict below.
    for milestone in crate::setup::milestones::observe(&engine.ctx) {
        engine.out.result_line(milestone.line());
        let mut event = engine.event(EventKind::Milestone, Some(milestone.id));
        event.status = Some(milestone.status.to_owned());
        event.detail = Some(milestone.detail);
        engine.emit(&event);
    }
    if !report.checkpointable() {
        let error = verdict(&engine.ctx, &report);
        return Err(fail(&mut engine, error));
    }
    engine
        .out
        .next(&["rk guide release orders the first release".to_owned()]);
    engine.finish(0, None);
    Ok(())
}

/// The check's failure, by what it found. An unsatisfied step is drift,
/// and applying the setup is its remedy. An unknown step is an
/// observation this runtime could not make, which proves nothing wrong,
/// so it prescribes no apply: it names where the observation can be
/// repeated, and what the committed proof says meanwhile. A proof never
/// masks a step found wrong now.
///
/// SATISFIES setup-proof:an-unavailable-credential-is-an-observation-boundary
/// SATISFIES setup-proof:current-evidence-overrides-the-proof
fn verdict(ctx: &Ctx, report: &Report) -> RkError {
    let unsatisfied = report.unsatisfied();
    let unknown = report.unknown();
    let standing = proof::judge(&ctx.target, &proof::subject(ctx));
    let proven = match &standing {
        Standing::Compatible(proof) => Some(proof),
        _ => None,
    };
    if unsatisfied == 0 {
        let state = proven.map_or_else(
            || {
                format!(
                    "no setup defect was inferred; no compatible {} is committed, so the current state is unverified",
                    proof::PROOF_PATH
                )
            },
            |proof| {
                format!(
                    "no setup defect was inferred; the committed setup proof from {} by rk {} still matches this target's setup contract",
                    proof.verified_at, proof.rk_version
                )
            },
        );
        return RkError::check_failed(
            Diagnostic::new(
                Reason::ObservationIncomplete,
                format!(
                    "{} could not be verified from this runtime, and none is unsatisfied",
                    step_count(unknown)
                ),
            )
            .expected("every applicable step readable from where the check runs")
            .action("rerun rk setup check where each unknown step can be observed; its line names what it needs")
            .target_state(state),
        );
    }
    let mut message = format!(
        "{} {} not satisfied",
        step_count(unsatisfied),
        if unsatisfied == 1 { "is" } else { "are" }
    );
    let mut action = format!(
        "rk setup --target {} --apply re-asserts the unsatisfied ones",
        ctx.target
    );
    if unknown > 0 {
        use std::fmt::Write as _;
        let _ = write!(
            message,
            ", and {unknown} could not be verified from this runtime"
        );
        action.push_str("; the unknown ones need a runtime that can observe what each line names");
    }
    let mut diagnostic = Diagnostic::new(Reason::StateDrift, message)
        .expected("every step's proof column to hold")
        .action(action);
    if let Some(proof) = proven {
        diagnostic = diagnostic.target_state(format!(
            "this observation supersedes the committed setup proof from {} by rk {}",
            proof.verified_at, proof.rk_version
        ));
    }
    RkError::check_failed(diagnostic)
}

/// `rk setup checkpoint`: observe every step as `check` does, and commit
/// the result only where the observation is complete. An incomplete one
/// writes nothing, so an earlier proof stays byte for byte.
///
/// SATISFIES setup-proof:a-checkpoint-records-only-a-complete-observation
fn checkpoint(out: Output, ctx: Ctx) -> Result<(), RkError> {
    let mut engine = Engine::open(out, ctx, "setup checkpoint", false)?;
    let report = observe_all(&mut engine)?;
    let Some(proof) = proof::of(&engine.ctx, &report, crate::applog::now_utc()) else {
        let error = RkError::check_failed(
            Diagnostic::new(
                Reason::StateDrift,
                format!(
                    "the observation is incomplete: {} not satisfied and {} could not be verified",
                    step_count(report.unsatisfied()),
                    report.unknown()
                ),
            )
            .expected("every applicable step observed and holding")
            .action(format!(
                "rk setup check --target {} names each gap; checkpoint again once none remains",
                engine.ctx.target
            ))
            .target_state(format!("{} was not written", proof::PROOF_PATH)),
        );
        return Err(fail(&mut engine, error));
    };
    if let Err(source) = proof::write(&engine.ctx.target, &proof) {
        let error = RkError::refusal(
            Diagnostic::new(
                Reason::Io,
                format!("{} cannot be written: {source}", proof::PROOF_PATH),
            )
            .expected("a writable .release-kit directory in the target")
            .target_state("the earlier proof, where one exists, is unchanged"),
        );
        return Err(fail(&mut engine, error));
    }
    engine.out.result_line(format!(
        "wrote {}: {} proven at {} by rk {}",
        proof::PROOF_PATH,
        step_count(proof.steps.len()),
        proof.verified_at,
        proof.rk_version
    ));
    engine.out.next(&[
        format!("commit {} with the setup it proves", proof::PROOF_PATH),
        format!(
            "rk setup status --target {} reads it offline",
            engine.ctx.target
        ),
    ]);
    engine.finish(0, None);
    Ok(())
}

/// `rk setup status`: where the committed proof stands against this
/// target's contract now. It reads a file and resolves configuration,
/// and nothing else: no forge, no key, no journal.
///
/// SATISFIES setup-proof:the-status-reads-the-proof-offline
fn status(out: Output, ctx: &Ctx) -> Result<(), RkError> {
    let standing = proof::judge(&ctx.target, &proof::subject(ctx));
    out.emit(&proof::StatusDocument::of(&standing))?;
    match &standing {
        Standing::Absent => out.result_line(format!(
            "setup proof: absent — {} does not exist, so no complete observation is on record",
            proof::PROOF_PATH
        )),
        Standing::Compatible(proof) => out.result_line(format!(
            "setup proof: compatible — proven {} by rk {}, and this target's setup contract has not changed since",
            proof.verified_at, proof.rk_version
        )),
        Standing::Stale { proof, differences } => out.result_line(format!(
            "setup proof: stale — proven {} by rk {}, and the setup contract changed since: {}",
            proof.verified_at,
            proof.rk_version,
            differences.join(", ")
        )),
        Standing::Invalid { detail, .. } => {
            out.result_line(format!("setup proof: invalid — {detail}"));
        }
    }
    if let Standing::Compatible(proof) | Standing::Stale { proof, .. } = &standing {
        for step in &proof.steps {
            let limitation = step
                .limitation
                .as_ref()
                .map_or_else(String::new, |limit| format!(" (limitation: {limit})"));
            out.result_line(format!("  {} {}{limitation}", step.state, step.name));
        }
    }
    let next = match standing {
        Standing::Compatible(_) => format!(
            "rk setup check --target {} observes the forge now, where this runtime can",
            ctx.target
        ),
        _ => format!(
            "rk setup checkpoint --target {}, from a host that can observe every step, records a proof",
            ctx.target
        ),
    };
    out.next(&[next]);
    Ok(())
}

/// Restrict a materialized path's mode: data, not an executable — nothing
/// ever executes a script directly, so no mode is load-bearing.
fn restrict(path: &std::path::Path, mode: u32) {
    #[cfg(unix)]
    {
        use std::os::unix::fs::PermissionsExt as _;
        let _ = fs::set_permissions(path, fs::Permissions::from_mode(mode));
    }
    #[cfg(not(unix))]
    let _ = (path, mode);
}

/// A POSIX shell must spawn before anything else does; every step runs
/// through it.
fn guard_sh() -> Result<(), RkError> {
    let ok = std::process::Command::new(crate::probes::sh_bin())
        .args(["-c", "exit 0"])
        .status()
        .is_ok_and(|status| status.success());
    if ok {
        Ok(())
    } else {
        Err(RkError::refusal(
            Diagnostic::new(Reason::PrerequisiteUnmet, "no POSIX sh runs on this host")
                .expected("a working sh on PATH; every step spawns through it")
                .action("install a POSIX shell, then rerun")
                .target_state("nothing was run and nothing changed"),
        ))
    }
}

#[cfg(test)]
mod tests {
    /// Every summary line reports its count through one helper, so none of
    /// them can regrow a dangling plural.
    #[test]
    fn a_step_count_carries_a_noun_that_agrees_with_it() {
        assert_eq!(super::step_count(0), "0 steps");
        assert_eq!(super::step_count(1), "1 step");
        assert_eq!(super::step_count(2), "2 steps");
    }

    /// SATISFIES forge-setup:the-setup-refuses-a-forge-below-the-floor
    /// A prerequisite the target does not run never blocks its dependent,
    /// and only an exclusion carries a line: the two states stay distinct.
    /// No step pair today makes a prerequisite inapplicable where its
    /// dependent applies, so the gate's answer is held here, at the pure
    /// mapping both the preview and the apply read.
    #[test]
    fn an_inapplicable_prerequisite_never_blocks_a_gate() {
        use super::{PrereqGate, Stance, prereq_gate};
        assert_eq!(
            prereq_gate(Stance::NotApplicable("the profile names no forge".into())),
            PrereqGate::Silent
        );
        assert_eq!(
            prereq_gate(Stance::Excluded("read by hand".into())),
            PrereqGate::Excluded("read by hand".into())
        );
        assert_eq!(
            prereq_gate(Stance::Redundant {
                reason: "read by hand".into(),
                inapplicable: "the profile names no forge".into(),
            }),
            PrereqGate::Excluded("read by hand".into())
        );
        assert_eq!(prereq_gate(Stance::Applies), PrereqGate::Observe);
    }
}