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.

Licence validation is performed locally by the engine. Natural-language input requires a user-supplied OpenAI-compatible API key and an active internet connection. Once an invariant execution surface is selected, all validation and deterministic execution occur locally.

Available licences

Mathematics Core

Individual / non-commercial use

£12 / month

Execution surface: Mathematics Core

£120 / year

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.

Buy £12 / month Buy £120 / year

Mathematics Core — Professional

Commercial & organisational use

£400 / year

Execution surface: Mathematics Core

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

Pricing published when execution surfaces are declared

Execution surface: Domain-specific (not yet declared)

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.