soft3/zheng/cli/src/style.rs

rust
ฯ€ 0.0% 388 words ยท 2 min 
// ---
// tags: zheng, rust
// crystal-type: source
// crystal-domain: comp
// ---
//! Terminal styling โ€” matched to the rune / hemera CLI aesthetic: a gradient
//! ASCII-art mark, a white tagline, a gray spec block, aligned command lists,
//! and colored status. Color is gated on a `bool` the caller derives from
//! `stdout().is_terminal()` (off when piped, so machine output stays clean).

pub const R: &str = "\x1b[31m"; // red
pub const Y: &str = "\x1b[33m"; // yellow
pub const G: &str = "\x1b[32m"; // green
pub const C: &str = "\x1b[36m"; // cyan
pub const B: &str = "\x1b[34m"; // blue
pub const M: &str = "\x1b[35m"; // magenta
pub const W: &str = "\x1b[37m"; // white
pub const GR: &str = "\x1b[90m"; // gray
pub const DIM: &str = "\x1b[2m"; // dim
pub const X: &str = "\x1b[0m"; // reset

/// Color `s` with `col` when `color`, else return it plain.
pub fn paint(color: bool, col: &str, s: &str) -> String {
    if color { format!("{col}{s}{X}") } else { s.to_string() }
}

/// The gradient ZHENG mark + tagline + spec block (ANSI Shadow font).
pub fn banner(color: bool) -> String {
    let l = |col: &str, s: &str| paint(color, col, s);
    let mut o = String::new();
    o.push('\n');
    o.push_str(&l(R, "  โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•—โ–ˆโ–ˆโ•—  โ–ˆโ–ˆโ•—โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•—โ–ˆโ–ˆโ–ˆโ•—   โ–ˆโ–ˆโ•— โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•— \n"));
    o.push_str(&l(Y, "  โ•šโ•โ•โ–ˆโ–ˆโ–ˆโ•”โ•โ–ˆโ–ˆโ•‘  โ–ˆโ–ˆโ•‘โ–ˆโ–ˆโ•”โ•โ•โ•โ•โ•โ–ˆโ–ˆโ–ˆโ–ˆโ•—  โ–ˆโ–ˆโ•‘โ–ˆโ–ˆโ•”โ•โ•โ•โ•โ• \n"));
    o.push_str(&l(G, "    โ–ˆโ–ˆโ–ˆโ•”โ• โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•‘โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•—  โ–ˆโ–ˆโ•”โ–ˆโ–ˆโ•— โ–ˆโ–ˆโ•‘โ–ˆโ–ˆโ•‘  โ–ˆโ–ˆโ–ˆโ•—\n"));
    o.push_str(&l(C, "   โ–ˆโ–ˆโ–ˆโ•”โ•  โ–ˆโ–ˆโ•”โ•โ•โ–ˆโ–ˆโ•‘โ–ˆโ–ˆโ•”โ•โ•โ•  โ–ˆโ–ˆโ•‘โ•šโ–ˆโ–ˆโ•—โ–ˆโ–ˆโ•‘โ–ˆโ–ˆโ•‘   โ–ˆโ–ˆโ•‘\n"));
    o.push_str(&l(B, "  โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•—โ–ˆโ–ˆโ•‘  โ–ˆโ–ˆโ•‘โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•—โ–ˆโ–ˆโ•‘ โ•šโ–ˆโ–ˆโ–ˆโ–ˆโ•‘โ•šโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ•”โ•\n"));
    o.push_str(&l(M, "  โ•šโ•โ•โ•โ•โ•โ•โ•โ•šโ•โ•  โ•šโ•โ•โ•šโ•โ•โ•โ•โ•โ•โ•โ•šโ•โ•  โ•šโ•โ•โ•โ• โ•šโ•โ•โ•โ•โ•โ• \n"));
    o.push_str(&l(W, "  ่จผ โ€” proof system ยท SuperSpartan ยท Brakedown\n"));
    o.push('\n');
    o.push_str(&l(GR, "  zero trusted setup ยท post-quantum ยท sub-ms verify\n"));
    o
}

/// The command list shown by `zheng help`.
pub fn help(color: bool) -> String {
    let g = |s: &str| paint(color, GR, s);
    let mut o = banner(color);
    o.push('\n');
    o.push_str("  zheng run   -e '<formula>' [--object N] [--budget B]   prove + verify a formula\n");
    o.push_str("  zheng demo  hash                                       prove a Poseidon2 hash\n");
    o.push_str("  zheng eval                                             commit/open/verify a polynomial\n");
    o.push_str("  zheng pack  -e '<formula>' โ€ฆ -o <file>                 write a program capsule\n");
    o.push_str("  zheng prove <file>                                     prove a program capsule\n");
    o.push('\n');
    o.push_str(&g("  zheng help                                             print this help\n"));
    o.push('\n');
    o.push_str(&g("  output renders to the terminal; piped, it is a tape chunk stream.\n"));
    o.push_str(&g("  exit: 0 verified ยท 1 prover/verifier error ยท 2 usage error\n"));
    o
}

Graph