main-spex 0.21.0

AI-first development framework that turns specifications into deterministic, verifiable code
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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75

use std::process::ExitCode;

use clap::Args;
use eros::{Context, IntoAnyUnion};
use serde::Serialize;
use serde_json::Value;

use crate::config::Package;
use crate::config::spex::Spex;
use crate::error::Result;
use crate::support::fs::canonical;

#[derive(Args)]
pub struct InfoArgs {
    #[arg(
        long,
        num_args = 1..,
        help = "Filter the packages list (by name or short_name)"
    )]
    package: Vec<String>,
}

#[derive(Serialize)]
struct Info {
    spex_dir: String,
    #[serde(flatten)]
    config: Value,
}

pub fn run(args: InfoArgs) -> Result<ExitCode> {
    let (dir, config) = Spex::discover_config()?;
    let mut config_json = to_json(&config)?;
    let raw_packages = config
        .packages
        .iter()
        .map(to_json)
        .collect::<Result<Vec<_>>>()?;
    let spex = Spex::from_config(dir, config);
    let selected = spex.select_packages(&args.package)?;

    config_json["packages"] = Value::Array(
        raw_packages
            .into_iter()
            .zip(&spex.packages)
            .filter(|(_, package)| {
                selected
                    .iter()
                    .any(|picked| std::ptr::eq(*picked, *package))
            })
            .map(|(json, package)| package_with_absolute_path(json, package))
            .collect(),
    );
    config_json["agent_root"] =
        Value::String(canonical(&spex.agent_root).to_string_lossy().into_owned());
    let info = Info {
        spex_dir: spex.dir.to_string_lossy().into_owned(),
        config: config_json,
    };
    let json = serde_json::to_string_pretty(&info)
        .context("could not serialize the spex configuration")?;
    println!("{json}");

    Ok(ExitCode::SUCCESS)
}

fn to_json(value: &impl Serialize) -> Result<Value> {
    serde_json::to_value(value)
        .context("could not serialize the spex configuration")
        .any_union()
}

fn package_with_absolute_path(mut json: Value, package: &Package) -> Value {
    json["path"] = Value::String(canonical(&package.path).to_string_lossy().into_owned());
    json
}