diff --git a/docs/fabric/FABRIC-3.md b/docs/fabric/FABRIC-3.md index 2f797b77..fb54ce0f 100644 --- a/docs/fabric/FABRIC-3.md +++ b/docs/fabric/FABRIC-3.md @@ -6454,3 +6454,8 @@ Plan `2026-10-29-stick-5`, Task 2; `STICK.md` 5a (its 2 TiB cap amended to 256 G - **Ruled:** the 32 others **keep "StarForth License" as they are** -- `docs/patent/` (the patent figures), `docs/formal/` (the citable volumes) and the generated reports under `docs/working/experiments/`. Not to be swept. +- **The header scan** (2026-11-10): of 788 source files, 394 had no licence header at all -- most of + v4 among them. **Ruled:** the SPDX form (`SPDX-License-Identifier: LicenseRef-Starship-1.0` and the + copyright line), and the capsules (`.4th`, `.f18`) and proofs (`.thy`) left for a ruling of their + own. 253 files given it (3bd81097); `tools/kconfig/` keeps its own GPL-2.0, `docs/working/` and the + generated `v4/system/post_cases.c` are not touched. Comments only: three ISAs build, test-32 clean.