What exactly is metered?
The specs you keep under management and the environments you prove them in. Running the toolchain — generate, verify, run — is never metered, and neither is reading the ledger, opening a violation, verifying a digest, or pulling a badge. Evidence records are unlimited inside your retention window.
What happens when I reach my plan's limit?
Your plan covers a set number of specs and environments — 25 × 2 on Free, 100 × 4 on Pro, 500 × 8 on Team — counted across your whole account. On Pro and Team you can raise those limits for 30 days by buying capacity credits — $12.50 for 25 specs, $10 for an environment — a one-time purchase that lapses when the month is up, so a push never waits on a plan decision. Everything already under management keeps verifying, and no evidence record is ever discarded early because of a plan boundary.
Is the toolchain really free?
Yes, MIT, no account. The compiler, the runtime, the CLI, and the adapters all run locally and in your CI forever. The paid layer is the hosted ledger: versioned specs under management with attested history per environment.
How does annual billing work?
Annual plans are billed once up front at ten months' price for twelve months of service — the two free months are the discount. Team annual is billed per seat, for 1 to 50 seats; above that, Enterprise. Switching to annual mid-month credits the unused remainder.
Can I change plans later?
Any time, in-app. Upgrades take effect immediately and prorate; downgrades apply at the end of the current period so you never lose history you've already paid to retain. Your evidence chain is never rewritten by a plan change — records age out of the retention window, they are never edited.
Does my code leave my pipeline?
No. The toolchain runs in your CI and pushes only an evidence bundle: digests, prediction/capture summaries, toolchain versions, and an attestation signature. Source, secrets, and payload contents stay where they are.