| # PAX-Coder Pricing & Provisioning | |
| **Last Updated:** 2026-08-18 | |
| **All prices in USD** | |
| --- | |
| ## Overview | |
| PAX-Coder is a commercial product. Production authorization requires contact, approval, and a commercial agreement. | |
| **All production access requires approval and commercial terms.** Contact for access request at [CONTACT.md](CONTACT.md). | |
| --- | |
| ## Tiers | |
| ### 1. Individual / Node Key — Production Authorization Credential | |
| **$250–$500 per node key (one-time)** | |
| **Audience:** Independent developers and small labs | |
| **What this tier grants:** | |
| A provisioned Sovereign Node Key that authorizes your workstation for production operations. | |
| - ✅ One production-authorized node (one workstation) | |
| - ✅ Ed25519 cryptographic identity + operator-signed authorization | |
| - ✅ Authority to sign official releases | |
| - ✅ Authority to deploy production kernels | |
| - ✅ Local production execution rights | |
| - ✅ Provisioning is permanent (non-revocable unless terms violated) | |
| **What this tier does NOT include:** | |
| - ❌ Commercial licensing (BSL-1.1 applies; separate commercial agreement required) | |
| - ❌ Commercial redistribution rights | |
| - ❌ Enterprise support SLA | |
| - ❌ Multiple nodes (additional nodes: purchase additional keys at same price) | |
| - ❌ Custom Lean 4 proof development | |
| - ❌ Legal claims or warranties | |
| **Important distinction:** | |
| - **Payment** enables provisioning review | |
| - **Approval** grants the right to provision | |
| - **Provisioning** creates the Sovereign Node Key | |
| - **Authorization** is operator-signed (cannot be self-created) | |
| - **Protected operations** require valid authorization | |
| **Provisioning Flow:** | |
| 1. Submit provisioning request (CONTACT.md form) | |
| 2. PAX-Coder reviews request (1–3 business days) | |
| 3. Request approved or denied | |
| 4. Payment processing (if approved) | |
| 5. Node credential generated (node.json, node_pk.pem, .node_sk) | |
| 6. Operator-signs authorization record (authorization.json) | |
| 7. Node activated (authorization status = ACTIVE) | |
| --- | |
| ### 2. Commercial Team — Production Authorization + Commercial Licensing | |
| **$12,000–$25,000 per year** | |
| **Audience:** AI startups, HFT shops, cloud GPU laboratories | |
| **What this tier grants:** | |
| Unlimited production-authorized nodes within your organization, plus commercial licensing rights. | |
| - ✅ Unlimited internal Sovereign Node keys (all provisioned and operator-authorized) | |
| - ✅ Full commercial licensing | |
| - ✅ Hardware target support (sm_86, sm_90) | |
| - ✅ Multiple provisioned nodes | |
| - ✅ Team deployment rights | |
| - ✅ Release signing capability | |
| - ✅ Priority email support | |
| - ✅ Annual renewal | |
| **What's NOT included:** | |
| - ❌ Custom Lean 4 proof development | |
| - ❌ Formal kernel audits | |
| - ❌ SLA-backed support | |
| - ❌ White-label embedding | |
| **Process:** | |
| 1. Submit provisioning request | |
| 2. Commercial review | |
| 3. Agreement negotiation | |
| 4. Payment processing | |
| 5. Team provisioning setup | |
| --- | |
| ### 3. Enterprise Verification | |
| **$50,000–$150,000+ per year** | |
| **Audience:** Mission-critical, defense, and FinTech deployments | |
| **What's included:** | |
| - ✅ Unlimited Sovereign Node keys | |
| - ✅ Custom Lean 4 proof modeling for your kernels | |
| - ✅ Formal kernel audits and sign-off | |
| - ✅ Direct SLA (response time guarantees) | |
| - ✅ White-label embedding rights | |
| - ✅ Enterprise commercial licensing | |
| - ✅ Custom hardware target support | |
| - ✅ Direct technical contact | |
| - ✅ Annual renewal | |
| **Custom packages available:** | |
| - Multi-year contracts | |
| - Exclusive deployments | |
| - Custom feature development | |
| - Governance involvement | |
| **Process:** | |
| 1. Executive engagement | |
| 2. Detailed requirements gathering | |
| 3. Custom quote | |
| 4. Legal/procurement | |
| 5. Deployment and provisioning | |
| --- | |
| ### 4. Proof Audit & Sign-Off | |
| **$10,000+ per custom kernel** | |
| **What's included:** | |
| - ✅ Formal verification of custom CUDA kernel | |
| - ✅ Lean 4 proof verification outside standard axiom basis (PO_1–PO_8) | |
| - ✅ Cryptographic sign-off with Sovereign Node key | |
| - ✅ Detailed audit report | |
| - ✅ Proof artifact | |
| **Process:** | |
| 1. Submit kernel and specifications | |
| 2. Audit engagement | |
| 3. Verification and proof development | |
| 4. Sign-off and delivery | |
| --- | |
| ## Provisioning & Node Credentials | |
| ### What is a Sovereign Node? | |
| A Sovereign Node is: | |
| - ✅ A cryptographic identity (Ed25519 public/private keypair) | |
| - ✅ A provisioned authorization record | |
| - ✅ Eligible for signed authorization capabilities | |
| - ✅ Bound to commercial agreement terms | |
| A Sovereign Node is NOT: | |
| - ❌ Something generated locally by running a script | |
| - ❌ Something from cloning the repository | |
| - ❌ A self-signed or self-authorized credential | |
| - ❌ Automatically available to anyone | |
| ### Node Provisioning States | |
| ``` | |
| UNPROVISIONED | |
| (no request) | |
| ↓ | |
| REQUESTED | |
| (user submitted request) | |
| ↓ | |
| REVIEWING | |
| (PAX-Coder authority review) | |
| ↓ | |
| APPROVED ← or ← REJECTED | |
| ↓ | |
| PROVISIONING | |
| (credential issuance) | |
| ↓ | |
| ACTIVE | |
| (node is authorized) | |
| ↓ | |
| REVOKED (if terms violated) | |
| ``` | |
| ### How to Get a Node | |
| **Step 1: Select Tier** | |
| Choose the appropriate plan above (Individual, Commercial Team, or Enterprise). | |
| **Step 2: Request Provisioning** | |
| Fill out the provisioning form at: | |
| ``` | |
| https://snapkittywest.com/pax-coder/request | |
| ``` | |
| or email: | |
| ``` | |
| jessica@collectivekitty.com | |
| ``` | |
| Include: | |
| - Your name / organization | |
| - Intended use case | |
| - Requested tier | |
| - Deployment requirements | |
| - Contact email | |
| **Step 3: Review & Approval** | |
| - Individual tier: 1–3 business day review | |
| - Commercial/Enterprise: Formal review process | |
| **Step 4: Commercial Agreement & Payment** | |
| - Individual: Secure payment link (one-time) | |
| - Commercial/Enterprise: Formal commercial agreement | |
| **Step 5: Provisioning** | |
| - Node credential created | |
| - Authentication material provided | |
| - Activation in your environment | |
| **Step 6: Active Node** | |
| Use your provisioned credential for: | |
| - Signing releases | |
| - Protected kernel operations | |
| - Production deployment | |
| --- | |
| ## FAQ | |
| ### Q: Can I access the repository? | |
| **A:** Repository access is free for verification/testing. Production authorization requires contact, approval, and the applicable commercial tier. See [CONTACT.md](CONTACT.md). | |
| ### Q: Do I get a Sovereign Node automatically? | |
| **A:** No. Approval is required for access. To perform protected operations (signing releases, production deployment), you need a provisioned node through the appropriate tier after approval and payment. | |
| ### Q: How much does a Sovereign Node cost? | |
| **A:** It depends on your usage: | |
| - **Individual:** $250–$500 (one-time, one workstation) | |
| - **Commercial Team:** Included with $12,000–$25,000/year plan | |
| - **Enterprise:** Included with $50,000–$150,000+/year plan | |
| ### Q: Can I generate a node key locally? | |
| **A:** You can generate a local cryptographic keypair, which creates a node IDENTITY. However, this is NOT a provisioned node. It is UNREGISTERED and UNAUTHORIZED for production use. Only provisioned nodes (obtained through purchase/provisioning) are authorized for protected operations. | |
| ### Q: What's the difference between node IDENTITY and node AUTHORIZATION? | |
| **A:** | |
| - **Identity:** A cryptographic public key + metadata. Anyone can generate one locally. Not sufficient for authorization. | |
| - **Authorization:** A provisioned credential from PAX-Coder authority, issued only after provisioning. Required for protected operations. | |
| ### Q: Can I use an Individual node on multiple machines? | |
| **A:** The Individual tier includes one provisioned node for one workstation. Additional machines require additional node keys (additional $250–$500 each). Commercial Team and Enterprise tiers support multiple nodes. | |
| ### Q: What happens if I don't renew my subscription? | |
| **A:** | |
| - **Individual:** One-time purchase; no renewal required. Your node remains active indefinitely (unless revoked for terms violation). | |
| - **Commercial/Enterprise:** Upon renewal deadline, the subscription ends. Existing nodes become inactive; new authorization capabilities are not issued. Contact for reactivation. | |
| ### Q: Can I transfer my node to another person/organization? | |
| **A:** No. Nodes are provisioned to the named organization/individual. Transfer requires a new provisioning request and agreement. | |
| ### Q: What if I violate the commercial terms? | |
| **A:** Terms violations may result in: | |
| - Provisioning revocation | |
| - Capability expiration | |
| - Node deactivation | |
| - Legal action (depending on violation severity) | |
| Contact support if you believe a violation has occurred. | |
| ### Q: How do I request an Enterprise contract? | |
| **A:** Email: | |
| ``` | |
| jessica@collectivekitty.com | |
| ``` | |
| Include: | |
| - Organization name | |
| - Executive/technical contact | |
| - Deployment requirements | |
| - Estimated kernel volume | |
| - Custom requirements | |
| Enterprise team will respond within 2 business days. | |
| --- | |
| ## Commercial Licensing | |
| PAX-Coder is dual-licensed: | |
| - **BSL-1.1:** For commercial usage under provisioning agreement | |
| - **AGPL-3.0:** For source code review and non-commercial use | |
| Provisioning establishes the commercial usage rights appropriate to your tier. | |
| See [LICENSE.md](LICENSE.md) for full details. | |
| --- | |
| ## Support | |
| ### Individual Tier | |
| - Email support: individual-jessica@collectivekitty.com | |
| - Response time: 2–5 business days | |
| - Included: Technical questions about provisioning and kernel generation | |
| ### Commercial/Enterprise Tier | |
| - Dedicated Slack channel | |
| - Priority email support | |
| - Phone support (Enterprise only) | |
| - Response time: 1 business day (Commercial), 4 hours (Enterprise) | |
| --- | |
| ## Contact | |
| **General inquiries:** | |
| ``` | |
| jessica@collectivekitty.com | |
| ``` | |
| **Provisioning requests:** | |
| ``` | |
| https://snapkittywest.com/pax-coder/request | |
| ``` | |
| **Enterprise:** | |
| ``` | |
| jessica@collectivekitty.com | |
| ``` | |
| **Support issues:** | |
| ``` | |
| jessica@collectivekitty.com | |
| ``` | |
| --- | |
| **PAX-Coder is developed by SnapKitty.** | |
| **© 2026 SnapKitty. All rights reserved.** | |