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

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");

impl/zig/lean_wrapper.zig

@@ -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 - Zig Wrapper for Lean 4 Extracted Code
 //!
 //! This file provides Zig-callable wrappers around Lean 4 compiled code.

impl/zig/src/audit.zig

@@ -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 - Audit Logging for MAA Framework
 //!
 //! Implements the Mutually Assured Accountability audit trail.

impl/zig/src/daemon_client.zig

@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 //! Daemon Client - Unix Socket Communication
 //!
 //! JSON-RPC 2.0 client for communicating with the BEAM daemon.

impl/zig/src/demo.zig

@@ -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 - Zig FFI Demonstration
 //!
 //! This program demonstrates the formally verified filesystem operations

impl/zig/src/lean_bindings.zig

@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 //! Lean 4 FFI Bindings for Zig
 //!
 //! This module provides Zig bindings to Lean 4 compiled verification code.

impl/zig/src/lib.zig

@@ -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 - Zig FFI Layer
 //!
 //! This module provides the Foreign Function Interface that bridges

impl/zig/src/main.zig

@@ -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 - Zig Fast Path
 //!
 //! Fast startup path for simple operations (~5ms cold start).

impl/zig/src/path.zig

@@ -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 - Path Operations
 //!
 //! Path handling matching the Coq path model.

impl/zig/src/preconditions.zig

@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 //! Precondition checking module
 //!
 //! Runtime validation of preconditions that mirror the formal proofs.

impl/zig/src/prover_integration.zig

@@ -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 - Prover Integration
 //!
 //! Demonstrates integration with zig-prover-ffi for runtime verification

impl/zig/src/root.zig

@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 //! By convention, root.zig is the root source file when making a library.
 const std = @import("std");
 

impl/zig/src/valence_ffi.h

@@ -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 FFI Header
  *