Skip to content

chore: add owner SPDX header to all .rs (satisfy licence-enforcer hook)#139

Merged
hyperpolymath merged 2 commits into
mainfrom
chore/spdx-owner-headers
Jun 24, 2026
Merged

chore: add owner SPDX header to all .rs (satisfy licence-enforcer hook)#139
hyperpolymath merged 2 commits into
mainfrom
chore/spdx-owner-headers

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

The pre-commit licence enforcer (.git/hooks/pre-commit) requires both SPDX-License-Identifier: MPL-2.0 and the exact owner string Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> on every staged source file — but no .rs file carried the owner line. Every .rs had the SPDX identifier on line 1, yet the owner check (stricter than the existing tree) meant any future edit to a .rs file was blocked by the hook. Surfaced while fixing the audience→axial doc drift (#137).

Changes

  • Inserts // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> on line 2 of all 91 tracked .rs files (each already had the SPDX identifier on line 1).
  • Renames the cosmetic audience.md temp filename in the axial test to axial.md, completing the audience→axial sweep.

Comment-only changes plus one test-string rename. cargo check --all-targets passes; the licence-enforcer hook now passes on .rs edits (this commit itself passed it with hooks enabled).

Out of scope (noted, not done): .md/.adoc/.idr source files — the two header-less docs are handled in #137 and the new Idris2 fixture in #138 already carries the header; a follow-up can extend the same owner line to remaining non-.rs sources if wanted.

🤖 Generated with Claude Code

hyperpolymath and others added 2 commits June 24, 2026 12:35
…l test rename

The pre-commit licence enforcer requires BOTH SPDX-License-Identifier: MPL-2.0
AND the owner string 'Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>' on every
staged source file, but NO .rs file carried the owner line -- so any edit to a
.rs file was blocked by the hook (a latent repo-wide gap). Inserts the
SPDX-FileCopyrightText owner line on line 2 of all 91 tracked .rs files (each
already had SPDX-License-Identifier on line 1). Also renames the cosmetic
'audience.md' temp filename in the axial test to 'axial.md', completing the
audience->axial sweep.

Comment-only changes plus one test-string rename; cargo check --all-targets passes.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@hyperpolymath hyperpolymath merged commit 479bf2d into main Jun 24, 2026
22 of 24 checks passed
@hyperpolymath hyperpolymath deleted the chore/spdx-owner-headers branch June 24, 2026 11:42
hyperpolymath added a commit that referenced this pull request Jun 24, 2026
…r/.zig) (#141)

Completes the licence-enforcer-hook compliance started for `.rs` in
#139.

The pre-commit hook requires **both** `SPDX-License-Identifier: MPL-2.0`
**and** the owner string `Jonathan D.A. Jewell
<j.d.a.jewell@open.ac.uk>` on every staged
`.md`/`.adoc`/`.idr`/`.zig`/`.rs` source. After #139, the `.rs` tree was
clean but 45 non-`.rs` sources still lacked the hook-matching owner line
(15 also lacked the SPDX line) — so any edit to those would be
hook-blocked.

## Changes
- Inserts the `SPDX-FileCopyrightText` owner line (and
`SPDX-License-Identifier` where absent) into **47 files** (35 `.md`, 10
`.adoc`, 6 `.idr`, 2 `.zig` — minus the 8 already compliant), using each
file's comment syntax: HTML comment for `.md`, `//` for `.adoc`/`.zig`,
`--` for `.idr`.
- **Fully non-destructive: 64 insertions, 0 deletions.** No existing
attribution line is altered. Files that already carry a
`(hyperpolymath)`-parenthetical copyright keep it; the hook-matching
line is added alongside (REUSE permits multiple
`SPDX-FileCopyrightText`). A follow-up could normalise the two forms if
desired.

All **145** hook-checked files in the repo now carry SPDX + owner.
Comment-only changes — no rendered/compiled output affected.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant