Cargo.toml

[workspace]
resolver = "2"
members = [
  "crates/emath-core",
  "crates/emath-syntax",
  "crates/emath-ir",
  "crates/emath-goal",
  "crates/emath-plan",
  "crates/emath-sema",
  "crates/emath-exec-ir",
  "crates/emath-adapter-dew",
  "crates/emath-hir",
  "crates/emath-rust-backend",
  "crates/emath-rt",
  "crates/emath-artifact",
  "crates/emath-provider-api",
  "crates/emath-build",
  "crates/emath-macro",
  "crates/emath-lab-core",
  "crates/emath-evidence",
  "crates/emath-schema",
  "crates/emath-store",
  "crates/emath-cli",
  "crates/emath-term",
  "crates/emath-world-ir",
  "crates/emath-genesis",
  "crates/emath-adapter-rumoca",
  "crates/emath-registry",
  "crates/emath-wasm",
  "tests/harness",
  "tests/emath-adapter-dew",
  "tests/emath-adapter-rumoca",
  "tests/emath-artifact",
  "tests/emath-build",
  "tests/emath-core",
  "tests/emath-cli",
  "tests/emath-evidence",
  "tests/emath-exec-ir",
  "tests/emath-genesis",
  "tests/emath-hir",
  "tests/emath-ir",
  "tests/emath-lab-core",
  "tests/emath-provider-api",
  "tests/emath-rust-backend",
  "tests/emath-rt",
  "tests/emath-sema",
  "tests/emath-store",
  "tests/emath-syntax",
  "tests/emath-term",
  "tests/emath-trust-gates",
  "tests/emath-world-ir",
  "tests/emath-wasm",
  "tests/emath-registry",
  "examples/demo-host",
  "examples/demo-host-independent",
  "examples/provider-skeleton",
  "examples/generated/semantic-genesis-worlds",
  "xtask",
]
exclude = ["bootstrap", "artifacts"]

[workspace.package]
version = "0.1.0"
edition = "2024"
license = "Apache-2.0"
rust-version = "1.85"
repository = "https://github.com/AdityaVG13/emath"
publish = false

[workspace.dependencies]
unicode-normalization = "0.1.25"
emath-test-harness = { path = "tests/harness" }
emath-core = { path = "crates/emath-core" }
emath-syntax = { path = "crates/emath-syntax" }
emath-ir = { path = "crates/emath-ir" }
emath-goal = { path = "crates/emath-goal" }
emath-plan = { path = "crates/emath-plan" }
emath-sema = { path = "crates/emath-sema" }
emath-exec-ir = { path = "crates/emath-exec-ir" }
emath-rust-backend = { path = "crates/emath-rust-backend" }
emath-rt = { path = "crates/emath-rt" }
emath-artifact = { path = "crates/emath-artifact" }
emath-provider-api = { path = "crates/emath-provider-api" }
emath-build = { path = "crates/emath-build" }
emath-macro = { path = "crates/emath-macro" }
emath-lab-core = { path = "crates/emath-lab-core" }
emath-evidence = { path = "crates/emath-evidence" }
emath-hir = { path = "crates/emath-hir" }
emath-schema = { path = "crates/emath-schema" }
emath-adapter-dew = { path = "crates/emath-adapter-dew" }
emath-cli = { path = "crates/emath-cli" }
emath-term = { path = "crates/emath-term" }
emath-world-ir = { path = "crates/emath-world-ir" }
emath-genesis = { path = "crates/emath-genesis" }
emath-adapter-rumoca = { path = "crates/emath-adapter-rumoca" }
emath-wasm = { path = "crates/emath-wasm" }
emath-registry = { path = "crates/emath-registry" }
# FrankenStack base infrastructure (CUTOVER_PLAN.md §1/§9): asupersync
# replaces tokio. Optional + feature-gated: Phase 1 ships std-only with zero
# mandatory third-party deps. Exact-commit pin mirrors UPSTREAM_LOCK.json
# row 11; never move to a floating version.
# Optionality is decided per consumer (emath-cli lsp gate: async-runtime feature),
# so this entry must not be marked optional (Cargo rejects that at workspace
# level).
asupersync = { git = "https://github.com/Dicklesworthstone/asupersync.git", rev = "9eb0600e6ef4d17633dff3dc43ad99c64e72adbe", default-features = false }
# frankensqlite evidence-state engine (CUTOVER_PLAN.md §5.2/§9.10, pass 1):
# fsqlite facade (frankensqlite workspace) at exact-commit pin
# 8281cf285433b1746d9c29a598152e58cc205bd8 (v0.3.11 release). Optional for the
# workspace; the consumer (emath-store sqlite-store feature) decides
# optionality, so this entry must not be marked optional (Cargo rejects that at
# workspace level).
fsqlite = { git = "https://github.com/Dicklesworthstone/frankensqlite.git", rev = "8281cf285433b1746d9c29a598152e58cc205bd8", default-features = false }
# frankensearch artifact-corpus search engine (CUTOVER_PLAN.md §5.4/§9.12,
# pass 3): facade `frankensearch` v0.3.2 from repository release v1.7.0 at
# exact-commit pin 22859f74056c31fd3a713bacecd4a1f22f0cf82d.
# Unlike frankensqlite/frankengraphdb, frankensearch declares asupersync
# internally as a crates.io VERSION RANGE (>=0.4.4, <0.5), NOT an internal
# git rev: emath-search declares the same crates.io range and Cargo
# unifies one crates.io asupersync instance for the whole emath-search graph
# (no fgdb-style inline-git-rev unification needed). Optional for the
# workspace; the consumer (emath-search `search` feature) decides
# optionality, so this entry must not be marked optional (Cargo rejects that
# at workspace level).
frankensearch = { git = "https://github.com/Dicklesworthstone/frankensearch.git", rev = "22859f74056c31fd3a713bacecd4a1f22f0cf82d", default-features = false }

[profile.release]
opt-level = 3
lto = true
codegen-units = 1
panic = "abort"
strip = true

# Keep-gate measurement profile (gauntlet-06): claims under the keep-gate
# harness use `cargo bench --profile release-perf`, never `--release`.
# Frame-pointer claims additionally use `RUSTFLAGS="-C
# force-frame-pointers=yes"` so profilers get real stacks.
[profile.release-perf]
inherits = "release"
debug = "line-tables-only"

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

[workspace.lints.clippy]
all = { level = "warn", priority = -1 }
pedantic = { level = "warn", priority = -1 }
module_name_repetitions = "allow"
missing_errors_doc = "allow"
missing_panics_doc = "allow"
must_use_candidate = "allow"
too_many_lines = "allow"