Skip to content

Commit fa374e0

Browse files
hyperpolymathhyperpolymath
authored
Merge branch 'main' into worktree-docs-hygiene-sweep
Signed-off-by: Jonathan D.A. Jewell <6759885+hyperpolymath@users.noreply.github.com>
2 parents 436411a + cb08db2 commit fa374e0

28 files changed

Lines changed: 1621 additions & 155 deletions

‎.claude/CLAUDE.md‎

Lines changed: 9 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,14 @@
11
## Machine-Readable Artefacts
22

3-
The following files in `.machine_readable/` contain structured project metadata:
3+
The following files in `.machine_readable/descriptiles/` contain structured
4+
project metadata (a2ml is TOML-flavoured, not Guile Scheme):
45

5-
- `STATE.scm` - Current project state and progress
6-
- `META.scm` - Architecture decisions and development practices
7-
- `ECOSYSTEM.scm` - Position in the ecosystem and related projects
8-
- `AGENTIC.scm` - AI agent interaction patterns
9-
- `NEUROSYM.scm` - Neurosymbolic integration config
10-
- `PLAYBOOK.scm` - Operational runbook
6+
- `STATE.a2ml` - Current project state and progress
7+
- `META.a2ml` - Architecture decisions and development practices
8+
- `ECOSYSTEM.a2ml` - Position in the ecosystem and related projects
9+
- `AGENTIC.a2ml` - AI agent interaction patterns
10+
- `NEUROSYM.a2ml` - Neurosymbolic integration config
11+
- `PLAYBOOK.a2ml` - Operational runbook
1112

1213
---
1314

@@ -28,7 +29,7 @@ The following files in `.machine_readable/` contain structured project metadata:
2829
| **Bash/POSIX Shell** | Scripts, automation | Keep minimal |
2930
| **JavaScript** | Only where AffineScript cannot, or as per-language reference (examples/) | Avoid for new code unless integrating an external JS API |
3031
| **Nickel** | Configuration language | For complex configs |
31-
| **Guile Scheme** | State/meta files | STATE.scm, META.scm, ECOSYSTEM.scm |
32+
| **Guile Scheme** | Scripting where needed | (state/meta files are `.machine_readable/descriptiles/*.a2ml`, TOML-flavoured) |
3233
| **Julia** | Batch scripts, data processing | Per RSR |
3334
| **OCaml** | AffineScript compiler | Language-specific |
3435
| **Ada** | Safety-critical systems | Where required |

‎.github/funding.yml‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
# Funding Configuration
2+
# See: https://docs.github.com/en/repositories/managing-your-repositorys-custom-fields/displaying-a-sponsor-button-in-your-repository
3+
4+
github: metadatastician

‎.github/workflows/cflite_pr.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ jobs:
1616
sanitizer: [address]
1717
steps:
1818
- name: Checkout
19-
uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0
19+
uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
2020

2121
- name: Build Fuzzers (${{ matrix.sanitizer }})
2222
id: build

‎.github/workflows/codeql.yml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -36,15 +36,15 @@ jobs:
3636

3737
steps:
3838
- name: Checkout
39-
uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0
39+
uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
4040

4141
- name: Initialize CodeQL
42-
uses: github/codeql-action/init@54f647b7e1bb85c95cddabcd46b0c578ec92bc1a # v3.28.1
42+
uses: github/codeql-action/init@e4fba868fa4b1b91e1fdab776edc8cfbe6e9fb81 # v3.28.1
4343
with:
4444
languages: ${{ matrix.language }}
4545
build-mode: ${{ matrix.build-mode }}
4646

4747
- name: Perform CodeQL Analysis
48-
uses: github/codeql-action/analyze@54f647b7e1bb85c95cddabcd46b0c578ec92bc1a # v3.28.1
48+
uses: github/codeql-action/analyze@e4fba868fa4b1b91e1fdab776edc8cfbe6e9fb81 # v3.28.1
4949
with:
5050
category: "/language:${{ matrix.language }}"

‎.github/workflows/deno-ci.yml‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,4 +18,3 @@ permissions:
1818
jobs:
1919
deno-ci:
2020
uses: hyperpolymath/standards/.github/workflows/deno-ci-reusable.yml@d135b05bfc647d0c0fbfedc7e80f37ea50f49236 # standards#168 head
21-
timeout-minutes: 10

‎.github/workflows/governance.yml‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -31,5 +31,4 @@ permissions:
3131

3232
jobs:
3333
governance:
34-
uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@d7c22711e830e1f383846472f6e9b99debdb201e # main 2026-05-27 (post-#219 workflow_sha fix)
35-
timeout-minutes: 10
34+
uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@81dbf2dd854b1444fd6236fa2352474383b2c2b9 # main 2026-05-27 (post-#219 workflow_sha fix)

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

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -25,6 +25,5 @@ permissions:
2525

2626
jobs:
2727
hypatia:
28-
uses: hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@d7c22711e830e1f383846472f6e9b99debdb201e
29-
timeout-minutes: 10
28+
uses: hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@81dbf2dd854b1444fd6236fa2352474383b2c2b9
3029
secrets: inherit

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ jobs:
1818
runs-on: ubuntu-latest
1919
timeout-minutes: 15
2020
steps:
21-
- uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0
21+
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
2222
- name: Enforce language policies
2323
run: |
2424
# Block new Python files (except SaltStack)

‎.github/workflows/mirror.yml‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,5 +12,4 @@ permissions:
1212
jobs:
1313
mirror:
1414
uses: hyperpolymath/standards/.github/workflows/mirror-reusable.yml@d135b05bfc647d0c0fbfedc7e80f37ea50f49236
15-
timeout-minutes: 10
1615
secrets: inherit

‎.github/workflows/pages.yml‎

Lines changed: 54 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,54 @@
1+
# SPDX-License-Identifier: MPL-2.0
2+
name: GitHub Pages (Ddraig SSG)
3+
on:
4+
push:
5+
branches: [main, master]
6+
workflow_dispatch:
7+
permissions:
8+
contents: read
9+
pages: write
10+
id-token: write
11+
concurrency:
12+
group: "pages"
13+
cancel-in-progress: false
14+
jobs:
15+
build:
16+
runs-on: ubuntu-latest
17+
timeout-minutes: 15
18+
container:
19+
image: ghcr.io/stefan-hoeck/idris2-pack@sha256:f0758996a931fb35d9ecb1de273c4d59dabe2a09b433afc7e357f65a08b7e1ff
20+
steps:
21+
- name: Checkout Site
22+
uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
23+
- name: Checkout Ddraig SSG
24+
uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
25+
with:
26+
repository: hyperpolymath/ddraig-ssg
27+
path: .ddraig-ssg
28+
- name: Compile Ddraig
29+
working-directory: .ddraig-ssg
30+
run: idris2 Ddraig.idr -o ddraig
31+
- name: Build site
32+
run: |
33+
mkdir -p src
34+
if [ ! -f src/index.md ] && [ -f README.md ]; then
35+
cp README.md src/index.md
36+
elif [ ! -f src/index.md ]; then
37+
echo "# ${GITHUB_REPOSITORY}" > src/index.md
38+
fi
39+
./.ddraig-ssg/build/exec/ddraig build src _site https://hyperpolymath.github.io/${GITHUB_REPOSITORY#*/}
40+
- name: Upload artifact
41+
uses: actions/upload-pages-artifact@fc324d3547104276b827a68afc52ff2a11cc49c9 # v5.0.0
42+
with:
43+
path: '_site'
44+
deploy:
45+
environment:
46+
name: github-pages
47+
url: ${{ steps.deployment.outputs.page_url }}
48+
runs-on: ubuntu-latest
49+
timeout-minutes: 15
50+
needs: build
51+
steps:
52+
- name: Deploy to GitHub Pages
53+
id: deployment
54+
uses: actions/deploy-pages@cd2ce8fcbc39b97be8ca5fce6e763baed58fa128 # v5.0.0

0 commit comments

Comments
 (0)