chore(license): an SPDX header on every source file that had none (LicenseRef-Starship-1.0) [skip ci]

The header scan (Captain Bob, 2026-11-10): 788 source files -- 351 with the
SL-1.0 header, 12 with the old name (docs/working/experiments, kept by
ruling), 31 under someone else's licence (tools/kconfig, Linux's, GPL-2.0:
kept), and 394 with none. Ruled: the SPDX form; capsules (.4th, .f18) and
proofs (.thy) left for a ruling of their own (mkcapsule's 64x16 block format,
content-addressed capsules).

253 files now begin
    SPDX-License-Identifier: LicenseRef-Starship-1.0
    Copyright (c) 2023-2026 Robert A. James
as a /* */ block (C, headers, assembly, linker scripts) or # lines (scripts,
Makefiles, Kconfig; below a shebang or a coding line); tools/mkcapsule.c,
which had the copyright line, gets the SPDX line only.

Not touched: docs/working/ (archive and old campaign material, as the
ruling kept the experiments); v4/system/post_cases.c (generated by
v4/tools/mkpost.py, "do not edit" -- the generator has the header).

Comments only: the kernel builds on amd64, aarch64, riscv64; make -C v4
test-32: 39 programs, 0 failures; every changed script parses.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2

Kconfig

@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 mainmenu "StarForth Configuration"
 
 source "Kconfig.arch"

Kconfig.arch

@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 menu "Target architecture"
 
 choice

Kconfig.heartbeat

@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 menu "Heartbeat / adaptive tick coordinator"
 
 config HEARTBEAT_THREAD_ENABLED

Kconfig.kernel

@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 menu "Kernel-only options"
 
 if STARFORTH_VARIANT_KERNEL

Kconfig.physics

@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 menu "Physics engine tuning"
 
 config STRICT_PTR

Kconfig.variant

@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 menu "Build variant"
 
 choice

Makefile

@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 # ==============================================================================
 # LithosAnanke / StarForth -- top-level Makefile
 #

boards/milkv/board.mk

@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 # boards/milkv/board.mk -- Milk-V Mars (StarFive JH7110, SiFive U74, RV64GC).
 #
 # The board's own SPI-flash U-Boot (OpenSBI underneath) runs the EFI

boards/pc/board.mk

@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 # boards/pc/board.mk -- a generic PC: x86-64, UEFI firmware, ACPI.
 #
 # Not one machine: the standards-compliant UEFI path (FABRIC-3.md §III), so

boards/raspi/board.mk

@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 # boards/raspi/board.mk -- Raspberry Pi 5 (BCM2712, Cortex-A76, aarch64).
 #
 # Native firmware boot, no UEFI (FABRIC-3.md §IV): the Pi 5 bootloader

boards/zynq7020/board.mk

@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 # boards/zynq7020/board.mk -- Xilinx Zynq-7020 (dual Cortex-A9, ARMv7-A, 32-bit).
 #
 # Boot chain: BootROM -> BOOT.BIN (U-Boot SPL with the board's ps7_init DDR/

ci/pki/make-ca.sh

@@ -1,4 +1,6 @@
 #!/bin/bash
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 # make-ca.sh -- the StarshipOS capsule-signing PKI, made once, on the CI box (Captain Bob,
 # 2026-11-07: "New root CA on the CI box. Valid StarshipOS rather than snake oil intermediate").
 #

demo/build-iso.sh

@@ -1,4 +1,6 @@
 #!/bin/bash
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 # build-iso.sh -- the demo's ISO: the amd64 kernel's loader on an El Torito ISO, packed as
 # `make -f kernel/Makefile ARCH=amd64 qemu` packs it (kernel/Makefile, target qemu).
 #

demo/console.py

@@ -1,4 +1,6 @@
 #!/usr/bin/env python3
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 """console.py -- the visitor's terminal joined to the demo machine's serial console, once the
 machine is running (issue #112).
 

demo/make-snapshot.sh

@@ -1,4 +1,6 @@
 #!/bin/bash
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 # make-snapshot.sh -- boot the demo machine once, to its prompt, and save it: every session
 # resumes from here, at the prompt in seconds instead of after boot and POST (issue #113).
 #

demo/mint-zuse.sh

@@ -1,4 +1,6 @@
 #!/bin/bash
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 # mint-zuse.sh -- a Zuse of the demo's own, as a stick (issue #111, ruled by Captain Bob,
 # 2026-11-06: "Mint Zuse for demo console").
 #

demo/qemu-args.sh

@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 # qemu-args.sh -- the demo machine, sourced by make-snapshot.sh and start-session.sh.
 #
 # A session resumes a machine saved by make-snapshot.sh, and QEMU can resume a saved machine only

demo/start-session.sh

@@ -1,4 +1,6 @@
 #!/bin/bash
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 # start-session.sh -- one visitor's session: the saved demo machine, resumed at its prompt, its
 # serial console on this terminal; gone when the visitor leaves or the time is up (issue #112).
 # ttyd runs this once per browser connection (issue #114).

docs/book/Makefile

@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 # docs/book/Makefile -- the single LithosAnanke book, built from LaTeX.
 #
 # Run from the repo root (the root Makefile does this):

docs/formal/Makefile

@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 # docs/formal/Makefile — build all formal LaTeX publications
 
 PDFLATEX := pdflatex -interaction=nonstopmode -halt-on-error

docs/formal/fix-doxygen-unicode.py

@@ -1,4 +1,6 @@
 #!/usr/bin/env python3
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 """
 fix-doxygen-unicode.py — replace problematic Unicode characters in
 Doxygen-generated LaTeX files with pdflatex-safe equivalents.

docs/patent/Makefile

@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 LATEX=pdflatex
 MAIN=main.tex
 

experiments/artemis_stress/analysis/analyse_artemis_stress.R

@@ -1,4 +1,6 @@
 #!/usr/bin/env Rscript
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 # analyse_artemis_stress.R
 #
 # Analysis for the Artemis surface stress test bug hunt (2026-08-02):

experiments/artemis_stress/analysis/svg_to_pdf.py

@@ -1,4 +1,6 @@
 #!/usr/bin/env python3
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 """Convert all SVGs in charts/ to PDF for LaTeX \\includegraphics.
 
 Mirrors experiments/bare_metal/analysis/svg_to_pdf.py, scoped to this

experiments/bare_metal/analysis/analyse_acl_rwt.R

@@ -1,4 +1,6 @@
 #!/usr/bin/env Rscript
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 # analyse_acl_rwt.R
 # StarForth LithosAnanke — ACL Rolling Window of Truth DoE Analysis
 #

experiments/bare_metal/analysis/analyse_bare_metal.R

@@ -1,4 +1,6 @@
 #!/usr/bin/env Rscript
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 # analyse_bare_metal.R
 # StarForth LithosAnanke — Multi-Architecture Bare-Metal DoE Analysis
 #

experiments/bare_metal/analysis/analyse_multirep.R

@@ -1,4 +1,6 @@
 #!/usr/bin/env Rscript
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 # analyse_multirep.R
 # StarForth LithosAnanke — Multi-Replication DoE Analysis
 #

experiments/bare_metal/analysis/analyse_stadium_relaunch.R

@@ -1,4 +1,6 @@
 #!/usr/bin/env Rscript
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 # analyse_stadium_relaunch.R
 # StarForth LithosAnanke — EXEC-DOE 3x3 Latin square campaign,
 # re-run on the post-item-4.6 Stadium substrate (2026-08-20).

experiments/bare_metal/analysis/analyse_stadium_relaunch_fixed.R

@@ -1,4 +1,6 @@
 #!/usr/bin/env Rscript
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 # analyse_stadium_relaunch_fixed.R
 # StarForth LithosAnanke -- EXEC-DOE 3x3 Latin square campaign, re-run on
 # the post-item-4.6 Stadium substrate AND against the fixed SWAP-MTX

experiments/bare_metal/analysis/generate_stadium_deepdive.R

@@ -1,4 +1,6 @@
 #!/usr/bin/env Rscript
+# SPDX-License-Identifier: LicenseRef-Starship-1.0
+# Copyright (c) 2023-2026 Robert A. James
 # generate_stadium_deepdive.R
 # Generates the full per-cell / per-ISA / per-interaction-pair / per-factor
 # deep-dive: charts (SVG, light+dark) + LaTeX section fragments, for