feat(language): an open bound is null and an infinite bound is refused, the way mathspec 0.0.0-alpha.127 does

[FBumann]

Prompt: update specsolve to the latest mathspec release. It also renamed everything to "mathspec", not "math-spec"

Note

The following content was generated by AI.

The pin moves from math-spec v0.0.0-alpha.122 to mathspec v0.0.0-alpha.127. Every import, URL and mention says mathspec. A variable bound's open side is now null. Both engines read it as ±∞. An infinite bound is refused.

Breaking: a spec that writes upper: .inf (or lower: -.inf) no longer loads. Write null or leave the side out. mathspec's refusal gives this rewrite.

What changed, gates, and what was not run

Rename (energy-models/mathspec#702):

• math_spec becomes mathspec and math-spec becomes mathspec in src/, tests/, docs/, examples/, differential/, bench/, .github/, mkdocs.yml and pyproject.toml. This includes the pypsa-parity checkout of energy-models/mathspec and its grep for the pin.
• Kept unchanged: math-spec.readthedocs.io, because mathspec kept that Read the Docs slug. All 48 distinct docs URLs still resolve against mathspec's docs/ at the tag. CHANGELOG.md, because it holds released entries (mathspec did the same). bench/reproduce.py.lock, because it freezes an old environment at math-spec alpha.85.
• uv.lock comes from uv lock --upgrade-package mathspec.

Open bounds (energy-models/mathspec#689, released in alpha.124):

• VariableDeclaration.lower/upper are None on an open side. Before, they held Constant(±inf).
  • relational/engines/polars/compiler.py: bounds reads None as lit(∓inf).
  • linopy/builder.py: _bound reads None as ∓inf. _check_bounds_are_defined skips an open side.
• Tests: two fixtures dropped upper: .inf. test_json_carries_a_model_too now asserts bounds.lower is None. test_infinite_bounds_survive_the_handoff builds its open side as upper=None and no longer as Constant(inf), which mathspec no longer produces. It now fails when the polars engine reads an open upper side as 1e9.
• Not simplified, on purpose: the sinks keep their infinity handling. A bound parameter's data can still hold inf. A null lb/ub already means a bound parameter has no value there. So the open side becomes ±∞ where each engine reads the bound, and nothing downstream changes.

Other upstream changes that reached tests:

• fix(language): an unknown operator's refusal points at the limits page instead of an escape key that does not exist energy-models/mathspec#676: the unknown-operator message now points at limits.md and no longer at "a declared escape". test_an_unknown_operator_names_its_context_and_teaches_the_rewrite now asserts macro in place of escape.
• examples/walkthrough.out is regenerated with --update-golden. It changes the module name and that message.

Gates. pixi's installer is blocked here (403), so these ran in a uv venv with Python 3.12, the linopy,gurobi,xpress extras and the dev group:

• ruff check .: clean. ruff format --check .: 327 files already formatted.
• pyrefly check, both configurations: 0 errors.
• pytest -q -n 8: 4033 passed, 319 skipped, 1 xfailed. origin/main on alpha.122 gives the same counts.
• pytest bench/test_harness.py: 149 passed, 6 skipped. It ran with --i-know-another-is-running, because the load average was still falling after the suite and nothing else was running. These tests check objectives, not timings.
• zensical build --strict: no issues. pytest tests/test_docs_math.py: 69 passed.

Not run: test-floors, and the PyPSA parity gate (differential/pypsa/parity.py). This diff changes only a docstring in the parity script. The parity gate still reads the new corpus.

🤖 Generated with Claude Code

https://claude.ai/code/session_01XdbYXKrogqppf3cPD932Dh

[read-the-docs-community]

Documentation build overview

📚 lpspec | 🛠️ Build #34755238 | 📁 Comparing da43e02 against latest (6fd6513)

  🔍 Preview build  

14 files changed · ± 14 modified

± Modified

• index.html
• interactive/index.html
• lifecycle/index.html
• about/architecture/index.html
• examples/pypsa_ladder/index.html
• examples/walkthrough/index.html
• reference/api/index.html
• reference/glossary/index.html
• examples/pypsa_ladder/rung_11_ac_dc_meshed/index.html
• examples/pypsa_ladder/rung_12_linearized_uc/index.html
• and 4 more...

[read-the-docs-community]

Documentation build overview

📚 specsolve | 🛠️ Build #34755239 | 📁 Comparing da43e02 against latest (6fd6513)

  🔍 Preview build  

14 files changed · ± 14 modified

± Modified

• index.html
• interactive/index.html
• lifecycle/index.html
• about/architecture/index.html
• examples/pypsa_ladder/index.html
• examples/walkthrough/index.html
• reference/api/index.html
• reference/glossary/index.html
• examples/pypsa_ladder/rung_11_ac_dc_meshed/index.html
• examples/pypsa_ladder/rung_12_linearized_uc/index.html
• and 4 more...

[codspeed]

Merging this PR will not alter performance

✅ 24 untouched benchmarks
⏩ 82 skipped benchmarks¹

---

_{Comparing claude/elegant-albattani-nxcxiz (da43e02) with main (8c783ca)²}

Footnotes

1. 82 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩

2. No successful run was found on main (6fd6513) during the generation of this report, so 8c783ca was used instead as the comparison base. There might be some changes unrelated to this pull request in this report. ↩