invariant-firewall 0.0.3

Invariant — a cryptographic command-validation firewall for AI-controlled physical systems (robotics, biosynthesis). Installs the `invariant` binary. Part of the unified workspace at https://github.com/clay-good/invariant.
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

//! `invariant biosynthesis ...` subcommand tree.

pub mod commands;

use clap::{Args, Subcommand};

#[derive(Args)]
pub struct BiosynthesisArgs {
    #[command(subcommand)]
    cmd: BiosynthesisSubcommand,
}

#[derive(Subcommand)]
enum BiosynthesisSubcommand {
    /// Validate a synthesis bundle against a bio profile.
    Validate(commands::validate::ValidateArgs),
    /// Display audit log entries.
    Audit(commands::audit::AuditArgs),
    /// Verify audit log integrity.
    Verify(commands::verify::VerifyArgs),
    /// Detect sequence gaps in audit logs.
    AuditGaps(commands::audit_gaps::AuditGapsArgs),
    /// Inspect a bundle, profile, verdict, or audit log.
    Inspect(commands::inspect::InspectArgs),
    /// Generate a new Ed25519 key pair.
    Keygen(commands::keygen::KeygenArgs),
    /// List, show, or expand built-in task-intent templates.
    Intent(commands::intent::IntentArgs),
    /// Dual-instance differential validation.
    Differential(commands::differential::DifferentialArgs),
    /// Verify the integrity of the invariant binary.
    VerifySelf,
    /// Run an adversarial test suite.
    Adversarial(commands::adversarial::AdversarialArgs),
    /// Run a dry-run simulation campaign.
    Campaign(commands::campaign::CampaignArgs),
    /// Evaluate a trace file against a preset rubric set.
    Eval(commands::eval::EvalArgs),
}

pub fn run(args: BiosynthesisArgs) -> i32 {
    match args.cmd {
        BiosynthesisSubcommand::Validate(a) => commands::validate::run(&a),
        BiosynthesisSubcommand::Audit(a) => commands::audit::run(&a),
        BiosynthesisSubcommand::Verify(a) => commands::verify::run(&a),
        BiosynthesisSubcommand::AuditGaps(a) => commands::audit_gaps::run(&a),
        BiosynthesisSubcommand::Inspect(a) => commands::inspect::run(&a),
        BiosynthesisSubcommand::Keygen(a) => commands::keygen::run(&a),
        BiosynthesisSubcommand::Intent(a) => commands::intent::run(&a),
        BiosynthesisSubcommand::Differential(a) => commands::differential::run(&a),
        BiosynthesisSubcommand::VerifySelf => commands::verify_self::run(),
        BiosynthesisSubcommand::Adversarial(a) => commands::adversarial::run(&a),
        BiosynthesisSubcommand::Campaign(a) => commands::campaign::run(&a),
        BiosynthesisSubcommand::Eval(a) => commands::eval::run(&a),
    }
}