chore(spdx): add Copyright (c) headers to Zig+C+H files (batch 4/7) (#98)

STATS: processed=22 already_has=0 added_copyright=21 inserted_block=1 missing=0

Files: .zig/.c/.h. Mechanical SPDX-FileCopyrightText sweep using slash
comment style. Batch 4/7 of the M1 foreign-WIP closure.

Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

alkahest-shell-transmuter/ffi/zig/build.zig

@@ -1,5 +1,6 @@
 // Alkahest FFI Build Configuration
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 const std = @import("std");
 

alkahest-shell-transmuter/ffi/zig/src/main.zig

@@ -4,6 +4,7 @@
 // All types and layouts must match the Idris2 ABI definitions.
 //
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 const std = @import("std");
 

alkahest-shell-transmuter/ffi/zig/test/integration_test.zig

@@ -1,5 +1,6 @@
 // Alkahest Integration Tests
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 //
 // These tests verify that the Zig FFI correctly implements the Idris2 ABI
 

ffi/zig/build.zig

@@ -1,5 +1,6 @@
 // ValenceShell FFI Build Configuration
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 const std = @import("std");
 

ffi/zig/src/main.zig

@@ -4,6 +4,7 @@
 // All types and layouts must match the Idris2 ABI definitions.
 //
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 const std = @import("std");
 

ffi/zig/test/integration_test.zig

@@ -1,5 +1,6 @@
 // ValenceShell Integration Tests
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 //
 // These tests verify that the Zig FFI correctly implements the Idris2 ABI
 

impl/elixir/c_src/valence_nif.c

@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 // Valence Shell - Erlang NIF wrapper for Zig FFI
 
 #include <erl_nif.h>

impl/elixir/lib/vsh/.Elixir.VSH.NIF.zig

@@ -2,6 +2,7 @@
 
 // ref lib/vsh/nif.ex:33
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 // Valence Shell - Zigler NIF implementation
 
 const std = @import("std");

impl/ocaml/lean_wrapper.c

@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 /* Valence Shell - C Wrapper for Lean 4 Extracted Code
  *
  * This file provides C-callable wrappers around Lean 4 compiled code.

impl/zig/build.zig

@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 //! Build script for Lean FFI Zig wrapper
 
 const std = @import("std");