Skip to content

Commit efdf111

Browse files
claudeclaude
committed
feat: bring PseudoScript face up to RSR parity with rattlescript
Mirror rattlescript's full RSR topology (399 files) into the pseudoscript brand-surface repo, re-identitied for the pseudocode face, and author genuine PseudoScript identity (README, hello example, 6a2 machine-readable). Inherits MPL-2.0 / CC-BY-SA-4.0. Compiler internals remain central in affinescript (lib/pseudocode_face.ml, ADR-010). Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01KPG9mEQXFyA3k7NWAzMNMr
1 parent e7e7095 commit efdf111

404 files changed

Lines changed: 21471 additions & 459 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.

‎.devcontainer/Containerfile‎

Lines changed: 32 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,32 @@
1+
# SPDX-License-Identifier: MPL-2.0
2+
# Copyright (c) {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
3+
#
4+
# Dev Container image for {{PROJECT_NAME}}
5+
# Base: Chainguard Wolfi (minimal, supply-chain-secure)
6+
# Build: podman build -t {{PROJECT_NAME}}-dev -f .devcontainer/Containerfile .
7+
8+
FROM cgr.dev/chainguard/wolfi-base:latest
9+
10+
# Install common development tools
11+
RUN apk update && apk add --no-cache \
12+
bash \
13+
curl \
14+
git \
15+
openssh-client \
16+
ca-certificates \
17+
build-base \
18+
posix-libc-utils \
19+
shadow \
20+
&& rm -rf /var/cache/apk/*
21+
22+
# Create non-root dev user (matches devcontainer.json remoteUser)
23+
RUN groupadd -g 1000 nonroot || true \
24+
&& useradd -m -u 1000 -g 1000 -s /bin/bash nonroot || true
25+
26+
# Set workspace directory
27+
WORKDIR /workspaces/{{PROJECT_NAME}}
28+
29+
# Default shell
30+
ENV SHELL=/bin/bash
31+
32+
USER nonroot

‎.devcontainer/README.adoc‎

Lines changed: 28 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,28 @@
1+
// SPDX-License-Identifier: MPL-2.0
2+
// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
3+
= Dev Container Usage
4+
:author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
5+
6+
== Overview
7+
8+
This dev container uses `cgr.dev/chainguard/wolfi-base` with git, curl, bash, and just pre-installed. Dev container features add git, just, and nickel automatically.
9+
10+
== VS Code (Local)
11+
12+
. Install the *Dev Containers* extension (`ms-vscode-remote.remote-containers`).
13+
. Set `dev.containers.dockerPath` to `podman` in VS Code settings.
14+
. Open the repo folder, then choose **Reopen in Container** from the command palette.
15+
16+
== GitHub Codespaces
17+
18+
. From the repository on GitHub, click **Code > Codespaces > New codespace**.
19+
. The container builds automatically from this configuration.
20+
21+
== Gitpod
22+
23+
. Prefix the repo URL with `https://gitpod.io/#` to launch a workspace.
24+
. Gitpod reads `devcontainer.json` and builds the environment.
25+
26+
== Customization
27+
28+
Replace `{{PROJECT_NAME}}` placeholders in both `devcontainer.json` and `Containerfile` with your actual project name. Run `just deps` to verify the environment after first launch.

‎.devcontainer/devcontainer.json‎

Lines changed: 69 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,69 @@
1+
// SPDX-License-Identifier: MPL-2.0
2+
// Copyright (c) {{CURRENT_YEAR}} Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
3+
//
4+
// Dev Container configuration for {{PROJECT_NAME}}
5+
// Works with: VS Code Dev Containers, GitHub Codespaces, Gitpod
6+
// Container runtime: Podman (recommended) or any OCI-compliant runtime
7+
{
8+
"name": "{{PROJECT_NAME}}",
9+
10+
"build": {
11+
"dockerfile": "Containerfile",
12+
"context": ".."
13+
},
14+
15+
"features": {
16+
"ghcr.io/devcontainers/features/git:1": {
17+
"ppa": false,
18+
"version": "latest"
19+
},
20+
"ghcr.io/jdx/devcontainer-features/just:1": {},
21+
"ghcr.io/nickel-lang/devcontainer-feature:0": {}
22+
},
23+
24+
"postCreateCommand": "just deps",
25+
26+
"remoteUser": "nonroot",
27+
28+
"containerEnv": {
29+
"EDITOR": "code --wait",
30+
"LANG": "C.UTF-8"
31+
},
32+
33+
"customizations": {
34+
"vscode": {
35+
"extensions": [
36+
"EditorConfig.EditorConfig",
37+
"eamodio.gitlens",
38+
"streetsidesoftware.code-spell-checker",
39+
"timonwong.shellcheck",
40+
"tamasfe.even-better-toml",
41+
"skellock.just",
42+
"redhat.vscode-yaml",
43+
"DavidAnson.vscode-markdownlint",
44+
"asciidoctor.asciidoctor-vscode",
45+
"usernamehw.errorlens"
46+
],
47+
"settings": {
48+
"editor.formatOnSave": true,
49+
"editor.insertSpaces": true,
50+
"editor.tabSize": 2,
51+
"files.trimTrailingWhitespace": true,
52+
"files.insertFinalNewline": true,
53+
"files.trimFinalNewlines": true,
54+
"[makefile]": {
55+
"editor.insertSpaces": false
56+
}
57+
}
58+
},
59+
"codespaces": {
60+
"openFiles": [
61+
"README.adoc"
62+
]
63+
}
64+
},
65+
66+
"forwardPorts": [],
67+
68+
"shutdownAction": "stopContainer"
69+
}

‎.editorconfig‎

Lines changed: 65 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,65 @@
1+
# RSR-template-repo - Editor Configuration
2+
# https://editorconfig.org
3+
4+
root = true
5+
6+
[*]
7+
charset = utf-8
8+
end_of_line = lf
9+
indent_size = 2
10+
indent_style = space
11+
insert_final_newline = true
12+
trim_trailing_whitespace = true
13+
14+
[*.md]
15+
trim_trailing_whitespace = false
16+
17+
[*.adoc]
18+
trim_trailing_whitespace = false
19+
20+
[*.rs]
21+
indent_size = 4
22+
23+
[*.ex]
24+
indent_size = 2
25+
26+
[*.exs]
27+
indent_size = 2
28+
29+
[*.zig]
30+
indent_size = 4
31+
32+
[*.ada]
33+
indent_size = 3
34+
35+
[*.adb]
36+
indent_size = 3
37+
38+
[*.ads]
39+
indent_size = 3
40+
41+
[*.hs]
42+
indent_size = 2
43+
44+
[*.res]
45+
indent_size = 2
46+
47+
[*.resi]
48+
indent_size = 2
49+
50+
[*.ncl]
51+
indent_size = 2
52+
53+
[*.rkt]
54+
indent_size = 2
55+
56+
[*.scm]
57+
indent_size = 2
58+
59+
[*.nix]
60+
indent_size = 2
61+
62+
[Justfile]
63+
indent_style = space
64+
indent_size = 4
65+

‎.envrc‎

Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,27 @@
1+
# SPDX-License-Identifier: MPL-2.0
2+
# Activate development environment
3+
# Install direnv: https://direnv.net/
4+
5+
# Load .tool-versions if asdf is available
6+
if has asdf; then
7+
use asdf
8+
fi
9+
10+
# Load Guix shell if guix.scm exists
11+
if has guix && [ -f guix.scm ]; then
12+
use guix
13+
fi
14+
15+
# Load Nix flake if flake.nix exists
16+
if has nix && [ -f flake.nix ]; then
17+
use flake
18+
fi
19+
20+
# Project environment variables
21+
export PROJECT_NAME="{{PROJECT_NAME}}"
22+
export RSR_TIER="infrastructure"
23+
# export DATABASE_URL="..."
24+
# export API_KEY="..."
25+
26+
# Source .env if it exists (gitignored)
27+
dotenv_if_exists

‎.gitattributes‎

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,6 @@
1919
*.a2ml text eol=lf linguist-language=TOML
2020
*.ncl text eol=lf
2121
*.nix text eol=lf
22-
*.zig text eol=lf
2322

2423
# Docs
2524
*.md text eol=lf diff=markdown
@@ -35,9 +34,7 @@
3534
# Config
3635
.gitignore text eol=lf
3736
.gitattributes text eol=lf
38-
.editorconfig text eol=lf
39-
.tool-versions text eol=lf
40-
justfile text eol=lf
37+
Justfile text eol=lf
4138
Makefile text eol=lf
4239
Containerfile text eol=lf
4340

‎.github/.mailmap‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
{{AUTHOR}} <{{AUTHOR_EMAIL}}> <{{AUTHOR_EMAIL_ALT}}>

‎.github/.nojekyll‎

Whitespace-only changes.

‎.github/0.1-AI-MANIFEST.a2ml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
# AI Manifest - Level 1: .github

‎.github/CODEOWNERS‎

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
# SPDX-License-Identifier: MPL-2.0
2+
# CODEOWNERS - Define code review assignments
3+
# See: https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/about-code-owners
4+
#
5+
# Replace {{OWNER}} with your GitHub username or team
6+
7+
# Default owners for everything
8+
* @{{OWNER}}
9+
10+
# Security-sensitive files require explicit review
11+
SECURITY.md @{{OWNER}}
12+
.github/workflows/ @{{OWNER}}
13+
Trustfile.a2ml @{{OWNER}}
14+
.machine_readable/ @{{OWNER}}

0 commit comments

Comments
 (0)