Add covenant SPDX headers to every remaining unmarked source file

pascal/Makefile

@@ -1,3 +1,6 @@
+# SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+# Licensing: see LICENSE in the repository root.
+
 .PHONY: all clean build test help
 
 FPC = fpc

pascal/buffer.pas

@@ -1,3 +1,6 @@
+{ SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+   Licensing: see LICENSE in the repository root. }
+
 { Buffer: Physical storage management with generation tracking.
   Implements allocation, reference counting, and generation counters
   for temporal safety (use-after-free detection).

pascal/descriptor.pas

@@ -1,3 +1,6 @@
+{ SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+   Licensing: see LICENSE in the repository root. }
+
 { TensorDescriptor: Packed record for C-compatible tensor metadata
   Represents the semantic view layer: Shape, Strides, Offset.
   Implements B_layout and B_own governance flags for binary semantics.

pascal/ffi/tensor_abi.pas

@@ -1,3 +1,6 @@
+{ SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+   Licensing: see LICENSE in the repository root. }
+
 { ============================================================================
   NraayTensor FFI ABI Bindings for Free Pascal
 

pascal/governance.pas

@@ -1,3 +1,6 @@
+{ SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+   Licensing: see LICENSE in the repository root. }
+
 { Governance Validation Engine: Executable proof obligations.
   Implements 5 lemmas as per NraayTensor spec:
 

pascal/materialize.pas

@@ -1,3 +1,6 @@
+{ SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+   Licensing: see LICENSE in the repository root. }
+
 { Materialization Barrier: Copy-on-write with governance state restoration.
   Restores B_layout=1 and B_own=1 by copying viewed elements to contiguous buffer.
 

pascal/nraay_tensor_ref.pas

@@ -1,3 +1,6 @@
+{ SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+   Licensing: see LICENSE in the repository root. }
+
 { NraayTensor Reference Implementation: Main program
   Demonstrates the Free Pascal reference layer for semantic validation.
 

pascal/ownership.pas

@@ -1,3 +1,6 @@
+{ SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+   Licensing: see LICENSE in the repository root. }
+
 { Ownership State Machine: Manages OWNED, SHARED, EXCLUSIVE states.
   Tracks ownership tokens and implements governance state transitions.
 

pascal/tensor.pas

@@ -1,3 +1,6 @@
+{ SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+   Licensing: see LICENSE in the repository root. }
+
 { NraayTensor Reference Implementation: Main tensor operations.
   Implements core contract operations: ALLOC, FREE, VIEW, SLICE, TRANSPOSE, RESHAPE, MATERIALIZE
 

pascal/tensor_array.pas

@@ -1,3 +1,6 @@
+{ SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+   Licensing: see LICENSE in the repository root. }
+
 { TensorArray: Array/buffer management with Arc-like reference counting.
   Mimics Rust Arc<Vec<T>> semantics using explicit reference counting.
 

pascal/tests.pas

@@ -1,3 +1,6 @@
+{ SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+   Licensing: see LICENSE in the repository root. }
+
 { Test Suite: Comprehensive conformance tests for NraayTensor reference implementation.
   Tests core operations, governance properties, and state machine transitions.
 }

pascal/validation.pas

@@ -1,3 +1,6 @@
+{ SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+   Licensing: see LICENSE in the repository root. }
+
 { Validation Oracle: Conformance testing against Rust implementation.
   Provides oracle functions for cross-implementation verification.
 

rust/tensor-hw/examples/core_operations.rs

@@ -1,3 +1,6 @@
+// SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+// Licensing: see LICENSE in the repository root.
+
 //! Core tensor hardware operations example
 //!
 //! Demonstrates:

rust/tensor-hw/ffi/sparse_router.rs

@@ -1,3 +1,6 @@
+// SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+// Licensing: see LICENSE in the repository root.
+
 /*
  * Sparse Tensor Router with RAW_ROUTE Algorithm
  *

rust/tensor-hw/ffi/sparse_router_kani.rs

@@ -1,3 +1,6 @@
+// SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+// Licensing: see LICENSE in the repository root.
+
 /*
  * Kani Formal Verification for RAW_ROUTE Algorithm
  *

rust/tensor-hw/ffi/tensor_abi.h

@@ -1,3 +1,6 @@
+// SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+// Licensing: see LICENSE in the repository root.
+
 /*
  * NraayTensor FFI ABI Contract
  *

rust/tensor-hw/src/buffer.rs

@@ -1,3 +1,6 @@
+// SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+// Licensing: see LICENSE in the repository root.
+
 //! Buffer management with generation counters and reference tracking
 //!
 //! Each buffer has:

rust/tensor-hw/src/error.rs

@@ -1,3 +1,6 @@
+// SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+// Licensing: see LICENSE in the repository root.
+
 //! Error types for hardware tensor layer
 
 use thiserror::Error;

rust/tensor-hw/src/governance.rs

@@ -1,3 +1,6 @@
+// SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+// Licensing: see LICENSE in the repository root.
+
 //! Governance state engine with validation gates
 //!
 //! Enforces invariants:

rust/tensor-hw/src/lib.rs

@@ -1,3 +1,6 @@
+// SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+// Licensing: see LICENSE in the repository root.
+
 //! # Tensor Hardware Implementation Layer
 //!
 //! NraayTensor hardware layer with explicit state transitions, generation-based safety,

rust/tensor-hw/src/materialize.rs

@@ -1,3 +1,6 @@
+// SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+// Licensing: see LICENSE in the repository root.
+
 //! Materialization barrier: transactional conversion to contiguous memory
 //!
 //! Materializes non-canonical strides into contiguous buffer.

rust/tensor-hw/src/memory.rs

@@ -1,3 +1,6 @@
+// SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+// Licensing: see LICENSE in the repository root.
+
 //! Memory address calculation and stride handling
 //!
 //! Core address formula:

rust/tensor-hw/src/ownership.rs

@@ -1,3 +1,6 @@
+// SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+// Licensing: see LICENSE in the repository root.
+
 //! Ownership token state machine with explicit transitions
 //!
 //! Tracks the semantic governance state B = (B_layout, B_own):

rust/tensor-hw/src/routing.rs

@@ -1,3 +1,6 @@
+// SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+// Licensing: see LICENSE in the repository root.
+
 //! Sparse work-stealing with memory locality heuristic
 //!
 //! RAW_ROUTE algorithm: Region-aware work-stealing scheduler

rust/tensor-hw/src/view.rs

@@ -1,3 +1,6 @@
+// SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+// Licensing: see LICENSE in the repository root.
+
 //! Tensor views and slicing operations (zero-copy)
 //!
 //! Views share underlying buffer via Arc, never copy data.

tests/conformance/buffer_lifetime.rs

@@ -1,3 +1,6 @@
+// SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+// Licensing: see LICENSE in the repository root.
+
 //! Buffer Lifetime Tests (T1-T5): Parent-child dropping semantics
 //!
 //! Verifies:

tests/conformance/generation.rs

@@ -1,3 +1,6 @@
+// SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+// Licensing: see LICENSE in the repository root.
+
 //! Generation Counter Tests: Stale Descriptor Detection
 //!
 //! Verifies:

tests/conformance/governance.rs

@@ -1,3 +1,6 @@
+// SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+// Licensing: see LICENSE in the repository root.
+
 //! Governance State Transition Tests: Fail-Closed Validation
 //!
 //! Verifies:

tests/conformance/materialization.rs

@@ -1,3 +1,6 @@
+// SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+// Licensing: see LICENSE in the repository root.
+
 //! Materialization Tests: B=1 Canonical + New Buffer
 //!
 //! Verifies:

tests/conformance/mod.rs

@@ -1,3 +1,6 @@
+// SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+// Licensing: see LICENSE in the repository root.
+
 //! Cross-Language Conformance Test Suite
 //!
 //! Comprehensive test coverage for Rust and Pascal tensor implementations.

tests/conformance/ownership.rs

@@ -1,3 +1,6 @@
+// SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+// Licensing: see LICENSE in the repository root.
+
 //! Ownership and Reference Counting Tests
 //!
 //! Verifies:

tests/conformance/routing.rs

@@ -1,3 +1,6 @@
+// SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+// Licensing: see LICENSE in the repository root.
+
 //! Routing and Work-Stealing Tests: Memory Locality
 //!
 //! Verifies:

tests/conformance/views.rs

@@ -1,3 +1,6 @@
+// SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001
+// Licensing: see LICENSE in the repository root.
+
 //! View Semantics Tests: Slicing, Transposing, Nested Views
 //!
 //! Verifies: