licence: Apache-2.0, one licence for everything
2026-08-11 · settled · DECISIONS.md line 4093
Apache-2.0 for all repository content, code and prose alike. Rationale: Mathlib compatibility upstream; §5 makes contributions inbound-equals-outbound, which matters for anonymous contributors; split licensing rejected as a per-file question that never ends. No per-file headers — the root LICENSE governs. Any copyright line reads "the alignment-workspace contributors", with no personal names.
Touches
Nothing named.
Nodes pointing at it
None.