Closed beta agreement
Terms of Service
Last updated July 21, 2026
Using RuleGap
These terms govern access to the RuleGap closed beta. You must be able to form a binding agreement, provide accurate account information, protect your login methods, and use the service only for repositories and data you are authorized to submit and analyze.
Your content and permissions
You retain ownership of your code, evidence, rules, findings, and feedback. You grant RuleGap the limited permission needed to host, copy, transform, and send bounded evidence to disclosed service providers solely to operate, secure, and improve the requested service. You are responsible for obtaining all required permissions for submitted content.
Analysis is decision support
RuleGap produces evidence-backed analysis, not a guarantee that software is correct, secure, compliant, or fit for release. Hypotheses, ambiguity, model output, coverage scores, and proof results require human review. Tool failures and unsupported hypotheses are not grounds to block a merge.
Plans, Logic Credits, and billing
Paid features, included Logic Credits, overages, and limits are shown before purchase. A scan reserves the stated maximum and charges according to the confirmed order and completed work; retry-safe admission is used to prevent duplicate charges. Stripe processes payment details. Except where law requires otherwise, consumed credits and completed service periods are not refundable.
Acceptable use
Do not use RuleGap to access systems without permission, upload malware, evade limits, disrupt the service, probe other tenants, expose secrets, violate law or third-party rights, or run proof code outside the explicitly bounded RuleGap sandbox. We may suspend access needed to protect users, providers, or the service.
Beta availability
The service may change during beta and may experience interruptions. We may add, remove, or revise features and limits, with reasonable notice for material changes to paid functionality. Either party may stop using the service; outstanding payment and provisions that logically survive termination remain in effect.
Disclaimers and liability
To the maximum extent permitted by law, RuleGap is provided “as is” and without implied warranties. RuleGap is not liable for indirect, incidental, special, consequential, exemplary, or lost-profit damages. Aggregate liability arising from the service will not exceed the amount you paid for RuleGap during the three months before the event giving rise to the claim. Some jurisdictions do not allow every limitation, so those limits apply only to the extent permitted.
Contact
Questions about these terms may be sent to legal@rulegap.cloud. These beta terms should be reviewed by qualified counsel before general availability.