From acd8061d89c7132930f5ac8c3a7abc56dd0c3036 Mon Sep 17 00:00:00 2001 From: Claude Date: Tue, 10 Nov 2026 04:13:15 +0000 Subject: [PATCH] FABRIC-3 XLVIII.15: the header scan, and SPDX headers on 253 files [skip ci] Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2 --- docs/fabric/FABRIC-3.md | 5 +++++ 1 file changed, 5 insertions(+) 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.