diff --git a/.github/ISSUE_TEMPLATE/bug_report.md b/.github/ISSUE_TEMPLATE/bug_report.md index 987aab6b..2e8acd69 100644 --- a/.github/ISSUE_TEMPLATE/bug_report.md +++ b/.github/ISSUE_TEMPLATE/bug_report.md @@ -6,6 +6,7 @@ labels: 'bug, priority: unset, triage' assignees: '' --- + **Describe the bug** A clear and concise description of what the bug is. diff --git a/.github/ISSUE_TEMPLATE/custom.md b/.github/ISSUE_TEMPLATE/custom.md index 48d5f81f..1f7c93d4 100644 --- a/.github/ISSUE_TEMPLATE/custom.md +++ b/.github/ISSUE_TEMPLATE/custom.md @@ -6,5 +6,6 @@ labels: '' assignees: '' --- + diff --git a/.github/ISSUE_TEMPLATE/documentation.md b/.github/ISSUE_TEMPLATE/documentation.md index 4fcb9f9f..0f0de45e 100644 --- a/.github/ISSUE_TEMPLATE/documentation.md +++ b/.github/ISSUE_TEMPLATE/documentation.md @@ -6,6 +6,7 @@ labels: 'documentation, priority: unset, triage' assignees: '' --- + name: Documentation description: Report unclear, missing, or incorrect documentation diff --git a/.github/ISSUE_TEMPLATE/feature_request.md b/.github/ISSUE_TEMPLATE/feature_request.md index 3e8fa7e7..10ff8216 100644 --- a/.github/ISSUE_TEMPLATE/feature_request.md +++ b/.github/ISSUE_TEMPLATE/feature_request.md @@ -6,6 +6,7 @@ labels: 'enhancement, priority: unset, triage' assignees: '' --- + **Is your feature request related to a problem? Please describe.** A clear and concise description of what the problem is. Ex. I'm always frustrated when [...] diff --git a/.github/ISSUE_TEMPLATE/question.md b/.github/ISSUE_TEMPLATE/question.md index fd0e2a5c..7bde49d5 100644 --- a/.github/ISSUE_TEMPLATE/question.md +++ b/.github/ISSUE_TEMPLATE/question.md @@ -6,6 +6,7 @@ labels: question, triage assignees: '' --- + name: Question description: Ask a question about usage or behaviour diff --git a/.github/copilot/coding-agent.yml b/.github/copilot/coding-agent.yml index a719a773..d9cda7cf 100644 --- a/.github/copilot/coding-agent.yml +++ b/.github/copilot/coding-agent.yml @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 mcp_servers: boj-server: command: npx diff --git a/.github/workflows/governance.yml b/.github/workflows/governance.yml index 0cf9233c..8fcad739 100644 --- a/.github/workflows/governance.yml +++ b/.github/workflows/governance.yml @@ -13,4 +13,4 @@ permissions: jobs: governance: - uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@d72fe5a14e841ac6d78514b53624b6173038ee20 + uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@4ddc926b4b86451c2711a16bf927ed16ad2db45e diff --git a/.github/workflows/hypatia-scan.yml b/.github/workflows/hypatia-scan.yml index c41c0109..2267e60e 100644 --- a/.github/workflows/hypatia-scan.yml +++ b/.github/workflows/hypatia-scan.yml @@ -16,4 +16,4 @@ permissions: jobs: scan: - uses: hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@d72fe5a14e841ac6d78514b53624b6173038ee20 + uses: hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@4ddc926b4b86451c2711a16bf927ed16ad2db45e diff --git a/.github/workflows/scorecard.yml b/.github/workflows/scorecard.yml index 1c822b8e..22c96d38 100644 --- a/.github/workflows/scorecard.yml +++ b/.github/workflows/scorecard.yml @@ -13,4 +13,4 @@ permissions: jobs: scorecard: - uses: hyperpolymath/standards/.github/workflows/scorecard-reusable.yml@d72fe5a14e841ac6d78514b53624b6173038ee20 + uses: hyperpolymath/standards/.github/workflows/scorecard-reusable.yml@4ddc926b4b86451c2711a16bf927ed16ad2db45e diff --git a/.machine_readable/anchors/ANCHOR.a2ml b/.machine_readable/anchors/ANCHOR.a2ml index 3250a1e2..acbd4f1e 100644 --- a/.machine_readable/anchors/ANCHOR.a2ml +++ b/.machine_readable/anchors/ANCHOR.a2ml @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 # ⚓ ANCHOR: stapeln # This is the canonical authority for the stapeln repository. diff --git a/.machine_readable/svc/README.adoc b/.machine_readable/svc/README.adoc index 43495c92..04c423e6 100644 --- a/.machine_readable/svc/README.adoc +++ b/.machine_readable/svc/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = `.machine_readable/svc/` — Service components for stapeln :toc: diff --git a/ABI-FFI-README.md b/ABI-FFI-README.md index ce63d35c..328044e8 100644 --- a/ABI-FFI-README.md +++ b/ABI-FFI-README.md @@ -1,3 +1,4 @@ + # Stapeln ABI/FFI Stapeln uses this boundary model: diff --git a/ACCESSIBILITY.md b/ACCESSIBILITY.md index 3a50beb9..bab6e977 100644 --- a/ACCESSIBILITY.md +++ b/ACCESSIBILITY.md @@ -1,3 +1,4 @@ + # Accessibility Standards for stackur ## WCAG 2.3 AAA Compliance diff --git a/ARCHITECTURE.md b/ARCHITECTURE.md index fd37ed25..9c91a9eb 100644 --- a/ARCHITECTURE.md +++ b/ARCHITECTURE.md @@ -1,3 +1,4 @@ + # stapeln Architecture ## Overview diff --git a/ATTACK-SURFACE-GAPS.md b/ATTACK-SURFACE-GAPS.md index eda75428..7a2ed4a9 100644 --- a/ATTACK-SURFACE-GAPS.md +++ b/ATTACK-SURFACE-GAPS.md @@ -1,3 +1,4 @@ + # Attack Surface Gap Analysis: stapeln Ecosystem **Question**: "Are there any points on the attack surface that we should build to ensure it is super sealed?" diff --git a/CODE_OF_CONDUCT.md b/CODE_OF_CONDUCT.md index 4725a7cf..cbd9d16e 100644 --- a/CODE_OF_CONDUCT.md +++ b/CODE_OF_CONDUCT.md @@ -1,3 +1,4 @@ + # Code of Conduct # Converting Container Haters: The Ultimate Test ## The Challenge diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index fb309e9b..32fa63fe 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -1,3 +1,4 @@ + # Clone the repository git clone https://github.com/hyperpolymath/stapeln.git cd stapeln diff --git a/DATABASE-AND-DOCS-INTEGRATION.md b/DATABASE-AND-DOCS-INTEGRATION.md index 6261d250..5ce2b57c 100644 --- a/DATABASE-AND-DOCS-INTEGRATION.md +++ b/DATABASE-AND-DOCS-INTEGRATION.md @@ -1,3 +1,4 @@ + # stapeln Database & Document Integration ## Three Hyperpolymath Components diff --git a/FIREWALL-CONFIG.md b/FIREWALL-CONFIG.md index 55fdc4b2..7ad89ac3 100644 --- a/FIREWALL-CONFIG.md +++ b/FIREWALL-CONFIG.md @@ -1,3 +1,4 @@ + # stapeln Firewall Configuration & Security **Status**: Design specification for OWASP-compliant firewall with ephemeral pinholes diff --git a/IMPLEMENTATION-PLAN.md b/IMPLEMENTATION-PLAN.md index 1f253845..90138793 100644 --- a/IMPLEMENTATION-PLAN.md +++ b/IMPLEMENTATION-PLAN.md @@ -1,3 +1,4 @@ + # stapeln Legacy Implementation Plan (Archive) > Status: archival reference only. diff --git a/LAGO-GREY-INTEGRATION.md b/LAGO-GREY-INTEGRATION.md index 72ea0c68..543f4de3 100644 --- a/LAGO-GREY-INTEGRATION.md +++ b/LAGO-GREY-INTEGRATION.md @@ -1,3 +1,4 @@ + # Lago Grey Integration: Base Image Designer **Status**: Design specification for integrating lago-grey as base image component diff --git a/OBVIOUS-VULNERABILITIES.md b/OBVIOUS-VULNERABILITIES.md index 58eaf08f..a0b96167 100644 --- a/OBVIOUS-VULNERABILITIES.md +++ b/OBVIOUS-VULNERABILITIES.md @@ -1,3 +1,4 @@ + # Obvious Vulnerabilities: Fix These First **Question**: "Can you see anything obvious though now?" diff --git a/PAGES.md b/PAGES.md index 5fc4d642..679a8f98 100644 --- a/PAGES.md +++ b/PAGES.md @@ -1,3 +1,4 @@ + # stapeln Multi-Page Architecture ## Overview diff --git a/PROVEN-LIBRARIES.md b/PROVEN-LIBRARIES.md index 09af4475..04257add 100644 --- a/PROVEN-LIBRARIES.md +++ b/PROVEN-LIBRARIES.md @@ -1,3 +1,4 @@ + # Proven Libraries (Extracted) The proven library workstream (Idris2 → Zig → ReScript DOM‑mounter) has been extracted. diff --git a/README.adoc b/README.adoc index aa15c4a7..0575525b 100644 --- a/README.adoc +++ b/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = stapeln :toc: left :toclevels: 3 diff --git a/RED-TEAM-EXERCISE.md b/RED-TEAM-EXERCISE.md index ad405911..cf425bef 100644 --- a/RED-TEAM-EXERCISE.md +++ b/RED-TEAM-EXERCISE.md @@ -1,3 +1,4 @@ + # Red Team Exercise: "Destroy stapeln in 2 Seconds" **Attacker Profile**: Government cyberwar officer who loathes containers diff --git a/REKOR.md b/REKOR.md index 8509d10f..7bf7f7ac 100644 --- a/REKOR.md +++ b/REKOR.md @@ -1,3 +1,4 @@ + # Rekor Integration in stapeln ## What is Rekor? diff --git a/RSR_OUTLINE.adoc b/RSR_OUTLINE.adoc index 94a49d83..c5c108df 100644 --- a/RSR_OUTLINE.adoc +++ b/RSR_OUTLINE.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = RSR Template Repository image:[Palimpsest-MPL-1.0,link="https://github.com/hyperpolymath/palimpsest-license"] image:[Palimpsest,link="https://github.com/hyperpolymath/palimpsest-license"] diff --git a/SECURITY-REASONING-ENGINE.md b/SECURITY-REASONING-ENGINE.md index 08ec4390..76423c3d 100644 --- a/SECURITY-REASONING-ENGINE.md +++ b/SECURITY-REASONING-ENGINE.md @@ -1,3 +1,4 @@ + # Security Reasoning Engine: miniKanren vs SLM **Decision**: Use miniKanren for deterministic rule reasoning, NOT an SLM diff --git a/SECURITY-STACK-AUDIT.md b/SECURITY-STACK-AUDIT.md index 5df02b36..0380424f 100644 --- a/SECURITY-STACK-AUDIT.md +++ b/SECURITY-STACK-AUDIT.md @@ -1,3 +1,4 @@ + # Security Stack Audit: stapeln Ecosystem Compliance ## Executive Summary diff --git a/SECURITY.md b/SECURITY.md index 37c8f90f..9b39f319 100644 --- a/SECURITY.md +++ b/SECURITY.md @@ -1,3 +1,4 @@ + # Security Policy # Session Pickup — 2026-03-21 ## What was done today diff --git a/SESSION-SUMMARY-2026-02-05.md b/SESSION-SUMMARY-2026-02-05.md index 1aef95cf..f4882f37 100644 --- a/SESSION-SUMMARY-2026-02-05.md +++ b/SESSION-SUMMARY-2026-02-05.md @@ -1,3 +1,4 @@ + # stapeln Development Session Summary **Date**: 2026-02-05 **Session Focus**: Phase 2 Frontend Implementation diff --git a/SETUP.md b/SETUP.md index 3b04cd5d..5c92d6dc 100644 --- a/SETUP.md +++ b/SETUP.md @@ -1,3 +1,4 @@ + # stapeln Setup Guide ## Installation (No npm/Node.js!) diff --git a/STATUS.md b/STATUS.md index a89e8cd9..70c93b53 100644 --- a/STATUS.md +++ b/STATUS.md @@ -1,3 +1,4 @@ + # stapeln Status (Source of Truth) **Date:** 2026-03-29 diff --git a/TEST-NEEDS.md b/TEST-NEEDS.md index ea70f6b6..0feb5598 100644 --- a/TEST-NEEDS.md +++ b/TEST-NEEDS.md @@ -1,3 +1,4 @@ + # TEST-NEEDS: stapeln ## CRG Grade: C — ACHIEVED 2026-04-04 diff --git a/UI-MOCKUPS.md b/UI-MOCKUPS.md index 8a273e24..b3ba0ae4 100644 --- a/UI-MOCKUPS.md +++ b/UI-MOCKUPS.md @@ -1,3 +1,4 @@ + # stapeln Visual UI Mockups: "Spaceship Customizer" Style **Design Philosophy**: Like customizing a spaceship in a game - choose components, see stats update in real-time, get warnings about vulnerabilities diff --git a/UX-MANIFESTO.md b/UX-MANIFESTO.md index 2a99b504..6a78900b 100644 --- a/UX-MANIFESTO.md +++ b/UX-MANIFESTO.md @@ -1,3 +1,4 @@ + # stapeln UX Manifesto: "Containers for People Who Hate Containers" ## Core Principle diff --git a/VERIFICATION-SPEC.md b/VERIFICATION-SPEC.md index e1ab55c7..9e76b3f2 100644 --- a/VERIFICATION-SPEC.md +++ b/VERIFICATION-SPEC.md @@ -1,3 +1,4 @@ + # stapeln Formal Verification Specification ## Overview diff --git a/backend/.formatter.exs b/backend/.formatter.exs index 47616780..2c2b9842 100644 --- a/backend/.formatter.exs +++ b/backend/.formatter.exs @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 [ import_deps: [:phoenix], inputs: ["*.{ex,exs}", "{config,lib,test}/**/*.{ex,exs}"] diff --git a/backend/AGENTS.md b/backend/AGENTS.md index 8c7db9fd..19563763 100644 --- a/backend/AGENTS.md +++ b/backend/AGENTS.md @@ -1,3 +1,4 @@ + This is a web application written using the Phoenix web framework. ## Project guidelines diff --git a/backend/README.md b/backend/README.md index 2c6f1bc6..dda836bd 100644 --- a/backend/README.md +++ b/backend/README.md @@ -1,3 +1,4 @@ + # Stapeln To start your Phoenix server: diff --git a/backend/config/dev.exs b/backend/config/dev.exs index 46ac8977..c0a6eae1 100644 --- a/backend/config/dev.exs +++ b/backend/config/dev.exs @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 import Config # For development, we disable any cache and enable diff --git a/backend/config/prod.exs b/backend/config/prod.exs index 768123a2..c857d94a 100644 --- a/backend/config/prod.exs +++ b/backend/config/prod.exs @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 import Config # Force using SSL in production. This also sets the "strict-security-transport" header, diff --git a/backend/config/runtime.exs b/backend/config/runtime.exs index 0210bfe8..a59d0347 100644 --- a/backend/config/runtime.exs +++ b/backend/config/runtime.exs @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 import Config # config/runtime.exs is executed for all environments, including diff --git a/backend/lib/stapeln.ex b/backend/lib/stapeln.ex index 1f9b28e7..302ad60a 100644 --- a/backend/lib/stapeln.ex +++ b/backend/lib/stapeln.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule Stapeln do @moduledoc """ Stapeln keeps the contexts that define your domain diff --git a/backend/lib/stapeln/auth/api_token.ex b/backend/lib/stapeln/auth/api_token.ex index c2eb114b..e226ab29 100644 --- a/backend/lib/stapeln/auth/api_token.ex +++ b/backend/lib/stapeln/auth/api_token.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule Stapeln.Auth.ApiToken do @moduledoc false diff --git a/backend/lib/stapeln/security.ex b/backend/lib/stapeln/security.ex index 5e1e13e0..54da79c3 100644 --- a/backend/lib/stapeln/security.ex +++ b/backend/lib/stapeln/security.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule Stapeln.Security do @moduledoc """ Entry point for security-specific controllers and helpers. diff --git a/backend/lib/stapeln/security/panic_attacker.ex b/backend/lib/stapeln/security/panic_attacker.ex index d47a5d5d..aaede2e1 100644 --- a/backend/lib/stapeln/security/panic_attacker.ex +++ b/backend/lib/stapeln/security/panic_attacker.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule Stapeln.Security.PanicAttacker do @moduledoc """ Supervises panic-attack invocations and exposes trace/timeline state to the security UI. diff --git a/backend/lib/stapeln/stack_store.ex b/backend/lib/stapeln/stack_store.ex index 22ceb0ac..e03177a2 100644 --- a/backend/lib/stapeln/stack_store.ex +++ b/backend/lib/stapeln/stack_store.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule Stapeln.StackStore do @moduledoc """ In-memory stack persistence for API operations. diff --git a/backend/lib/stapeln/stacks.ex b/backend/lib/stapeln/stacks.ex index 7fcb5241..daed7ed5 100644 --- a/backend/lib/stapeln/stacks.ex +++ b/backend/lib/stapeln/stacks.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule Stapeln.Stacks do @moduledoc """ Stack API context. diff --git a/backend/lib/stapeln_grpc/create_stack_request.ex b/backend/lib/stapeln_grpc/create_stack_request.ex index e08580f4..28b6f4f7 100644 --- a/backend/lib/stapeln_grpc/create_stack_request.ex +++ b/backend/lib/stapeln_grpc/create_stack_request.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnGrpc.CreateStackRequest do @moduledoc false use Protobuf, syntax: :proto3 diff --git a/backend/lib/stapeln_grpc/endpoint.ex b/backend/lib/stapeln_grpc/endpoint.ex index 3672d9c1..2e79ae57 100644 --- a/backend/lib/stapeln_grpc/endpoint.ex +++ b/backend/lib/stapeln_grpc/endpoint.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnGrpc.Endpoint do @moduledoc false use GRPC.Endpoint diff --git a/backend/lib/stapeln_grpc/finding_payload.ex b/backend/lib/stapeln_grpc/finding_payload.ex index 70361ece..5c7b5988 100644 --- a/backend/lib/stapeln_grpc/finding_payload.ex +++ b/backend/lib/stapeln_grpc/finding_payload.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnGrpc.FindingPayload do @moduledoc false use Protobuf, syntax: :proto3 diff --git a/backend/lib/stapeln_grpc/get_stack_request.ex b/backend/lib/stapeln_grpc/get_stack_request.ex index ee8449b5..ef63a741 100644 --- a/backend/lib/stapeln_grpc/get_stack_request.ex +++ b/backend/lib/stapeln_grpc/get_stack_request.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnGrpc.GetStackRequest do @moduledoc false use Protobuf, syntax: :proto3 diff --git a/backend/lib/stapeln_grpc/list_stacks_request.ex b/backend/lib/stapeln_grpc/list_stacks_request.ex index 926c351d..39554d12 100644 --- a/backend/lib/stapeln_grpc/list_stacks_request.ex +++ b/backend/lib/stapeln_grpc/list_stacks_request.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnGrpc.ListStacksRequest do @moduledoc false use Protobuf, syntax: :proto3 diff --git a/backend/lib/stapeln_grpc/list_stacks_response.ex b/backend/lib/stapeln_grpc/list_stacks_response.ex index 330b34ca..227af0a9 100644 --- a/backend/lib/stapeln_grpc/list_stacks_response.ex +++ b/backend/lib/stapeln_grpc/list_stacks_response.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnGrpc.ListStacksResponse do @moduledoc false use Protobuf, syntax: :proto3 diff --git a/backend/lib/stapeln_grpc/service_payload.ex b/backend/lib/stapeln_grpc/service_payload.ex index 6c5503b4..b6883285 100644 --- a/backend/lib/stapeln_grpc/service_payload.ex +++ b/backend/lib/stapeln_grpc/service_payload.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnGrpc.ServicePayload do @moduledoc false use Protobuf, syntax: :proto3 diff --git a/backend/lib/stapeln_grpc/stack_payload.ex b/backend/lib/stapeln_grpc/stack_payload.ex index a99f359b..9f683610 100644 --- a/backend/lib/stapeln_grpc/stack_payload.ex +++ b/backend/lib/stapeln_grpc/stack_payload.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnGrpc.StackPayload do @moduledoc false use Protobuf, syntax: :proto3 diff --git a/backend/lib/stapeln_grpc/stack_response.ex b/backend/lib/stapeln_grpc/stack_response.ex index 9ccec404..2e7e29a4 100644 --- a/backend/lib/stapeln_grpc/stack_response.ex +++ b/backend/lib/stapeln_grpc/stack_response.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnGrpc.StackResponse do @moduledoc false use Protobuf, syntax: :proto3 diff --git a/backend/lib/stapeln_grpc/stack_service/server.ex b/backend/lib/stapeln_grpc/stack_service/server.ex index 70d7036f..721bdf7e 100644 --- a/backend/lib/stapeln_grpc/stack_service/server.ex +++ b/backend/lib/stapeln_grpc/stack_service/server.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnGrpc.StackService.Server do @moduledoc false use GRPC.Server, service: StapelnGrpc.StackService.Service diff --git a/backend/lib/stapeln_grpc/stack_service/service.ex b/backend/lib/stapeln_grpc/stack_service/service.ex index 8cafe551..afcc8a64 100644 --- a/backend/lib/stapeln_grpc/stack_service/service.ex +++ b/backend/lib/stapeln_grpc/stack_service/service.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnGrpc.StackService.Service do @moduledoc false use GRPC.Service, name: "stapeln.StackService" diff --git a/backend/lib/stapeln_grpc/stack_service/stub.ex b/backend/lib/stapeln_grpc/stack_service/stub.ex index 4419dc32..0419eb1b 100644 --- a/backend/lib/stapeln_grpc/stack_service/stub.ex +++ b/backend/lib/stapeln_grpc/stack_service/stub.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnGrpc.StackService.Stub do @moduledoc false use GRPC.Stub, service: StapelnGrpc.StackService.Service diff --git a/backend/lib/stapeln_grpc/update_stack_request.ex b/backend/lib/stapeln_grpc/update_stack_request.ex index 288690ad..1625ea2b 100644 --- a/backend/lib/stapeln_grpc/update_stack_request.ex +++ b/backend/lib/stapeln_grpc/update_stack_request.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnGrpc.UpdateStackRequest do @moduledoc false use Protobuf, syntax: :proto3 diff --git a/backend/lib/stapeln_grpc/validate_stack_request.ex b/backend/lib/stapeln_grpc/validate_stack_request.ex index b44f70ef..f2db5f9a 100644 --- a/backend/lib/stapeln_grpc/validate_stack_request.ex +++ b/backend/lib/stapeln_grpc/validate_stack_request.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnGrpc.ValidateStackRequest do @moduledoc false use Protobuf, syntax: :proto3 diff --git a/backend/lib/stapeln_grpc/validate_stack_response.ex b/backend/lib/stapeln_grpc/validate_stack_response.ex index a3471d59..2c7b859e 100644 --- a/backend/lib/stapeln_grpc/validate_stack_response.ex +++ b/backend/lib/stapeln_grpc/validate_stack_response.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnGrpc.ValidateStackResponse do @moduledoc false use Protobuf, syntax: :proto3 diff --git a/backend/lib/stapeln_web.ex b/backend/lib/stapeln_web.ex index 60105c6f..86c523f1 100644 --- a/backend/lib/stapeln_web.ex +++ b/backend/lib/stapeln_web.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnWeb do @moduledoc """ The entrypoint for defining your web interface, such diff --git a/backend/lib/stapeln_web/controllers/error_json.ex b/backend/lib/stapeln_web/controllers/error_json.ex index 00b08d54..fa5a22ad 100644 --- a/backend/lib/stapeln_web/controllers/error_json.ex +++ b/backend/lib/stapeln_web/controllers/error_json.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnWeb.ErrorJSON do @moduledoc """ This module is invoked by your endpoint in case of errors on JSON requests. diff --git a/backend/lib/stapeln_web/controllers/health_controller.ex b/backend/lib/stapeln_web/controllers/health_controller.ex index 9a58fa2e..3e5b6bfb 100644 --- a/backend/lib/stapeln_web/controllers/health_controller.ex +++ b/backend/lib/stapeln_web/controllers/health_controller.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnWeb.HealthController do use StapelnWeb, :controller diff --git a/backend/lib/stapeln_web/controllers/security_controller.ex b/backend/lib/stapeln_web/controllers/security_controller.ex index f9378d1e..0f4e499b 100644 --- a/backend/lib/stapeln_web/controllers/security_controller.ex +++ b/backend/lib/stapeln_web/controllers/security_controller.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnWeb.SecurityController do use StapelnWeb, :controller diff --git a/backend/lib/stapeln_web/controllers/stack_controller.ex b/backend/lib/stapeln_web/controllers/stack_controller.ex index 1aee83a5..6c4905c1 100644 --- a/backend/lib/stapeln_web/controllers/stack_controller.ex +++ b/backend/lib/stapeln_web/controllers/stack_controller.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnWeb.StackController do use StapelnWeb, :controller diff --git a/backend/lib/stapeln_web/endpoint.ex b/backend/lib/stapeln_web/endpoint.ex index de85e45d..84b5b1c3 100644 --- a/backend/lib/stapeln_web/endpoint.ex +++ b/backend/lib/stapeln_web/endpoint.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnWeb.Endpoint do use Phoenix.Endpoint, otp_app: :stapeln diff --git a/backend/lib/stapeln_web/gettext.ex b/backend/lib/stapeln_web/gettext.ex index 60cb039c..1239e85e 100644 --- a/backend/lib/stapeln_web/gettext.ex +++ b/backend/lib/stapeln_web/gettext.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnWeb.Gettext do @moduledoc """ A module providing Internationalization with a gettext-based API. diff --git a/backend/lib/stapeln_web/plugs/require_api_token.ex b/backend/lib/stapeln_web/plugs/require_api_token.ex index 86719edb..9741f537 100644 --- a/backend/lib/stapeln_web/plugs/require_api_token.ex +++ b/backend/lib/stapeln_web/plugs/require_api_token.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnWeb.Plugs.RequireApiToken do @moduledoc false diff --git a/backend/lib/stapeln_web/router.ex b/backend/lib/stapeln_web/router.ex index 084ec1dd..01afbcab 100644 --- a/backend/lib/stapeln_web/router.ex +++ b/backend/lib/stapeln_web/router.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnWeb.Router do use StapelnWeb, :router diff --git a/backend/lib/stapeln_web/schema.ex b/backend/lib/stapeln_web/schema.ex index 630d395f..416ec715 100644 --- a/backend/lib/stapeln_web/schema.ex +++ b/backend/lib/stapeln_web/schema.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnWeb.Schema do use Absinthe.Schema diff --git a/backend/lib/stapeln_web/telemetry.ex b/backend/lib/stapeln_web/telemetry.ex index ae760d6f..28fb98b6 100644 --- a/backend/lib/stapeln_web/telemetry.ex +++ b/backend/lib/stapeln_web/telemetry.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnWeb.Telemetry do use Supervisor import Telemetry.Metrics diff --git a/backend/mix.exs b/backend/mix.exs index 1c1c1d92..fe6e9413 100644 --- a/backend/mix.exs +++ b/backend/mix.exs @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule Stapeln.MixProject do use Mix.Project diff --git a/backend/test/stapeln_grpc/stack_service_server_test.exs b/backend/test/stapeln_grpc/stack_service_server_test.exs index 0e0e9e62..deabfc03 100644 --- a/backend/test/stapeln_grpc/stack_service_server_test.exs +++ b/backend/test/stapeln_grpc/stack_service_server_test.exs @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnGrpc.StackService.ServerTest do use ExUnit.Case, async: false diff --git a/backend/test/stapeln_web/controllers/error_json_test.exs b/backend/test/stapeln_web/controllers/error_json_test.exs index d9256006..955fba31 100644 --- a/backend/test/stapeln_web/controllers/error_json_test.exs +++ b/backend/test/stapeln_web/controllers/error_json_test.exs @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnWeb.ErrorJSONTest do use StapelnWeb.ConnCase, async: true diff --git a/backend/test/stapeln_web/controllers/graphql_api_test.exs b/backend/test/stapeln_web/controllers/graphql_api_test.exs index 108aa083..940e03df 100644 --- a/backend/test/stapeln_web/controllers/graphql_api_test.exs +++ b/backend/test/stapeln_web/controllers/graphql_api_test.exs @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnWeb.GraphqlApiTest do use StapelnWeb.ConnCase, async: false diff --git a/backend/test/stapeln_web/controllers/security_controller_test.exs b/backend/test/stapeln_web/controllers/security_controller_test.exs index 22e0c8da..89278e01 100644 --- a/backend/test/stapeln_web/controllers/security_controller_test.exs +++ b/backend/test/stapeln_web/controllers/security_controller_test.exs @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnWeb.SecurityControllerTest do use StapelnWeb.ConnCase, async: false diff --git a/backend/test/stapeln_web/controllers/stack_controller_test.exs b/backend/test/stapeln_web/controllers/stack_controller_test.exs index f32832ce..43a499fb 100644 --- a/backend/test/stapeln_web/controllers/stack_controller_test.exs +++ b/backend/test/stapeln_web/controllers/stack_controller_test.exs @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnWeb.StackControllerTest do use StapelnWeb.ConnCase, async: false diff --git a/backend/test/support/conn_case.ex b/backend/test/support/conn_case.ex index c0222978..5a56e715 100644 --- a/backend/test/support/conn_case.ex +++ b/backend/test/support/conn_case.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule StapelnWeb.ConnCase do @moduledoc """ This module defines the test case to be used by diff --git a/backend/test/test_helper.exs b/backend/test/test_helper.exs index 869559e7..5a570341 100644 --- a/backend/test/test_helper.exs +++ b/backend/test/test_helper.exs @@ -1 +1,2 @@ +# SPDX-License-Identifier: MPL-2.0 ExUnit.start() diff --git a/container-stack/cerro-torre/.claude/CLAUDE.md b/container-stack/cerro-torre/.claude/CLAUDE.md index 82515872..a7b32599 100644 --- a/container-stack/cerro-torre/.claude/CLAUDE.md +++ b/container-stack/cerro-torre/.claude/CLAUDE.md @@ -1,3 +1,4 @@ + ## Machine-Readable Artefacts The following files in `.machine_readable/` contain structured project metadata: diff --git a/container-stack/cerro-torre/.gitlab-ci.yml b/container-stack/cerro-torre/.gitlab-ci.yml index e32bc8f6..af642238 100644 --- a/container-stack/cerro-torre/.gitlab-ci.yml +++ b/container-stack/cerro-torre/.gitlab-ci.yml @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 stages: - attest - verify diff --git a/container-stack/cerro-torre/ABI-FFI-README.md b/container-stack/cerro-torre/ABI-FFI-README.md index e6a32bbf..2bd28632 100644 --- a/container-stack/cerro-torre/ABI-FFI-README.md +++ b/container-stack/cerro-torre/ABI-FFI-README.md @@ -1,3 +1,4 @@ + {{~ Aditionally delete this line and fill out the template below ~}} # {{PROJECT}} ABI/FFI Documentation diff --git a/container-stack/cerro-torre/CLAUDE.md b/container-stack/cerro-torre/CLAUDE.md index d4c56475..8d573109 100644 --- a/container-stack/cerro-torre/CLAUDE.md +++ b/container-stack/cerro-torre/CLAUDE.md @@ -1,3 +1,4 @@ + # CLAUDE.md — Cerro Torre Development Context This file provides context for AI-assisted development of the Cerro Torre project. diff --git a/container-stack/cerro-torre/COMPLETION-PLAN.md b/container-stack/cerro-torre/COMPLETION-PLAN.md index f9536376..0676e597 100644 --- a/container-stack/cerro-torre/COMPLETION-PLAN.md +++ b/container-stack/cerro-torre/COMPLETION-PLAN.md @@ -1,3 +1,4 @@ + # Cerro Torre - Path to 100% Completion **Current Status:** ~68% (honest assessment as of 2026-03-10) diff --git a/container-stack/cerro-torre/E2E-TEST-RESULTS.md b/container-stack/cerro-torre/E2E-TEST-RESULTS.md index 193c93cb..7fe1c654 100644 --- a/container-stack/cerro-torre/E2E-TEST-RESULTS.md +++ b/container-stack/cerro-torre/E2E-TEST-RESULTS.md @@ -1,3 +1,4 @@ + # End-to-End Test Results - Cerro Torre **Date**: 2026-01-25 diff --git a/container-stack/cerro-torre/IMPLEMENTATION-STATUS.md b/container-stack/cerro-torre/IMPLEMENTATION-STATUS.md index 9fb89eb7..65185f96 100644 --- a/container-stack/cerro-torre/IMPLEMENTATION-STATUS.md +++ b/container-stack/cerro-torre/IMPLEMENTATION-STATUS.md @@ -1,3 +1,4 @@ + # Cerro Torre - Implementation Status **Last Updated**: 2026-01-25 diff --git a/container-stack/cerro-torre/KEYGEN-PROGRESS-2026-02-05.md b/container-stack/cerro-torre/KEYGEN-PROGRESS-2026-02-05.md index 8234d8a4..179ad029 100644 --- a/container-stack/cerro-torre/KEYGEN-PROGRESS-2026-02-05.md +++ b/container-stack/cerro-torre/KEYGEN-PROGRESS-2026-02-05.md @@ -1,3 +1,4 @@ + # Cerro Torre: Ed25519 Signing Implementation - Session 2026-02-05 **Status:** 🟡 In Progress (82% → 85%) diff --git a/container-stack/cerro-torre/PALIMPSEST.adoc b/container-stack/cerro-torre/PALIMPSEST.adoc index 84c84825..c82118f5 100644 --- a/container-stack/cerro-torre/PALIMPSEST.adoc +++ b/container-stack/cerro-torre/PALIMPSEST.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Palimpsest License :toc: :toc-placement!: diff --git a/container-stack/cerro-torre/README.adoc b/container-stack/cerro-torre/README.adoc index 68740c5f..7cb5a776 100644 --- a/container-stack/cerro-torre/README.adoc +++ b/container-stack/cerro-torre/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Cerro Torre image:https://img.shields.io/badge/License-PMPL--1.0--or--later-indigo.svg[PMPL-1.0-or-later,link="https://github.com/hyperpolymath/palimpsest-license"] diff --git a/container-stack/cerro-torre/RSR_OUTLINE.adoc b/container-stack/cerro-torre/RSR_OUTLINE.adoc index 94a49d83..c5c108df 100644 --- a/container-stack/cerro-torre/RSR_OUTLINE.adoc +++ b/container-stack/cerro-torre/RSR_OUTLINE.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = RSR Template Repository image:[Palimpsest-MPL-1.0,link="https://github.com/hyperpolymath/palimpsest-license"] image:[Palimpsest,link="https://github.com/hyperpolymath/palimpsest-license"] diff --git a/container-stack/cerro-torre/RUST-SIGNING-MIGRATION.md b/container-stack/cerro-torre/RUST-SIGNING-MIGRATION.md index 8a2dd4a0..b5d831ac 100644 --- a/container-stack/cerro-torre/RUST-SIGNING-MIGRATION.md +++ b/container-stack/cerro-torre/RUST-SIGNING-MIGRATION.md @@ -1,3 +1,4 @@ + # Rust Signing CLI Migration **Date:** 2026-02-05 diff --git a/container-stack/cerro-torre/SECURITY-AUDIT-2026-01-25.md b/container-stack/cerro-torre/SECURITY-AUDIT-2026-01-25.md index 1e576287..abc3b658 100644 --- a/container-stack/cerro-torre/SECURITY-AUDIT-2026-01-25.md +++ b/container-stack/cerro-torre/SECURITY-AUDIT-2026-01-25.md @@ -1,3 +1,4 @@ + # Cerro Torre Security Audit - 2026-01-25 **Auditor**: Claude Sonnet 4.5 diff --git a/container-stack/cerro-torre/SECURITY-FIXES-SUMMARY.md b/container-stack/cerro-torre/SECURITY-FIXES-SUMMARY.md index 2f827385..c55f5bc5 100644 --- a/container-stack/cerro-torre/SECURITY-FIXES-SUMMARY.md +++ b/container-stack/cerro-torre/SECURITY-FIXES-SUMMARY.md @@ -1,3 +1,4 @@ + # Cerro Torre Security Fixes Summary - 2026-01-25 ## Overview diff --git a/container-stack/cerro-torre/SESSION-COMPLETE-2026-01-25.md b/container-stack/cerro-torre/SESSION-COMPLETE-2026-01-25.md index 76d0531d..84efc1d0 100644 --- a/container-stack/cerro-torre/SESSION-COMPLETE-2026-01-25.md +++ b/container-stack/cerro-torre/SESSION-COMPLETE-2026-01-25.md @@ -1,3 +1,4 @@ + # Cerro Torre Development Session - Complete Summary - 2026-01-25 ## Executive Summary diff --git a/container-stack/cerro-torre/SESSION-CONTINUATION-2026-01-25.md b/container-stack/cerro-torre/SESSION-CONTINUATION-2026-01-25.md index 875ba932..45e972cd 100644 --- a/container-stack/cerro-torre/SESSION-CONTINUATION-2026-01-25.md +++ b/container-stack/cerro-torre/SESSION-CONTINUATION-2026-01-25.md @@ -1,3 +1,4 @@ + # Cerro Torre Development Session Continuation - 2026-01-25 ## Session Overview diff --git a/container-stack/cerro-torre/SESSION-LIVE-TESTING-2026-01-25.md b/container-stack/cerro-torre/SESSION-LIVE-TESTING-2026-01-25.md index 4f949a36..8be4e789 100644 --- a/container-stack/cerro-torre/SESSION-LIVE-TESTING-2026-01-25.md +++ b/container-stack/cerro-torre/SESSION-LIVE-TESTING-2026-01-25.md @@ -1,3 +1,4 @@ + # Cerro Torre Live Registry Testing - 2026-01-25 ## Session Overview diff --git a/container-stack/cerro-torre/SESSION-PHASE3-START-2026-01-25.md b/container-stack/cerro-torre/SESSION-PHASE3-START-2026-01-25.md index eca731e7..52aba9c4 100644 --- a/container-stack/cerro-torre/SESSION-PHASE3-START-2026-01-25.md +++ b/container-stack/cerro-torre/SESSION-PHASE3-START-2026-01-25.md @@ -1,3 +1,4 @@ + # Cerro Torre - Phase 3 Start Session Summary **Date**: 2026-01-25 diff --git a/container-stack/cerro-torre/SESSION-PUSH-COMPLETE-2026-01-25.md b/container-stack/cerro-torre/SESSION-PUSH-COMPLETE-2026-01-25.md index 113e2515..edd72def 100644 --- a/container-stack/cerro-torre/SESSION-PUSH-COMPLETE-2026-01-25.md +++ b/container-stack/cerro-torre/SESSION-PUSH-COMPLETE-2026-01-25.md @@ -1,3 +1,4 @@ + # Cerro Torre - Push Verification Session Summary **Date**: 2026-01-25 diff --git a/container-stack/cerro-torre/SESSION-SUMMARY-2026-01-25.md b/container-stack/cerro-torre/SESSION-SUMMARY-2026-01-25.md index 90c4e4d3..92df3454 100644 --- a/container-stack/cerro-torre/SESSION-SUMMARY-2026-01-25.md +++ b/container-stack/cerro-torre/SESSION-SUMMARY-2026-01-25.md @@ -1,3 +1,4 @@ + # Cerro Torre Development Session - 2026-01-25 ## Session Overview diff --git a/container-stack/cerro-torre/STATUS-2026-02-05.md b/container-stack/cerro-torre/STATUS-2026-02-05.md index 3cb8a06a..82d37350 100644 --- a/container-stack/cerro-torre/STATUS-2026-02-05.md +++ b/container-stack/cerro-torre/STATUS-2026-02-05.md @@ -1,3 +1,4 @@ + # Cerro Torre Status: 2026-02-05 **Completion: 82% → 90% → 100%** ✅ diff --git a/container-stack/cerro-torre/TRANSPARENCY-LOG-STATUS.md b/container-stack/cerro-torre/TRANSPARENCY-LOG-STATUS.md index 12ac1a67..65eaa5e2 100644 --- a/container-stack/cerro-torre/TRANSPARENCY-LOG-STATUS.md +++ b/container-stack/cerro-torre/TRANSPARENCY-LOG-STATUS.md @@ -1,3 +1,4 @@ + # Transparency Log Integration - Implementation Status ## Completed Features ✅ diff --git a/container-stack/cerro-torre/alire.toml b/container-stack/cerro-torre/alire.toml index eada8b1d..8f58ef19 100644 --- a/container-stack/cerro-torre/alire.toml +++ b/container-stack/cerro-torre/alire.toml @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 name = "cerro_torre" description = "Supply-chain-verified Linux distribution tooling" version = "0.1.0-dev" diff --git a/container-stack/cerro-torre/cerro_torre_stack/.formatter.exs b/container-stack/cerro-torre/cerro_torre_stack/.formatter.exs index 90a08535..fe1c0181 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/.formatter.exs +++ b/container-stack/cerro-torre/cerro_torre_stack/.formatter.exs @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 # Used by "mix format" [ inputs: ["mix.exs", "config/*.exs"], diff --git a/container-stack/cerro-torre/cerro_torre_stack/AGENTS.md b/container-stack/cerro-torre/cerro_torre_stack/AGENTS.md index a04dd5d4..60b272aa 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/AGENTS.md +++ b/container-stack/cerro-torre/cerro_torre_stack/AGENTS.md @@ -1,3 +1,4 @@ + This is a web application written using the Phoenix web framework. ## Project guidelines diff --git a/container-stack/cerro-torre/cerro_torre_stack/README.adoc b/container-stack/cerro-torre/cerro_torre_stack/README.adoc index 95fb0379..def241ea 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/README.adoc +++ b/container-stack/cerro-torre/cerro_torre_stack/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Cerro Torre Stack :toc: :toclevels: 3 diff --git a/container-stack/cerro-torre/cerro_torre_stack/README.md b/container-stack/cerro-torre/cerro_torre_stack/README.md index 5f5eaa71..5054e1d9 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/README.md +++ b/container-stack/cerro-torre/cerro_torre_stack/README.md @@ -1,3 +1,4 @@ + # CerroTorreStack **TODO: Add description** diff --git a/container-stack/cerro-torre/cerro_torre_stack/SECURITY-SETUP.md b/container-stack/cerro-torre/cerro_torre_stack/SECURITY-SETUP.md index 452b1b02..dda0b931 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/SECURITY-SETUP.md +++ b/container-stack/cerro-torre/cerro_torre_stack/SECURITY-SETUP.md @@ -1,3 +1,4 @@ + # Security Configuration for cerrotorre.dev ## Overview diff --git a/container-stack/cerro-torre/cerro_torre_stack/apps/cerro_shared/.formatter.exs b/container-stack/cerro-torre/cerro_torre_stack/apps/cerro_shared/.formatter.exs index d2cda26e..3a8dbb90 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/apps/cerro_shared/.formatter.exs +++ b/container-stack/cerro-torre/cerro_torre_stack/apps/cerro_shared/.formatter.exs @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 # Used by "mix format" [ inputs: ["{mix,.formatter}.exs", "{config,lib,test}/**/*.{ex,exs}"] diff --git a/container-stack/cerro-torre/cerro_torre_stack/apps/cerro_shared/README.md b/container-stack/cerro-torre/cerro_torre_stack/apps/cerro_shared/README.md index b52f765b..a80f4a21 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/apps/cerro_shared/README.md +++ b/container-stack/cerro-torre/cerro_torre_stack/apps/cerro_shared/README.md @@ -1,3 +1,4 @@ + # CerroShared **TODO: Add description** diff --git a/container-stack/cerro-torre/cerro_torre_stack/apps/cerro_shared/lib/cerro_shared.ex b/container-stack/cerro-torre/cerro_torre_stack/apps/cerro_shared/lib/cerro_shared.ex index 928915db..610c3443 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/apps/cerro_shared/lib/cerro_shared.ex +++ b/container-stack/cerro-torre/cerro_torre_stack/apps/cerro_shared/lib/cerro_shared.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule CerroShared do @moduledoc """ Documentation for `CerroShared`. diff --git a/container-stack/cerro-torre/cerro_torre_stack/apps/cerro_shared/mix.exs b/container-stack/cerro-torre/cerro_torre_stack/apps/cerro_shared/mix.exs index f41b4037..3d2c35d5 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/apps/cerro_shared/mix.exs +++ b/container-stack/cerro-torre/cerro_torre_stack/apps/cerro_shared/mix.exs @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule CerroShared.MixProject do use Mix.Project diff --git a/container-stack/cerro-torre/cerro_torre_stack/apps/cerro_shared/test/cerro_shared_test.exs b/container-stack/cerro-torre/cerro_torre_stack/apps/cerro_shared/test/cerro_shared_test.exs index eb16ba5a..71579e49 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/apps/cerro_shared/test/cerro_shared_test.exs +++ b/container-stack/cerro-torre/cerro_torre_stack/apps/cerro_shared/test/cerro_shared_test.exs @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule CerroSharedTest do use ExUnit.Case doctest CerroShared diff --git a/container-stack/cerro-torre/cerro_torre_stack/apps/cerro_shared/test/test_helper.exs b/container-stack/cerro-torre/cerro_torre_stack/apps/cerro_shared/test/test_helper.exs index 869559e7..5a570341 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/apps/cerro_shared/test/test_helper.exs +++ b/container-stack/cerro-torre/cerro_torre_stack/apps/cerro_shared/test/test_helper.exs @@ -1 +1,2 @@ +# SPDX-License-Identifier: MPL-2.0 ExUnit.start() diff --git a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/.formatter.exs b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/.formatter.exs index 47616780..2c2b9842 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/.formatter.exs +++ b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/.formatter.exs @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 [ import_deps: [:phoenix], inputs: ["*.{ex,exs}", "{config,lib,test}/**/*.{ex,exs}"] diff --git a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/README.md b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/README.md index 007c2247..a8ddf63c 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/README.md +++ b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/README.md @@ -1,3 +1,4 @@ + # Svalinn To start your Phoenix server: diff --git a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn.ex b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn.ex index 9cf3049b..6494163e 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn.ex +++ b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule Svalinn do @moduledoc """ Svalinn keeps the contexts that define your domain diff --git a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn/application.ex b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn/application.ex index d1eaef62..c64a190c 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn/application.ex +++ b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn/application.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule Svalinn.Application do # See https://hexdocs.pm/elixir/Application.html # for more information on OTP Applications diff --git a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn/mailer.ex b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn/mailer.ex index 78989fcd..edc1ae52 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn/mailer.ex +++ b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn/mailer.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule Svalinn.Mailer do use Swoosh.Mailer, otp_app: :svalinn end diff --git a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn_web.ex b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn_web.ex index 28a21a8c..bf0af8a1 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn_web.ex +++ b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn_web.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule SvalinnWeb do @moduledoc """ The entrypoint for defining your web interface, such diff --git a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn_web/controllers/error_json.ex b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn_web/controllers/error_json.ex index ceb3cb12..2c616370 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn_web/controllers/error_json.ex +++ b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn_web/controllers/error_json.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule SvalinnWeb.ErrorJSON do @moduledoc """ This module is invoked by your endpoint in case of errors on JSON requests. diff --git a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn_web/endpoint.ex b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn_web/endpoint.ex index 2118aa99..e3ac457f 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn_web/endpoint.ex +++ b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn_web/endpoint.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule SvalinnWeb.Endpoint do use Phoenix.Endpoint, otp_app: :svalinn diff --git a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn_web/gettext.ex b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn_web/gettext.ex index 3c33ad06..3db97fa6 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn_web/gettext.ex +++ b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn_web/gettext.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule SvalinnWeb.Gettext do @moduledoc """ A module providing Internationalization with a gettext-based API. diff --git a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn_web/router.ex b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn_web/router.ex index 5de53233..93681d56 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn_web/router.ex +++ b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn_web/router.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule SvalinnWeb.Router do use SvalinnWeb, :router diff --git a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn_web/telemetry.ex b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn_web/telemetry.ex index 9cd847c0..315ef997 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn_web/telemetry.ex +++ b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/lib/svalinn_web/telemetry.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule SvalinnWeb.Telemetry do use Supervisor import Telemetry.Metrics diff --git a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/mix.exs b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/mix.exs index 7b59ba38..eabbe1a8 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/mix.exs +++ b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/mix.exs @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule Svalinn.MixProject do use Mix.Project diff --git a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/test/support/conn_case.ex b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/test/support/conn_case.ex index fd95ca6c..fe0ea232 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/test/support/conn_case.ex +++ b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/test/support/conn_case.ex @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule SvalinnWeb.ConnCase do @moduledoc """ This module defines the test case to be used by diff --git a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/test/svalinn_web/controllers/error_json_test.exs b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/test/svalinn_web/controllers/error_json_test.exs index 72326fe5..b9ec3cb3 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/test/svalinn_web/controllers/error_json_test.exs +++ b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/test/svalinn_web/controllers/error_json_test.exs @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule SvalinnWeb.ErrorJSONTest do use SvalinnWeb.ConnCase, async: true diff --git a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/test/test_helper.exs b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/test/test_helper.exs index 869559e7..5a570341 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/test/test_helper.exs +++ b/container-stack/cerro-torre/cerro_torre_stack/apps/svalinn/test/test_helper.exs @@ -1 +1,2 @@ +# SPDX-License-Identifier: MPL-2.0 ExUnit.start() diff --git a/container-stack/cerro-torre/cerro_torre_stack/config/config.exs b/container-stack/cerro-torre/cerro_torre_stack/config/config.exs index 1967be41..c2a3f61d 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/config/config.exs +++ b/container-stack/cerro-torre/cerro_torre_stack/config/config.exs @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 # This file is responsible for configuring your umbrella # and **all applications** and their dependencies with the # help of the Config module. diff --git a/container-stack/cerro-torre/cerro_torre_stack/config/dev.exs b/container-stack/cerro-torre/cerro_torre_stack/config/dev.exs index 7fa22b19..0e6bc9ed 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/config/dev.exs +++ b/container-stack/cerro-torre/cerro_torre_stack/config/dev.exs @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 import Config # For development, we disable any cache and enable diff --git a/container-stack/cerro-torre/cerro_torre_stack/config/prod.exs b/container-stack/cerro-torre/cerro_torre_stack/config/prod.exs index 60ca8158..beb15fcd 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/config/prod.exs +++ b/container-stack/cerro-torre/cerro_torre_stack/config/prod.exs @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 import Config # Force using SSL in production. This also sets the "strict-security-transport" header, diff --git a/container-stack/cerro-torre/cerro_torre_stack/config/runtime.exs b/container-stack/cerro-torre/cerro_torre_stack/config/runtime.exs index ba278267..1683c384 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/config/runtime.exs +++ b/container-stack/cerro-torre/cerro_torre_stack/config/runtime.exs @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 import Config # config/runtime.exs is executed for all environments, including diff --git a/container-stack/cerro-torre/cerro_torre_stack/config/test.exs b/container-stack/cerro-torre/cerro_torre_stack/config/test.exs index 82af4df2..53fcc836 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/config/test.exs +++ b/container-stack/cerro-torre/cerro_torre_stack/config/test.exs @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 import Config # We don't run a server during test. If one is required, diff --git a/container-stack/cerro-torre/cerro_torre_stack/mix.exs b/container-stack/cerro-torre/cerro_torre_stack/mix.exs index 87e34efb..48409a44 100644 --- a/container-stack/cerro-torre/cerro_torre_stack/mix.exs +++ b/container-stack/cerro-torre/cerro_torre_stack/mix.exs @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 defmodule CerroTorreStack.MixProject do use Mix.Project diff --git a/container-stack/cerro-torre/contractiles/README.adoc b/container-stack/cerro-torre/contractiles/README.adoc index d19a3877..7ddf4b95 100644 --- a/container-stack/cerro-torre/contractiles/README.adoc +++ b/container-stack/cerro-torre/contractiles/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Contractiles Template Set :toc: :sectnums: diff --git a/container-stack/cerro-torre/docs/ARCHITECTURE.md b/container-stack/cerro-torre/docs/ARCHITECTURE.md index 0c94d548..cae200ed 100644 --- a/container-stack/cerro-torre/docs/ARCHITECTURE.md +++ b/container-stack/cerro-torre/docs/ARCHITECTURE.md @@ -1,3 +1,4 @@ + # Cerro Torre Architecture ## Overview diff --git a/container-stack/cerro-torre/docs/CITATIONS.adoc b/container-stack/cerro-torre/docs/CITATIONS.adoc index b42560b5..fdfcc9f7 100644 --- a/container-stack/cerro-torre/docs/CITATIONS.adoc +++ b/container-stack/cerro-torre/docs/CITATIONS.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Cerro-Torre - Citation Guide :toc: diff --git a/container-stack/cerro-torre/docs/EVALUATION-REPORT.adoc b/container-stack/cerro-torre/docs/EVALUATION-REPORT.adoc index 09f1c105..48c05cd6 100644 --- a/container-stack/cerro-torre/docs/EVALUATION-REPORT.adoc +++ b/container-stack/cerro-torre/docs/EVALUATION-REPORT.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Cerro Torre Evaluation Report :toc: left :toclevels: 2 diff --git a/container-stack/cerro-torre/docs/MVP-PLAN.md b/container-stack/cerro-torre/docs/MVP-PLAN.md index af7e757e..e8423205 100644 --- a/container-stack/cerro-torre/docs/MVP-PLAN.md +++ b/container-stack/cerro-torre/docs/MVP-PLAN.md @@ -1,3 +1,4 @@ + # Cerro Torre MVP Plan **Version**: 0.1.0-mvp diff --git a/container-stack/cerro-torre/docs/OUTSTANDING-WORK.md b/container-stack/cerro-torre/docs/OUTSTANDING-WORK.md index ce0035e4..8e6e32e7 100644 --- a/container-stack/cerro-torre/docs/OUTSTANDING-WORK.md +++ b/container-stack/cerro-torre/docs/OUTSTANDING-WORK.md @@ -1,3 +1,4 @@ + # Outstanding Work Items **Generated**: 2025-12-28 diff --git a/container-stack/cerro-torre/docs/QOL-AUDIT.adoc b/container-stack/cerro-torre/docs/QOL-AUDIT.adoc index a4ed71e5..4030d28a 100644 --- a/container-stack/cerro-torre/docs/QOL-AUDIT.adoc +++ b/container-stack/cerro-torre/docs/QOL-AUDIT.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Cerro-Torre QoL + Ergonomics Completion Audit :toc: left :toclevels: 3 diff --git a/container-stack/cerro-torre/docs/ROADMAP.md b/container-stack/cerro-torre/docs/ROADMAP.md index 3496df37..b2492ccc 100644 --- a/container-stack/cerro-torre/docs/ROADMAP.md +++ b/container-stack/cerro-torre/docs/ROADMAP.md @@ -1,3 +1,4 @@ + # Cerro Torre Roadmap ## Philosophy diff --git a/container-stack/cerro-torre/docs/WORDPRESS-SECURITY-STACK.md b/container-stack/cerro-torre/docs/WORDPRESS-SECURITY-STACK.md index 04ed56c1..18b115b3 100644 --- a/container-stack/cerro-torre/docs/WORDPRESS-SECURITY-STACK.md +++ b/container-stack/cerro-torre/docs/WORDPRESS-SECURITY-STACK.md @@ -1,3 +1,4 @@ + # WordPress Security Stack Deployment Guide **Stack Components**: diff --git a/container-stack/cerro-torre/docs/crypto-suites.adoc b/container-stack/cerro-torre/docs/crypto-suites.adoc index 6994df70..e232074d 100644 --- a/container-stack/cerro-torre/docs/crypto-suites.adoc +++ b/container-stack/cerro-torre/docs/crypto-suites.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Crypto Suites — Suite Commitment (No Downgrade) :toc: :toclevels: 3 diff --git a/container-stack/cerro-torre/docs/handovers/01-canonical-authority.adoc b/container-stack/cerro-torre/docs/handovers/01-canonical-authority.adoc index d18131b0..78b9c000 100644 --- a/container-stack/cerro-torre/docs/handovers/01-canonical-authority.adoc +++ b/container-stack/cerro-torre/docs/handovers/01-canonical-authority.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Canonical Authority and Language Policy :status: normative :audience: maintainers, auditors, foundations diff --git a/container-stack/cerro-torre/docs/handovers/02-ats-shadow-policy.adoc b/container-stack/cerro-torre/docs/handovers/02-ats-shadow-policy.adoc index 9ce59700..44a12e1e 100644 --- a/container-stack/cerro-torre/docs/handovers/02-ats-shadow-policy.adoc +++ b/container-stack/cerro-torre/docs/handovers/02-ats-shadow-policy.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = ATS Shadow Verification Policy :status: normative :audience: maintainers, CI authors diff --git a/container-stack/cerro-torre/docs/handovers/03-phase0-must-alignment.adoc b/container-stack/cerro-torre/docs/handovers/03-phase0-must-alignment.adoc index 7e71468f..52e7dfce 100644 --- a/container-stack/cerro-torre/docs/handovers/03-phase0-must-alignment.adoc +++ b/container-stack/cerro-torre/docs/handovers/03-phase0-must-alignment.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Phase-0 MUST Alignment Record :status: record :audience: maintainers, reviewers diff --git a/container-stack/cerro-torre/docs/sfc-inquiry-draft.md b/container-stack/cerro-torre/docs/sfc-inquiry-draft.md index da6bb593..66c3ee2e 100644 --- a/container-stack/cerro-torre/docs/sfc-inquiry-draft.md +++ b/container-stack/cerro-torre/docs/sfc-inquiry-draft.md @@ -1,3 +1,4 @@ + # Software Freedom Conservancy Inquiry **Draft for review — not yet sent** diff --git a/container-stack/cerro-torre/examples/policies/dev-testing.a2ml b/container-stack/cerro-torre/examples/policies/dev-testing.a2ml index a035a466..9713391f 100644 --- a/container-stack/cerro-torre/examples/policies/dev-testing.a2ml +++ b/container-stack/cerro-torre/examples/policies/dev-testing.a2ml @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 @policy(id="dev-testing", version="1.0"): @meta(created="2026-01-15", updated="2026-01-28"): Description: Development and testing policy - relaxed requirements diff --git a/container-stack/cerro-torre/examples/policies/strict-prod.a2ml b/container-stack/cerro-torre/examples/policies/strict-prod.a2ml index 35c68554..2dc09405 100644 --- a/container-stack/cerro-torre/examples/policies/strict-prod.a2ml +++ b/container-stack/cerro-torre/examples/policies/strict-prod.a2ml @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 @policy(id="strict-prod", version="2.0"): @meta(created="2025-12-01", updated="2026-01-28"): Description: Production deployment policy with strict verification diff --git a/container-stack/cerro-torre/examples/policies/trust-store-2026.a2ml b/container-stack/cerro-torre/examples/policies/trust-store-2026.a2ml index 6f5f92e5..83885398 100644 --- a/container-stack/cerro-torre/examples/policies/trust-store-2026.a2ml +++ b/container-stack/cerro-torre/examples/policies/trust-store-2026.a2ml @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 @trust-store(id="production-2026", version="1.0"): @meta(created="2026-01-15", updated="2026-01-28"): Maintained by: Security Team diff --git a/container-stack/cerro-torre/ffi/zig/src/main.zig b/container-stack/cerro-torre/ffi/zig/src/main.zig index 6b233bc7..e6ee6b9d 100644 --- a/container-stack/cerro-torre/ffi/zig/src/main.zig +++ b/container-stack/cerro-torre/ffi/zig/src/main.zig @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 // {{PROJECT}} FFI Implementation // // This module implements the C-compatible FFI declared in src/abi/Foreign.idr diff --git a/container-stack/cerro-torre/governance/articles.md b/container-stack/cerro-torre/governance/articles.md index 5b16fbf5..4e6f3932 100644 --- a/container-stack/cerro-torre/governance/articles.md +++ b/container-stack/cerro-torre/governance/articles.md @@ -1,3 +1,4 @@ + # Cerro Torre Cooperative: Articles of Governance **Version**: Draft 0.1 diff --git a/container-stack/cerro-torre/governance/covenant.md b/container-stack/cerro-torre/governance/covenant.md index 7ff996fd..e4a94202 100644 --- a/container-stack/cerro-torre/governance/covenant.md +++ b/container-stack/cerro-torre/governance/covenant.md @@ -1,3 +1,4 @@ + # The Palimpsest Covenant **Version**: 1.0 diff --git a/container-stack/cerro-torre/governance/decisions/0001-adopt-ada-spark.md b/container-stack/cerro-torre/governance/decisions/0001-adopt-ada-spark.md index 28826eb1..40daf25a 100644 --- a/container-stack/cerro-torre/governance/decisions/0001-adopt-ada-spark.md +++ b/container-stack/cerro-torre/governance/decisions/0001-adopt-ada-spark.md @@ -1,3 +1,4 @@ + # Decision Record 0001: Adopt Ada/SPARK as Primary Implementation Language **Status:** Accepted diff --git a/container-stack/cerro-torre/governance/decisions/0002-use-toml-for-manifests.md b/container-stack/cerro-torre/governance/decisions/0002-use-toml-for-manifests.md index 521f06d5..919a5642 100644 --- a/container-stack/cerro-torre/governance/decisions/0002-use-toml-for-manifests.md +++ b/container-stack/cerro-torre/governance/decisions/0002-use-toml-for-manifests.md @@ -1,3 +1,4 @@ + # Decision Record 0002: Use TOML for Manifest Format **Status:** Accepted diff --git a/container-stack/cerro-torre/governance/decisions/README.md b/container-stack/cerro-torre/governance/decisions/README.md index 3200ba1d..dc0cdbcd 100644 --- a/container-stack/cerro-torre/governance/decisions/README.md +++ b/container-stack/cerro-torre/governance/decisions/README.md @@ -1,3 +1,4 @@ + # Decision Records This directory contains Architectural Decision Records (ADRs) documenting significant technical and governance decisions for the Cerro Torre project. diff --git a/container-stack/cerro-torre/mustfile.toml b/container-stack/cerro-torre/mustfile.toml index f8199c5a..7fb6c79f 100644 --- a/container-stack/cerro-torre/mustfile.toml +++ b/container-stack/cerro-torre/mustfile.toml @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 # mustfile.toml schema = "0.1" diff --git a/container-stack/cerro-torre/spec/cli-ergonomics.adoc b/container-stack/cerro-torre/spec/cli-ergonomics.adoc index e6c6c924..05773b64 100644 --- a/container-stack/cerro-torre/spec/cli-ergonomics.adoc +++ b/container-stack/cerro-torre/spec/cli-ergonomics.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Cerro Torre CLI Ergonomics Specification :status: normative :audience: users, implementers diff --git a/container-stack/cerro-torre/spec/keystore-nongoals.adoc b/container-stack/cerro-torre/spec/keystore-nongoals.adoc index b9a7d1c7..6d2c8832 100644 --- a/container-stack/cerro-torre/spec/keystore-nongoals.adoc +++ b/container-stack/cerro-torre/spec/keystore-nongoals.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Keystore Policy: Explicit Non-Goals :status: normative :audience: implementers, auditors diff --git a/container-stack/cerro-torre/spec/manifest-canonicalization.adoc b/container-stack/cerro-torre/spec/manifest-canonicalization.adoc index c1fa296d..11d04dd7 100644 --- a/container-stack/cerro-torre/spec/manifest-canonicalization.adoc +++ b/container-stack/cerro-torre/spec/manifest-canonicalization.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Manifest Canonicalization Rules (CTP-CANON v0) :status: draft-normative :audience: spec authors, implementers, auditors diff --git a/container-stack/cerro-torre/spec/mvp-manifest.md b/container-stack/cerro-torre/spec/mvp-manifest.md index cd7126db..1faf3965 100644 --- a/container-stack/cerro-torre/spec/mvp-manifest.md +++ b/container-stack/cerro-torre/spec/mvp-manifest.md @@ -1,3 +1,4 @@ + # MVP Manifest Specification **Version**: 0.1.0-mvp diff --git a/container-stack/cerro-torre/spec/semantic-authority.adoc b/container-stack/cerro-torre/spec/semantic-authority.adoc index fc5a1191..c4f414d2 100644 --- a/container-stack/cerro-torre/spec/semantic-authority.adoc +++ b/container-stack/cerro-torre/spec/semantic-authority.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Semantic Authority and Invariant Hierarchy :status: normative :audience: spec authors, implementers diff --git a/container-stack/cerro-torre/spec/svalinn-integration.adoc b/container-stack/cerro-torre/spec/svalinn-integration.adoc index 5b550164..00db2728 100644 --- a/container-stack/cerro-torre/spec/svalinn-integration.adoc +++ b/container-stack/cerro-torre/spec/svalinn-integration.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Cerro Torre / Svalinn Integration :status: draft :audience: maintainers, implementers diff --git a/container-stack/cerro-torre/tests/e2e-test-plan.md b/container-stack/cerro-torre/tests/e2e-test-plan.md index 90694f89..706eae0e 100644 --- a/container-stack/cerro-torre/tests/e2e-test-plan.md +++ b/container-stack/cerro-torre/tests/e2e-test-plan.md @@ -1,3 +1,4 @@ + # End-to-End Test Plan - Registry + Transparency Logs ## Test Environment Setup diff --git a/container-stack/cerro-torre/tools/ats-shadow/README.adoc b/container-stack/cerro-torre/tools/ats-shadow/README.adoc index 602c3c42..29ec66ef 100644 --- a/container-stack/cerro-torre/tools/ats-shadow/README.adoc +++ b/container-stack/cerro-torre/tools/ats-shadow/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = ATS Shadow Verifier (Non-authoritative) :status: draft :audience: maintainers, CI diff --git a/container-stack/rokur/0-AI-MANIFEST.a2ml b/container-stack/rokur/0-AI-MANIFEST.a2ml index 79d14ce7..22dcae01 100644 --- a/container-stack/rokur/0-AI-MANIFEST.a2ml +++ b/container-stack/rokur/0-AI-MANIFEST.a2ml @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 # STOP - CRITICAL READING REQUIRED **THIS FILE MUST BE READ FIRST BY ALL AI AGENTS** diff --git a/container-stack/rokur/README.md b/container-stack/rokur/README.md index 776d2007..427e49bd 100644 --- a/container-stack/rokur/README.md +++ b/container-stack/rokur/README.md @@ -1,3 +1,4 @@ + # Rokur Rokur is the secrets gate used by the stapeln runtime plane before container diff --git a/container-stack/selur/.clusterfuzzlite/build.sh b/container-stack/selur/.clusterfuzzlite/build.sh old mode 100755 new mode 100644 index a60fba6d..acd169a6 --- a/container-stack/selur/.clusterfuzzlite/build.sh +++ b/container-stack/selur/.clusterfuzzlite/build.sh @@ -1,4 +1,5 @@ #!/bin/bash -eu +# SPDX-License-Identifier: MPL-2.0 cd $SRC/project cargo +nightly fuzz build --release diff --git a/container-stack/selur/.clusterfuzzlite/project.yaml b/container-stack/selur/.clusterfuzzlite/project.yaml index 4bb8843a..00d7c08d 100644 --- a/container-stack/selur/.clusterfuzzlite/project.yaml +++ b/container-stack/selur/.clusterfuzzlite/project.yaml @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 language: rust sanitizers: - address diff --git a/container-stack/selur/ANNOUNCEMENT-v1.0.0.md b/container-stack/selur/ANNOUNCEMENT-v1.0.0.md index b19bb0b7..e9f389a1 100644 --- a/container-stack/selur/ANNOUNCEMENT-v1.0.0.md +++ b/container-stack/selur/ANNOUNCEMENT-v1.0.0.md @@ -1,3 +1,4 @@ + # 🚀 Announcing selur v1.0.0 **Date:** 2026-01-25 diff --git a/container-stack/selur/RELEASE-CHECKLIST.md b/container-stack/selur/RELEASE-CHECKLIST.md index 122eaf8c..bcfa0f3e 100644 --- a/container-stack/selur/RELEASE-CHECKLIST.md +++ b/container-stack/selur/RELEASE-CHECKLIST.md @@ -1,3 +1,4 @@ + # selur v1.0.0 Release Checklist ## Pre-Release ✅ diff --git a/container-stack/selur/RELEASE-NOTES-v1.0.0.md b/container-stack/selur/RELEASE-NOTES-v1.0.0.md index 625500a0..9267d6f1 100644 --- a/container-stack/selur/RELEASE-NOTES-v1.0.0.md +++ b/container-stack/selur/RELEASE-NOTES-v1.0.0.md @@ -1,3 +1,4 @@ + # selur v1.0.0 Release Notes **Release Date:** 2026-01-25 diff --git a/container-stack/selur/RELEASE-SUMMARY.md b/container-stack/selur/RELEASE-SUMMARY.md index 70047e6d..60fd12f1 100644 --- a/container-stack/selur/RELEASE-SUMMARY.md +++ b/container-stack/selur/RELEASE-SUMMARY.md @@ -1,3 +1,4 @@ + # selur v1.0.0 Release Summary **Date:** 2026-01-25 diff --git a/container-stack/selur/SECURITY-AUDIT-2026-01-25.md b/container-stack/selur/SECURITY-AUDIT-2026-01-25.md index 990c2ef5..5c08251c 100644 --- a/container-stack/selur/SECURITY-AUDIT-2026-01-25.md +++ b/container-stack/selur/SECURITY-AUDIT-2026-01-25.md @@ -1,3 +1,4 @@ + # Selur Security Audit - 2026-01-25 **Auditor**: Claude Sonnet 4.5 diff --git a/container-stack/selur/compose/.clusterfuzzlite/build.sh b/container-stack/selur/compose/.clusterfuzzlite/build.sh old mode 100755 new mode 100644 index a60fba6d..acd169a6 --- a/container-stack/selur/compose/.clusterfuzzlite/build.sh +++ b/container-stack/selur/compose/.clusterfuzzlite/build.sh @@ -1,4 +1,5 @@ #!/bin/bash -eu +# SPDX-License-Identifier: MPL-2.0 cd $SRC/project cargo +nightly fuzz build --release diff --git a/container-stack/selur/compose/.clusterfuzzlite/project.yaml b/container-stack/selur/compose/.clusterfuzzlite/project.yaml index 4bb8843a..00d7c08d 100644 --- a/container-stack/selur/compose/.clusterfuzzlite/project.yaml +++ b/container-stack/selur/compose/.clusterfuzzlite/project.yaml @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 language: rust sanitizers: - address diff --git a/container-stack/selur/compose/PROGRESS.md b/container-stack/selur/compose/PROGRESS.md index a5d24c3f..a465689c 100644 --- a/container-stack/selur/compose/PROGRESS.md +++ b/container-stack/selur/compose/PROGRESS.md @@ -1,3 +1,4 @@ + # selur-compose Development Progress ## Compose Parity Plan diff --git a/container-stack/selur/compose/README.adoc b/container-stack/selur/compose/README.adoc index 7875ffe4..e1b2d2ee 100644 --- a/container-stack/selur/compose/README.adoc +++ b/container-stack/selur/compose/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = selur-compose :toc: :toclevels: 3 diff --git a/container-stack/selur/compose/README.md b/container-stack/selur/compose/README.md index 0f64cee5..9406471d 100644 --- a/container-stack/selur/compose/README.md +++ b/container-stack/selur/compose/README.md @@ -1 +1,2 @@ + # selur-compose - Multi-container orchestration for verified containers diff --git a/container-stack/selur/compose/contractiles/README.adoc b/container-stack/selur/compose/contractiles/README.adoc index d19a3877..7ddf4b95 100644 --- a/container-stack/selur/compose/contractiles/README.adoc +++ b/container-stack/selur/compose/contractiles/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Contractiles Template Set :toc: :sectnums: diff --git a/container-stack/selur/compose/examples/basic/README.adoc b/container-stack/selur/compose/examples/basic/README.adoc index 43876b22..4df8aaa7 100644 --- a/container-stack/selur/compose/examples/basic/README.adoc +++ b/container-stack/selur/compose/examples/basic/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Basic Example - Web Application Stack :toc: diff --git a/container-stack/selur/compose/examples/parity/README.adoc b/container-stack/selur/compose/examples/parity/README.adoc index 8646ba4b..6ad93d3e 100644 --- a/container-stack/selur/compose/examples/parity/README.adoc +++ b/container-stack/selur/compose/examples/parity/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Compose Parity Example This example exercises the Phase A parity path: networks, volumes, ports, and health checks. diff --git a/container-stack/selur/compose/examples/parity/compose.toml b/container-stack/selur/compose/examples/parity/compose.toml index 389ccf4c..74f24771 100644 --- a/container-stack/selur/compose/examples/parity/compose.toml +++ b/container-stack/selur/compose/examples/parity/compose.toml @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 version = "1.0" [services.web] diff --git a/container-stack/selur/compose/fuzz/Cargo.toml b/container-stack/selur/compose/fuzz/Cargo.toml index 8117b91f..20ff95ee 100644 --- a/container-stack/selur/compose/fuzz/Cargo.toml +++ b/container-stack/selur/compose/fuzz/Cargo.toml @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 [package] name = "fuzz" version = "0.0.0" diff --git a/container-stack/selur/contractiles/README.adoc b/container-stack/selur/contractiles/README.adoc index d19a3877..7ddf4b95 100644 --- a/container-stack/selur/contractiles/README.adoc +++ b/container-stack/selur/contractiles/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Contractiles Template Set :toc: :sectnums: diff --git a/container-stack/selur/create-release-v2.sh b/container-stack/selur/create-release-v2.sh old mode 100755 new mode 100644 index ab2425f2..28607a4f --- a/container-stack/selur/create-release-v2.sh +++ b/container-stack/selur/create-release-v2.sh @@ -1,4 +1,5 @@ #!/bin/bash +# SPDX-License-Identifier: MPL-2.0 # Script to create selur v1.0.0 release artifacts set -e diff --git a/container-stack/selur/create-release.sh b/container-stack/selur/create-release.sh old mode 100755 new mode 100644 index 2ca0dff2..8be87c9e --- a/container-stack/selur/create-release.sh +++ b/container-stack/selur/create-release.sh @@ -1,4 +1,5 @@ #!/bin/bash +# SPDX-License-Identifier: MPL-2.0 # Script to create selur v1.0.0 release artifacts set -e diff --git a/container-stack/selur/docs/API.adoc b/container-stack/selur/docs/API.adoc index 248737be..07587408 100644 --- a/container-stack/selur/docs/API.adoc +++ b/container-stack/selur/docs/API.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = selur API Documentation :toc: :toclevels: 3 diff --git a/container-stack/selur/docs/ARCHITECTURE.adoc b/container-stack/selur/docs/ARCHITECTURE.adoc index cddc8428..744e3a36 100644 --- a/container-stack/selur/docs/ARCHITECTURE.adoc +++ b/container-stack/selur/docs/ARCHITECTURE.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = selur Architecture :toc: :toclevels: 3 diff --git a/container-stack/selur/examples/README.adoc b/container-stack/selur/examples/README.adoc index 241d1f00..6dc76bf1 100644 --- a/container-stack/selur/examples/README.adoc +++ b/container-stack/selur/examples/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = selur Examples :toc: diff --git a/container-stack/selur/fuzz/Cargo.toml b/container-stack/selur/fuzz/Cargo.toml index 1d3a6a51..144fd423 100644 --- a/container-stack/selur/fuzz/Cargo.toml +++ b/container-stack/selur/fuzz/Cargo.toml @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 [package] name = "fuzz" version = "0.0.0" diff --git a/container-stack/selur/integrations/README.adoc b/container-stack/selur/integrations/README.adoc index 865d5633..80f7077c 100644 --- a/container-stack/selur/integrations/README.adoc +++ b/container-stack/selur/integrations/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = selur Integration Examples :toc: :toclevels: 2 diff --git a/container-stack/selur/integrations/svalinn/README.adoc b/container-stack/selur/integrations/svalinn/README.adoc index 067bec54..87f1b3c0 100644 --- a/container-stack/selur/integrations/svalinn/README.adoc +++ b/container-stack/selur/integrations/svalinn/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Svalinn Integration - ReScript Bindings for selur :toc: :toclevels: 3 diff --git a/container-stack/selur/integrations/vordr/README.adoc b/container-stack/selur/integrations/vordr/README.adoc index fbd6e919..7e3bb776 100644 --- a/container-stack/selur/integrations/vordr/README.adoc +++ b/container-stack/selur/integrations/vordr/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Vörðr Integration - Elixir NIF Bindings for selur :toc: :toclevels: 3 diff --git a/container-stack/selur/wiki/Building-From-Source.adoc b/container-stack/selur/wiki/Building-From-Source.adoc index 5bcac390..2f34307b 100644 --- a/container-stack/selur/wiki/Building-From-Source.adoc +++ b/container-stack/selur/wiki/Building-From-Source.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Building From Source :toc: :toclevels: 3 diff --git a/container-stack/selur/wiki/Contributing.adoc b/container-stack/selur/wiki/Contributing.adoc index 117cf18b..e7275a63 100644 --- a/container-stack/selur/wiki/Contributing.adoc +++ b/container-stack/selur/wiki/Contributing.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Contributing to selur :toc: :toclevels: 3 diff --git a/container-stack/selur/wiki/Developer-Guide.adoc b/container-stack/selur/wiki/Developer-Guide.adoc index 6800ba0b..ae0c8f78 100644 --- a/container-stack/selur/wiki/Developer-Guide.adoc +++ b/container-stack/selur/wiki/Developer-Guide.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Developer Guide :toc: :toclevels: 3 diff --git a/container-stack/selur/wiki/FAQ.adoc b/container-stack/selur/wiki/FAQ.adoc index 40ba3b75..81d8f719 100644 --- a/container-stack/selur/wiki/FAQ.adoc +++ b/container-stack/selur/wiki/FAQ.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Frequently Asked Questions :toc: :toclevels: 2 diff --git a/container-stack/selur/wiki/Getting-Started.adoc b/container-stack/selur/wiki/Getting-Started.adoc index bbf5ec8d..402d7c66 100644 --- a/container-stack/selur/wiki/Getting-Started.adoc +++ b/container-stack/selur/wiki/Getting-Started.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Getting Started :toc: :toclevels: 3 diff --git a/container-stack/selur/wiki/Home.adoc b/container-stack/selur/wiki/Home.adoc index 89bf0dba..eda73546 100644 --- a/container-stack/selur/wiki/Home.adoc +++ b/container-stack/selur/wiki/Home.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = selur Wiki :toc: :toclevels: 2 diff --git a/container-stack/selur/wiki/Integration-Guide.adoc b/container-stack/selur/wiki/Integration-Guide.adoc index 1572bef4..c77c12e4 100644 --- a/container-stack/selur/wiki/Integration-Guide.adoc +++ b/container-stack/selur/wiki/Integration-Guide.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Integration Guide :toc: :toclevels: 3 diff --git a/container-stack/selur/wiki/Quick-Start.adoc b/container-stack/selur/wiki/Quick-Start.adoc index e137d641..c11d9865 100644 --- a/container-stack/selur/wiki/Quick-Start.adoc +++ b/container-stack/selur/wiki/Quick-Start.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Quick Start :toc: :toclevels: 2 diff --git a/container-stack/selur/wiki/Testing-Guide.adoc b/container-stack/selur/wiki/Testing-Guide.adoc index cdcfcac3..39e0d595 100644 --- a/container-stack/selur/wiki/Testing-Guide.adoc +++ b/container-stack/selur/wiki/Testing-Guide.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Testing Guide :toc: :toclevels: 3 diff --git a/container-stack/selur/wiki/Troubleshooting.adoc b/container-stack/selur/wiki/Troubleshooting.adoc index 6299097e..667c036a 100644 --- a/container-stack/selur/wiki/Troubleshooting.adoc +++ b/container-stack/selur/wiki/Troubleshooting.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Troubleshooting :toc: :toclevels: 3 diff --git a/container-stack/selur/wiki/User-Guide.adoc b/container-stack/selur/wiki/User-Guide.adoc index 6f0f1fb1..ca83bff9 100644 --- a/container-stack/selur/wiki/User-Guide.adoc +++ b/container-stack/selur/wiki/User-Guide.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = User Guide :toc: :toclevels: 3 diff --git a/container-stack/svalinn/.claude/CLAUDE.md b/container-stack/svalinn/.claude/CLAUDE.md index 82515872..a7b32599 100644 --- a/container-stack/svalinn/.claude/CLAUDE.md +++ b/container-stack/svalinn/.claude/CLAUDE.md @@ -1,3 +1,4 @@ + ## Machine-Readable Artefacts The following files in `.machine_readable/` contain structured project metadata: diff --git a/container-stack/svalinn/0-AI-MANIFEST.a2ml b/container-stack/svalinn/0-AI-MANIFEST.a2ml index 2b31b702..6307dd8c 100644 --- a/container-stack/svalinn/0-AI-MANIFEST.a2ml +++ b/container-stack/svalinn/0-AI-MANIFEST.a2ml @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 # ⚠️ STOP - CRITICAL READING REQUIRED **THIS FILE MUST BE READ FIRST BY ALL AI AGENTS** diff --git a/container-stack/svalinn/ECOSYSTEM-STATUS.md b/container-stack/svalinn/ECOSYSTEM-STATUS.md index 7005391d..19d2a2ae 100644 --- a/container-stack/svalinn/ECOSYSTEM-STATUS.md +++ b/container-stack/svalinn/ECOSYSTEM-STATUS.md @@ -1,3 +1,4 @@ + # Cerro Torre Ecosystem - Implementation Status **Updated:** 2026-01-25 diff --git a/container-stack/svalinn/INTEGRATION-STATUS.md b/container-stack/svalinn/INTEGRATION-STATUS.md index 6d46832c..a8f51f1d 100644 --- a/container-stack/svalinn/INTEGRATION-STATUS.md +++ b/container-stack/svalinn/INTEGRATION-STATUS.md @@ -1,3 +1,4 @@ + # Svalinn Integration Status ## Completed: Seam Analysis & Integration Testing Framework ✅ diff --git a/container-stack/svalinn/PHASE3-KICKOFF-2026-01-25.md b/container-stack/svalinn/PHASE3-KICKOFF-2026-01-25.md index a0bc0361..c195b3f8 100644 --- a/container-stack/svalinn/PHASE3-KICKOFF-2026-01-25.md +++ b/container-stack/svalinn/PHASE3-KICKOFF-2026-01-25.md @@ -1,3 +1,4 @@ + # Phase 3 Kickoff - Session Summary **Date:** 2026-01-25 diff --git a/container-stack/svalinn/PHASE3-PLAN-2026-01-25.md b/container-stack/svalinn/PHASE3-PLAN-2026-01-25.md index dc3dae43..a4b30236 100644 --- a/container-stack/svalinn/PHASE3-PLAN-2026-01-25.md +++ b/container-stack/svalinn/PHASE3-PLAN-2026-01-25.md @@ -1,3 +1,4 @@ + # Phase 3: Full Stack Integration - Implementation Plan **Created:** 2026-01-25 diff --git a/container-stack/svalinn/SEAM-ANALYSIS.md b/container-stack/svalinn/SEAM-ANALYSIS.md index ec2c4891..92cad726 100644 --- a/container-stack/svalinn/SEAM-ANALYSIS.md +++ b/container-stack/svalinn/SEAM-ANALYSIS.md @@ -1,3 +1,4 @@ + # Svalinn Integration Seam Analysis ## Module Inventory diff --git a/container-stack/svalinn/spec/cerro-torre-integration.adoc b/container-stack/svalinn/spec/cerro-torre-integration.adoc index a21042cb..9737a54b 100644 --- a/container-stack/svalinn/spec/cerro-torre-integration.adoc +++ b/container-stack/svalinn/spec/cerro-torre-integration.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Svalinn / Cerro Torre Integration :status: draft :audience: maintainers, implementers diff --git a/container-stack/vordr/.claude/CLAUDE.md b/container-stack/vordr/.claude/CLAUDE.md index 38fa532f..8218016d 100644 --- a/container-stack/vordr/.claude/CLAUDE.md +++ b/container-stack/vordr/.claude/CLAUDE.md @@ -1,3 +1,4 @@ + ## Machine-Readable Artefacts The following files in `.machine_readable/` contain structured project metadata: diff --git a/container-stack/vordr/ABI-FFI-README.md b/container-stack/vordr/ABI-FFI-README.md index e6a32bbf..2bd28632 100644 --- a/container-stack/vordr/ABI-FFI-README.md +++ b/container-stack/vordr/ABI-FFI-README.md @@ -1,3 +1,4 @@ + {{~ Aditionally delete this line and fill out the template below ~}} # {{PROJECT}} ABI/FFI Documentation diff --git a/container-stack/vordr/PALIMPSEST.adoc b/container-stack/vordr/PALIMPSEST.adoc index 84c84825..c82118f5 100644 --- a/container-stack/vordr/PALIMPSEST.adoc +++ b/container-stack/vordr/PALIMPSEST.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Palimpsest License :toc: :toc-placement!: diff --git a/container-stack/vordr/PHASE1-PROGRESS-2026-01-25.md b/container-stack/vordr/PHASE1-PROGRESS-2026-01-25.md index da30bb3b..4e937ee7 100644 --- a/container-stack/vordr/PHASE1-PROGRESS-2026-01-25.md +++ b/container-stack/vordr/PHASE1-PROGRESS-2026-01-25.md @@ -1,3 +1,4 @@ + # Vörðr Phase 1 Progress Report - 2026-01-25 ## Executive Summary diff --git a/container-stack/vordr/RSR_OUTLINE.adoc b/container-stack/vordr/RSR_OUTLINE.adoc index 94a49d83..c5c108df 100644 --- a/container-stack/vordr/RSR_OUTLINE.adoc +++ b/container-stack/vordr/RSR_OUTLINE.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = RSR Template Repository image:[Palimpsest-MPL-1.0,link="https://github.com/hyperpolymath/palimpsest-license"] image:[Palimpsest,link="https://github.com/hyperpolymath/palimpsest-license"] diff --git a/container-stack/vordr/SESSION-SUMMARY-2026-01-25.md b/container-stack/vordr/SESSION-SUMMARY-2026-01-25.md index ab591270..9e3c7fca 100644 --- a/container-stack/vordr/SESSION-SUMMARY-2026-01-25.md +++ b/container-stack/vordr/SESSION-SUMMARY-2026-01-25.md @@ -1,3 +1,4 @@ + # Vörðr Phase 1 Session Summary - 2026-01-25 ## Session Overview diff --git a/container-stack/vordr/WIKI_UPDATE.md b/container-stack/vordr/WIKI_UPDATE.md index e9b31923..11f3835a 100644 --- a/container-stack/vordr/WIKI_UPDATE.md +++ b/container-stack/vordr/WIKI_UPDATE.md @@ -1,3 +1,4 @@ + # Wiki Update: Recent Changes in Vörðr Project This document outlines significant recent changes to the Vörðr project, focusing on improvements to the Rust build process and the removal of Ada/SPARK integration. These updates aim to streamline development, reduce build complexity, and clarify the project's technological stack. diff --git a/container-stack/vordr/contractiles/README.adoc b/container-stack/vordr/contractiles/README.adoc index d19a3877..7ddf4b95 100644 --- a/container-stack/vordr/contractiles/README.adoc +++ b/container-stack/vordr/contractiles/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Contractiles Template Set :toc: :sectnums: diff --git a/container-stack/vordr/docs/ADR-007-temporal-isolation.md b/container-stack/vordr/docs/ADR-007-temporal-isolation.md index 4fd85891..99c0f0c4 100644 --- a/container-stack/vordr/docs/ADR-007-temporal-isolation.md +++ b/container-stack/vordr/docs/ADR-007-temporal-isolation.md @@ -1,3 +1,4 @@ + # ADR-007: Temporal Isolation Engine **Status:** Proposed diff --git a/container-stack/vordr/docs/CITATIONS.adoc b/container-stack/vordr/docs/CITATIONS.adoc index 6f167bdf..4129a790 100644 --- a/container-stack/vordr/docs/CITATIONS.adoc +++ b/container-stack/vordr/docs/CITATIONS.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = RSR-template-repo - Citation Guide :toc: diff --git a/container-stack/vordr/docs/CLI-REFERENCE.md b/container-stack/vordr/docs/CLI-REFERENCE.md index c46ba445..c582d619 100644 --- a/container-stack/vordr/docs/CLI-REFERENCE.md +++ b/container-stack/vordr/docs/CLI-REFERENCE.md @@ -1,3 +1,4 @@ + # Vörðr CLI Reference Complete reference for all 16 Vörðr CLI commands. diff --git a/container-stack/vordr/docs/LSP-ARCHITECTURE.adoc b/container-stack/vordr/docs/LSP-ARCHITECTURE.adoc index 51249f43..ef0280c6 100644 --- a/container-stack/vordr/docs/LSP-ARCHITECTURE.adoc +++ b/container-stack/vordr/docs/LSP-ARCHITECTURE.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Vörðr LSP Architecture :toc: :toclevels: 3 diff --git a/container-stack/vordr/docs/MONITORING.md b/container-stack/vordr/docs/MONITORING.md index dd02fba4..53d89164 100644 --- a/container-stack/vordr/docs/MONITORING.md +++ b/container-stack/vordr/docs/MONITORING.md @@ -1,3 +1,4 @@ + # Vörðr eBPF Monitoring Guide Complete guide to runtime monitoring with eBPF in Vörðr. diff --git a/container-stack/vordr/docs/README.md b/container-stack/vordr/docs/README.md index 0665bae5..8aa3161f 100644 --- a/container-stack/vordr/docs/README.md +++ b/container-stack/vordr/docs/README.md @@ -1,3 +1,4 @@ + # Vörðr Documentation **Version:** 0.5.0-dev diff --git a/container-stack/vordr/docs/SPARK-VERIFICATION.md b/container-stack/vordr/docs/SPARK-VERIFICATION.md index 7dc594e3..e83d09d5 100644 --- a/container-stack/vordr/docs/SPARK-VERIFICATION.md +++ b/container-stack/vordr/docs/SPARK-VERIFICATION.md @@ -1,3 +1,4 @@ + # SPARK Verification Requirements for Vörðr ## Overview diff --git a/container-stack/vordr/editors/vscode/README.md b/container-stack/vordr/editors/vscode/README.md index 1a48b35f..b7a622f7 100644 --- a/container-stack/vordr/editors/vscode/README.md +++ b/container-stack/vordr/editors/vscode/README.md @@ -1,3 +1,4 @@ + # Vörðr VS Code Extension Language support for verified container workflows using Vörðr. diff --git a/container-stack/vordr/ffi/zig/README.md b/container-stack/vordr/ffi/zig/README.md index c17b0186..bb894532 100644 --- a/container-stack/vordr/ffi/zig/README.md +++ b/container-stack/vordr/ffi/zig/README.md @@ -1,3 +1,4 @@ + # Vörðr Zig FFI **Per ABI/FFI Universal Standard** diff --git a/contractiles/README.adoc b/contractiles/README.adoc index d19a3877..7ddf4b95 100644 --- a/contractiles/README.adoc +++ b/contractiles/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Contractiles Template Set :toc: :sectnums: diff --git a/docs/CITATIONS.adoc b/docs/CITATIONS.adoc index 6f167bdf..4129a790 100644 --- a/docs/CITATIONS.adoc +++ b/docs/CITATIONS.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = RSR-template-repo - Citation Guide :toc: diff --git a/docs/EXECUTION-PLAN-2026-02-11.md b/docs/EXECUTION-PLAN-2026-02-11.md index 2b69ea3a..f2b80afc 100644 --- a/docs/EXECUTION-PLAN-2026-02-11.md +++ b/docs/EXECUTION-PLAN-2026-02-11.md @@ -1,3 +1,4 @@ + # stapeln Execution Plan (2026-02-11) Scope selected: `1 2 3 4 5 6` diff --git a/docs/READINESS-CHECKLIST.md b/docs/READINESS-CHECKLIST.md index 36d44d65..9fbaaf30 100644 --- a/docs/READINESS-CHECKLIST.md +++ b/docs/READINESS-CHECKLIST.md @@ -1,3 +1,4 @@ + # stapeln Readiness Checklist Date: 2026-02-11 diff --git a/docs/governance/README.adoc b/docs/governance/README.adoc index f193d3a2..62a26e63 100644 --- a/docs/governance/README.adoc +++ b/docs/governance/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Governance CRG governance artifacts: diff --git a/docs/reports/audit/audit-2026-04-04.md b/docs/reports/audit/audit-2026-04-04.md index 19c705fe..00b6b1a0 100644 --- a/docs/reports/audit/audit-2026-04-04.md +++ b/docs/reports/audit/audit-2026-04-04.md @@ -1,3 +1,4 @@ + # Audit Report — stapeln (2026-04-04) ## Summary diff --git a/dom-mounter/MANIFEST.md b/dom-mounter/MANIFEST.md index fd9c81a5..c7813e7e 100644 --- a/dom-mounter/MANIFEST.md +++ b/dom-mounter/MANIFEST.md @@ -1,3 +1,4 @@ + # DOM Mounter Manifest This file tracks the preserved DOM‑mounter materials and where the active code currently lives. diff --git a/dom-mounter/README.md b/dom-mounter/README.md index 5543cc5d..1402faf2 100644 --- a/dom-mounter/README.md +++ b/dom-mounter/README.md @@ -1,3 +1,4 @@ + # stapeln DOM Mounter This repo preserves the **DOM‑mounter** design and implementation work so it is not lost while stapeln ships its end‑user product. diff --git a/dom-mounter/docs/ABI-FFI-README.md b/dom-mounter/docs/ABI-FFI-README.md index 24f8378c..704028fb 100644 --- a/dom-mounter/docs/ABI-FFI-README.md +++ b/dom-mounter/docs/ABI-FFI-README.md @@ -1,3 +1,4 @@ + # ABI/FFI Universal Standard: DOM Mounter High-assurance DOM mounting with formal verification using the Idris2 → Zig → ReScript architecture. diff --git a/dom-mounter/docs/ALL-PHASES-COMPLETE.md b/dom-mounter/docs/ALL-PHASES-COMPLETE.md index e88a153b..635caf52 100644 --- a/dom-mounter/docs/ALL-PHASES-COMPLETE.md +++ b/dom-mounter/docs/ALL-PHASES-COMPLETE.md @@ -1,3 +1,4 @@ + # 🎉 All Phases Complete: DOM Mounter with Formal Verification **Implementation Date:** 2026-02-05 diff --git a/dom-mounter/docs/BENCHMARKS.md b/dom-mounter/docs/BENCHMARKS.md index 708ad1da..d3c7b956 100644 --- a/dom-mounter/docs/BENCHMARKS.md +++ b/dom-mounter/docs/BENCHMARKS.md @@ -1,3 +1,4 @@ + # Performance Benchmarks **DOM Mounter with Formal Verification** diff --git a/dom-mounter/docs/BUILD-SUMMARY.md b/dom-mounter/docs/BUILD-SUMMARY.md index 478b95cf..b8dcd5da 100644 --- a/dom-mounter/docs/BUILD-SUMMARY.md +++ b/dom-mounter/docs/BUILD-SUMMARY.md @@ -1,3 +1,4 @@ + # Build Summary: High-Assurance DOM Mounter **Date**: 2026-02-05 diff --git a/dom-mounter/docs/COMPLETED-WORK.md b/dom-mounter/docs/COMPLETED-WORK.md index 96e60cbf..489427c1 100644 --- a/dom-mounter/docs/COMPLETED-WORK.md +++ b/dom-mounter/docs/COMPLETED-WORK.md @@ -1,3 +1,4 @@ + # Completed Work Summary diff --git a/dom-mounter/docs/COMPLETION-SUMMARY.md b/dom-mounter/docs/COMPLETION-SUMMARY.md index 0d6da25f..cd3a8236 100644 --- a/dom-mounter/docs/COMPLETION-SUMMARY.md +++ b/dom-mounter/docs/COMPLETION-SUMMARY.md @@ -1,3 +1,4 @@ + # stapeln-frontend: 100% Complete! 🎉 **Date**: 2026-02-05 diff --git a/dom-mounter/docs/DOM-MOUNTER-ENHANCEMENTS.md b/dom-mounter/docs/DOM-MOUNTER-ENHANCEMENTS.md index 3d891183..100a9536 100644 --- a/dom-mounter/docs/DOM-MOUNTER-ENHANCEMENTS.md +++ b/dom-mounter/docs/DOM-MOUNTER-ENHANCEMENTS.md @@ -1,3 +1,4 @@ + # DOM Mounter Enhancement Plan **Current Status**: Basic formally verified DOM mounting with Idris2 → Zig → ReScript diff --git a/dom-mounter/docs/GETTING-STARTED.md b/dom-mounter/docs/GETTING-STARTED.md index 21c76c16..4d6f85a8 100644 --- a/dom-mounter/docs/GETTING-STARTED.md +++ b/dom-mounter/docs/GETTING-STARTED.md @@ -1,3 +1,4 @@ + # Getting Started with stapeln-frontend A step-by-step guide to using the formally verified DOM mounting library. diff --git a/dom-mounter/docs/IMPLEMENTATION-STATUS.md b/dom-mounter/docs/IMPLEMENTATION-STATUS.md index ab81b679..c9788bea 100644 --- a/dom-mounter/docs/IMPLEMENTATION-STATUS.md +++ b/dom-mounter/docs/IMPLEMENTATION-STATUS.md @@ -1,3 +1,4 @@ + # DOM Mounter Enhancement Implementation Status **Last Updated**: 2026-02-05 diff --git a/dom-mounter/docs/PHASE1-IMPLEMENTATION.md b/dom-mounter/docs/PHASE1-IMPLEMENTATION.md index dfd131b1..daf6c0a0 100644 --- a/dom-mounter/docs/PHASE1-IMPLEMENTATION.md +++ b/dom-mounter/docs/PHASE1-IMPLEMENTATION.md @@ -1,3 +1,4 @@ + # Phase 1: Core Reliability Implementation ✅ **Status**: COMPLETE diff --git a/dom-mounter/docs/PROVEN-LIBRARIES.md b/dom-mounter/docs/PROVEN-LIBRARIES.md index f3b461e8..becbef6b 100644 --- a/dom-mounter/docs/PROVEN-LIBRARIES.md +++ b/dom-mounter/docs/PROVEN-LIBRARIES.md @@ -1,3 +1,4 @@ + # stapeln Proven Library Integration **Date**: 2026-02-05 diff --git a/dom-mounter/docs/README.md b/dom-mounter/docs/README.md index 8e6d7c55..b707245c 100644 --- a/dom-mounter/docs/README.md +++ b/dom-mounter/docs/README.md @@ -1,3 +1,4 @@ + # stapeln-frontend A formally verified, security-hardened DOM mounting library with framework-agnostic architecture. diff --git a/dom-mounter/docs/ROADMAP.md b/dom-mounter/docs/ROADMAP.md index d4a305fc..f00cba6d 100644 --- a/dom-mounter/docs/ROADMAP.md +++ b/dom-mounter/docs/ROADMAP.md @@ -1,3 +1,4 @@ + # stapeln-frontend Roadmap ## Current Status diff --git a/dom-mounter/examples/README.md b/dom-mounter/examples/README.md index 427702bb..8a3f87f4 100644 --- a/dom-mounter/examples/README.md +++ b/dom-mounter/examples/README.md @@ -1,3 +1,4 @@ + # stapeln-frontend Examples Interactive examples demonstrating the features of stapeln-frontend. diff --git a/ephapax-modules/README.md b/ephapax-modules/README.md index f67ea486..8288f67d 100644 --- a/ephapax-modules/README.md +++ b/ephapax-modules/README.md @@ -1,3 +1,4 @@ + # Ephapax Modules for stapeln Security-critical components implemented in Ephapax with linear/affine types for formally verified resource safety. diff --git a/ffi/zig/src/main.zig b/ffi/zig/src/main.zig index 19862995..710b1d42 100644 --- a/ffi/zig/src/main.zig +++ b/ffi/zig/src/main.zig @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 // STAPELN FFI Implementation // // This module implements the C-compatible FFI declared in src/abi/Foreign.idr diff --git a/flake.nix b/flake.nix index 4691bd77..3e69ddb0 100644 --- a/flake.nix +++ b/flake.nix @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 { description = "stapeln - {project-description}"; diff --git a/frontend/FINISHING-WORK-SUMMARY.md b/frontend/FINISHING-WORK-SUMMARY.md index c4059847..e399f745 100644 --- a/frontend/FINISHING-WORK-SUMMARY.md +++ b/frontend/FINISHING-WORK-SUMMARY.md @@ -1,3 +1,4 @@ + # Stapeln Frontend - Compilation Fixes & "4 S's" Finishing Work ## ✅ COMPLETED: Compilation Fixes (47/47 Modules) diff --git a/frontend/README.md b/frontend/README.md index 59653874..008b9f11 100644 --- a/frontend/README.md +++ b/frontend/README.md @@ -1,3 +1,4 @@ + # stapeln Frontend This is the **stapeln UI application** (not the DOM‑mounter library). diff --git a/llm-warmup-dev.md b/llm-warmup-dev.md index 70254304..5b121146 100644 --- a/llm-warmup-dev.md +++ b/llm-warmup-dev.md @@ -1,3 +1,4 @@ + # LLM Warmup — stapeln (Developer) ## What is stapeln? diff --git a/llm-warmup-user.md b/llm-warmup-user.md index 533a21a5..4cb7d531 100644 --- a/llm-warmup-user.md +++ b/llm-warmup-user.md @@ -1,3 +1,4 @@ + # LLM Warmup — stapeln (User) ## What is stapeln? diff --git a/selur-compose/README.md b/selur-compose/README.md index 3c562572..3bae8190 100644 --- a/selur-compose/README.md +++ b/selur-compose/README.md @@ -1,3 +1,4 @@ + # selur-compose selur-compose is the orchestrator that links selur, Svalinn, Vörðr, Cerro Torre bundles, Rokur, and the PanLL stack into a verified-container-secure topology. Placing it at the root of `stapeln/` ensures the compose files/definitions survive even as we restructure other directories. diff --git a/site/index.md b/site/index.md index 2f6b4bcf..758bef35 100644 --- a/site/index.md +++ b/site/index.md @@ -2,6 +2,7 @@ title: stapeln date: 2026-03-31 --- + # stapeln diff --git a/tests/README.md b/tests/README.md index ee4928c3..52098dd4 100644 --- a/tests/README.md +++ b/tests/README.md @@ -1,3 +1,4 @@ + # stapeln Test Suite Comprehensive test coverage for validation, generation, and end-to-end workflows. diff --git a/verified-container-spec/.claude/CLAUDE.md b/verified-container-spec/.claude/CLAUDE.md index a2076bd8..371d993b 100644 --- a/verified-container-spec/.claude/CLAUDE.md +++ b/verified-container-spec/.claude/CLAUDE.md @@ -1,3 +1,4 @@ + # CLAUDE.md - AI Assistant Instructions ## Machine-Readable Artefacts diff --git a/verified-container-spec/ABI-FFI-README.md b/verified-container-spec/ABI-FFI-README.md index e6a32bbf..2bd28632 100644 --- a/verified-container-spec/ABI-FFI-README.md +++ b/verified-container-spec/ABI-FFI-README.md @@ -1,3 +1,4 @@ + {{~ Aditionally delete this line and fill out the template below ~}} # {{PROJECT}} ABI/FFI Documentation diff --git a/verified-container-spec/CONTRIBUTING.md b/verified-container-spec/CONTRIBUTING.md index fb309e9b..32fa63fe 100644 --- a/verified-container-spec/CONTRIBUTING.md +++ b/verified-container-spec/CONTRIBUTING.md @@ -1,3 +1,4 @@ + # Clone the repository git clone https://github.com/hyperpolymath/stapeln.git cd stapeln diff --git a/verified-container-spec/PALIMPSEST.adoc b/verified-container-spec/PALIMPSEST.adoc index 84c84825..c82118f5 100644 --- a/verified-container-spec/PALIMPSEST.adoc +++ b/verified-container-spec/PALIMPSEST.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Palimpsest License :toc: :toc-placement!: diff --git a/verified-container-spec/README.adoc b/verified-container-spec/README.adoc index 76f54582..22dc46c1 100644 --- a/verified-container-spec/README.adoc +++ b/verified-container-spec/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Verified Container Specification image:https://img.shields.io/badge/License-PMPL--1.0-blue.svg[License: PMPL-1.0,link="https://github.com/hyperpolymath/palimpsest-license"] diff --git a/verified-container-spec/RSR_OUTLINE.adoc b/verified-container-spec/RSR_OUTLINE.adoc index 94a49d83..c5c108df 100644 --- a/verified-container-spec/RSR_OUTLINE.adoc +++ b/verified-container-spec/RSR_OUTLINE.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = RSR Template Repository image:[Palimpsest-MPL-1.0,link="https://github.com/hyperpolymath/palimpsest-license"] image:[Palimpsest,link="https://github.com/hyperpolymath/palimpsest-license"] diff --git a/verified-container-spec/SECURITY-AUDIT-2026-01-25.md b/verified-container-spec/SECURITY-AUDIT-2026-01-25.md index f39a2056..755f271c 100644 --- a/verified-container-spec/SECURITY-AUDIT-2026-01-25.md +++ b/verified-container-spec/SECURITY-AUDIT-2026-01-25.md @@ -1,3 +1,4 @@ + # Verified Container Spec Security Audit - 2026-01-25 **Auditor**: Claude Sonnet 4.5 diff --git a/verified-container-spec/SECURITY-FIXES-SUMMARY.md b/verified-container-spec/SECURITY-FIXES-SUMMARY.md index b831ba0e..5477dcc9 100644 --- a/verified-container-spec/SECURITY-FIXES-SUMMARY.md +++ b/verified-container-spec/SECURITY-FIXES-SUMMARY.md @@ -1,3 +1,4 @@ + # Verified Container Spec Security Fixes Summary - 2026-01-25 ## Overview diff --git a/verified-container-spec/SECURITY.md b/verified-container-spec/SECURITY.md index 5eb5e20d..500e512e 100644 --- a/verified-container-spec/SECURITY.md +++ b/verified-container-spec/SECURITY.md @@ -1,3 +1,4 @@ + Security Policy We take security seriously. We appreciate your efforts to responsibly disclose vulnerabilities and will make every effort to acknowledge your contributions. diff --git a/verified-container-spec/conformance/README.adoc b/verified-container-spec/conformance/README.adoc index a5c511a6..af768d8e 100644 --- a/verified-container-spec/conformance/README.adoc +++ b/verified-container-spec/conformance/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Conformance Testing :spec-version: 0.1.0 diff --git a/verified-container-spec/contractiles/README.adoc b/verified-container-spec/contractiles/README.adoc index d19a3877..7ddf4b95 100644 --- a/verified-container-spec/contractiles/README.adoc +++ b/verified-container-spec/contractiles/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Contractiles Template Set :toc: :sectnums: diff --git a/verified-container-spec/docs/CITATIONS.adoc b/verified-container-spec/docs/CITATIONS.adoc index 6f167bdf..4129a790 100644 --- a/verified-container-spec/docs/CITATIONS.adoc +++ b/verified-container-spec/docs/CITATIONS.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = RSR-template-repo - Citation Guide :toc: diff --git a/verified-container-spec/docs/glossary.adoc b/verified-container-spec/docs/glossary.adoc index 27925d14..cc6a254b 100644 --- a/verified-container-spec/docs/glossary.adoc +++ b/verified-container-spec/docs/glossary.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Glossary :spec-version: 0.1.0 :status: draft diff --git a/verified-container-spec/docs/implementer-quickstart.adoc b/verified-container-spec/docs/implementer-quickstart.adoc index 5a1438bf..81a60e91 100644 --- a/verified-container-spec/docs/implementer-quickstart.adoc +++ b/verified-container-spec/docs/implementer-quickstart.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Implementer Quickstart Guide :spec-version: 0.1.0 :status: draft diff --git a/verified-container-spec/docs/interop-matrix.adoc b/verified-container-spec/docs/interop-matrix.adoc index 6b5afbcc..726beeb7 100644 --- a/verified-container-spec/docs/interop-matrix.adoc +++ b/verified-container-spec/docs/interop-matrix.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Interoperability Matrix :spec-version: 0.1.0 :status: draft diff --git a/verified-container-spec/docs/surface-contract.adoc b/verified-container-spec/docs/surface-contract.adoc index c95eb29e..07831bcb 100644 --- a/verified-container-spec/docs/surface-contract.adoc +++ b/verified-container-spec/docs/surface-contract.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Surface Contract :spec-version: 0.1.0 :status: draft diff --git a/verified-container-spec/docs/threat-model.adoc b/verified-container-spec/docs/threat-model.adoc index ca34b5e0..b7ebd626 100644 --- a/verified-container-spec/docs/threat-model.adoc +++ b/verified-container-spec/docs/threat-model.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Threat Model :spec-version: 0.1.0 :status: draft diff --git a/verified-container-spec/examples/README.adoc b/verified-container-spec/examples/README.adoc index d2e83412..6dc697f0 100644 --- a/verified-container-spec/examples/README.adoc +++ b/verified-container-spec/examples/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Examples :spec-version: 0.1.0 diff --git a/verified-container-spec/examples/axiom-smt-runner/README.adoc b/verified-container-spec/examples/axiom-smt-runner/README.adoc index 765b8795..506719ba 100644 --- a/verified-container-spec/examples/axiom-smt-runner/README.adoc +++ b/verified-container-spec/examples/axiom-smt-runner/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Axiom SMT Runner Container Supply-chain verified container for isolated SMT solver execution in Axiom.jl formal verification. diff --git a/verified-container-spec/examples/axiom-smt-runner/channels.scm b/verified-container-spec/examples/axiom-smt-runner/channels.scm index 84ef18a9..e36514b8 100644 --- a/verified-container-spec/examples/axiom-smt-runner/channels.scm +++ b/verified-container-spec/examples/axiom-smt-runner/channels.scm @@ -1,3 +1,4 @@ +; SPDX-License-Identifier: MPL-2.0 ;; Guix channels for Axiom SMT solvers ;; ;; Provides reproducible, cryptographically verified builds of: diff --git a/verified-container-spec/examples/axiom-smt-runner/solver-runner.sh b/verified-container-spec/examples/axiom-smt-runner/solver-runner.sh index cd46fdd4..fe02b5ed 100644 --- a/verified-container-spec/examples/axiom-smt-runner/solver-runner.sh +++ b/verified-container-spec/examples/axiom-smt-runner/solver-runner.sh @@ -1,4 +1,5 @@ #!/bin/sh +# SPDX-License-Identifier: MPL-2.0 # Axiom SMT Solver Runner # # Securely executes SMT solvers with resource limits and timeout. diff --git a/verified-container-spec/ffi/zig/src/main.zig b/verified-container-spec/ffi/zig/src/main.zig index 6b233bc7..e6ee6b9d 100644 --- a/verified-container-spec/ffi/zig/src/main.zig +++ b/verified-container-spec/ffi/zig/src/main.zig @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 // {{PROJECT}} FFI Implementation // // This module implements the C-compatible FFI declared in src/abi/Foreign.idr diff --git a/verified-container-spec/mustfile.toml b/verified-container-spec/mustfile.toml index 41bd5c71..30c003c9 100644 --- a/verified-container-spec/mustfile.toml +++ b/verified-container-spec/mustfile.toml @@ -1,3 +1,4 @@ +# SPDX-License-Identifier: MPL-2.0 # mustfile.toml schema = "0.1" diff --git a/verified-container-spec/spec/attestation-bundle.adoc b/verified-container-spec/spec/attestation-bundle.adoc index 61151ae1..398c0f2c 100644 --- a/verified-container-spec/spec/attestation-bundle.adoc +++ b/verified-container-spec/spec/attestation-bundle.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Attestation Bundle Format :spec-version: 0.1.0 :status: draft diff --git a/verified-container-spec/spec/canonicalization.adoc b/verified-container-spec/spec/canonicalization.adoc index a64c7476..719eda93 100644 --- a/verified-container-spec/spec/canonicalization.adoc +++ b/verified-container-spec/spec/canonicalization.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Canonicalization :spec-version: 0.1.0 :status: draft diff --git a/verified-container-spec/spec/runtime-integration.adoc b/verified-container-spec/spec/runtime-integration.adoc index 27ecedf3..960d7dde 100644 --- a/verified-container-spec/spec/runtime-integration.adoc +++ b/verified-container-spec/spec/runtime-integration.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Runtime Integration :spec-version: 0.1.0 :status: draft diff --git a/verified-container-spec/spec/transparency-log.adoc b/verified-container-spec/spec/transparency-log.adoc index 2c995320..a3b353a8 100644 --- a/verified-container-spec/spec/transparency-log.adoc +++ b/verified-container-spec/spec/transparency-log.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Transparency Log Requirements :spec-version: 0.1.0 :status: draft diff --git a/verified-container-spec/spec/trust-store.adoc b/verified-container-spec/spec/trust-store.adoc index 37bb69f7..a39f8f73 100644 --- a/verified-container-spec/spec/trust-store.adoc +++ b/verified-container-spec/spec/trust-store.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Trust Store Format :spec-version: 0.1.0 :status: draft diff --git a/verified-container-spec/spec/verification-protocol.adoc b/verified-container-spec/spec/verification-protocol.adoc index f9b6afef..24b818be 100644 --- a/verified-container-spec/spec/verification-protocol.adoc +++ b/verified-container-spec/spec/verification-protocol.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Verification Protocol :spec-version: 0.1.0 :status: draft diff --git a/verified-container-spec/spec/versioning.adoc b/verified-container-spec/spec/versioning.adoc index 00596752..e892fc6a 100644 --- a/verified-container-spec/spec/versioning.adoc +++ b/verified-container-spec/spec/versioning.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Versioning and Compatibility :spec-version: 0.1.0 :status: draft diff --git a/verified-container-spec/vectors/README.adoc b/verified-container-spec/vectors/README.adoc index 7bc5e388..b94e3049 100644 --- a/verified-container-spec/vectors/README.adoc +++ b/verified-container-spec/vectors/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = Test Vectors :spec-version: 0.1.0 diff --git a/verified-container-spec/vectors/runtime-integration/insufficient-logs/README.adoc b/verified-container-spec/vectors/runtime-integration/insufficient-logs/README.adoc index 0c65a721..8acc5c62 100644 --- a/verified-container-spec/vectors/runtime-integration/insufficient-logs/README.adoc +++ b/verified-container-spec/vectors/runtime-integration/insufficient-logs/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = insufficient-logs == Description diff --git a/verified-container-spec/vectors/runtime-integration/malformed-bundle/README.adoc b/verified-container-spec/vectors/runtime-integration/malformed-bundle/README.adoc index 801f587c..44e64edf 100644 --- a/verified-container-spec/vectors/runtime-integration/malformed-bundle/README.adoc +++ b/verified-container-spec/vectors/runtime-integration/malformed-bundle/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = malformed-bundle == Description diff --git a/verified-container-spec/vectors/runtime-integration/missing-attestations/README.adoc b/verified-container-spec/vectors/runtime-integration/missing-attestations/README.adoc index d489f8da..55df510a 100644 --- a/verified-container-spec/vectors/runtime-integration/missing-attestations/README.adoc +++ b/verified-container-spec/vectors/runtime-integration/missing-attestations/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = missing-attestations == Description diff --git a/verified-container-spec/vectors/runtime-integration/subject-mismatch/README.adoc b/verified-container-spec/vectors/runtime-integration/subject-mismatch/README.adoc index cf6e7414..1284164d 100644 --- a/verified-container-spec/vectors/runtime-integration/subject-mismatch/README.adoc +++ b/verified-container-spec/vectors/runtime-integration/subject-mismatch/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = subject-mismatch == Description diff --git a/verified-container-spec/vectors/runtime-integration/valid-bundle/README.adoc b/verified-container-spec/vectors/runtime-integration/valid-bundle/README.adoc index 33bc85bd..c383b5e1 100644 --- a/verified-container-spec/vectors/runtime-integration/valid-bundle/README.adoc +++ b/verified-container-spec/vectors/runtime-integration/valid-bundle/README.adoc @@ -1,3 +1,4 @@ +// SPDX-License-Identifier: MPL-2.0 = valid-bundle == Description