Cargo.toml

[workspace]
resolver = "2"
members = [
    "crates/rumoca",
    "crates/rumoca-test-msl",
    "crates/rumoca-core",
    "crates/rumoca-contracts",
    "crates/rumoca-ir-dae",
    "crates/rumoca-eval-const",
    "crates/rumoca-ir-ast",
    "crates/rumoca-ir-flat",
    "crates/rumoca-phase-codegen",
    "crates/rumoca-phase-flatten",
    "crates/rumoca-phase-instantiate",
    "crates/rumoca-phase-parse",
    "crates/rumoca-phase-resolve",
    "crates/rumoca-phase-dae",
    "crates/rumoca-phase-structural",
    "crates/rumoca-eval-runtime",
    "crates/rumoca-eval-compiled",
    "crates/rumoca-sim-core",
    "crates/rumoca-sim-diffsol",
    "crates/rumoca-phase-typecheck",
    # Session and tools
    "crates/rumoca-session",
    "crates/rumoca-tool-lint",
    "crates/rumoca-tool-fmt",
    "crates/rumoca-tool-lsp",
    "crates/rumoca-tool-dev",
    # Bindings
    "crates/rumoca-bind-wasm",
    "crates/rumoca-bind-python",
]

[workspace.package]
version = "0.8.0"
edition = "2024"
license = "Apache-2.0"
repository = "https://github.com/cognipilot/rumoca"
homepage = "https://github.com/cognipilot/rumoca"

[workspace.dependencies]
# Internal crates
rumoca = { path = "crates/rumoca" }
rumoca-core = { path = "crates/rumoca-core" }
rumoca-contracts = { path = "crates/rumoca-contracts" }
rumoca-ir-dae = { path = "crates/rumoca-ir-dae" }
rumoca-eval-const = { path = "crates/rumoca-eval-const" }
rumoca-ir-ast = { path = "crates/rumoca-ir-ast" }
rumoca-ir-flat = { path = "crates/rumoca-ir-flat" }
rumoca-phase-flatten = { path = "crates/rumoca-phase-flatten" }
rumoca-phase-instantiate = { path = "crates/rumoca-phase-instantiate" }
rumoca-phase-parse = { path = "crates/rumoca-phase-parse" }
rumoca-phase-resolve = { path = "crates/rumoca-phase-resolve" }
rumoca-phase-dae = { path = "crates/rumoca-phase-dae" }
rumoca-phase-structural = { path = "crates/rumoca-phase-structural" }
rumoca-phase-codegen = { path = "crates/rumoca-phase-codegen" }
rumoca-eval-runtime = { path = "crates/rumoca-eval-runtime" }
rumoca-eval-compiled = { path = "crates/rumoca-eval-compiled", default-features = false }
rumoca-sim-core = { path = "crates/rumoca-sim-core" }
rumoca-sim-diffsol = { path = "crates/rumoca-sim-diffsol" }
rumoca-phase-typecheck = { path = "crates/rumoca-phase-typecheck" }
rumoca-session = { path = "crates/rumoca-session" }
rumoca-tool-lint = { path = "crates/rumoca-tool-lint" }
rumoca-tool-fmt = { path = "crates/rumoca-tool-fmt" }
rumoca-tool-lsp = { path = "crates/rumoca-tool-lsp", default-features = false }
rumoca-bind-wasm = { path = "crates/rumoca-bind-wasm" }
rumoca-bind-python = { path = "crates/rumoca-bind-python" }

# External dependencies
anyhow = "1.0"
mimalloc = "0.1"
blake3 = "1.5"
clap = { version = "4.5", features = ["derive"] }
dirs = "6.0"
flate2 = "1.0"
indexmap = { version = "2.7", features = ["serde"] }
miette = { version = "7.4", features = ["fancy"] }
minijinja = { version = "2.5", features = ["debug"] }
parol = "4.2"
parol_runtime = "4.2"
rayon = "1.10"
rustc-hash = "2.0"
scnr2 = "0.3.3"
serde = { version = "1.0", features = ["derive", "rc"] }
serde_json = "1.0"
tar = "0.4"
thiserror = "2.0"
toml = "0.8"
tempfile = "3.10"
tracing = "0.1"
tracing-subscriber = { version = "0.3", features = ["env-filter"] }
ureq = "3.0"
walkdir = "2.5"
# LSP types (usable from WASM and native, must match tower-lsp's version)
lsp-types = "0.94"
# LSP server (native only)
tower-lsp = "0.20"
tokio = { version = "1", features = ["full"] }
# WASM bindings
wasm-bindgen = "0.2"
serde-wasm-bindgen = "0.6"
console_error_panic_hook = "0.1"
# Python bindings
pyo3 = { version = "0.22", features = ["extension-module"] }

[workspace.lints.rust]
unsafe_code = "deny"

# Code complexity lints (SPEC_0021)
# Thresholds configured in clippy.toml
[workspace.lints.clippy]
# Enable lint groups - deny to make warnings into compile errors
all = "deny"
# Intentionally not enabling `cargo`/`pedantic` as workspace-wide lint groups.
# They produce high-noise warnings under our `-D warnings` CI mode; we prefer
# targeted deny rules and incremental lint hardening.
# Complexity lints
excessive_nesting = "deny"
too_many_lines = "deny"
too_many_arguments = "deny"

# For faster builds
[profile.dev]
opt-level = 1

# `build-override` applies to build scripts and proc-macro crates only.
# It speeds up codegen-heavy macro/build tooling without forcing all dev crates
# to compile at higher optimization levels.
[profile.dev.build-override]
opt-level = 3

[profile.release.build-override]
opt-level = 3

# Speed up parser-heavy runtime in normal debug builds.
[profile.dev.package.rumoca-phase-parse]
opt-level = 3
[profile.dev.package.rumoca-session]
opt-level = 2
[profile.dev.package.parol_runtime]
opt-level = 3
[profile.dev.package.scnr2]
opt-level = 3