Licensing & Pricing
Explicit, domain-scoped execution licences for invariant‑enforced computation.
Licensing model
ULM‑PD Engine is licensed through explicit execution licences. A licence grants the right to execute only the invariant packs and domain surfaces that are explicitly declared within the licence payload on a time-limited execution basis.
The engine does not infer, extend, or assume access beyond what is declared. If a domain or capability is not licensed, it is structurally unavailable at execution time.
Licences are evaluated locally by the engine. No continuous network connection is required for execution.
Available licences
Mathematics Core
Individual / non‑commercial use
- Declared Mathematics Core domains
- Deterministic symbolic execution
- Invariant‑governed evaluation only
- Updates released during the active licence period
Intended for individual, educational, and non‑commercial use.
Mathematics Core — Professional
Commercial & organisational use
- Declared Mathematics Core domains
- Commercial and organisational execution rights
- Invariant enforcement identical to non‑commercial licences
- Updates released during the active licence period
Required for revenue‑generating, organisational, or internal commercial use.
Engineering Domain Packs
Licensed per domain
- Domain‑specific invariant surfaces
- Constraint‑governed execution only
- Explicit refusal on invalid or under‑specified inputs
Engineering packs are released only when their execution surfaces and invariants are fully specified.
Bundled access
- Individual / Researcher: Mathematics Core, with optional access to a single additional domain pack when available
- Professional: Mathematics Core plus multiple licensed domain packs
- Institutional / OEM: Per‑deployment licensing; scope defined explicitly per agreement
Updates
While a licence is active, updates released for licensed domains and packs are available for download. All changes are versioned and documented in What’s New.
What licensing does not do
Licensing does not modify execution behaviour, adjust results, or relax invariant enforcement. A licence only controls which execution surfaces are addressable by the engine.