Operations and contribution

Configuration

Keep secrets outside documentation and source control. Use .env.example as the public contract and store real values only in the designated local settings surface.

Testing

Run the repository checks listed in the quickstart. A passing narrow test does not prove unrelated interfaces or scientific claims.

Troubleshooting

  1. Confirm the repository and branch.

  2. Reproduce with the smallest supported input.

  3. Capture the exact command and error.

  4. Check the documented runtime and lockfile.

  5. Open an issue with secret-free evidence.

Security and privacy

Formalization assistance does not establish a theorem until an accepted proof and qualified review exist.

Contributing

Read CONTRIBUTING.md, SECURITY.md, SAFETY.md, and the repository license when present. Keep changes bounded and include the checks that justify acceptance.

Releases

The current public documentation describes pre-alpha with status public-pre-alpha. Consult the repository history and release notes for changes.