# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO
#
# When uploading crates to the registry Cargo will automatically
# "normalize" Cargo.toml files for maximal compatibility
# with all versions of Cargo and also rewrite `path` dependencies
# to registry (e.g., crates.io) dependencies.
#
# If you are reading this file be aware that the original Cargo.toml
# will likely look very different (and much more reasonable).
# See Cargo.toml.orig for the original contents.

[package]
edition = "2021"
rust-version = "1.82.0"
name = "aprender-simulate"
version = "0.41.0"
authors = ["PAIML Engineering"]
build = "build.rs"
exclude = [
    "tests/",
    "benches/",
    "docs/",
    ".github/",
    "book/",
    ".pmat/",
    "target/",
    ".profraw",
    ".profdata",
    ".vscode/",
    ".idea/",
    "proptest-regressions/",
]
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "Unified Simulation Engine for the Sovereign AI Stack"
readme = "README.md"
keywords = [
    "simulation",
    "physics",
    "monte-carlo",
    "optimization",
    "reproducible",
]
categories = [
    "simulation",
    "science",
    "mathematics",
]
license = "MIT"
repository = "https://github.com/paiml/simular"

[package.metadata.wasm-pack.profile.release]
wasm-opt = false

[features]
default = []
full = [
    "tui",
    "web",
]
proptest = []
schema-validation = []
tui = [
    "dep:crossterm",
    "dep:presentar-terminal",
    "dep:presentar-core",
]
verification = []
wasm = [
    "dep:wasm-bindgen",
    "dep:js-sys",
    "dep:web-sys",
    "dep:getrandom",
    "dep:serde-wasm-bindgen",
    "dep:console_error_panic_hook",
]
web = ["dep:tokio"]
z3-proofs = []

[lib]
name = "simular"
crate-type = [
    "cdylib",
    "rlib",
]
path = "src/lib.rs"

[[bin]]
name = "simular"
path = "src/main.rs"

[[example]]
name = "contract_pipeline_demo"
path = "examples/contract_pipeline_demo.rs"

[[example]]
name = "edd_falsification"
path = "examples/edd_falsification.rs"

[[example]]
name = "edd_model_card"
path = "examples/edd_model_card.rs"

[[example]]
name = "edd_operations"
path = "examples/edd_operations.rs"

[[example]]
name = "edd_tps_validation"
path = "examples/edd_tps_validation.rs"

[[example]]
name = "edd_yaml_loader"
path = "examples/edd_yaml_loader.rs"

[[example]]
name = "gui_coverage_demo"
path = "examples/gui_coverage_demo.rs"

[[example]]
name = "jidoka_guards"
path = "examples/jidoka_guards.rs"

[[example]]
name = "monte_carlo"
path = "examples/monte_carlo.rs"

[[example]]
name = "optimization"
path = "examples/optimization.rs"

[[example]]
name = "orbit_demo"
path = "examples/orbit_demo.rs"

[[example]]
name = "physics_simulation"
path = "examples/physics_simulation.rs"

[[example]]
name = "reproducibility"
path = "examples/reproducibility.rs"

[[example]]
name = "tsp_grasp_demo"
path = "examples/tsp_grasp_demo.rs"

[dependencies.bincode]
version = "1.3"

[dependencies.bitflags]
version = "2.6"

[dependencies.blake3]
version = "1.5"

[dependencies.console_error_panic_hook]
version = "0.1"
optional = true

[dependencies.crossbeam-deque]
version = "0.8"

[dependencies.crossterm]
version = "0.28"
optional = true

[dependencies.getrandom]
version = "0.2"
features = ["js"]
optional = true

[dependencies.indexmap]
version = "2.0"
features = ["serde"]

[dependencies.js-sys]
version = "0.3"
optional = true

[dependencies.memmap2]
version = "0.9"

[dependencies.num-traits]
version = "0.2"

[dependencies.presentar-core]
version = "0.3"
optional = true
default-features = false

[dependencies.presentar-terminal]
version = "0.3"
optional = true

[dependencies.provable-contracts-macros]
version = "0.2"

[dependencies.rand]
version = "0.8"

[dependencies.rand_pcg]
version = "0.3"
features = ["serde1"]

[dependencies.serde]
version = "1.0"
features = ["derive"]

[dependencies.serde-wasm-bindgen]
version = "0.6"
optional = true

[dependencies.serde_json]
version = "1.0"

[dependencies.serde_yaml]
version = "0.9"

[dependencies.thiserror]
version = "2.0"

[dependencies.tokio]
version = "1.0"
features = ["full"]
optional = true

[dependencies.toml]
version = "0.8"

[dependencies.uom]
version = "0.36"
features = ["serde"]

[dependencies.validator]
version = "0.20"
features = ["derive"]

[dependencies.wasm-bindgen]
version = "0.2"
optional = true

[dependencies.web-sys]
version = "0.3"
features = [
    "console",
    "Window",
    "Performance",
    "Document",
    "Element",
    "HtmlElement",
    "HtmlCanvasElement",
    "HtmlInputElement",
    "HtmlSelectElement",
    "CanvasRenderingContext2d",
    "EventTarget",
    "Event",
    "NodeList",
    "DomTokenList",
    "CssStyleDeclaration",
]
optional = true

[dependencies.zstd]
version = "0.13"

[dev-dependencies.criterion]
version = "0.5"
default-features = false

[dev-dependencies.presentar-test]
version = "0.3"

[dev-dependencies.proptest]
version = "1.5"

[dev-dependencies.provable-contracts]
version = "0.2"

[dev-dependencies.tempfile]
version = "3.14"

[build-dependencies.serde]
version = "1.0"
features = ["derive"]

[build-dependencies.serde_yaml]
version = "0.9"

[target.'cfg(target_arch = "wasm32")'.dependencies.getrandom]
version = "0.2"
features = ["js"]

[lints.clippy.all]
level = "warn"
priority = -1

[lints.clippy.approx_constant]
level = "allow"
priority = 1

[lints.clippy.cast_lossless]
level = "allow"
priority = 1

[lints.clippy.cast_possible_truncation]
level = "allow"
priority = 1

[lints.clippy.cast_possible_wrap]
level = "allow"
priority = 1

[lints.clippy.cast_precision_loss]
level = "allow"
priority = 1

[lints.clippy.cast_sign_loss]
level = "allow"
priority = 1

[lints.clippy.clone_on_copy]
level = "allow"
priority = 1

[lints.clippy.cloned_instead_of_copied]
level = "allow"
priority = 1

[lints.clippy.default_trait_access]
level = "allow"
priority = 1

[lints.clippy.doc_markdown]
level = "allow"
priority = 1

[lints.clippy.explicit_iter_loop]
level = "allow"
priority = 1

[lints.clippy.field_reassign_with_default]
level = "allow"
priority = 1

[lints.clippy.float_cmp]
level = "allow"
priority = 1

[lints.clippy.imprecise_flops]
level = "allow"
priority = 1

[lints.clippy.items_after_statements]
level = "allow"
priority = 1

[lints.clippy.iter_without_into_iter]
level = "allow"
priority = 1

[lints.clippy.manual_is_multiple_of]
level = "allow"
priority = 1

[lints.clippy.manual_midpoint]
level = "allow"
priority = 1

[lints.clippy.manual_range_contains]
level = "allow"
priority = 1

[lints.clippy.many_single_char_names]
level = "allow"
priority = 1

[lints.clippy.missing_const_for_fn]
level = "allow"
priority = 1

[lints.clippy.missing_panics_doc]
level = "allow"
priority = 1

[lints.clippy.module_name_repetitions]
level = "allow"
priority = 1

[lints.clippy.needless_range_loop]
level = "allow"
priority = 1

[lints.clippy.no_effect_underscore_binding]
level = "allow"
priority = 1

[lints.clippy.nursery]
level = "warn"
priority = -1

[lints.clippy.option_if_let_else]
level = "allow"
priority = 1

[lints.clippy.pedantic]
level = "warn"
priority = -1

[lints.clippy.redundant_clone]
level = "allow"
priority = 1

[lints.clippy.redundant_closure_for_method_calls]
level = "allow"
priority = 1

[lints.clippy.similar_names]
level = "allow"
priority = 1

[lints.clippy.stable_sort_primitive]
level = "allow"
priority = 1

[lints.clippy.suboptimal_flops]
level = "allow"
priority = 1

[lints.clippy.suspicious_operation_groupings]
level = "allow"
priority = 1

[lints.clippy.too_many_lines]
level = "allow"
priority = 1

[lints.clippy.uninlined_format_args]
level = "allow"
priority = 1

[lints.clippy.unnecessary_wraps]
level = "allow"
priority = 1

[lints.clippy.unreadable_literal]
level = "allow"
priority = 1

[lints.clippy.used_underscore_items]
level = "allow"
priority = 1

[lints.rust]
unsafe_code = "deny"

[profile.release]
opt-level = 3
lto = true
codegen-units = 1
