From f15e8b40379444e483a24aab11e614cc043ba8fc Mon Sep 17 00:00:00 2001 From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com> Date: Mon, 1 Jun 2026 21:20:22 +0100 Subject: [PATCH] chore(spdx): add Copyright (c) headers to Zig+C+H files (batch 4/7) 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) --- alkahest-shell-transmuter/ffi/zig/build.zig | 1 + alkahest-shell-transmuter/ffi/zig/src/main.zig | 1 + alkahest-shell-transmuter/ffi/zig/test/integration_test.zig | 1 + ffi/zig/build.zig | 1 + ffi/zig/src/main.zig | 1 + ffi/zig/test/integration_test.zig | 1 + impl/elixir/c_src/valence_nif.c | 1 + impl/elixir/lib/vsh/.Elixir.VSH.NIF.zig | 1 + impl/ocaml/lean_wrapper.c | 1 + impl/zig/build.zig | 1 + impl/zig/lean_wrapper.zig | 1 + impl/zig/src/audit.zig | 1 + impl/zig/src/daemon_client.zig | 1 + impl/zig/src/demo.zig | 1 + impl/zig/src/lean_bindings.zig | 1 + impl/zig/src/lib.zig | 1 + impl/zig/src/main.zig | 1 + impl/zig/src/path.zig | 1 + impl/zig/src/preconditions.zig | 1 + impl/zig/src/prover_integration.zig | 1 + impl/zig/src/root.zig | 2 ++ impl/zig/src/valence_ffi.h | 1 + 22 files changed, 23 insertions(+) diff --git a/alkahest-shell-transmuter/ffi/zig/build.zig b/alkahest-shell-transmuter/ffi/zig/build.zig index ce2be4cf..334fa1eb 100644 --- a/alkahest-shell-transmuter/ffi/zig/build.zig +++ b/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 const std = @import("std"); diff --git a/alkahest-shell-transmuter/ffi/zig/src/main.zig b/alkahest-shell-transmuter/ffi/zig/src/main.zig index 23fdbc22..8fd139a1 100644 --- a/alkahest-shell-transmuter/ffi/zig/src/main.zig +++ b/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 const std = @import("std"); diff --git a/alkahest-shell-transmuter/ffi/zig/test/integration_test.zig b/alkahest-shell-transmuter/ffi/zig/test/integration_test.zig index 35296a2e..e8aa6d60 100644 --- a/alkahest-shell-transmuter/ffi/zig/test/integration_test.zig +++ b/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 // // These tests verify that the Zig FFI correctly implements the Idris2 ABI diff --git a/ffi/zig/build.zig b/ffi/zig/build.zig index 78bc471e..e3aa71d8 100644 --- a/ffi/zig/build.zig +++ b/ffi/zig/build.zig @@ -1,5 +1,6 @@ // ValenceShell FFI Build Configuration // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell const std = @import("std"); diff --git a/ffi/zig/src/main.zig b/ffi/zig/src/main.zig index e1e423d0..945b777a 100644 --- a/ffi/zig/src/main.zig +++ b/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 const std = @import("std"); diff --git a/ffi/zig/test/integration_test.zig b/ffi/zig/test/integration_test.zig index cc798de7..15e75ec2 100644 --- a/ffi/zig/test/integration_test.zig +++ b/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 // // These tests verify that the Zig FFI correctly implements the Idris2 ABI diff --git a/impl/elixir/c_src/valence_nif.c b/impl/elixir/c_src/valence_nif.c index 287e1f15..5b4e2021 100644 --- a/impl/elixir/c_src/valence_nif.c +++ b/impl/elixir/c_src/valence_nif.c @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell // Valence Shell - Erlang NIF wrapper for Zig FFI #include diff --git a/impl/elixir/lib/vsh/.Elixir.VSH.NIF.zig b/impl/elixir/lib/vsh/.Elixir.VSH.NIF.zig index e42925b1..7e38ffbe 100644 --- a/impl/elixir/lib/vsh/.Elixir.VSH.NIF.zig +++ b/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 // Valence Shell - Zigler NIF implementation const std = @import("std"); diff --git a/impl/ocaml/lean_wrapper.c b/impl/ocaml/lean_wrapper.c index 89f90e5b..7e2c3fe6 100644 --- a/impl/ocaml/lean_wrapper.c +++ b/impl/ocaml/lean_wrapper.c @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell /* Valence Shell - C Wrapper for Lean 4 Extracted Code * * This file provides C-callable wrappers around Lean 4 compiled code. diff --git a/impl/zig/build.zig b/impl/zig/build.zig index 50ad212a..afd4bd0e 100644 --- a/impl/zig/build.zig +++ b/impl/zig/build.zig @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell //! Build script for Lean FFI Zig wrapper const std = @import("std"); diff --git a/impl/zig/lean_wrapper.zig b/impl/zig/lean_wrapper.zig index 9fbe4890..21ee281a 100644 --- a/impl/zig/lean_wrapper.zig +++ b/impl/zig/lean_wrapper.zig @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell //! Valence Shell - Zig Wrapper for Lean 4 Extracted Code //! //! This file provides Zig-callable wrappers around Lean 4 compiled code. diff --git a/impl/zig/src/audit.zig b/impl/zig/src/audit.zig index 9020fa6e..6d881556 100644 --- a/impl/zig/src/audit.zig +++ b/impl/zig/src/audit.zig @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell //! Valence Shell - Audit Logging for MAA Framework //! //! Implements the Mutually Assured Accountability audit trail. diff --git a/impl/zig/src/daemon_client.zig b/impl/zig/src/daemon_client.zig index 69836f96..3f773a4d 100644 --- a/impl/zig/src/daemon_client.zig +++ b/impl/zig/src/daemon_client.zig @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell //! Daemon Client - Unix Socket Communication //! //! JSON-RPC 2.0 client for communicating with the BEAM daemon. diff --git a/impl/zig/src/demo.zig b/impl/zig/src/demo.zig index b9ba6f93..4142d0d7 100644 --- a/impl/zig/src/demo.zig +++ b/impl/zig/src/demo.zig @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell //! Valence Shell - Zig FFI Demonstration //! //! This program demonstrates the formally verified filesystem operations diff --git a/impl/zig/src/lean_bindings.zig b/impl/zig/src/lean_bindings.zig index 55cacb56..69fd3e0f 100644 --- a/impl/zig/src/lean_bindings.zig +++ b/impl/zig/src/lean_bindings.zig @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell //! Lean 4 FFI Bindings for Zig //! //! This module provides Zig bindings to Lean 4 compiled verification code. diff --git a/impl/zig/src/lib.zig b/impl/zig/src/lib.zig index a386a192..b7f6c4e5 100644 --- a/impl/zig/src/lib.zig +++ b/impl/zig/src/lib.zig @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell //! Valence Shell - Zig FFI Layer //! //! This module provides the Foreign Function Interface that bridges diff --git a/impl/zig/src/main.zig b/impl/zig/src/main.zig index 67b12c5a..f218c176 100644 --- a/impl/zig/src/main.zig +++ b/impl/zig/src/main.zig @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell //! Valence Shell - Zig Fast Path //! //! Fast startup path for simple operations (~5ms cold start). diff --git a/impl/zig/src/path.zig b/impl/zig/src/path.zig index 0d6af685..3110550a 100644 --- a/impl/zig/src/path.zig +++ b/impl/zig/src/path.zig @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell //! Valence Shell - Path Operations //! //! Path handling matching the Coq path model. diff --git a/impl/zig/src/preconditions.zig b/impl/zig/src/preconditions.zig index 7c9f7d45..148b0539 100644 --- a/impl/zig/src/preconditions.zig +++ b/impl/zig/src/preconditions.zig @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell //! Precondition checking module //! //! Runtime validation of preconditions that mirror the formal proofs. diff --git a/impl/zig/src/prover_integration.zig b/impl/zig/src/prover_integration.zig index 5ee3acc4..3cc79c35 100644 --- a/impl/zig/src/prover_integration.zig +++ b/impl/zig/src/prover_integration.zig @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell //! Valence Shell - Prover Integration //! //! Demonstrates integration with zig-prover-ffi for runtime verification diff --git a/impl/zig/src/root.zig b/impl/zig/src/root.zig index 94c7cd01..1ac44a4a 100644 --- a/impl/zig/src/root.zig +++ b/impl/zig/src/root.zig @@ -1,3 +1,5 @@ +// SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell //! By convention, root.zig is the root source file when making a library. const std = @import("std"); diff --git a/impl/zig/src/valence_ffi.h b/impl/zig/src/valence_ffi.h index b7f0fd11..f12dec80 100644 --- a/impl/zig/src/valence_ffi.h +++ b/impl/zig/src/valence_ffi.h @@ -1,4 +1,5 @@ /* SPDX-License-Identifier: MPL-2.0 */ +// Copyright (c) Jonathan D.A. Jewell /** * Valence Shell - C FFI Header *