spec-driven-docs 0.8.1

Spec-driven documentation: current specs, immutable decision records, and executable gates kept coherent for people and coding agents.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

//! `verify` subcommand: runtime-shape.
//!
//! Resolves the target, runs the verifier, prints its report, and turns any
//! failure into the red exit. Verification semantics live in
//! `services::verifier`.

use crate::cli::verify::VerifyArgs;
use crate::context::AppContext;
use crate::error::AppError;
use crate::output;
use crate::services::verifier::verify;

/// Verify an installed instance offline.
///
/// # Errors
///
/// [`AppError::Violations`] when checks failed; manifest and I/O errors
/// when the verifier could not run.
pub fn run(ctx: &AppContext, args: VerifyArgs) -> Result<(), AppError> {
    let target = if args.target.is_absolute() {
        args.target
    } else if args.target == "." {
        ctx.cwd.clone()
    } else {
        return Err(AppError::Usage("target must be absolute or .".to_string()));
    };
    let report = verify(&target)?;
    for line in &report.lines {
        output::line(line);
    }
    if report.failures > 0 {
        return Err(AppError::Violations {
            count: report.failures,
        });
    }
    Ok(())
}