feat: v1 semantic convention#717

Draft

FBumann wants to merge 39 commits into

feat/arithmetic-convention

Commits on May 21, 2026

Commits on May 22, 2026

feat: add semantics option and convention test harness

FBumann
and
claude
committed

Commits on May 23, 2026

feat: v1 §5 and §8 on expression-OP-constant path

FBumann
and
claude
committed
feat: v1 §8 on the expr+expr / var+var merge path

FBumann
and
claude
committed
feat: v1 §6 absence propagation through every operator

FBumann
and
claude
committed
feat: Variable.reindex / .reindex_like (§4 absence creation)

FBumann
and
claude
committed
fix: enforce v1 dead-term invariant in merge

FBumann
and
claude
committed
feat: v1 §10 named-method join + §12 constraint RHS

FBumann
and
claude
committed
feat: make piecewise and SOS2 reformulation v1-aware

FBumann
and
claude
committed
test: pin v1 §13 reductions skip absent

FBumann
and
claude
committed
feat: v1 §11 raises on auxiliary-coordinate conflicts

FBumann
and
claude
committed
test: pin aux-coord propagation guarantees (§11)

FBumann
and
claude
committed
test: pin v1 dead-term invariant, == constraints, §11 ops, end-to-end solve

FBumann
and
claude
committed
refactor: extract v1 semantics helpers into linopy/semantics.py

FBumann
and
claude
committed
test: parameterize the three operator-uniform v1 test groups

FBumann
and
claude
committed
refactor: split _add_constant / _apply_constant_op for clean 1.0 removal

FBumann
and
claude
committed
fix(ci): defer linopy import in conftest + add missing type annotations

FBumann
and
claude
committed
feat: self-describing v1 error messages

FBumann
and
claude
committed
test: round out v1 coverage gaps + fix Variable.unstack absence sentinel

FBumann
and
claude
committed
test: pin upstream catches for objective and constraint-LHS NaN

FBumann
and
claude
committed

Commits on May 24, 2026