Skip to content

Commit 0cacc19

Browse files
hyperpolymathhyperpolymath
authored
Merge branch 'main' into chore/scorecard-periodic
2 parents 7691d91 + 9b7fb60 commit 0cacc19

514 files changed

Lines changed: 3305 additions & 2177 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎.claude/CLAUDE.md‎

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
1-
<!--
2-
SPDX-License-Identifier: CC-BY-SA-4.0
3-
Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
4-
-->
1+
<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
2+
<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
3+
54
## Machine-Readable Artefacts
65

76
The following files in `.machine_readable/6a2/` contain structured project

‎.claude/PROJECT.md‎

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
1-
<!--
2-
SPDX-License-Identifier: CC-BY-SA-4.0
3-
Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
4-
-->
1+
<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
2+
<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
3+
54
# My Lang - Claude Code Instructions
65

76
This repository contains the My Lang programming language implementation.

‎.clusterfuzzlite/build.sh‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
#!/bin/bash -eu
22
# SPDX-License-Identifier: MPL-2.0
3-
# Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
3+
# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
4+
45
#
56
# OSS-Fuzz / ClusterFuzzLite build script: compile the cargo-fuzz targets in
67
# `fuzz/` and stage each binary into $OUT. Run by `compile` inside the

‎.clusterfuzzlite/project.yaml‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
1+
# SPDX-License-Identifier: MPL-2.0
2+
# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
3+
14
homepage: "https://github.com/hyperpolymath/my-lang"
25
language: rust
36
main_repo: "https://github.com/hyperpolymath/my-lang"

‎.github/FUNDING.yml‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
1+
# SPDX-License-Identifier: MPL-2.0
2+
# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
3+
14
# These are supported funding model platforms
25

36
github: hyperpolymath

‎.github/copilot/coding-agent.yml‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
1+
# SPDX-License-Identifier: MPL-2.0
2+
# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
3+
14
mcp_servers:
25
boj-server:
36
command: npx

‎.github/dependabot.yml‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,6 @@
11
# SPDX-License-Identifier: MPL-2.0
2+
# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
3+
24
version: 2
35
updates:
46
- package-ecosystem: "github-actions"

‎.github/funding.yml‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
1+
# SPDX-License-Identifier: MPL-2.0
2+
# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
3+
14
# Funding Configuration
25
# See: https://docs.github.com/en/repositories/managing-your-repositorys-custom-fields/displaying-a-sponsor-button-in-your-repository
36

‎.github/workflows/actions.lock‎

Lines changed: 34 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -5,54 +5,54 @@ version: 'v0.0.2'
55
workflows:
66
'.github/workflows/cflite_batch.yml':
77
- 'actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1'
8-
- 'github/codeql-action@f205ea1c3313d32999d8d6a48b4f6530d4437b38'
8+
- 'github/codeql-action@5595ccaf912efad79be6eef63a5619ff05969be3'
99
- 'google/clusterfuzzlite@884713a6c30a92e5e8544c39945cd7cb630abcd1'
1010
'.github/workflows/cflite_pr.yml':
1111
- 'actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1'
12-
- 'github/codeql-action@f205ea1c3313d32999d8d6a48b4f6530d4437b38'
12+
- 'github/codeql-action@5595ccaf912efad79be6eef63a5619ff05969be3'
1313
- 'google/clusterfuzzlite@884713a6c30a92e5e8544c39945cd7cb630abcd1'
1414
'.github/workflows/checker-scaling.yml':
1515
- 'actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1'
1616
- 'actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a'
17-
- 'dtolnay/rust-toolchain@2c7215f132e9ebf062739d9130488b56d53c060c'
17+
- 'dtolnay/rust-toolchain@6c977a6ca4077a0ceb28ffbe03f59d46e9ac8772'
1818
'.github/workflows/codeql.yml':
1919
- 'actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1'
20-
- 'github/codeql-action@f205ea1c3313d32999d8d6a48b4f6530d4437b38'
20+
- 'github/codeql-action@5595ccaf912efad79be6eef63a5619ff05969be3'
2121
'.github/workflows/coverage.yml':
2222
- 'actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1'
2323
- 'actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a'
24-
- 'dtolnay/rust-toolchain@2c7215f132e9ebf062739d9130488b56d53c060c'
24+
- 'dtolnay/rust-toolchain@6c977a6ca4077a0ceb28ffbe03f59d46e9ac8772'
2525
'.github/workflows/governance.yml':
26-
- 'hyperpolymath/standards@bd0df9ead7faf0cdfe0e13e7966d91e28d0101d4'
26+
- 'hyperpolymath/standards@08586a12bb64b98268fe9ebf552998aa2433a3c2'
2727
'.github/workflows/hypatia-scan.yml':
28-
- 'hyperpolymath/standards@bd0df9ead7faf0cdfe0e13e7966d91e28d0101d4'
28+
- 'hyperpolymath/standards@08586a12bb64b98268fe9ebf552998aa2433a3c2'
2929
'.github/workflows/mirror.yml':
30-
- 'hyperpolymath/standards@bd0df9ead7faf0cdfe0e13e7966d91e28d0101d4'
30+
- 'hyperpolymath/standards@08586a12bb64b98268fe9ebf552998aa2433a3c2'
3131
'.github/workflows/pages.yml':
3232
- 'actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1'
3333
- 'actions/deploy-pages@cd2ce8fcbc39b97be8ca5fce6e763baed58fa128'
3434
- 'actions/upload-pages-artifact@fc324d3547104276b827a68afc52ff2a11cc49c9'
3535
'.github/workflows/proofs.yml':
3636
- 'actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1'
3737
'.github/workflows/push-email-notify.yml':
38-
- 'dawidd6/action-send-mail@2e600f3776677e493bf0da7aaec39a586d19a5ed'
38+
- 'dawidd6/action-send-mail@8de3c312702ac7a63fc4035d45a2a51811eb669a'
3939
'.github/workflows/scorecard.yml':
40-
- 'hyperpolymath/standards@bd0df9ead7faf0cdfe0e13e7966d91e28d0101d4'
40+
- 'hyperpolymath/standards@08586a12bb64b98268fe9ebf552998aa2433a3c2'
4141
'.github/workflows/secret-scanner.yml':
42-
- 'hyperpolymath/standards@bd0df9ead7faf0cdfe0e13e7966d91e28d0101d4'
42+
- 'hyperpolymath/standards@08586a12bb64b98268fe9ebf552998aa2433a3c2'
4343
'.github/workflows/spark-theatre-gate.yml':
44-
- 'hyperpolymath/standards@bd0df9ead7faf0cdfe0e13e7966d91e28d0101d4'
44+
- 'hyperpolymath/standards@08586a12bb64b98268fe9ebf552998aa2433a3c2'
4545
'.github/workflows/stack-depth.yml':
4646
- 'actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1'
47-
- 'dtolnay/rust-toolchain@2c7215f132e9ebf062739d9130488b56d53c060c'
47+
- 'dtolnay/rust-toolchain@6c977a6ca4077a0ceb28ffbe03f59d46e9ac8772'
4848
dependencies:
4949
'actions/cache@55cc8345863c7cc4c66a329aec7e433d2d1c52a9':
5050
ref: 'v6.1.0'
5151
commit: 'sha1-55cc8345863c7cc4c66a329aec7e433d2d1c52a9'
5252
owner_id: 44036562
5353
repo_id: 215566462
5454
'actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1':
55-
ref: 'v7.0.1'
55+
ref: '3d3c42e5aac5ba805825da76410c181273ba90b1'
5656
commit: 'sha1-3d3c42e5aac5ba805825da76410c181273ba90b1'
5757
owner_id: 44036562
5858
repo_id: 197814629
@@ -61,26 +61,26 @@ dependencies:
6161
commit: 'sha1-cd2ce8fcbc39b97be8ca5fce6e763baed58fa128'
6262
owner_id: 44036562
6363
repo_id: 438112499
64+
'actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a':
65+
ref: '043fb46d1a93c77aae656e7c1c64a875d1fc6a0a'
66+
commit: 'sha1-043fb46d1a93c77aae656e7c1c64a875d1fc6a0a'
67+
owner_id: 44036562
68+
repo_id: 192625955
6469
'actions/upload-artifact@bbbca2ddaa5d8feaa63e36b76fdaad77386f024f':
6570
ref: 'v7.0.0'
6671
commit: 'sha1-bbbca2ddaa5d8feaa63e36b76fdaad77386f024f'
6772
owner_id: 44036562
6873
repo_id: 192625955
69-
'actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a':
70-
ref: 'v7.0.1'
71-
commit: 'sha1-043fb46d1a93c77aae656e7c1c64a875d1fc6a0a'
72-
owner_id: 44036562
73-
repo_id: 192625955
7474
'actions/upload-pages-artifact@fc324d3547104276b827a68afc52ff2a11cc49c9':
7575
ref: 'v5.0.0'
7676
commit: 'sha1-fc324d3547104276b827a68afc52ff2a11cc49c9'
7777
owner_id: 44036562
7878
repo_id: 496012378
7979
uses:
8080
- 'actions/upload-artifact@bbbca2ddaa5d8feaa63e36b76fdaad77386f024f'
81-
'dawidd6/action-send-mail@2e600f3776677e493bf0da7aaec39a586d19a5ed':
81+
'dawidd6/action-send-mail@8de3c312702ac7a63fc4035d45a2a51811eb669a':
8282
ref: 'v3.12.0'
83-
commit: 'sha1-2e600f3776677e493bf0da7aaec39a586d19a5ed'
83+
commit: 'sha1-8de3c312702ac7a63fc4035d45a2a51811eb669a'
8484
owner_id: 9713907
8585
repo_id: 222439721
8686
'denoland/setup-deno@22d081ff2d3a40755e97629de92e3bcbfa7cf2ed':
@@ -93,6 +93,11 @@ dependencies:
9393
commit: 'sha1-2c7215f132e9ebf062739d9130488b56d53c060c'
9494
owner_id: 1940490
9595
repo_id: 260749683
96+
'dtolnay/rust-toolchain@6c977a6ca4077a0ceb28ffbe03f59d46e9ac8772':
97+
ref: 'master'
98+
commit: 'sha1-6c977a6ca4077a0ceb28ffbe03f59d46e9ac8772'
99+
owner_id: 1940490
100+
repo_id: 260749683
96101
'editorconfig-checker/action-editorconfig-checker@840e866d93b8e032123c23bac69dece044d4d84c':
97102
ref: 'v2.2.0'
98103
commit: 'sha1-840e866d93b8e032123c23bac69dece044d4d84c'
@@ -103,19 +108,24 @@ dependencies:
103108
commit: 'sha1-54075bcc5e249e4758d363f27d099f55d843f124'
104109
owner_id: 47606891
105110
repo_id: 331103973
111+
'github/codeql-action@5595ccaf912efad79be6eef63a5619ff05969be3':
112+
ref: 'v4.37.6'
113+
commit: 'sha1-5595ccaf912efad79be6eef63a5619ff05969be3'
114+
owner_id: 9919
115+
repo_id: 259445878
106116
'github/codeql-action@f205ea1c3313d32999d8d6a48b4f6530d4437b38':
107117
ref: 'v4.37.4'
108118
commit: 'sha1-f205ea1c3313d32999d8d6a48b4f6530d4437b38'
109119
owner_id: 9919
110120
repo_id: 259445878
111121
'google/clusterfuzzlite@884713a6c30a92e5e8544c39945cd7cb630abcd1':
112-
ref: 'v1'
122+
ref: '884713a6c30a92e5e8544c39945cd7cb630abcd1'
113123
commit: 'sha1-884713a6c30a92e5e8544c39945cd7cb630abcd1'
114124
owner_id: 1342004
115125
repo_id: 400046858
116-
'hyperpolymath/standards@bd0df9ead7faf0cdfe0e13e7966d91e28d0101d4':
126+
'hyperpolymath/standards@08586a12bb64b98268fe9ebf552998aa2433a3c2':
117127
ref: 'main'
118-
commit: 'sha1-bd0df9ead7faf0cdfe0e13e7966d91e28d0101d4'
128+
commit: 'sha1-08586a12bb64b98268fe9ebf552998aa2433a3c2'
119129
owner_id: 6759885
120130
repo_id: 1116521501
121131
uses:

‎.github/workflows/cflite_batch.yml‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,6 @@
11
# SPDX-License-Identifier: MPL-2.0
2+
# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
3+
24
name: ClusterFuzzLite Batch
35
on:
46
schedule:
@@ -27,7 +29,7 @@ jobs:
2729
sanitizer: ${{ matrix.sanitizer }}
2830
mode: batch
2931
output-sarif: true
30-
- uses: github/codeql-action/upload-sarif@f205ea1c3313d32999d8d6a48b4f6530d4437b38 # v3
32+
- uses: github/codeql-action/upload-sarif@5595ccaf912efad79be6eef63a5619ff05969be3 # v3
3133
# Only upload when a SARIF was actually produced: a CLEAN fuzz run
3234
# (no crashes) writes no `vulnerabilities.sarif`, and an unconditional
3335
# `always()` upload then fails with "Path does not exist".

0 commit comments

Comments
 (0)