Terms

Agreement

These Terms govern access to DeltaLabs, operated by Delta Software Corp. If your organization has a signed agreement with us, that agreement controls where it conflicts with these Terms. By using DeltaLabs, you agree to these Terms.

Accounts and access

You must be authorized to connect each repository and integration you add. Keep your account secure and promptly revoke access you no longer need. You are responsible for activity performed through your account.

Acceptable use

You may not use DeltaLabs to:

• break the law or violate another person's rights;
• access code, accounts, or systems without permission;
• disrupt, overload, probe, or bypass the service or its safeguards;
• upload malicious code except within a testing scope we approved in writing; or
• resell or provide access to the service without our written permission.

Your code

You retain ownership of your source code and repository content. You give DeltaLabs the limited permission needed to copy and process that content to provide and secure the service. We do not claim ownership of your code.

Results

DeltaLabs produces candidates, invariants, counterexamples, and gate results to support software review. Results may be incomplete or incorrect. You remain responsible for reviewing changes, test coverage, and deployment decisions.

Beta service

The service is in private beta. Features may change, pause, or stop. To the extent the law permits, the beta is provided as is without warranties of uninterrupted operation, accuracy, or fitness for a particular purpose.

Ending access

You may stop using DeltaLabs and revoke the GitHub App at any time. We may suspend access when needed to protect the service, comply with law, or address a violation of these Terms.

Changes and questions

We may update these Terms as the beta changes. We will revise the date above when we do. During private beta, raise questions through the private channel used for your access.