The licence
The engine is open source. The honesty line first: the key protects the commercial relationship, not the code. Under AGPL anyone may remove the key check and recompile - the licence and the run records are the contract, and that is exactly how we want it.
What is free, forever
- The engine - the byte-exact gate, the three compute tiers, the C ABI, the MCP server, and the judge harness: AGPL-3.0-or-later. Use it, modify it, run it; if you offer a modified version over a network, share it.
- The parsers - the copybook parser and the DB2 importer: Apache-2.0. Embed them freely.
- The sample migration - Apache-2.0, with the gate wired into its CI.
- The evidence - every run record behind every published number.
Clone it at github.com/provecta. Give your agents the rule pack and they know the invariants before they draft a line.
What is paid, and why
Commercial licence
USD 4,900/year per production team
For estates that cannot accept AGPL, or that embed the engine in closed products: the same engine under a commercial licence, with support. Covers the organisation's own workloads and its client engagements, at any scale and any number of installations, including client estates - every run names the licensee, and the signed expiry ends access unless renewed.
Managed run
Subscription
Hosted execution, the dashboards, the tamper-flagged audit trail, scale tiers, SLAs, and certifications. The run, not the bytes.
Migration service
Order form
The proof trial, migration waves, and estate programs, delivered by us on the same open engine.
How buying works - and why it is fast
Buy the licence on this page with a card (Apple Pay and Google Pay work). Stripe handles payment and receipts. The moment payment clears, our server signs your key, stores it in your portal, and emails it to you. Then one command:
provecta-core licence set <key>Renewal is automatic: the subscription renews, and the next year's key is issued before the signed expiry passes. Cancellation is a click in Stripe's portal. No PDFs, no phone calls, no waiting.
The key, honestly described
The key is an Ed25519-signed token carrying your organisation and its expiry. The binary verifies it locally against a published public key. No network, no telemetry, no activation server - the engine runs air-gapped, and the licence check is a pure function of the key, the row count, and the clock. The check can be patched by a determined reverser, as with every offline licence; what cannot be faked is the run record, which names the licensee on every keyed run.
The engine is free. The run is how we get paid.