SolvSRK: Licensing
Release: Production (GA)
Overview
SolvSRK uses offline, machine-locked Ed25519 .lic files. There is no
phone-home — validation is entirely local. There is no eval wheel; every
download is a production build.
| Property | Value |
|---|---|
| License prefix | solvsrk-license-v3 |
| Signature | Ed25519 (RFC 8032) |
| Machine binding | 64-char hardware fingerprint in signed payload |
| Trial | 30-day trial available via Resonix portal |
Customer flow
- Install the release wheel from resonix.io/account (opens in a new tab) (
pip install path/to/solvsrk-*.whl) - Get machine code:
python -m solvsrk - Request trial at the Resonix portal — paste your machine code
- Download
solvsrk.licfrom your profile - Activate:
python -m solvsrk activate ~/solvsrk.lic - Verify:
python -m solvsrk status
pip install path/to/solvsrk-*.whl
python -m solvsrk
# Copy the 64-char machine code to the portal
python -m solvsrk activate ~/Downloads/solvsrk.lic
python -m solvsrk statusLicense file location
After activation, the license is installed to the platform-specific path
reported by python -m solvsrk status. Re-activation overwrites
the previous license on the same machine.
Renewal
Before expiry, request a renewed .lic from the portal with the same
machine code. Commercial seat and site licenses follow annual subscription
terms — contact Resonix sales for Enterprise and Embedded tiers.
Troubleshooting
| Symptom | Fix |
|---|---|
LicenseError / license failure on first API call | Run python -m solvsrk activate ... |
| "Signature invalid" | Re-download .lic — do not edit the file |
| "Machine mismatch" | License was issued for a different machine code |
| "Expired" | Request a new seat file from the portal |
Trial vs purchased SKUs
| Seat | Signed features | UQ (emit_uq) |
|---|---|---|
| 30-day trial | uq | Included |
| SolvSRK (purchased) | (omit) | Not included — buy SolvSRK-UQ |
| SolvSRK-UQ (purchased) | uq | Included |
| SolvSRK-Edge (purchased) | edge | Included |
Check solvsrk.license_has_uq() before enabling UQ. See SolvSRK-UQ licensing.
Filter primitive: SolvFilter. Deterministic substrate: SolvNum. UQ add-on: SolvSRK-UQ.