chore: add SPDX headers to source files

Author: hyperpolymath

src/abi/Foreign.idr

@@ -1,3 +1,4 @@
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 ||| Foreign Function Interface Declarations
 |||
 ||| This module declares all C-compatible functions that will be

src/abi/Layout.idr

@@ -1,3 +1,4 @@
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 ||| Memory Layout Proofs — ABI Foundation.
 |||
 ||| This module provides the formal proofs required to ensure that 

src/abi/Types.idr

@@ -1,3 +1,4 @@
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 ||| VOYAGE-EDS — ABI Type Definitions
 |||
 ||| This module defines the Application Binary Interface for the 

src/julia-viz/src/VEDSViz.jl

@@ -1,3 +1,4 @@
+# SPDX-License-Identifier: PMPL-1.0-or-later
 """
 VEDSViz — High-Assurance Transport Visualization Engine.
 

src/julia-viz/src/components/ConstraintDash.jl

@@ -1,3 +1,4 @@
+# SPDX-License-Identifier: PMPL-1.0-or-later
 """
 Constraint Dashboard Components
 

src/julia-viz/src/components/GeoMap.jl

@@ -1,3 +1,4 @@
+# SPDX-License-Identifier: PMPL-1.0-or-later
 """
 Geographic Map Components for VEDS
 

src/julia-viz/src/components/ParetoPlot.jl

@@ -1,3 +1,4 @@
+# SPDX-License-Identifier: PMPL-1.0-or-later
 """
 Pareto Frontier Visualization Components
 

src/julia-viz/src/components/RealTimeTracker.jl

@@ -1,3 +1,4 @@
+# SPDX-License-Identifier: PMPL-1.0-or-later
 """
 Real-Time Tracking Visualization
 

src/julia-viz/test/runtests.jl

@@ -1,3 +1,4 @@
+# SPDX-License-Identifier: PMPL-1.0-or-later
 using Test
 using VEDSViz
 

src/rust-routing/build.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: PMPL-1.0-or-later
 fn main() -> Result<(), Box<dyn std::error::Error>> {
     // Compile protobuf definitions for gRPC
     tonic_build::configure()