Terms of Service
Effective Date: March 20, 2026
These Terms of Service ("Terms") govern your access to and use of the ProofLedger platform, API, MCP server, and related services (collectively, the "Service") provided by ProofLedger ("we", "us", "our"). By using the Service, you agree to these Terms.
1. Service Description
ProofLedger provides automated ASC 606 revenue recognition verification tools. The Service evaluates accounting claims against a library of formal predicates and returns verification results with digital signatures.
The Service is a software tool for informational purposes only. It does not constitute accounting advice, legal advice, audit opinions, or professional compliance services of any kind.
2. No Guarantee of Compliance
ProofLedger does NOT guarantee compliance with ASC 606, IFRS 15, or any other accounting standard.
Verification results are generated by automated systems and are provided "as-is" for informational purposes. A "pass" result does not mean your revenue recognition treatment is correct, complete, or compliant with applicable standards. A "fail" result does not necessarily mean your treatment is incorrect.
You are solely responsible for all accounting decisions, regulatory filings, and compliance determinations. You should always consult qualified accountants, auditors, and legal professionals for compliance matters.
3. Limitation of Liability
TO THE MAXIMUM EXTENT PERMITTED BY APPLICABLE LAW, PROOFLEDGER SHALL NOT BE LIABLE FOR:
- Any compliance failures, audit findings, regulatory penalties, or enforcement actions
- Financial losses, restatements, or damages arising from reliance on verification results
- Errors, omissions, or inaccuracies in verification results or proof certificates
- Service interruptions, downtime, or data loss
- Any indirect, incidental, special, consequential, or punitive damages
IN NO EVENT SHALL OUR TOTAL LIABILITY EXCEED THE AMOUNT YOU PAID FOR THE SERVICE IN THE 12 MONTHS PRECEDING THE CLAIM.
4. Use at Your Own Risk
You acknowledge that:
- The Service is a tool to assist — not replace — professional judgment
- You bear full responsibility for all compliance and accounting decisions
- Verification results should be reviewed by qualified professionals before reliance
- The Service is currently in beta and may contain errors or produce incorrect results
- Formal verification covers the predicates in our library; it does not cover all aspects of ASC 606
5. No Professional Advice
Nothing in the Service or its output constitutes:
- Accounting advice or audit opinions
- Legal advice or regulatory guidance
- Tax advice
- A substitute for the services of a qualified CPA, auditor, or attorney
6. Acceptable Use
You agree not to:
- Use the Service for any unlawful purpose
- Attempt to reverse-engineer, decompile, or extract our algorithms, proofs, or predicate library
- Share your API key with unauthorised third parties
- Exceed your plan's usage limits through circumvention
- Represent verification results as legal or professional opinions
7. Intellectual Property
All rights in the Service, including our Lean 4 predicate library, verification algorithms, proof generation logic, API design, and documentation, are owned by ProofLedger. You receive a limited, non-exclusive, non-transferable license to use the Service during your subscription.
Verification results and proof certificates generated for you are yours to use, store, and share. However, the underlying verification logic remains our proprietary technology.
8. Subscriptions and Billing
- Billing: Subscriptions are billed monthly in advance
- Auto-renewal: Subscriptions automatically renew unless cancelled
- Cancellation: You may cancel at any time; access continues until the end of the current billing period
- Refunds: No refunds for partial months
- Usage limits: Unused verifications do not roll over between months
9. Data Handling
Claims you submit are processed for verification and stored temporarily. See our Privacy Policy for details on data collection, retention, and your rights.
10. Disclaimer of Warranties
THE SERVICE IS PROVIDED "AS IS" AND "AS AVAILABLE" WITHOUT WARRANTIES OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, ACCURACY, OR NON-INFRINGEMENT.
We do not warrant that the Service will be uninterrupted, error-free, or that verification results will be accurate or complete.
11. Modifications
We may update these Terms at any time. Material changes will be communicated via email or a notice on the Service. Continued use after changes constitutes acceptance.
12. Governing Law
These Terms are governed by the laws of the jurisdiction in which ProofLedger is incorporated. Any disputes shall be resolved through binding arbitration.
13. Contact
Questions about these Terms? Email legal@proofledger.com