chore(spdx): add Copyright (c) headers to Rust files (batch 2/7) (#96)

STATS: processed=70 already_has=0 added_copyright=67 inserted_block=3 missing=0

Files: .rs. Mechanical SPDX-FileCopyrightText sweep using slash
comment style. Batch 2/7 of the M1 foreign-WIP closure.

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

Author: hyperpolymath

ffi/rust/src/audit.rs

@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 //! MAA-Compliant Audit Logging
 //!
 //! This module provides audit logging for the MAA (Mutually Assured Accountability)

ffi/rust/src/errors.rs

@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 //! Error types matching Coq POSIX error definitions
 //!
 //! These error types correspond exactly to the POSIX errors modeled in:

ffi/rust/src/lib.rs

@@ -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 FFI Layer
 //!
 //! This crate provides the FFI (Foreign Function Interface) layer that bridges

ffi/rust/src/operations.rs

@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 //! Filesystem Operations Module
 //!
 //! This module provides additional filesystem operations and utilities

ffi/rust/src/preconditions.rs

@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 //! Runtime Precondition Checking
 //!
 //! This module mirrors the precondition definitions from the Coq proofs.

ffi/rust/src/rmo.rs

@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 //! RMO (Remove-Match-Obliterate) Secure Deletion
 //!
 //! This module implements secure file deletion for GDPR "right to be forgotten"

ffi/rust/src/sandbox.rs

@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 //! Path Sandboxing and Security
 //!
 //! This module ensures all filesystem operations are confined to a sandbox root.

ffi/rust/src/verification.rs

@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 //! End-to-End Verification Module
 //!
 //! This module provides runtime verification that the FFI layer

impl/elixir/native/vsh_nif/src/lib.rs

@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 //! Rust NIF for Valence Shell secure erase operations
 //!
 //! Exposes hardware-based secure erase functions to Elixir

impl/rust-cli/benches/operation_benchmarks.rs

@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 //! Benchmarks for core filesystem operations
 //!
 //! Measures the performance of mkdir, rmdir, touch, rm, and operation sequences.