elicitation 0.10.0

# 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 = "2024"
name = "elicitation"
version = "0.10.0"
authors = ["Erik Rose <erik.w.rose@gmail.com>"]
build = false
autolib = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "Conversational elicitation of strongly-typed Rust values via MCP"
homepage = "https://github.com/crumplecup/elicitation"
documentation = "https://docs.rs/elicitation"
readme = "README.md"
keywords = [
    "mcp",
    "llm",
    "elicitation",
    "types",
    "async",
]
categories = [
    "development-tools",
    "asynchronous",
]
license = "Apache-2.0 OR MIT"
repository = "https://github.com/crumplecup/elicitation"
resolver = "2"

[package.metadata.verus]
verify = true

[features]
accesskit = ["dep:accesskit"]
api = []
chrono = [
    "dep:chrono",
    "schemars/chrono04",
]
clap-types = ["dep:clap"]
cli = [
    "dep:clap",
    "clap-types",
    "csv",
    "chrono",
    "shellexpand",
    "dirs",
]
default = ["full"]
dev = [
    "full",
    "cli",
    "graph",
]
egui-types = ["dep:egui"]
emit = []
full = [
    "chrono",
    "time",
    "jiff",
    "uuid",
    "url",
    "regex",
    "rand",
    "reqwest",
    "graph",
    "clap-types",
    "sqlx-types",
    "prompt-tree",
    "ratatui",
    "emit",
]
geo-types = ["dep:geo-types"]
graph = []
jiff = [
    "dep:jiff",
    "schemars/jiff02",
]
palette = ["dep:palette"]
prompt-tree = ["elicitation_derive/prompt-tree"]
prompt-tree-accesskit = [
    "prompt-tree",
    "dep:accesskit",
]
rand = [
    "dep:rand",
    "dep:rand_chacha",
]
ratatui = ["dep:ratatui"]
regex = ["dep:regex"]
reqwest = [
    "dep:reqwest",
    "dep:http",
    "dep:bytes",
    "url",
]
serde = []
serde_json = []
sqlx-types = ["dep:sqlx"]
time = ["dep:time"]
url = [
    "dep:url",
    "schemars/url2",
]
uuid = [
    "dep:uuid",
    "schemars/uuid1",
]
verify-all = ["verify-verus"]
verify-verus = []

[lib]
name = "elicitation"
path = "src/lib.rs"

[[bin]]
name = "elicitation"
path = "src/main.rs"
required-features = ["cli"]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[[test]]
name = "array_test"
path = "tests/array_test.rs"

[[test]]
name = "canary_rmcp_integration"
path = "tests/canary_rmcp_integration.rs"

[[test]]
name = "collections_choice_set_test"
path = "tests/collections_choice_set_test.rs"

[[test]]
name = "collections_test"
path = "tests/collections_test.rs"

[[test]]
name = "composition_systematic_test"
path = "tests/composition_systematic_test.rs"

[[test]]
name = "consuming_methods_test"
path = "tests/consuming_methods_test.rs"

[[test]]
name = "contracts_integration_test"
path = "tests/contracts_integration_test.rs"

[[test]]
name = "datetime_chrono_test"
path = "tests/datetime_chrono_test.rs"

[[test]]
name = "datetime_jiff_test"
path = "tests/datetime_jiff_test.rs"

[[test]]
name = "datetime_time_test"
path = "tests/datetime_time_test.rs"

[[test]]
name = "duration_test"
path = "tests/duration_test.rs"

[[test]]
name = "dynamic_registry_test"
path = "tests/dynamic_registry_test.rs"

[[test]]
name = "elicit_router_test"
path = "tests/elicit_router_test.rs"

[[test]]
name = "elicit_spec_derive_test"
path = "tests/elicit_spec_derive_test.rs"

[[test]]
name = "elicit_tools_macro_test"
path = "tests/elicit_tools_macro_test.rs"

[[test]]
name = "elicit_tools_proc_macro_test"
path = "tests/elicit_tools_proc_macro_test.rs"

[[test]]
name = "enum_tool_wrapper_test"
path = "tests/enum_tool_wrapper_test.rs"

[[test]]
name = "enum_verification_test"
path = "tests/enum_verification_test.rs"

[[test]]
name = "feature_gated_elicit_checked_test"
path = "tests/feature_gated_elicit_checked_test.rs"

[[test]]
name = "filter_test"
path = "tests/filter_test.rs"

[[test]]
name = "generic_methods_test"
path = "tests/generic_methods_test.rs"

[[test]]
name = "geo_types_test"
path = "tests/geo_types_test.rs"

[[test]]
name = "integers_test"
path = "tests/integers_test.rs"

[[test]]
name = "manual_elicit_test"
path = "tests/manual_elicit_test.rs"

[[test]]
name = "network_test"
path = "tests/network_test.rs"

[[test]]
name = "newtype_macro_test"
path = "tests/newtype_macro_test.rs"

[[test]]
name = "newtype_methods_macro_test"
path = "tests/newtype_methods_macro_test.rs"

[[test]]
name = "palette_types_test"
path = "tests/palette_types_test.rs"

[[test]]
name = "pathbuf_test"
path = "tests/pathbuf_test.rs"

[[test]]
name = "prompt_tree_accesskit_test"
path = "tests/prompt_tree_accesskit_test.rs"

[[test]]
name = "prompt_tree_test"
path = "tests/prompt_tree_test.rs"

[[test]]
name = "proof_composition_test"
path = "tests/proof_composition_test.rs"

[[test]]
name = "proof_non_empty_test"
path = "tests/proof_non_empty_test.rs"

[[test]]
name = "ratatui_types_test"
path = "tests/ratatui_types_test.rs"

[[test]]
name = "reflect_methods_basic_test"
path = "tests/reflect_methods_basic_test.rs"

[[test]]
name = "reflect_methods_generic_test"
path = "tests/reflect_methods_generic_test.rs"

[[test]]
name = "reflect_trait_test"
path = "tests/reflect_trait_test.rs"

[[test]]
name = "result_test"
path = "tests/result_test.rs"

[[test]]
name = "rmcp_minimal_test"
path = "tests/rmcp_minimal_test.rs"

[[test]]
name = "rmcp_peer_pattern_test"
path = "tests/rmcp_peer_pattern_test.rs"

[[test]]
name = "smart_pointers_test"
path = "tests/smart_pointers_test.rs"

[[test]]
name = "string_style_test"
path = "tests/string_style_test.rs"

[[test]]
name = "test_tool_registration"
path = "tests/test_tool_registration.rs"

[[test]]
name = "third_party_mcp_compat_test"
path = "tests/third_party_mcp_compat_test.rs"

[[test]]
name = "tool_discovery_test"
path = "tests/tool_discovery_test.rs"

[[test]]
name = "tool_integration_test"
path = "tests/tool_integration_test.rs"

[[test]]
name = "trait_tools_test"
path = "tests/trait_tools_test.rs"

[[test]]
name = "tuples_test"
path = "tests/tuples_test.rs"

[[test]]
name = "type_graph_builder_test"
path = "tests/type_graph_builder_test.rs"

[[test]]
name = "type_graph_plugin_test"
path = "tests/type_graph_plugin_test.rs"

[[test]]
name = "type_graph_registry_test"
path = "tests/type_graph_registry_test.rs"

[[test]]
name = "type_graph_render_test"
path = "tests/type_graph_render_test.rs"

[[test]]
name = "type_spec_plugin_test"
path = "tests/type_spec_plugin_test.rs"

[[test]]
name = "type_spec_test"
path = "tests/type_spec_test.rs"

[[test]]
name = "uuid_test"
path = "tests/uuid_test.rs"

[[test]]
name = "value_test"
path = "tests/value_test.rs"

[[test]]
name = "verification_codegen_test"
path = "tests/verification_codegen_test.rs"

[[test]]
name = "verification_coverage_test"
path = "tests/verification_coverage_test.rs"

[[test]]
name = "verification_integration_test"
path = "tests/verification_integration_test.rs"

[[test]]
name = "verification_serde_test"
path = "tests/verification_serde_test.rs"

[[test]]
name = "verus_compositional_proof_test"
path = "tests/verus_compositional_proof_test.rs"

[dependencies.accesskit]
version = "0.24"
features = [
    "serde",
    "schemars",
]
optional = true

[dependencies.anodized]
version = "0.3"
features = ["runtime-no-check"]

[dependencies.anyhow]
version = "1.0"

[dependencies.async-trait]
version = "0.1"

[dependencies.bytes]
version = "1.0"
optional = true

[dependencies.chrono]
version = "0.4"
features = ["serde"]
optional = true

[dependencies.clap]
version = "4"
features = [
    "derive",
    "string",
]
optional = true

[dependencies.csv]
version = "1.3"
optional = true

[dependencies.derive-getters]
version = "0.5"

[dependencies.derive-new]
version = "0.7"

[dependencies.derive_builder]
version = "0.20"

[dependencies.derive_more]
version = "2"
features = [
    "display",
    "error",
    "from",
    "deref",
    "deref_mut",
    "as_ref",
]

[dependencies.derive_setters]
version = "0.1"

[dependencies.dirs]
version = "6"
optional = true

[dependencies.egui]
version = "0.34"
features = ["serde"]
optional = true

[dependencies.elicitation_derive]
version = "0.10.0"

[dependencies.elicitation_macros]
version = "0.10.0"

[dependencies.erased-serde]
version = "0.4"

[dependencies.futures]
version = "0.3"

[dependencies.geo-types]
version = "0.7"
optional = true

[dependencies.http]
version = "1.0"
optional = true

[dependencies.inventory]
version = "0.3"

[dependencies.jiff]
version = "0.2"
features = ["serde"]
optional = true

[dependencies.palette]
version = "0.7"
optional = true

[dependencies.paste]
version = "1.0"

[dependencies.prettyplease]
version = "0.2"

[dependencies.proc-macro2]
version = "1"

[dependencies.quote]
version = "1"

[dependencies.rand]
version = "0.10"
optional = true

[dependencies.rand_chacha]
version = "0.10"
optional = true

[dependencies.ratatui]
version = "0.30"
features = ["serde"]
optional = true
default-features = false

[dependencies.regex]
version = "1.12"
optional = true

[dependencies.reqwest]
version = "0.13"
features = [
    "json",
    "cookies",
    "stream",
]
optional = true

[dependencies.rmcp]
version = "1.3"
features = [
    "client",
    "transport-io",
    "schemars",
    "elicitation",
]

[dependencies.schemars]
version = "1"
features = ["derive"]

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

[dependencies.serde_json]
version = "1"

[dependencies.shellexpand]
version = "3.1"
optional = true

[dependencies.sqlx]
version = "0.8"
features = [
    "runtime-tokio",
    "tls-native-tls",
    "any",
    "postgres",
    "sqlite",
    "mysql",
    "macros",
]
optional = true

[dependencies.syn]
version = "2"
features = [
    "full",
    "extra-traits",
]

[dependencies.time]
version = "0.3"
features = [
    "parsing",
    "formatting",
    "macros",
    "serde",
]
optional = true

[dependencies.tokio]
version = "1"
features = [
    "macros",
    "rt-multi-thread",
    "io-std",
    "io-util",
    "time",
    "sync",
    "rt",
    "fs",
    "net",
    "process",
    "signal",
]

[dependencies.tracing]
version = "0.1"

[dependencies.url]
version = "2.5"
features = ["serde"]
optional = true

[dependencies.uuid]
version = "1.0"
features = [
    "v4",
    "serde",
]
optional = true

[dev-dependencies.criterion]
version = "0.8"
features = ["html_reports"]

[dev-dependencies.tokio-test]
version = "0.4"

[dev-dependencies.tracing-subscriber]
version = "0.3"
features = ["env-filter"]

[dev-dependencies.uuid]
version = "1.0"
features = [
    "v4",
    "serde",
]

[lints.rust.unexpected_cfgs]
level = "warn"
priority = 0
check-cfg = [
    "cfg(kani)",
    "cfg(prusti)",
    "cfg(creusot)",
    "cfg(verus)",
]