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

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .github/workflows/boj-build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,7 @@ on:
branches: [main, master]
workflow_dispatch:
permissions:
actions: read
contents: read
jobs:
trigger-boj:
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/codeql.yml
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@ concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
permissions:
actions: read
contents: read
jobs:
analyze:
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/dependabot-automerge.yml
Original file line number Diff line number Diff line change
Expand Up @@ -39,6 +39,7 @@ on:
pull_request:
types: [opened, reopened, synchronize]
permissions:
actions: read
contents: write # needed to enable auto-merge
pull-requests: write # needed to approve
# NB: keep narrow — do NOT add secrets: read or id-token: write here.
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/dogfood-gate.yml
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,7 @@ on:
push:
branches: [main, master]
permissions:
actions: read
contents: read
jobs:
# ---------------------------------------------------------------------------
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/governance.yml
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@ on:
workflow_dispatch:

permissions:
actions: read
contents: read

jobs:
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/hypatia-scan.yml
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,7 @@ on:
workflow_dispatch:

permissions:
actions: read
contents: read
security-events: write

Expand Down
1 change: 1 addition & 0 deletions .github/workflows/instant-sync.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@ on:
release:
types: [published]
permissions:
actions: read
contents: read
jobs:
dispatch:
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/mirror.yml
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,7 @@ on:
branches: [main]
workflow_dispatch:
permissions:
actions: read
contents: read
jobs:
mirror:
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/nimble-site.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@ on:
branches: [main]
workflow_dispatch:
permissions:
actions: read
contents: read
pages: write
id-token: write
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/pages.yml
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,7 @@ on:
branches: [main, master]
workflow_dispatch:
permissions:
actions: read
contents: read
pages: write
id-token: write
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/push-email-notify.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@ name: Push email notification
on:
push: {}
permissions:
actions: read
contents: read
jobs:
notify:
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/rust-ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@ on:
branches: [main, master]
pull_request:
permissions:
actions: read
contents: read
jobs:
rust-ci:
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/scorecard.yml
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@ on:
workflow_dispatch:

permissions:
actions: read
contents: read

jobs:
Expand Down
1 change: 1 addition & 0 deletions .github/workflows/secret-scanner.yml
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@ concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
permissions:
actions: read
contents: read
jobs:
scan:
Expand Down
162 changes: 0 additions & 162 deletions GOVERNANCE.adoc

This file was deleted.

30 changes: 0 additions & 30 deletions SECURITY.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,24 +4,6 @@ Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
-->
# Security Policy

<!--
============================================================================
TEMPLATE INSTRUCTIONS (delete this block before publishing)
============================================================================
Replace all {{PLACEHOLDER}} values with your information:
Palimpsest Plasma - Your project name
hyperpolymath - GitHub username or org (e.g., hyperpolymath)
palimpsest-plasma - Repository name
6759885+hyperpolymath@users.noreply.github.com - Security contact email
[PGP fingerprint not set] - Your PGP key fingerprint (40 chars, no spaces)
{{PGP_KEY_URL}} - URL to your public PGP key
{{WEBSITE}} - Your website/domain
2026 - Current year for copyright

Optional: Remove sections that don't apply (e.g., PGP if you don't use it)
============================================================================
-->

We take security seriously. We appreciate your efforts to responsibly disclose vulnerabilities and will make every effort to acknowledge your contributions.

## Table of Contents
Expand Down Expand Up @@ -63,19 +45,8 @@ If you cannot use GitHub Security Advisories, you may email us directly:
| | |
|---|---|
| **Email** | 6759885+hyperpolymath@users.noreply.github.com |
| **PGP Key** | [Download Public Key]({{PGP_KEY_URL}}) |
| **Fingerprint** | `[PGP fingerprint not set]` |

```bash
# Import our PGP key
curl -sSL {{PGP_KEY_URL}} | gpg --import

# Verify fingerprint
gpg --fingerprint 6759885+hyperpolymath@users.noreply.github.com

# Encrypt your report
gpg --armor --encrypt --recipient 6759885+hyperpolymath@users.noreply.github.com report.txt
```

> **⚠️ Important:** Do not report security vulnerabilities through public GitHub issues, pull requests, discussions, or social media.

Expand Down Expand Up @@ -374,7 +345,6 @@ When using Palimpsest Plasma, we recommend:

## Additional Resources

- [Our PGP Public Key]({{PGP_KEY_URL}})
- [Security Advisories](https://github.com/hyperpolymath/palimpsest-plasma/security/advisories)
- [Changelog](CHANGELOG.md)
- [Contributing Guidelines](CONTRIBUTING.md)
Expand Down
39 changes: 14 additions & 25 deletions guix.scm
Original file line number Diff line number Diff line change
@@ -1,29 +1,18 @@
;; SPDX-License-Identifier: MPL-2.0
;; guix.scm — GNU Guix package definition for palimpsest-plasma
;; Usage: guix shell -f guix.scm (development shell)
;;
;; Note: cargo inputs are not vendored here — this definition provides a
;; development shell (rust + cargo), not a fully reproducible build. Vendor
;; the crate inputs if a reproducible `guix build` is needed.
; SPDX-License-Identifier: MPL-2.0
;; guix.scm — GNU Guix package definition for squisher-corpus
Comment thread
hyperpolymath marked this conversation as resolved.
;; Usage: guix shell -f guix.scm

(use-modules (guix packages)
(guix build-system cargo)
(guix gexp)
((guix licenses) #:prefix license:)
(gnu packages rust))
(guix build-system gnu)
(guix licenses))

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⚠️ Bug: License uses unexported (guix licenses) binding via @@

((@@ (guix licenses) license) "PMPL-1.0-or-later" ...) reaches into the (guix licenses) module for a private license record constructor using @@, which is fragile and may not resolve (the constructor is not part of the public interface). If the intent is a custom license, construct it explicitly via the public license record from (guix licenses) (imported unprefixed here) or restore the original license:mpl2.0. Verify this evaluates before merging.

Was this helpful? React with 👍 / 👎


(package
(name "palimpsest-plasma")
(version "0.2.0")
(source (local-file "." "palimpsest-plasma-checkout"
#:recursive? #t))
(build-system cargo-build-system)
(arguments '(#:tests? #f))
(synopsis "Deterministic, typed policy engine")
(description
"palimpsest-plasma is a deterministic, typed policy engine: define
machine-readable deontic policies and evaluate repositories against them with
reproducible results. Includes an SPDX expression parser and zone-aware
license auditing.")
(home-page "https://github.com/hyperpolymath/palimpsest-plasma")
(license license:mpl2.0))
(name "squisher-corpus")
(version "0.1.0")
(source #f)
(build-system gnu-build-system)
Comment thread
hyperpolymath marked this conversation as resolved.
(synopsis "squisher-corpus")
(description "squisher-corpus — part of the hyperpolymath ecosystem.")
(home-page "https://github.com/hyperpolymath/squisher-corpus")
(license ((@@ (guix licenses) license) "PMPL-1.0-or-later"
"https://github.com/hyperpolymath/palimpsest-license")))
Loading