spec-driven-docs 0.11.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
38
39
40
41
42
43

//! What each compatibility verb is willing to serve.
//!
//! A front says what the operator meant to do. The target says what it is.
//! Where the two disagree, the front refuses and names the verb that
//! serves what was actually found, because landing seeds over a settled
//! corpus starts a second convention beside the first and no flag makes
//! that safe.

use camino::Utf8Path;

use crate::error::AppError;
use crate::plan::classify::Intent;
use crate::plan::observe::observe;

/// Refuse where this verb does not serve what the target turned out to be.
///
/// # Errors
///
/// [`AppError::Refused`] naming the verb, the classification, and the next
/// command. An unreadable target raises rather than being classified.
pub fn serves(intent: Intent, target: &Utf8Path) -> Result<(), AppError> {
    // An absent target is the landing verb's own business: it creates one.
    if !target.exists() {
        return Ok(());
    }
    let observation = observe(target)?;
    let found = crate::plan::classify::classify(crate::plan::classify::Signals {
        invalid: observation.invalid.is_some(),
        installed: observation.installation.is_some(),
        // The destination is this binary's own release for every front.
        at_destination: observation.installation.as_ref().is_some_and(|installed| {
            installed.canon_version == crate::domain::version::CanonVersion::current()
        }),
        drifted: observation
            .installation
            .as_ref()
            .is_some_and(crate::plan::observe::Installation::drifted),
        settled: observation.corpus.settled(),
    });
    intent
        .accepts(found)
        .map_err(|refusal| AppError::Refused(refusal.to_string()))
}