solverforge 0.6.1__tar.gz → 0.6.3__tar.gz

{solverforge-0.6.1 → solverforge-0.6.3}/Cargo.lock

@@ -29,12 +29,6 @@ version = "2.13.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "b4388bee8683e3d04af747c73422af53102d2bd24d9eadb6cbc100baef4b43f8"
 
-[[package]]
-name = "bytes"
-version = "1.12.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "8ae3f5d315924270530207e2a68396c3cc547f6dca3fbdca317cfb1a51edb593"
-
 [[package]]
 name = "cfg-if"
 version = "1.0.4"
@@ -104,16 +98,6 @@ version = "1.0.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f"
 
-[[package]]
-name = "errno"
-version = "0.3.14"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "39cab71617ae0d63f51a36d69f866391735b51691dbda63cf6f96d042b63efeb"
-dependencies = [
- "libc",
- "windows-sys",
-]
-
 [[package]]
 name = "getrandom"
 version = "0.4.3"
@@ -233,17 +217,6 @@ dependencies = [
  "autocfg",
 ]
 
-[[package]]
-name = "mio"
-version = "1.2.1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "02bd0af71c67b473010cbbc60715ee815645a4dc942899111f494b4b737d6fda"
-dependencies = [
- "libc",
- "wasi",
- "windows-sys",
-]
-
 [[package]]
 name = "nu-ansi-term"
 version = "0.50.3"
@@ -579,37 +552,17 @@ dependencies = [
  "lazy_static",
 ]
 
-[[package]]
-name = "signal-hook-registry"
-version = "1.4.8"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c4db69cba1110affc0e9f7bcd48bbf87b3f4fc7c61fc9155afd4c469eb3d6c1b"
-dependencies = [
- "errno",
- "libc",
-]
-
 [[package]]
 name = "smallvec"
 version = "1.15.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "8ed6a63f02c8539c91a8685a86f4099661ba3da017932f6ebbea6de3f0fa7c90"
 
-[[package]]
-name = "socket2"
-version = "0.6.4"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "52d1cfed4120b4d927bf7c0f86d2087a4a7d6027c906d9f9d525a80573b9be51"
-dependencies = [
- "libc",
- "windows-sys",
-]
-
 [[package]]
 name = "solverforge-bridge"
-version = "0.18.0"
+version = "0.19.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "a9c592f73f90c14ca2af38b80ba6371ff4d41b6aaebafe341086225161836353"
+checksum = "6bc1bbd14aa7b23a845359b408747b6b783ed31529f1b2cfa12512d425e305f5"
 dependencies = [
  "solverforge-config",
  "solverforge-core",
@@ -619,9 +572,9 @@ dependencies = [
 
 [[package]]
 name = "solverforge-config"
-version = "0.18.0"
+version = "0.19.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "0cb6e55b036aaff944d1c772ca6e51524c1dfe8dfa704342c2319b47665b8834"
+checksum = "3251fc0471e05f2c05f9148f648618aa8d021fa4dff9af626ac7f05843f114f8"
 dependencies = [
  "serde",
  "serde_yaml",
@@ -632,9 +585,9 @@ dependencies = [
 
 [[package]]
 name = "solverforge-console"
-version = "0.18.0"
+version = "0.19.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e100997cd6d2fbafc8eb8e1d84bf60149a1386b89e8562a81d9408085a00520c"
+checksum = "42794d46f6685a00e9387a67b0037d49321f7e34796cd5a97b8fd99a72e20377"
 dependencies = [
  "num-format",
  "owo-colors",
@@ -644,18 +597,18 @@ dependencies = [
 
 [[package]]
 name = "solverforge-core"
-version = "0.18.0"
+version = "0.19.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "d922c9a0ee10e0ba68c7c9b98e38d07399820358dc0d10d238a9e6641ef45d27"
+checksum = "32858c2be2505640f60a0bcee902a29e7b9dd136aec49928601ca8764920cb79"
 dependencies = [
  "thiserror",
 ]
 
 [[package]]
 name = "solverforge-scoring"
-version = "0.18.0"
+version = "0.19.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "40a4b4eb8031ba04556106ae1bb13533c4f50ab206b3c5844c4e0284e42bd4f2"
+checksum = "50bd20153f578099fe768873f8d5c07f8e4a56e79bb3da4611776ca5f65941e4"
 dependencies = [
  "solverforge-core",
  "thiserror",
@@ -663,9 +616,9 @@ dependencies = [
 
 [[package]]
 name = "solverforge-solver"
-version = "0.18.0"
+version = "0.19.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "7a5b5a898495984107de03cdc9c151c39ec9b4d70cfa509950cbe58c263953a4"
+checksum = "ae2870ba2c94f03150870d84224fc009936071f9e9313161979473735e059988"
 dependencies = [
  "rand",
  "rand_chacha",
@@ -691,7 +644,7 @@ dependencies = [
 
 [[package]]
 name = "solverforge_py"
-version = "0.6.1"
+version = "0.6.3"
 dependencies = [
  "indexmap",
  "once_cell",
@@ -767,26 +720,7 @@ version = "1.52.3"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "8fc7f01b389ac15039e4dc9531aa973a135d7a4135281b12d7c1bc79fd57fffe"
 dependencies = [
- "bytes",
- "libc",
- "mio",
- "parking_lot",
  "pin-project-lite",
- "signal-hook-registry",
- "socket2",
- "tokio-macros",
- "windows-sys",
-]
-
-[[package]]
-name = "tokio-macros"
-version = "2.7.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "385a6cb71ab9ab790c5fe8d67f1645e6c450a7ce006a33de03daa956cf70a496"
-dependencies = [
- "proc-macro2",
- "quote",
- "syn",
 ]
 
 [[package]]
@@ -937,12 +871,6 @@ version = "0.1.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "ba73ea9cf16a25df0c8caa16c51acb937d5712a8429db78a3ee29d5dcacd3a65"
 
-[[package]]
-name = "wasi"
-version = "0.11.1+wasi-snapshot-preview1"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ccf3ec651a847eb01de73ccad15eb7d99f80485de043efb2f370cd654f4ea44b"
-
 [[package]]
 name = "windows-link"
 version = "0.2.1"

{solverforge-0.6.1 → solverforge-0.6.3}/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "solverforge_py"
-version = "0.6.1"
+version = "0.6.3"
 edition = "2021"
 license = "Apache-2.0"
 rust-version = "1.95"
@@ -26,7 +26,7 @@ name = "solverforge_py"
 crate-type = ["cdylib", "rlib"]
 
 [package.metadata.solverforge]
-version = "0.18.0"
+version = "0.19.1"
 
 [dependencies]
 indexmap = "2.12.1"
@@ -42,12 +42,12 @@ toml = "0.9.8"
 tracing = "0.1.44"
 tracing-subscriber = { version = "0.3.23", features = ["env-filter"] }
 
-solverforge-config = { version = "=0.18.0" }
-solverforge-bridge = { version = "=0.18.0" }
-solverforge-console = { version = "=0.18.0", features = ["verbose-logging"] }
-solverforge-core = { version = "=0.18.0" }
-solverforge-scoring = { version = "=0.18.0" }
-solverforge-solver = { version = "=0.18.0" }
+solverforge-config = { version = "=0.19.1" }
+solverforge-bridge = { version = "=0.19.1" }
+solverforge-console = { version = "=0.19.1", features = ["verbose-logging"] }
+solverforge-core = { version = "=0.19.1" }
+solverforge-scoring = { version = "=0.19.1" }
+solverforge-solver = { version = "=0.19.1" }
 solverforge-ui = { version = "=0.7.0", default-features = false }
 
 [dev-dependencies]

{solverforge-0.6.1 → solverforge-0.6.3}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: solverforge
-Version: 0.6.1
+Version: 0.6.3
 Classifier: Development Status :: 3 - Alpha
 Classifier: Intended Audience :: Developers
 Classifier: Intended Audience :: Science/Research
@@ -39,10 +39,10 @@ The native extension owns the working solution state in Rust so SolverForge can
 clone, mutate, and snapshot solutions safely. Python callbacks are the single
 constraint authoring surface.
 
-The package targets CPython 3.14 and Rust 1.95.0. This checkout consumes the
-published SolverForge Rust crates `0.18.0` and pins `solverforge-ui` to `0.7.0`
-through exact crates.io versions in `Cargo.toml` and registry checksums in
-`Cargo.lock`; it has no local path or Git dependency override. The `solverforge`
+The package targets CPython 3.14 and Rust 1.95.0. This checkout targets the
+SolverForge Rust crates `0.19.1` and pins `solverforge-ui` to `0.7.0` through
+exact crates.io versions in `Cargo.toml` and registry checksums in `Cargo.lock`.
+There is no local path or Git dependency override. The `solverforge`
 `0.6.x` line is the current dynamic binding architecture and intentionally
 supersedes the older incompatible `0.2.x` and `0.3.0` artifacts in the same PyPI
 namespace. Those older artifacts exposed `SolverFactory`, `PlanningVariable`,
@@ -50,11 +50,12 @@ Java service requirements, and other APIs that are not part of this package.
 
 ## Installation
 
-Install the `solverforge` `0.6.1` release, built on the exact published and
-locked SolverForge Rust `0.18.0` registry dependency base:
+The package version prepared by this checkout is `solverforge` `0.6.3`, targeting
+the published and locked SolverForge Rust `0.19.1` registry dependency base.
+Install the matching package after its Python release with:
 
 ```sh
-python3.14 -m pip install "solverforge==0.6.1"
+python3.14 -m pip install "solverforge==0.6.3"
 ```
 
 The installable wheel contains the core `solverforge` package, native extension,
@@ -73,13 +74,13 @@ make hospital-run
 make deliveries-run PORT=7861
 ```
 
-The same source-checkout examples can be run against the installed package
-without `PYTHONPATH` or an editable checkout:
+After publication, the same source-checkout examples can be run against the
+installed package without `PYTHONPATH` or an editable checkout:
 
 ```sh
 python3.14 -m venv .venv-examples
 . .venv-examples/bin/activate
-python -m pip install "solverforge[examples]==0.6.1"
+python -m pip install "solverforge[examples]==0.6.3"
 python examples/nqueens.py
 python -m examples.solverforge_hospital
 python -m examples.solverforge_deliveries
@@ -186,9 +187,13 @@ Run `make help` for focused targets such as `make test-hospital`,
   `list_cheapest_insertion`, `list_regret_insertion`, `list_clarke_wright`, and
   `list_k_opt`, with the final two requiring their respective savings and route
   metadata bundles. These are core graph nodes over the immutable runtime
-  model. An explicit `group_name` phase obeys its configured obligation and
-  termination; required-only completion belongs solely to upstream omitted
-  defaults. Default local search is assembled only when the top-level
+  model. All configured limits remain binding during construction. A solve
+  publishes a best or completed solution only after every list element,
+  required assignment row, and non-optional scalar variable is assigned; if a
+  limit is reached first, a direct solve raises and a retained job enters
+  `FAILED` without exposing a partial snapshot. Omitted construction still
+  resolves required and optional stages in core, but required work never
+  bypasses a configured limit. Default local search is assembled only when the top-level
   termination has an effective finite limit, so an empty or invalid termination
   cannot accidentally create an unbounded solve. There is no wrapper assignment
   placer, required stream, phase tree, TLS slot state, synthetic metric, or
@@ -196,6 +201,8 @@ Run `make help` for focused targets such as `make test-hospital`,
 - `SolverManager` is backed by upstream retained jobs, statuses, events, and
   snapshots. `SolverManager.solve(...)` returns `JobHandle(job_id=...)`; the
   manager supports pause, resume, cancel, delete, and exact snapshot reads.
+  A pause before mandatory construction completes remains resumable internal
+  state and does not expose an incomplete solution snapshot.
   Retained event payloads read current score from the attached solution snapshot
   when present. Long-running phases publish progress at the shared upstream
   cadence, and telemetry includes the current phase type, index, counters, and

{solverforge-0.6.1 → solverforge-0.6.3}/README.md

@@ -8,10 +8,10 @@ The native extension owns the working solution state in Rust so SolverForge can
 clone, mutate, and snapshot solutions safely. Python callbacks are the single
 constraint authoring surface.
 
-The package targets CPython 3.14 and Rust 1.95.0. This checkout consumes the
-published SolverForge Rust crates `0.18.0` and pins `solverforge-ui` to `0.7.0`
-through exact crates.io versions in `Cargo.toml` and registry checksums in
-`Cargo.lock`; it has no local path or Git dependency override. The `solverforge`
+The package targets CPython 3.14 and Rust 1.95.0. This checkout targets the
+SolverForge Rust crates `0.19.1` and pins `solverforge-ui` to `0.7.0` through
+exact crates.io versions in `Cargo.toml` and registry checksums in `Cargo.lock`.
+There is no local path or Git dependency override. The `solverforge`
 `0.6.x` line is the current dynamic binding architecture and intentionally
 supersedes the older incompatible `0.2.x` and `0.3.0` artifacts in the same PyPI
 namespace. Those older artifacts exposed `SolverFactory`, `PlanningVariable`,
@@ -19,11 +19,12 @@ Java service requirements, and other APIs that are not part of this package.
 
 ## Installation
 
-Install the `solverforge` `0.6.1` release, built on the exact published and
-locked SolverForge Rust `0.18.0` registry dependency base:
+The package version prepared by this checkout is `solverforge` `0.6.3`, targeting
+the published and locked SolverForge Rust `0.19.1` registry dependency base.
+Install the matching package after its Python release with:
 
 ```sh
-python3.14 -m pip install "solverforge==0.6.1"
+python3.14 -m pip install "solverforge==0.6.3"
 ```
 
 The installable wheel contains the core `solverforge` package, native extension,
@@ -42,13 +43,13 @@ make hospital-run
 make deliveries-run PORT=7861
 ```
 
-The same source-checkout examples can be run against the installed package
-without `PYTHONPATH` or an editable checkout:
+After publication, the same source-checkout examples can be run against the
+installed package without `PYTHONPATH` or an editable checkout:
 
 ```sh
 python3.14 -m venv .venv-examples
 . .venv-examples/bin/activate
-python -m pip install "solverforge[examples]==0.6.1"
+python -m pip install "solverforge[examples]==0.6.3"
 python examples/nqueens.py
 python -m examples.solverforge_hospital
 python -m examples.solverforge_deliveries
@@ -155,9 +156,13 @@ Run `make help` for focused targets such as `make test-hospital`,
   `list_cheapest_insertion`, `list_regret_insertion`, `list_clarke_wright`, and
   `list_k_opt`, with the final two requiring their respective savings and route
   metadata bundles. These are core graph nodes over the immutable runtime
-  model. An explicit `group_name` phase obeys its configured obligation and
-  termination; required-only completion belongs solely to upstream omitted
-  defaults. Default local search is assembled only when the top-level
+  model. All configured limits remain binding during construction. A solve
+  publishes a best or completed solution only after every list element,
+  required assignment row, and non-optional scalar variable is assigned; if a
+  limit is reached first, a direct solve raises and a retained job enters
+  `FAILED` without exposing a partial snapshot. Omitted construction still
+  resolves required and optional stages in core, but required work never
+  bypasses a configured limit. Default local search is assembled only when the top-level
   termination has an effective finite limit, so an empty or invalid termination
   cannot accidentally create an unbounded solve. There is no wrapper assignment
   placer, required stream, phase tree, TLS slot state, synthetic metric, or
@@ -165,6 +170,8 @@ Run `make help` for focused targets such as `make test-hospital`,
 - `SolverManager` is backed by upstream retained jobs, statuses, events, and
   snapshots. `SolverManager.solve(...)` returns `JobHandle(job_id=...)`; the
   manager supports pause, resume, cancel, delete, and exact snapshot reads.
+  A pause before mandatory construction completes remains resumable internal
+  state and does not expose an incomplete solution snapshot.
   Retained event payloads read current score from the attached solution snapshot
   when present. Long-running phases publish progress at the shared upstream
   cadence, and telemetry includes the current phase type, index, counters, and

{solverforge-0.6.1 → solverforge-0.6.3}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "maturin"
 
 [project]
 name = "solverforge"
-version = "0.6.1"
+version = "0.6.3"
 description = "Dynamic Python bindings for the SolverForge constraint solver."
 readme = "README.md"
 license = { text = "Apache-2.0" }

{solverforge-0.6.1 → solverforge-0.6.3}/python/solverforge/__init__.py

@@ -40,7 +40,7 @@ from .manager import JobHandle, SolverManager
 from .score import HardMediumSoftScore, HardSoftDecimalScore, HardSoftScore, SoftScore
 from .solver import Solver
 
-__version__ = "0.6.1"
+__version__ = "0.6.3"
 
 __all__ = [
     "CallbackError",