Skip to content

Commit 03b3a3a

Browse files
hyperpolymathhyperpolymath
committed
Merge branch 'main' of github.com:hyperpolymath/polysafe-gitfixer
2 parents 5f1971f + 85a36e6 commit 03b3a3a

14 files changed

Lines changed: 544 additions & 56 deletions

File tree

‎.github/workflows/codeql.yml‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -61,7 +61,11 @@ jobs:
6161
# your codebase is analyzed, see https://docs.github.com/en/code-security/code-scanning/creating-an-advanced-setup-for-code-scanning/codeql-code-scanning-for-compiled-languages
6262
steps:
6363
- name: Checkout repository
64+
<<<<<<< HEAD
6465
uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4
66+
=======
67+
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4
68+
>>>>>>> 2928af7 (chore: batch RSR compliance)
6569

6670
# Add any setup steps before running the `github/codeql-action/init` action.
6771
# This includes steps like installing compilers or runtimes (`actions/setup-node`

‎.github/workflows/guix-nix-policy.yml‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,11 @@ jobs:
88
check:
99
runs-on: ubuntu-latest
1010
steps:
11+
<<<<<<< HEAD
1112
- uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4
13+
=======
14+
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4
15+
>>>>>>> 2928af7 (chore: batch RSR compliance)
1216
- name: Enforce Guix primary / Nix fallback
1317
run: |
1418
# Check for package manager files

‎.github/workflows/hypatia-scan.yml‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -40,12 +40,10 @@ jobs:
4040
- name: Build Hypatia scanner (if needed)
4141
working-directory: ${{ env.HOME }}/hypatia
4242
run: |
43-
if [ ! -f hypatia-v2 ]; then
43+
if [ ! -f hypatia ] && [ ! -f hypatia-v2 ]; then
4444
echo "Building hypatia-v2 scanner..."
45-
cd scanner
4645
mix deps.get
4746
mix escript.build
48-
mv hypatia ../hypatia-v2
4947
fi
5048
5149
- name: Run Hypatia scan

‎.github/workflows/jekyll-gh-pages.yml‎

Lines changed: 52 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,52 @@
1+
# SPDX-License-Identifier: PMPL-1.0-or-later
2+
# Sample workflow for building and deploying a Jekyll site to GitHub Pages
3+
name: Deploy Jekyll with GitHub Pages dependencies preinstalled
4+
5+
on:
6+
# Runs on pushes targeting the default branch
7+
push:
8+
branches: ["main"]
9+
10+
# Allows you to run this workflow manually from the Actions tab
11+
workflow_dispatch:
12+
13+
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
14+
permissions:
15+
contents: read
16+
pages: write
17+
id-token: write
18+
19+
# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
20+
# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
21+
concurrency:
22+
group: "pages"
23+
cancel-in-progress: false
24+
25+
jobs:
26+
# Build job
27+
build:
28+
runs-on: ubuntu-latest
29+
steps:
30+
- name: Checkout
31+
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4
32+
- name: Setup Pages
33+
uses: actions/configure-pages@983d7736d9b0ae728b81ab479565c72886d7745b # v5
34+
- name: Build with Jekyll
35+
uses: actions/jekyll-build-pages@44a6e6beabd48582f863aeeb6cb2151cc1716697 # v1
36+
with:
37+
source: ./
38+
destination: ./_site
39+
- name: Upload artifact
40+
uses: actions/upload-pages-artifact@56afc609e74202658d3ffba0e8f6dda462b719fa # v3
41+
42+
# Deployment job
43+
deploy:
44+
environment:
45+
name: github-pages
46+
url: ${{ steps.deployment.outputs.page_url }}
47+
runs-on: ubuntu-latest
48+
needs: build
49+
steps:
50+
- name: Deploy to GitHub Pages
51+
id: deployment
52+
uses: actions/deploy-pages@d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e # v4

‎.github/workflows/quality.yml‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,11 @@ jobs:
99
lint:
1010
runs-on: ubuntu-latest
1111
steps:
12+
<<<<<<< HEAD
1213
- uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4
14+
=======
15+
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4
16+
>>>>>>> 2928af7 (chore: batch RSR compliance)
1317

1418
- name: Check file permissions
1519
run: |
@@ -39,7 +43,11 @@ jobs:
3943
docs:
4044
runs-on: ubuntu-latest
4145
steps:
46+
<<<<<<< HEAD
4247
- uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4
48+
=======
49+
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4
50+
>>>>>>> 2928af7 (chore: batch RSR compliance)
4351
- name: Check documentation
4452
run: |
4553
MISSING=""

‎.github/workflows/scorecard.yml‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,11 @@ jobs:
1616
security-events: write
1717
id-token: write
1818
steps:
19+
<<<<<<< HEAD
1920
- uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4
21+
=======
22+
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4
23+
>>>>>>> 2928af7 (chore: batch RSR compliance)
2024
with:
2125
persist-credentials: false
2226

‎.github/workflows/security-policy.yml‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,11 @@ jobs:
88
check:
99
runs-on: ubuntu-latest
1010
steps:
11+
<<<<<<< HEAD
1112
- uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4
13+
=======
14+
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4
15+
>>>>>>> 2928af7 (chore: batch RSR compliance)
1216
- name: Security checks
1317
run: |
1418
FAILED=false

‎.machine_readable/6a2/AGENTIC.a2ml‎

Lines changed: 13 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,9 @@
22
# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
33
#
44
# AGENTIC.a2ml — AI agent constraints and capabilities
5-
# Defines what AI agents can and cannot do in this repository.
6-
75
[metadata]
86
version = "0.1.0"
9-
last-updated = "2026-03-16"
7+
last-updated = "2026-04-11"
108

119
[agent-permissions]
1210
can-edit-source = true
@@ -22,3 +20,15 @@ can-create-files = true
2220
# - Never use banned languages (TypeScript, Python, Go, etc.)
2321
# - Never place state files in repository root (must be in .machine_readable/)
2422
# - Never use AGPL license (use PMPL-1.0-or-later)
23+
24+
[maintenance-integrity]
25+
fail-closed = true
26+
require-evidence-per-step = true
27+
allow-silent-skip = false
28+
require-rerun-after-fix = true
29+
release-claim-requires-hard-pass = true
30+
31+
[automation-hooks]
32+
# on-enter: Read 0-AI-MANIFEST.a2ml, then STATE.a2ml
33+
# on-exit: Update STATE.a2ml with session outcomes
34+
# on-commit: Run just validate-rsr

‎.machine_readable/6a2/ECOSYSTEM.a2ml‎

Lines changed: 17 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,20 @@
11
# SPDX-License-Identifier: PMPL-1.0-or-later
2-
# ECOSYSTEM.a2ml — Ecosystem position
3-
# Converted from ECOSYSTEM.scm on 2026-03-15
4-
2+
# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
3+
#
4+
# ECOSYSTEM.a2ml — Polysafe Gitfixer ecosystem position
55
[metadata]
6-
project = "polysafe-gitfixer"
7-
ecosystem = "hyperpolymath"
6+
version = "0.1.0"
7+
last-updated = "2026-02-08"
8+
9+
[project]
10+
name = "Polysafe Gitfixer"
11+
purpose = "FFI bridges between languages via Zig"
12+
role = ""
13+
14+
[position-in-ecosystem]
15+
category = ""
816

9-
[position]
10-
type = "component"
17+
[related-projects]
18+
projects = [
19+
# No related projects recorded
20+
]

‎.machine_readable/6a2/META.a2ml‎

Lines changed: 24 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,27 @@
11
# SPDX-License-Identifier: PMPL-1.0-or-later
2-
# META.a2ml — Project meta-information
3-
# Converted from META.scm on 2026-03-15
4-
2+
# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
3+
#
4+
# META.a2ml — Polysafe Gitfixer meta-level information
55
[metadata]
6-
project = "polysafe-gitfixer"
7-
author = "Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"
6+
version = "0.1.0"
7+
last-updated = "2026-02-08"
8+
9+
[project-info]
810
license = "PMPL-1.0-or-later"
9-
standard = "RSR 2026"
11+
author = "Jonathan D.A. Jewell (hyperpolymath)"
12+
13+
[architecture-decisions]
14+
decisions = [
15+
# No ADRs recorded
16+
]
17+
18+
[development-practices]
19+
versioning = "SemVer"
20+
documentation = "AsciiDoc"
21+
build-tool = "just"
22+
23+
[maintenance-axes]
24+
scoping-first = true
25+
axis-1 = "must > intend > like"
26+
axis-2 = "corrective > adaptive > perfective"
27+
axis-3 = "systems > compliance > effects"

0 commit comments

Comments
 (0)