521 B
521 B
Contributing to SWOOSH
Development Principles
- Determinism over convenience; auditability over cleverness.
- Pure reducers + side-effect adaptors.
- Every state advance must be justified by guards and logged to WAL with UCXL DR refs.
Workflow
- Propose changes via RFC in
/rfc. - Link to issues/spec deltas in
/specand update statechart if needed. - Submit PR with tests (unit + model-based + chaos sim).
Commit Messages
Use: CHORUS-<CAT>-###: short desc and include UCXL backlink if applicable.