rajames/LithosAnanke
1
1
Fork 0
Code Issues 54 Pull Requests Actions Packages Projects 1 Releases 6 Activity

FABRIC-3 XLVIII.15: the header scan, and SPDX headers on 253 files [skip ci]

Browse Source 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2
This commit is contained in:
Claude
2026-11-10 04:13:15 +00:00
parent 3bd81097e1
commit acd8061d89
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/fabric/FABRIC-3.md
+5
View File
@@ -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.