rustdl 0.2.1__tar.gz → 0.2.2__tar.gz

{rustdl-0.2.1 → rustdl-0.2.2}/Cargo.lock

@@ -1037,7 +1037,7 @@ checksum = "384b8ab6d37215f3c5301a95a4accb5d64aa607f1fcb26a11b5303878451b4fe"
 
 [[package]]
 name = "owl-dl-bench"
-version = "0.2.1"
+version = "0.2.2"
 dependencies = [
  "anyhow",
  "clap",
@@ -1054,7 +1054,7 @@ dependencies = [
 
 [[package]]
 name = "owl-dl-cli"
-version = "0.2.1"
+version = "0.2.2"
 dependencies = [
  "anyhow",
  "clap",
@@ -1066,7 +1066,7 @@ dependencies = [
 
 [[package]]
 name = "owl-dl-core"
-version = "0.2.1"
+version = "0.2.2"
 dependencies = [
  "bitvec",
  "bumpalo",
@@ -1080,7 +1080,7 @@ dependencies = [
 
 [[package]]
 name = "owl-dl-datatypes"
-version = "0.2.1"
+version = "0.2.2"
 dependencies = [
  "owl-dl-core",
  "proptest",
@@ -1090,7 +1090,7 @@ dependencies = [
 
 [[package]]
 name = "owl-dl-py"
-version = "0.2.1"
+version = "0.2.2"
 dependencies = [
  "horned-owl",
  "owl-dl-core",
@@ -1101,7 +1101,7 @@ dependencies = [
 
 [[package]]
 name = "owl-dl-reasoner"
-version = "0.2.1"
+version = "0.2.2"
 dependencies = [
  "dashmap",
  "horned-owl",
@@ -1117,7 +1117,7 @@ dependencies = [
 
 [[package]]
 name = "owl-dl-saturation"
-version = "0.2.1"
+version = "0.2.2"
 dependencies = [
  "dashmap",
  "fixedbitset",
@@ -1133,7 +1133,7 @@ dependencies = [
 
 [[package]]
 name = "owl-dl-tableau"
-version = "0.2.1"
+version = "0.2.2"
 dependencies = [
  "bitvec",
  "bumpalo",
@@ -1392,11 +1392,10 @@ dependencies = [
 
 [[package]]
 name = "pyo3"
-version = "0.22.6"
+version = "0.25.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f402062616ab18202ae8319da13fa4279883a2b8a9d9f83f20dbade813ce1884"
+checksum = "8970a78afe0628a3e3430376fc5fd76b6b45c4d43360ffd6cdd40bdde72b682a"
 dependencies = [
- "cfg-if",
  "indoc",
  "libc",
  "memoffset",
@@ -1410,9 +1409,9 @@ dependencies = [
 
 [[package]]
 name = "pyo3-build-config"
-version = "0.22.6"
+version = "0.25.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "b14b5775b5ff446dd1056212d778012cbe8a0fbffd368029fd9e25b514479c38"
+checksum = "458eb0c55e7ece017adeba38f2248ff3ac615e53660d7c71a238d7d2a01c7598"
 dependencies = [
  "once_cell",
  "target-lexicon",
@@ -1420,9 +1419,9 @@ dependencies = [
 
 [[package]]
 name = "pyo3-ffi"
-version = "0.22.6"
+version = "0.25.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9ab5bcf04a2cdcbb50c7d6105de943f543f9ed92af55818fd17b660390fc8636"
+checksum = "7114fe5457c61b276ab77c5055f206295b812608083644a5c5b2640c3102565c"
 dependencies = [
  "libc",
  "pyo3-build-config",
@@ -1430,9 +1429,9 @@ dependencies = [
 
 [[package]]
 name = "pyo3-macros"
-version = "0.22.6"
+version = "0.25.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "0fd24d897903a9e6d80b968368a34e1525aeb719d568dba8b3d4bfa5dc67d453"
+checksum = "a8725c0a622b374d6cb051d11a0983786448f7785336139c3c94f5aa6bef7e50"
 dependencies = [
  "proc-macro2",
  "pyo3-macros-backend",
@@ -1442,9 +1441,9 @@ dependencies = [
 
 [[package]]
 name = "pyo3-macros-backend"
-version = "0.22.6"
+version = "0.25.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "36c011a03ba1e50152b4b394b479826cad97e7a21eb52df179cd91ac411cbfbe"
+checksum = "4109984c22491085343c05b0dbc54ddc405c3cf7b4374fc533f5c3313a572ccc"
 dependencies = [
  "heck",
  "proc-macro2",
@@ -1935,9 +1934,9 @@ checksum = "55937e1799185b12863d447f42597ed69d9928686b8d88a1df17376a097d8369"
 
 [[package]]
 name = "target-lexicon"
-version = "0.12.16"
+version = "0.13.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "61c41af27dd6d1e27b1b16b489db798443478cef1f06a660c96db617ba5de3b1"
+checksum = "adb6935a6f5c20170eeceb1a3835a49e12e19d792f6dd344ccc76a985ca5a6ca"
 
 [[package]]
 name = "tempfile"
@@ -2570,7 +2569,7 @@ dependencies = [
 
 [[package]]
 name = "xtask"
-version = "0.2.1"
+version = "0.2.2"
 dependencies = [
  "anyhow",
  "clap",

{rustdl-0.2.1 → rustdl-0.2.2}/Cargo.toml

@@ -3,7 +3,7 @@ resolver = "2"
 members = ["crates/owl-dl-core", "crates/owl-dl-saturation", "crates/owl-dl-tableau", "crates/owl-dl-datatypes", "crates/owl-dl-reasoner", "crates/owl-dl-py"]
 
 [workspace.package]
-version = "0.2.1"
+version = "0.2.2"
 edition = "2024"
 rust-version = "1.88"
 license = "Apache-2.0 OR MIT"
@@ -15,11 +15,11 @@ keywords = ["owl", "ontology", "reasoner", "description-logic", "semantic-web"]
 categories = ["science", "data-structures"]
 
 [workspace.dependencies]
-owl-dl-core = { path = "crates/owl-dl-core", version = "0.2.1" }
-owl-dl-saturation = { path = "crates/owl-dl-saturation", version = "0.2.1" }
-owl-dl-tableau = { path = "crates/owl-dl-tableau", version = "0.2.1" }
-owl-dl-datatypes = { path = "crates/owl-dl-datatypes", version = "0.2.1" }
-owl-dl-reasoner = { path = "crates/owl-dl-reasoner", version = "0.2.1" }
+owl-dl-core = { path = "crates/owl-dl-core", version = "0.2.2" }
+owl-dl-saturation = { path = "crates/owl-dl-saturation", version = "0.2.2" }
+owl-dl-tableau = { path = "crates/owl-dl-tableau", version = "0.2.2" }
+owl-dl-datatypes = { path = "crates/owl-dl-datatypes", version = "0.2.2" }
+owl-dl-reasoner = { path = "crates/owl-dl-reasoner", version = "0.2.2" }
 
 horned-owl = { version = "1.4", default-features = false }
 

{rustdl-0.2.1 → rustdl-0.2.2}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: rustdl
-Version: 0.2.1
+Version: 0.2.2
 Classifier: Development Status :: 4 - Beta
 Classifier: Intended Audience :: Science/Research
 Classifier: License :: OSI Approved :: Apache Software License

{rustdl-0.2.1 → rustdl-0.2.2}/crates/owl-dl-py/Cargo.toml

@@ -17,7 +17,7 @@ name = "rustdl"           # Python import name: `import rustdl`
 crate-type = ["cdylib"]   # Python C extension
 
 [dependencies]
-pyo3 = { version = "0.22", features = ["abi3-py310", "extension-module"] }
+pyo3 = { version = "0.25", features = ["abi3-py310", "extension-module"] }
 owl-dl-reasoner.workspace = true
 owl-dl-core.workspace = true
 horned-owl.workspace = true

{rustdl-0.2.1 → rustdl-0.2.2}/crates/owl-dl-py/src/errors.rs

@@ -35,15 +35,15 @@ create_exception!(
 /// Register all rustdl exception types on the module so Python
 /// callers can `except rustdl.RustdlError:` etc.
 pub(crate) fn register(m: &Bound<'_, PyModule>) -> PyResult<()> {
-    m.add("RustdlError", m.py().get_type_bound::<RustdlError>())?;
-    m.add("ParseError", m.py().get_type_bound::<ParseError>())?;
+    m.add("RustdlError", m.py().get_type::<RustdlError>())?;
+    m.add("ParseError", m.py().get_type::<ParseError>())?;
     m.add(
         "UnsupportedAxiomError",
-        m.py().get_type_bound::<UnsupportedAxiomError>(),
+        m.py().get_type::<UnsupportedAxiomError>(),
     )?;
     m.add(
         "UnknownClassError",
-        m.py().get_type_bound::<UnknownClassError>(),
+        m.py().get_type::<UnknownClassError>(),
     )?;
     Ok(())
 }

{rustdl-0.2.1 → rustdl-0.2.2}/crates/owl-dl-reasoner/src/abox_check.rs

@@ -34,7 +34,14 @@ pub(crate) enum AboxVerdict {
 /// The specific clash the check detected. Surfaced in `RUSTDL_TRACE`
 /// output and intended for a future `consistent --explain` extension
 /// (not part of this project's scope).
+///
+/// The per-variant fields are read only through the derived `Debug`
+/// impl (the `RUSTDL_TRACE=1` `abox_check: inconsistent — {reason:?}`
+/// line). Rust's dead-code analysis doesn't count `Debug`-only reads,
+/// so the fields would warn without this allow. They're load-bearing
+/// for the trace output and the planned `--explain` surface — keep them.
 #[derive(Debug, Clone)]
+#[allow(dead_code, reason = "fields read via Debug in RUSTDL_TRACE output + future --explain")]
 pub(crate) enum ClashReason {
     /// P1: `ClassAssertion(C, a)` with `Subsumers::is_unsatisfiable(C)`.
     AssertedBot { individual: IndividualId, class: ClassId },