Update CLAUDE.md with Opus 4.6

Author: atraplet

CLAUDE.md

@@ -4,19 +4,19 @@ This file provides guidance to Claude Code (claude.ai/code) when working with co
 
 ## Project Overview
 
-clarabel4j is a Java wrapper around the native [Clarabel](https://clarabel.org) mathematical programming solver, using Java's Foreign Function and Memory (FFM) API. It requires JDK 25+.
+clarabel4j is a Java library providing bindings to the [Clarabel](https://clarabel.org) convex optimization solver via Java's Foreign Function and Memory (FFM) API. Requires JDK 25+.
 
 ## Build Commands
 
 ```bash
-# Build and run all tests
+# Build and test
 mvn clean verify
 
-# Build with code coverage (excludes bindings package)
-mvn clean verify -P coverage
+# Build with coverage
+mvn -B clean verify -P coverage
 
-# Build without tests
-mvn clean verify -DskipTests
+# Run all tests
+mvn test
 
 # Run a single test class
 mvn test -Dtest=ModelTest
@@ -25,41 +25,41 @@ mvn test -Dtest=ModelTest
 mvn test -Dtest=ModelTest#solveLinearProgramReturnsExpectedSolution
 ```
 
-There is no separate lint command. The project uses Lombok for annotation processing (configured in `lombok.config`).
-
 ## Architecture
 
-### Layered Design
+**Problem formulation:** minimize `1/2 x'Px + q'x` subject to `Ax + s = b, s in K` (cone constraints).
 
-```
-High-Level API (Model, Parameters, Cone, Matrix, Status, Output)
-        ↓
-FFM Bindings (com.ustermetrics.clarabel4j.bindings — auto-generated via jextract)
-        ↓
-Native Clarabel C Library (clarabel_c — loaded at runtime via NativeLoader)
-```
+### Core Classes (`com.ustermetrics.clarabel4j`)
 
-### Key Classes (all in `com.ustermetrics.clarabel4j`)
+- **Model** — Main entry point. Implements `AutoCloseable`; must be used with try-with-resources. Lifecycle stages: `NEW → SETUP → OPTIMIZED`. Manages native memory via FFM `Arena`.
+- **Parameters** — Record with builder pattern (`Parameters.builder()...build()`). 39 solver configuration fields with validation in the canonical constructor.
+- **Matrix** — Record for Compressed Sparse Column (CSC) sparse matrices. Fields: `m`, `n`, `colPtr`, `rowVal`, `nzVal`.
+- **Cone** — Sealed abstract class with permits: `ZeroCone`, `NonnegativeCone`, `SecondOrderCone`, `ExponentialCone`, `PowerCone`, `GenPowerCone`.
+- **Output** — Sealed interface with implementations: `StdOutOutput`, `StringOutput`, `FileOutput`.
+- **Status** — Enum of solver result statuses (SOLVED, PRIMAL_INFEASIBLE, etc.).
+- **DirectSolveMethod** — Enum (AUTO, QDLDL, FAER, PARDISO_MKL).
 
-- **Model** — Main orchestrator. Implements `AutoCloseable`. Has three lifecycle stages: `NEW → SETUP → OPTIMIZED`. Manages native memory via `Arena` (confined by default, or caller-provided). Methods: `setParameters()`, `setup()`, `optimize()`, `x()/z()/s()` etc. for results.
-- **Parameters** — Lombok `@Builder` record with ~35 nullable solver settings. Only non-null values override Clarabel defaults.
-- **Matrix** — Record for CSC (Compressed Sparse Column) format sparse matrices. Validates column pointer monotonicity and row index ordering.
-- **Cone** — Abstract sealed class. Subtypes: `ZeroCone`, `NonnegativeCone`, `SecondOrderCone`, `ExponentialCone`, `PowerCone`, `GenPowerCone`. Each has a `getTag()` (native enum value) and `getDimension()`.
-- **Status** — Enum mapping native solver status codes (SOLVED, PRIMAL_INFEASIBLE, etc.).
-- **Output** — Sealed interface with `StdOutOutput`, `StringOutput`, `FileOutput` implementations.
+### Bindings (`com.ustermetrics.clarabel4j.bindings`)
 
-### Bindings Package
+Auto-generated by `jextract` from native C headers. Do not edit manually. Regenerate with `./bindings/generate.sh`. The `bindings/` package is excluded from code coverage.
 
-The `bindings/` directory contains `generate.sh` which uses [jextract](https://jdk.java.net/jextract/) to generate FFM bindings from Clarabel C headers. After generation, `NativeLoader.loadLibrary("clarabel_c")` must be manually added to `Clarabel_h`'s static initializer, and platform-specific binding code must be removed. The bindings are checked into source control and should not be manually edited.
+## Key Patterns
 
-### Native Library
+- **Lombok** — Uses `@Builder`, `@Getter`, `@NonNull`, `val` throughout. Processed via annotation processor configured in pom.xml.
+- **JPMS** — Module `com.ustermetrics.clarabel4j` defined in `src/main/java/module-info.java`.
+- **Guava Preconditions** — `checkArgument`/`checkState` for validation.
+- **Native access** — Tests require JVM flags `--enable-native-access=com.ustermetrics.clarabel4j --enable-native-access=org.scijava.nativelib` (configured in maven-surefire-plugin).
+- **Platform-specific native libs** — Loaded via `native-lib-loader` from `clarabel4j-native` with classifiers `linux_64`, `windows_64`, `osx_arm64`. Maven profiles auto-select based on OS.
 
-The native library (`clarabel4j-native`) is a test-scoped dependency with platform-specific classifiers (`linux_64`, `windows_64`, `osx_arm64`) activated via Maven OS profiles.
+## Release Process
 
-### Conventions
+```bash
+export VERSION=X.Y.Z
+git checkout --detach HEAD
+sed -i -E "s/<version>[0-9]+\-SNAPSHOT<\/version>/<version>$VERSION<\/version>/g" pom.xml
+git commit -m "v$VERSION" pom.xml
+git tag v$VERSION
+git push origin v$VERSION
+```
 
-- Guava `Preconditions` for input validation (`checkArgument`, `checkState`)
-- Lombok `@NonNull`, `@Getter`, `@Builder`, `val` throughout
-- Java sealed types for Cone and Output hierarchies
-- Java records for immutable data (Matrix, Parameters)
-- Tests verify against known Clarabel C++ example results with 1e-8 tolerance
+Triggers Maven Central publication via GitHub Actions.