solverforge 0.5.0__tar.gz → 0.6.0__tar.gz

{solverforge-0.5.0 → solverforge-0.6.0}/.github/workflows/release.yml

@@ -14,10 +14,18 @@ env:
   RUST_VERSION: "1.95.0"
 
 jobs:
+  forgejo-release-guard:
+    name: Forgejo release guard
+    if: github.server_url != 'https://github.com'
+    runs-on: rust
+    steps:
+      - name: Skip publish-only release workflow
+        run: echo "Release publishing runs only on GitHub; Forgejo tag CI is intentionally a no-op."
+
   sdist:
     name: source distribution
     if: github.server_url == 'https://github.com'
-    runs-on: ubuntu-latest
+    runs-on: ${{ github.server_url == 'https://github.com' && 'ubuntu-latest' || 'rust' }}
     steps:
       - name: Checkout solverforge-py
         uses: actions/checkout@v6
@@ -48,7 +56,7 @@ jobs:
   wheels:
     name: wheel ${{ matrix.os }} ${{ matrix.target }}
     if: github.server_url == 'https://github.com'
-    runs-on: ${{ matrix.os }}
+    runs-on: ${{ github.server_url == 'https://github.com' && matrix.os || 'rust' }}
     strategy:
       fail-fast: false
       matrix:
@@ -95,7 +103,7 @@ jobs:
   verify:
     name: verify artifacts
     if: github.server_url == 'https://github.com'
-    runs-on: ubuntu-latest
+    runs-on: ${{ github.server_url == 'https://github.com' && 'ubuntu-latest' || 'rust' }}
     needs: [sdist, wheels]
     steps:
       - name: Checkout solverforge-py
@@ -132,15 +140,16 @@ jobs:
 
   publish-testpypi:
     name: publish to TestPyPI
-    runs-on: ubuntu-latest
+    runs-on: ${{ github.server_url == 'https://github.com' && 'ubuntu-latest' || 'rust' }}
     needs: verify
     if: >-
+      always() &&
+      needs.verify.result == 'success' &&
       github.server_url == 'https://github.com' &&
       github.event_name == 'workflow_dispatch'
     environment: testpypi
     permissions:
       contents: read
-      id-token: write
     steps:
       - name: Download verified distributions
         uses: actions/download-artifact@v8
@@ -152,12 +161,15 @@ jobs:
         uses: pypa/gh-action-pypi-publish@release/v1
         with:
           repository-url: https://test.pypi.org/legacy/
+          password: ${{ secrets.TEST_PYPI_API_TOKEN }}
 
   publish-pypi:
     name: publish to PyPI
-    runs-on: ubuntu-latest
+    runs-on: ${{ github.server_url == 'https://github.com' && 'ubuntu-latest' || 'rust' }}
     needs: verify
     if: >-
+      always() &&
+      needs.verify.result == 'success' &&
       github.server_url == 'https://github.com' &&
       github.event_name == 'push' &&
       startsWith(github.ref, 'refs/tags/v')

{solverforge-0.5.0 → solverforge-0.6.0}/AGENTS.md

@@ -73,6 +73,14 @@ bridge seams. This checkout consumes public upstream crates through exact
 registry pins in `Cargo.toml` and `Cargo.lock`; do not add private upstream
 module dependencies or local path overrides for release work.
 
+One compiled schema owns one immutable runtime plan: parsed schema, descriptor,
+upstream `RuntimeModel`, assignment bindings, constraints, and candidate metrics.
+Direct solves, retained jobs, snapshots, clones, and resumes must use that same
+plan; do not recreate wrapper-local phases, selector trees, move types, TLS slot
+state, or fallback construction paths. Schema caching is allowed only for
+structurally stable, capture-free callback state; stateful callbacks compile per
+invocation.
+
 Python callbacks are the only constraint authoring surface. Callback exceptions
 must preserve actionable Python tracebacks. Callback solution views must expose
 ordinary solution-level lookup context while projecting entity/fact collections
@@ -80,6 +88,28 @@ from Rust-owned state. Callback code may be called many times and from multiple
 worker threads on CPython 3.14 free-threaded, so treat solution-level lookup
 context as immutable during a solve.
 
+`@candidate_metric` callbacks are the Python surface for named sorted or
+probabilistic selector metrics. Register them through
+`@planning_solution(..., candidate_metrics=[...])`; they receive the callback
+solution view plus a canonical candidate identity and must return finite numeric
+values. `selection_metric` is valid only with `sorted` or `probabilistic`
+selection order, and probabilistic weights must be non-negative.
+
+Ordinary dynamic scalar construction supports `first_fit` and
+`cheapest_insertion`. Assignment-group construction also supports the decreasing,
+weakest-fit, and strongest-fit scalar variants when their declared `entity_order`
+and `value_order` capabilities satisfy the upstream compiler. Dynamic list
+construction supports round-robin, cheapest/regret insertion, Clarke-Wright, and
+K-opt; route-aware variants require their explicit savings or route metadata.
+
+Candidate traces are bounded, opt-in retained diagnostics. Keep them out of
+synchronous `Solver.solve`, ordinary statuses, and events; expose them only
+through the atomic `SolverManager.telemetry_detail` payload. Qualified traces
+require an explicit per-job `QualifiedCandidateTraceProvenance` with five
+lowercase SHA-256 digests and a non-blank external producer. Never infer those
+values from a solution, environment, callback, or file, and never accept
+qualified provenance through serializable `SolverConfig`.
+
 Do not fake unsupported behavior. Top-level `ConstraintFactory.join`,
 `group_by`, `if_exists`, `if_not_exists`, and `flattened` remain explicit
 unsupported methods until public bridge support exists for those top-level
@@ -92,16 +122,18 @@ claimed as Python-bindable without a public upstream seam.
 example dependencies, project URLs, classifiers, and maturin module settings.
 `Cargo.toml` owns native crate metadata and the SolverForge Rust dependency
 base; the package version must match `pyproject.toml`. `Cargo.lock` locks
-reproducible Rust builds. The `Makefile` owns local release targets,
+reproducible Rust builds. The current release line is package/crate `0.6.0` on
+the six SolverForge `0.18.0` registry crates and `solverforge-ui` `0.7.0`;
+`make release-base-check` must stay green. The `Makefile` owns local release targets,
 dependency-base checks, distribution builds, artifact validation, browser system
 dependency setup, and `pre-release`. `.github/workflows/ci.yml` validates source
 checkouts on GitHub and Forgejo, installs Playwright system dependencies on
 Linux, and retries network toolchain bootstraps for transient runner DNS misses.
 `.github/workflows/release.yml` builds sdists/wheels, verifies release
 artifacts, publishes to TestPyPI only from manual workflow dispatch, and
-publishes to PyPI only from a matching `v*.*.*` tag after the reviewed `pypi`
-environment approves the job. `scripts/verify_release_artifacts.py` checks
-deterministic artifact metadata/content, and
+publishes to PyPI automatically from a matching `v*.*.*` tag.
+`scripts/verify_release_artifacts.py` checks deterministic artifact
+metadata/content, and
 `tests/python/test_release_metadata.py` guards release metadata drift.
 
 ## Commit & Pull Request Guidelines

{solverforge-0.5.0 → solverforge-0.6.0}/CHANGELOG.md

@@ -2,6 +2,14 @@
 
 All notable changes to this project will be documented in this file. See [commit-and-tag-version](https://github.com/absolute-version/commit-and-tag-version) for commit guidelines.
 
+## [0.6.0](///compare/v0.5.0...v0.6.0) (2026-07-13)
+
+
+### Features
+
+* **manager:** retain qualified solve diagnostics c6445ec
+* **model:** declare explicit runtime metadata ad41f94
+
 ## [0.5.0](https://github.com/SolverForge/solverforge-py/compare/v0.4.1...v0.5.0) (2026-07-03)
 
 

{solverforge-0.5.0 → solverforge-0.6.0}/Cargo.lock

@@ -607,9 +607,9 @@ dependencies = [
 
 [[package]]
 name = "solverforge-bridge"
-version = "0.17.2"
+version = "0.18.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f1547aa9225350dcd821fa535f77c8048b13ceaf725e770f16ea3aa8e1eb4516"
+checksum = "a9c592f73f90c14ca2af38b80ba6371ff4d41b6aaebafe341086225161836353"
 dependencies = [
  "solverforge-config",
  "solverforge-core",
@@ -619,9 +619,9 @@ dependencies = [
 
 [[package]]
 name = "solverforge-config"
-version = "0.17.2"
+version = "0.18.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "8fc069e436715ac985d86e4e0ed2b0875ef2e8bf9f3db28d326d4861a4c4c1b3"
+checksum = "0cb6e55b036aaff944d1c772ca6e51524c1dfe8dfa704342c2319b47665b8834"
 dependencies = [
  "serde",
  "serde_yaml",
@@ -632,9 +632,9 @@ dependencies = [
 
 [[package]]
 name = "solverforge-console"
-version = "0.17.2"
+version = "0.18.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "17496619ea38be995def17793ad387d1fc4049a6f49a806d3b24a9accec074ee"
+checksum = "e100997cd6d2fbafc8eb8e1d84bf60149a1386b89e8562a81d9408085a00520c"
 dependencies = [
  "num-format",
  "owo-colors",
@@ -644,18 +644,18 @@ dependencies = [
 
 [[package]]
 name = "solverforge-core"
-version = "0.17.2"
+version = "0.18.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2fd99a8ef8afe51a1958fa886a38b46e2029298b738f5a10635caa80450d72d2"
+checksum = "d922c9a0ee10e0ba68c7c9b98e38d07399820358dc0d10d238a9e6641ef45d27"
 dependencies = [
  "thiserror",
 ]
 
 [[package]]
 name = "solverforge-scoring"
-version = "0.17.2"
+version = "0.18.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "09a3c8598734bee86f3d60b9994febae8d9062a0243ae638f63417a7344cc41d"
+checksum = "40a4b4eb8031ba04556106ae1bb13533c4f50ab206b3c5844c4e0284e42bd4f2"
 dependencies = [
  "solverforge-core",
  "thiserror",
@@ -663,9 +663,9 @@ dependencies = [
 
 [[package]]
 name = "solverforge-solver"
-version = "0.17.2"
+version = "0.18.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "79b472d2acf63b5dc284bbfec4800cdd476908fe5e5c0f33141b30bf1c37d584"
+checksum = "7a5b5a898495984107de03cdc9c151c39ec9b4d70cfa509950cbe58c263953a4"
 dependencies = [
  "rand",
  "rand_chacha",
@@ -691,7 +691,7 @@ dependencies = [
 
 [[package]]
 name = "solverforge_py"
-version = "0.5.0"
+version = "0.6.0"
 dependencies = [
  "indexmap",
  "once_cell",

{solverforge-0.5.0 → solverforge-0.6.0}/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "solverforge_py"
-version = "0.5.0"
+version = "0.6.0"
 edition = "2021"
 license = "Apache-2.0"
 rust-version = "1.95"
@@ -15,7 +15,7 @@ name = "solverforge_py"
 crate-type = ["cdylib", "rlib"]
 
 [package.metadata.solverforge]
-version = "0.17.2"
+version = "0.18.0"
 
 [dependencies]
 indexmap = "2.12.1"
@@ -31,12 +31,12 @@ toml = "0.9.8"
 tracing = "0.1.44"
 tracing-subscriber = { version = "0.3.23", features = ["env-filter"] }
 
-solverforge-config = { version = "=0.17.2" }
-solverforge-bridge = { version = "=0.17.2" }
-solverforge-console = { version = "=0.17.2", features = ["verbose-logging"] }
-solverforge-core = { version = "=0.17.2" }
-solverforge-scoring = { version = "=0.17.2" }
-solverforge-solver = { version = "=0.17.2" }
+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-ui = { version = "=0.7.0", default-features = false }
 
 [dev-dependencies]

{solverforge-0.5.0 → solverforge-0.6.0}/Makefile

@@ -43,7 +43,7 @@ SOLVERFORGE_RELEASE_VERSION := $(shell $(HOST_PYTHON) scripts/verify_solverforge
 MYPY_PATHS := python/solverforge examples/solverforge_hospital examples/solverforge_deliveries
 PY_STYLE_PATHS := python tests examples scripts
 DOC_CHECK_PATHS := README.md AGENTS.md WIREFRAME.md examples/solverforge_hospital/README.md examples/solverforge_deliveries/README.md
-DOC_STALE_PATTERNS := move_count_limit|bounded scalar assignment fallback|currently contains scaffolding|owner-aware, nearby, swap, sublist, reverse, k-opt, and ruin selectors .*not yet|no committed history yet|/home/pvd/dev/solverforge|next release from this checkout|As of 2026-07-03|Install the published package and run
+DOC_STALE_PATTERNS := move_count_limit|bounded scalar assignment fallback|currently contains scaffolding|owner-aware, nearby, swap, sublist, reverse, k-opt, and ruin selectors .*not yet|no committed history yet|/home/pvd|/srv/lab/dev/solverforge|next release from this checkout|As of 2026-07-03|Install the published package and run|0\.17\.2|0\.18\.0.*not published|unpublished.*0\.18\.0|registry-backed builds remain intentionally blocked|release-base gate red|exact SolverForge.*registry dependencies are available|CVRP route callbacks|route callbacks for depot lookup|July 11, 2026|July 13, 2026|PyPI approval job|reviewed .*pypi.*environment|require manual approval|unreleased .*0\.6\.0|There is no .*v0\.6\.0 tag|PyPI latest .*0\.4\.0
 PY_DEPS_STAMP := $(VENV)/.solverforge-py-deps
 PLAYWRIGHT_BROWSERS_STAMP := $(VENV)/.solverforge-py-playwright-chromium
 PY_LIBDIR := $(shell $(HOST_PYTHON) -c 'import sysconfig; print(sysconfig.get_config_var("LIBDIR") or "")')
@@ -245,7 +245,18 @@ docs-check:
 	@test ! -d docs
 	@test -f examples/solverforge_hospital/README.md
 	@test -f examples/solverforge_deliveries/README.md
-	@! rg -n "$(DOC_STALE_PATTERNS)" $(DOC_CHECK_PATHS)
+	@! grep -En "$(DOC_STALE_PATTERNS)" $(DOC_CHECK_PATHS)
+	@grep -Eq '@candidate_metric' README.md
+	@grep -Eq 'QualifiedCandidateTraceProvenance' README.md
+	@grep -Eq '@candidate_metric' AGENTS.md
+	@grep -Eq 'QualifiedCandidateTraceProvenance' AGENTS.md
+	@grep -Eq '@candidate_metric' WIREFRAME.md
+	@grep -Eq 'QualifiedCandidateTraceProvenance' WIREFRAME.md
+	@grep -Eq 'list_round_robin' README.md WIREFRAME.md
+	@grep -Eq 'weakest_fit_decreasing' README.md WIREFRAME.md
+	@grep -Eq 'ui.asset_paths' README.md WIREFRAME.md
+	@grep -Eq 'assign_when_candidate_exists' examples/solverforge_hospital/README.md
+	@grep -Eq 'RowField' examples/solverforge_deliveries/README.md
 	@printf -- "$(GREEN)$(CHECK) Documentation surface looks current$(RESET)\n"
 
 release-base-check: