version = 4
[[package]]
name = "bitflags"
version = "2.13.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b4388bee8683e3d04af747c73422af53102d2bd24d9eadb6cbc100baef4b43f8"
[[package]]
name = "cfg-if"
version = "1.0.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801"
[[package]]
name = "cstree"
version = "0.14.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "06cb7daab41fe0fd49e9482eb456fb6e49c2fb64843cd824721befeda0059264"
dependencies = [
"hashbrown",
"indexmap",
"parking_lot",
"rustc-hash",
"text-size",
"triomphe",
]
[[package]]
name = "equivalent"
version = "1.0.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f"
[[package]]
name = "hashbrown"
version = "0.17.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ed5909b6e89a2db4456e54cd5f673791d7eca6732202bbf2a9cc504fe2f9b84a"
[[package]]
name = "indexmap"
version = "2.14.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d466e9454f08e4a911e14806c24e16fba1b4c121d1ea474396f396069cf949d9"
dependencies = [
"equivalent",
"hashbrown",
]
[[package]]
name = "itoa"
version = "1.0.18"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8f42a60cbdf9a97f5d2305f08a87dc4e09308d1276d28c869c684d7777685682"
[[package]]
name = "libc"
version = "0.2.186"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "68ab91017fe16c622486840e4c83c9a37afeff978bd239b5293d61ece587de66"
[[package]]
name = "lock_api"
version = "0.4.14"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "224399e74b87b5f3557511d98dff8b14089b3dadafcab6bb93eab67d3aace965"
dependencies = [
"scopeguard",
]
[[package]]
name = "memchr"
version = "2.8.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "88904434abc2901f197fe8cc55f0445e7ded921dba5911dad2e2b39b48e663c4"
[[package]]
name = "omena-cascade"
version = "0.3.0"
dependencies = [
"omena-refinement-trait",
"omena-syntax",
"serde",
"serde_json",
]
[[package]]
name = "omena-product-hints"
version = "0.3.0"
dependencies = [
"omena-cascade",
"serde",
]
[[package]]
name = "omena-refinement-trait"
version = "0.3.0"
dependencies = [
"serde",
]
[[package]]
name = "omena-syntax"
version = "0.3.0"
dependencies = [
"cstree",
]
[[package]]
name = "parking_lot"
version = "0.12.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "93857453250e3077bd71ff98b6a65ea6621a19bb0f559a85248955ac12c45a1a"
dependencies = [
"lock_api",
"parking_lot_core",
]
[[package]]
name = "parking_lot_core"
version = "0.9.12"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "2621685985a2ebf1c516881c026032ac7deafcda1a2c9b7850dc81e3dfcb64c1"
dependencies = [
"cfg-if",
"libc",
"redox_syscall",
"smallvec",
"windows-link",
]
[[package]]
name = "proc-macro2"
version = "1.0.106"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8fd00f0bb2e90d81d1044c2b32617f68fcb9fa3bb7640c23e9c748e53fb30934"
dependencies = [
"unicode-ident",
]
[[package]]
name = "quote"
version = "1.0.45"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "41f2619966050689382d2b44f664f4bc593e129785a36d6ee376ddf37259b924"
dependencies = [
"proc-macro2",
]
[[package]]
name = "redox_syscall"
version = "0.5.18"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ed2bf2547551a7053d6fdfafda3f938979645c44812fbfcda098faae3f1a362d"
dependencies = [
"bitflags",
]
[[package]]
name = "rustc-hash"
version = "2.1.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "6b1e7f9a428571be2dc5bc0505c13fb6bf936822b894ec87abf8a08a4e51742d"
[[package]]
name = "scopeguard"
version = "1.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "94143f37725109f92c262ed2cf5e59bce7498c01bcc1502d7b9afe439a4e9f49"
[[package]]
name = "serde"
version = "1.0.228"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9a8e94ea7f378bd32cbbd37198a4a91436180c5bb472411e48b5ec2e2124ae9e"
dependencies = [
"serde_core",
"serde_derive",
]
[[package]]
name = "serde_core"
version = "1.0.228"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "41d385c7d4ca58e59fc732af25c3983b67ac852c1a25000afe1175de458b67ad"
dependencies = [
"serde_derive",
]
[[package]]
name = "serde_derive"
version = "1.0.228"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d540f220d3187173da220f885ab66608367b6574e925011a9353e4badda91d79"
dependencies = [
"proc-macro2",
"quote",
"syn",
]
[[package]]
name = "serde_json"
version = "1.0.150"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e8014e44b4736ed0538adeecded0fce2a272f22dc9578a7eb6b2d9993c74cfb9"
dependencies = [
"indexmap",
"itoa",
"memchr",
"serde",
"serde_core",
"zmij",
]
[[package]]
name = "smallvec"
version = "1.15.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8ed6a63f02c8539c91a8685a86f4099661ba3da017932f6ebbea6de3f0fa7c90"
[[package]]
name = "stable_deref_trait"
version = "1.2.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "6ce2be8dc25455e1f91df71bfa12ad37d7af1092ae736f3a6cd0e37bc7810596"
[[package]]
name = "syn"
version = "2.0.117"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e665b8803e7b1d2a727f4023456bbbbe74da67099c585258af0ad9c5013b9b99"
dependencies = [
"proc-macro2",
"quote",
"unicode-ident",
]
[[package]]
name = "text-size"
version = "1.1.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f18aa187839b2bdb1ad2fa35ead8c4c2976b64e4363c386d45ac0f7ee85c9233"
[[package]]
name = "triomphe"
version = "0.1.15"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "dd69c5aa8f924c7519d6372789a74eac5b94fb0f8fcf0d4a97eb0bfc3e785f39"
dependencies = [
"stable_deref_trait",
]
[[package]]
name = "unicode-ident"
version = "1.0.24"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75"
[[package]]
name = "windows-link"
version = "0.2.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f0805222e57f7521d6a62e36fa9163bc891acd422f971defe97d64e70d0a4fe5"
[[package]]
name = "zmij"
version = "1.0.21"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b8848ee67ecc8aedbaf3e4122217aff892639231befc6a1b58d29fff4c2cabaa"
[[patch.unused]]
name = "omena-abstract-value"
version = "0.3.0"
[[patch.unused]]
name = "omena-bridge"
version = "0.3.0"
[[patch.unused]]
name = "omena-bundler"
version = "0.3.0"
[[patch.unused]]
name = "omena-cascade-proof"
version = "0.3.0"
[[patch.unused]]
name = "omena-categorical"
version = "0.3.0"
[[patch.unused]]
name = "omena-checker"
version = "0.3.0"
[[patch.unused]]
name = "omena-cli"
version = "0.3.0"
[[patch.unused]]
name = "omena-cross-file-summary"
version = "0.3.0"
[[patch.unused]]
name = "omena-cst-typed"
version = "0.3.0"
[[patch.unused]]
name = "omena-engine-input-producers"
version = "0.3.0"
[[patch.unused]]
name = "omena-ensemble"
version = "0.3.0"
[[patch.unused]]
name = "omena-evidence-graph"
version = "0.3.0"
[[patch.unused]]
name = "omena-incremental"
version = "0.3.0"
[[patch.unused]]
name = "omena-interner"
version = "0.3.0"
[[patch.unused]]
name = "omena-lawvere"
version = "0.3.0"
[[patch.unused]]
name = "omena-lsp-server"
version = "0.3.0"
[[patch.unused]]
name = "omena-meta-macros"
version = "0.3.0"
[[patch.unused]]
name = "omena-parser"
version = "0.3.0"
[[patch.unused]]
name = "omena-query"
version = "0.3.0"
[[patch.unused]]
name = "omena-query-checker-orchestrator"
version = "0.3.0"
[[patch.unused]]
name = "omena-query-core"
version = "0.3.0"
[[patch.unused]]
name = "omena-query-transform-runner"
version = "0.3.0"
[[patch.unused]]
name = "omena-reachability-datalog-lab"
version = "0.3.0"
[[patch.unused]]
name = "omena-refinement"
version = "0.3.0"
[[patch.unused]]
name = "omena-resolver"
version = "0.3.0"
[[patch.unused]]
name = "omena-rg-flow"
version = "0.3.0"
[[patch.unused]]
name = "omena-scss-eval"
version = "0.3.0"
[[patch.unused]]
name = "omena-semantic"
version = "0.3.0"
[[patch.unused]]
name = "omena-sif"
version = "0.3.0"
[[patch.unused]]
name = "omena-smt"
version = "0.3.0"
[[patch.unused]]
name = "omena-spec-audit"
version = "0.3.0"
[[patch.unused]]
name = "omena-streaming-ifds"
version = "0.3.0"
[[patch.unused]]
name = "omena-testkit"
version = "0.3.0"
[[patch.unused]]
name = "omena-transform-bundle"
version = "0.3.0"
[[patch.unused]]
name = "omena-transform-cst"
version = "0.3.0"
[[patch.unused]]
name = "omena-transform-egg"
version = "0.3.0"
[[patch.unused]]
name = "omena-transform-passes"
version = "0.3.0"
[[patch.unused]]
name = "omena-transform-print"
version = "0.3.0"
[[patch.unused]]
name = "omena-transform-target"
version = "0.3.0"
[[patch.unused]]
name = "omena-tsgo-client"
version = "0.3.0"
[[patch.unused]]
name = "omena-umbrella"
version = "0.3.0"
[[patch.unused]]
name = "omena-value-lattice"
version = "0.3.0"
[[patch.unused]]
name = "omena-variational"
version = "0.3.0"
[[patch.unused]]
name = "omena-wasm"
version = "0.3.0"
[[patch.unused]]
name = "omena-zk-audit"
version = "0.3.0"
[[patch.unused]]
name = "omena-zk-circuit"
version = "0.3.0"