Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/workflows/codeql.yml
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# SPDX-License-Identifier: PMPL-1.0
# SPDX-License-Identifier: PMPL-1.0-or-later
name: CodeQL Security Analysis

on:
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/scorecard.yml
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# SPDX-License-Identifier: PMPL-1.0
# SPDX-License-Identifier: PMPL-1.0-or-later
name: OSSF Scorecard
on:
push:
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/secret-scanner.yml
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# SPDX-License-Identifier: PMPL-1.0
# SPDX-License-Identifier: PMPL-1.0-or-later
# Prevention workflow - scans for hardcoded secrets before they reach main
name: Secret Scanner

Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/spark-proof-gate.yml
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# SPDX-License-Identifier: PMPL-1.0
# SPDX-License-Identifier: PMPL-1.0-or-later
name: SPARK Proof Gate

# ambientops anti-theatre gate (P0 of the estate Rust/SPARK audit;
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/spark-theatre-gate.yml
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# SPDX-License-Identifier: PMPL-1.0
# SPDX-License-Identifier: PMPL-1.0-or-later
# Estate SPARK Theatre Gate — thin caller of the reusable workflow in
# hyperpolymath/standards (#135 / #141). Pinned by commit SHA per the
# estate action-pinning policy. Regenerate the pin only when the reusable
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/.gitattributes
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# SPDX-License-Identifier: PMPL-1.0
# SPDX-License-Identifier: PMPL-1.0-or-later
# RSR-compliant .gitattributes

* text=auto eol=lf
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/.gitignore
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# SPDX-License-Identifier: PMPL-1.0
# SPDX-License-Identifier: PMPL-1.0-or-later
# RSR-compliant .gitignore

# OS & Editor
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/CITATION.cff
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# CITATION.cff - Citation File Format for RSR-template-repo
# https://citation-file-format.github.io/
# SPDX-License-Identifier: PMPL-1.0 OR LicenseRef-Palimpsest-0.5
# SPDX-License-Identifier: PMPL-1.0-or-later OR LicenseRef-Palimpsest-0.5

cff-version: 1.2.0
title: "RSR-template-repo"
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/ada/tui/src/core/pathroot_tui-core-discovery.adb
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
-- _pathroot TUI - Discovery Module Body
-- Handles _pathroot file discovery across platforms
--
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

with Ada.Directories;
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/ada/tui/src/core/pathroot_tui-core-discovery.ads
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
-- _pathroot TUI - Discovery Module Specification
-- Handles _pathroot file discovery across platforms
--
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/ada/tui/src/core/pathroot_tui-core-envbase.adb
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
-- _pathroot TUI - Envbase Module Body
-- Handles _envbase JSON parsing and manipulation
--
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

with Ada.Directories;
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/ada/tui/src/core/pathroot_tui-core-envbase.ads
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
-- _pathroot TUI - Envbase Module Specification
-- Handles _envbase JSON parsing and manipulation
--
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/ada/tui/src/core/pathroot_tui-core-links.adb
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
-- _pathroot TUI - Symbolic Links Module Body
-- Handles symbolic link creation and auditing
--
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

with Ada.Directories;
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/ada/tui/src/core/pathroot_tui-core-links.ads
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
-- _pathroot TUI - Symbolic Links Module Specification
-- Handles symbolic link creation and auditing
--
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/ada/tui/src/core/pathroot_tui-core-pathenv.adb
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
-- _pathroot TUI - PATH Environment Module Body
-- Handles PATH environment variable operations
--
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

with Ada.Directories;
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/ada/tui/src/core/pathroot_tui-core-pathenv.ads
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
-- _pathroot TUI - PATH Environment Module Specification
-- Handles PATH environment variable operations
--
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
Expand Down
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
-- POSIX Symbolic Link Bindings - Implementation
--
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

package body Pathroot_TUI.Core.POSIX_Links is
Expand Down
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
-- POSIX Symbolic Link Bindings
-- Thin bindings to POSIX readlink/symlink functions
--
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

with Interfaces.C; use Interfaces.C;
Expand Down
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
-- _pathroot TUI - Transaction Protocol Body
-- Handles command-line transaction protocol for scripting
--
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

with Ada.Text_IO; use Ada.Text_IO;
Expand Down
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
-- _pathroot TUI - Transaction Protocol Specification
-- Handles command-line transaction protocol for scripting
--
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

package Pathroot_TUI.Core.Transactions is
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/ada/tui/src/pathroot_tui.adb
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
-- _pathroot TUI - Main Package Body
-- Ada-based Terminal User Interface for devtools environment management
--
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

with Ada.Text_IO; use Ada.Text_IO;
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/ada/tui/src/pathroot_tui.ads
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
-- _pathroot TUI - Main Package Specification
-- Ada-based Terminal User Interface for devtools environment management
--
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

package Pathroot_TUI is
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/ada/tui/src/ui/pathroot_tui-ui-panels.adb
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
-- _pathroot TUI - UI Panels Body
-- Terminal UI panel management (basic text-based implementation)
--
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

with Ada.Text_IO; use Ada.Text_IO;
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/ada/tui/src/ui/pathroot_tui-ui-panels.ads
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
-- _pathroot TUI - UI Panels Specification
-- Terminal UI panel management
--
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

with Pathroot_TUI.Core.Envbase; use Pathroot_TUI.Core.Envbase;
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/ffi/zig/build.zig
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
// build.zig
// Build system for pathroot ABI Zig FFI
// SPDX-License-Identifier: PMPL-1.0
// SPDX-License-Identifier: PMPL-1.0-or-later

const std = @import("std");

Expand Down
2 changes: 1 addition & 1 deletion _pathroot/ffi/zig/src/symlink.zig
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
// symlink.zig
// Pure Zig FFI implementation for POSIX symlink operations
// SPDX-License-Identifier: PMPL-1.0
// SPDX-License-Identifier: PMPL-1.0-or-later

const std = @import("std");
const os = std.os;
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/flake.nix
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# SPDX-License-Identifier: PMPL-1.0
# SPDX-License-Identifier: PMPL-1.0-or-later
# SPDX-FileCopyrightText: 2025 Jonathan D.A. Jewell
#
# RSR-template-repo - Nix Flake (fallback for Guix)
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/libs/ada-path-environment/path_environment.gpr
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

project Path_Environment is
Expand Down
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
-- Path_Environment - Cross-platform PATH environment management for Ada
--
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

with Ada.Directories;
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
-- This library provides a high-level interface for manipulating the PATH
-- environment variable across Windows and POSIX platforms.
--
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/libs/ada-symlink-manager/src/symlink_manager.adb
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
-- Symlink_Manager - Cross-platform symbolic link management for Ada
--
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

with Ada.Directories;
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/libs/ada-symlink-manager/src/symlink_manager.ads
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
-- This library provides a high-level interface for creating, auditing,
-- and managing symbolic links across Windows and POSIX platforms.
--
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/libs/ada-symlink-manager/symlink_manager.gpr
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

project Symlink_Manager is
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/libs/ada-terminal-ansi/src/terminal_ansi.adb
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
-- Terminal_ANSI - Lightweight ANSI terminal utilities for Ada
--
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

with Ada.Text_IO;
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/libs/ada-terminal-ansi/src/terminal_ansi.ads
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
-- This library provides simple ANSI escape sequence handling for terminal
-- applications without requiring ncurses or other heavy dependencies.
--
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

package Terminal_ANSI is
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/libs/ada-terminal-ansi/terminal_ansi.gpr
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

project Terminal_Ansi is
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/rsr-adapter.adb
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
-- RSR Adapter - Repository Starter/Customization Tool
-- Provides interactive customization of repository templates
--
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later
-- Copyright (C) 2025 Hyper Polymath

with Ada.Text_IO; use Ada.Text_IO;
Expand Down
2 changes: 1 addition & 1 deletion _pathroot/src/abi/Symlink.idr
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
-- Symlink.idr
-- Idris2 ABI for POSIX symlink operations with formal verification
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later

module Symlink

Expand Down
2 changes: 1 addition & 1 deletion _pathroot/src/abi/SymlinkTypes.idr
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
-- SymlinkTypes.idr
-- Idris2 ABI definitions for POSIX symlink operations
-- SPDX-License-Identifier: PMPL-1.0
-- SPDX-License-Identifier: PMPL-1.0-or-later

module SymlinkTypes

Expand Down
2 changes: 1 addition & 1 deletion broad-spectrum/src/FetcherImpl.res
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// SPDX-License-Identifier: PMPL-1.0
// SPDX-License-Identifier: PMPL-1.0-or-later
// SPDX-FileCopyrightText: 2025 Jonathan D.A. Jewell

/**
Expand Down
2 changes: 1 addition & 1 deletion broad-spectrum/src/LinkChecker.res
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// SPDX-License-Identifier: PMPL-1.0
// SPDX-License-Identifier: PMPL-1.0-or-later
// SPDX-FileCopyrightText: 2025 Jonathan D.A. Jewell

/**
Expand Down
2 changes: 1 addition & 1 deletion broad-spectrum/src/SEO.res
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// SPDX-License-Identifier: PMPL-1.0
// SPDX-License-Identifier: PMPL-1.0-or-later
// SPDX-FileCopyrightText: 2025 Jonathan D.A. Jewell

/**
Expand Down
2 changes: 1 addition & 1 deletion panoptes/.clusterfuzzlite/Containerfile
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# SPDX-License-Identifier: PMPL-1.0
# SPDX-License-Identifier: PMPL-1.0-or-later
FROM gcr.io/oss-fuzz-base/base-builder-rust@sha256:73c1d5648db54100639339d411a5d192cbc8bf413ee91e843a07cf6f0e319dc7

COPY . $SRC/panoptes
Expand Down
2 changes: 1 addition & 1 deletion panoptes/.clusterfuzzlite/build.sh
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
#!/bin/bash -eu
# SPDX-License-Identifier: PMPL-1.0
# SPDX-License-Identifier: PMPL-1.0-or-later
cd "$SRC"/panoptes
cargo +nightly fuzz build
for target in $(cargo +nightly fuzz list); do
Expand Down
2 changes: 1 addition & 1 deletion panoptes/fuzz/fuzz_targets/fuzz_input.rs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// SPDX-License-Identifier: PMPL-1.0
// SPDX-License-Identifier: PMPL-1.0-or-later
//! Generic fuzz target for arbitrary input processing

#![no_main]
Expand Down
2 changes: 1 addition & 1 deletion personal-sysadmin/.clusterfuzzlite/Containerfile
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# SPDX-License-Identifier: PMPL-1.0
# SPDX-License-Identifier: PMPL-1.0-or-later
FROM gcr.io/oss-fuzz-base/base-builder-rust@sha256:73c1d5648db54100639339d411a5d192cbc8bf413ee91e843a07cf6f0e319dc7

COPY . $SRC/personal-sysadmin
Expand Down
2 changes: 1 addition & 1 deletion personal-sysadmin/.clusterfuzzlite/build.sh
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
#!/bin/bash -eu
# SPDX-License-Identifier: PMPL-1.0
# SPDX-License-Identifier: PMPL-1.0-or-later
cd "$SRC"/personal-sysadmin
cargo +nightly fuzz build
for target in $(cargo +nightly fuzz list); do
Expand Down
2 changes: 1 addition & 1 deletion personal-sysadmin/fuzz/fuzz_targets/fuzz_input.rs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// SPDX-License-Identifier: PMPL-1.0
// SPDX-License-Identifier: PMPL-1.0-or-later
//! Generic fuzz target for arbitrary input processing

#![no_main]
Expand Down
Loading