Thank you for your interest in contributing! We follow a “Dual-Track”
architecture where human-readable documentation lives in the root and
machine-readable policies live in .machine_readable/.
We welcome contributions in many forms:
-
Code: Improving the core stack or extensions
-
Documentation: Enhancing docs or AI manifests
-
Testing: Adding property-based tests or formal proofs
-
Bug reports: Filing clear, reproducible issues
-
Read the AI Manifest: Start with
0-AI-MANIFEST.a2ml(if present) to understand the repository structure. -
Environment: Use
guix developordirenv allowto set up your tools. -
Task Runner: Use
justto see available commands (just --list).
docs/short-description # Documentation test/what-added # Test additions feat/short-description # New features fix/issue-number-description # Bug fixes refactor/what-changed # Code improvements security/what-fixed # Security fixes
We follow Conventional Commits:
<type>(<scope>): <description> [optional body] [optional footer]
Types: feat, fix, docs, test, refactor, ci,
chore, security
Before reporting: 1. Search existing issues 2. Check if it’s already
fixed in main
When reporting, include: - Clear, descriptive title - Environment details (OS, versions, toolchain) - Steps to reproduce - Expected vs actual behaviour
All contributors are expected to adhere to our Code of Conduct.