k9iser 0.1.0

Wrap configs and deployments into self-validating K9 contracts
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
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
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105

// SPDX-License-Identifier: PMPL-1.0-or-later
// Copyright (c) 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
//
// k9iser CLI — Wrap configs and deployments into self-validating K9 contracts.
//
// Subcommands:
//   init      — create a new k9iser.toml manifest with K9 contract pillars
//   validate  — validate a k9iser.toml manifest for correctness
//   generate  — parse configs and generate .k9 contract files
//   build     — validate configs against their contracts
//   run       — confirm contracts pass and print deployment summary
//   info      — show manifest information

use anyhow::Result;
use clap::{Parser, Subcommand};

mod abi;
mod codegen;
mod manifest;

/// k9iser — Wrap configs and deployments into self-validating K9 contracts
#[derive(Parser)]
#[command(name = "k9iser", version, about, long_about = None)]
struct Cli {
    #[command(subcommand)]
    command: Commands,
}

#[derive(Subcommand)]
enum Commands {
    /// Initialise a new k9iser.toml manifest.
    Init {
        #[arg(short, long, default_value = ".")]
        path: String,
    },
    /// Validate a k9iser.toml manifest.
    Validate {
        #[arg(short, long, default_value = "k9iser.toml")]
        manifest: String,
    },
    /// Generate K9 contract files from configs and manifest rules.
    Generate {
        #[arg(short, long, default_value = "k9iser.toml")]
        manifest: String,
        #[arg(short, long, default_value = "generated/k9iser")]
        output: String,
    },
    /// Build: validate configs against their generated contracts.
    Build {
        #[arg(short, long, default_value = "k9iser.toml")]
        manifest: String,
        #[arg(long)]
        release: bool,
    },
    /// Run the validated config deployment.
    Run {
        #[arg(short, long, default_value = "k9iser.toml")]
        manifest: String,
        #[arg(trailing_var_arg = true)]
        args: Vec<String>,
    },
    /// Show manifest information.
    Info {
        #[arg(short, long, default_value = "k9iser.toml")]
        manifest: String,
    },
}

fn main() -> Result<()> {
    let cli = Cli::parse();
    match cli.command {
        Commands::Init { path } => {
            manifest::init_manifest(&path)?;
        }
        Commands::Validate { manifest } => {
            let m = manifest::load_manifest(&manifest)?;
            manifest::validate(&m)?;
            let name = manifest::effective_project_name(&m);
            println!("Valid: {}", name);
        }
        Commands::Generate { manifest, output } => {
            let m = manifest::load_manifest(&manifest)?;
            manifest::validate(&m)?;
            codegen::generate_all(&m, &output)?;
        }
        Commands::Build { manifest, release } => {
            let m = manifest::load_manifest(&manifest)?;
            manifest::validate(&m)?;
            codegen::build(&m, release)?;
        }
        Commands::Run { manifest, args } => {
            let m = manifest::load_manifest(&manifest)?;
            manifest::validate(&m)?;
            codegen::run(&m, &args)?;
        }
        Commands::Info { manifest } => {
            let m = manifest::load_manifest(&manifest);
            match m {
                Ok(m) => manifest::print_info(&m),
                Err(e) => eprintln!("Failed to load manifest: {}", e),
            }
        }
    }
    Ok(())
}