From 1b077d8effdfe9636d4be27bafd19ae15a0dab64 Mon Sep 17 00:00:00 2001 From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com> Date: Wed, 1 Jul 2026 14:17:13 +0100 Subject: [PATCH] chore(licence): add SPDX-License-Identifier: MPL-2.0 birth-headers (G39) Adds the missing header to the only 3 headerless .rs/.zig files (src/lib.rs, src/main.rs, src/interface/ffi/src/main.zig) out of 13 total in the repo. No existing header is touched. Mirrors Axiom.jl G17. Authorship verified via `git log` before editing: both files' history traces solely to the owner (hyperpolymath / Jonathan D.A. Jewell), no third-party or vendored code involved. --- src/interface/ffi/src/main.zig | 3 +++ src/lib.rs | 3 +++ src/main.rs | 3 +++ 3 files changed, 9 insertions(+) diff --git a/src/interface/ffi/src/main.zig b/src/interface/ffi/src/main.zig index edc0af8..250cf88 100644 --- a/src/interface/ffi/src/main.zig +++ b/src/interface/ffi/src/main.zig @@ -1,3 +1,6 @@ +// SPDX-License-Identifier: MPL-2.0 +// Copyright (c) 2026 Jonathan D.A. Jewell +// // Julianiser FFI Implementation // // Implements the C-compatible FFI declared in src/interface/abi/Foreign.idr. diff --git a/src/lib.rs b/src/lib.rs index a26e736..56cc5f7 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -1,3 +1,6 @@ +// SPDX-License-Identifier: MPL-2.0 +// Copyright (c) 2026 Jonathan D.A. Jewell + #![allow( dead_code, clippy::too_many_arguments, diff --git a/src/main.rs b/src/main.rs index e5b2f21..93e7b96 100644 --- a/src/main.rs +++ b/src/main.rs @@ -1,3 +1,6 @@ +// SPDX-License-Identifier: MPL-2.0 +// Copyright (c) 2026 Jonathan D.A. Jewell + #![allow( dead_code, clippy::too_many_arguments,