Skip to content

Commit 0fc825c

Browse files
hyperpolymathclaude
andcommitted
RSR compliance uplift + parser gap fill (8 EBNF sections)
RSR infrastructure: - 44 .github/ files (20 workflows, 6 issue templates, settings, dependabot) - 78 .machine_readable/ files (STATE/META/ECOSYSTEM, contractiles, bot directives, agent instructions) - .well-known/ (security.txt, ai.txt, humans.txt) - .editorconfig, .gitattributes, Containerfile, flake.nix, guix.scm - TOPOLOGY.md, CHANGELOG.md, ROADMAP.adoc, CODE_OF_CONDUCT.md - Justfile expanded from 13 to 49 recipes (contractiles, verification, spec-check, self-assess) Parser gap fill — 8 EBNF sections now have Pest grammar + AST: - Type declarations (type, enums, type params) - Import declarations (import, from...import) - Reversibility blocks (reversible, irreversible, reverse) - Locale declarations (Local, GPU, Remote, Edge, Cluster) - Choreography declarations (choreo_comm, parallel, branch, loop, decision, goto) - migrate() control expression - Trace<"label"> type expression - Tuple type expressions All 29 tests pass. Zero clippy warnings. Zero panic-attack weak points. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
1 parent 93e0035 commit 0fc825c

142 files changed

Lines changed: 8027 additions & 31 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.

.editorconfig

Lines changed: 59 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,59 @@
1+
# SPDX-License-Identifier: PMPL-1.0-or-later
2+
# 007-lang - Editor Configuration
3+
# https://editorconfig.org
4+
5+
root = true
6+
7+
[*]
8+
charset = utf-8
9+
end_of_line = lf
10+
indent_size = 2
11+
indent_style = space
12+
insert_final_newline = true
13+
trim_trailing_whitespace = true
14+
15+
[*.md]
16+
trim_trailing_whitespace = false
17+
18+
[*.adoc]
19+
trim_trailing_whitespace = false
20+
21+
[*.rs]
22+
indent_size = 4
23+
24+
[*.toml]
25+
indent_size = 2
26+
27+
[*.yaml]
28+
indent_size = 2
29+
30+
[*.yml]
31+
indent_size = 2
32+
33+
[*.json]
34+
indent_size = 2
35+
36+
[*.007]
37+
indent_size = 2
38+
39+
[*.pest]
40+
indent_size = 4
41+
42+
[*.nix]
43+
indent_size = 2
44+
45+
[*.scm]
46+
indent_size = 2
47+
48+
[*.zig]
49+
indent_size = 4
50+
51+
[*.idr]
52+
indent_size = 2
53+
54+
[Justfile]
55+
indent_style = space
56+
indent_size = 4
57+
58+
[Containerfile]
59+
indent_size = 4

.envrc

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
# SPDX-License-Identifier: PMPL-1.0-or-later
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="007-lang"
22+
export RSR_TIER="language"
23+
24+
# Source .env if it exists (gitignored)
25+
dotenv_if_exists

.gitattributes

Lines changed: 57 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,57 @@
1+
# SPDX-License-Identifier: PMPL-1.0-or-later
2+
# 007-lang — RSR-compliant .gitattributes
3+
4+
* text=auto eol=lf
5+
6+
# Source — Rust
7+
*.rs text eol=lf diff=rust
8+
9+
# Source — 007-lang
10+
*.007 text eol=lf
11+
*.pest text eol=lf
12+
13+
# Source — Future targets
14+
*.erl text eol=lf
15+
*.ex text eol=lf diff=elixir
16+
*.idr text eol=lf
17+
*.zig text eol=lf
18+
19+
# Config/Data
20+
*.scm text eol=lf
21+
*.a2ml text eol=lf linguist-language=TOML
22+
*.ncl text eol=lf
23+
*.nix text eol=lf
24+
*.json text eol=lf
25+
*.yaml text eol=lf
26+
*.yml text eol=lf
27+
*.toml text eol=lf
28+
29+
# Docs
30+
*.md text eol=lf diff=markdown
31+
*.adoc text eol=lf
32+
*.txt text eol=lf
33+
*.ebnf text eol=lf
34+
35+
# Config files
36+
.gitignore text eol=lf
37+
.gitattributes text eol=lf
38+
Justfile text eol=lf
39+
Makefile text eol=lf
40+
Containerfile text eol=lf
41+
42+
# Scripts
43+
*.sh text eol=lf
44+
45+
# Binary
46+
*.png binary
47+
*.jpg binary
48+
*.gif binary
49+
*.pdf binary
50+
*.woff2 binary
51+
*.zip binary
52+
*.gz binary
53+
*.wasm binary
54+
55+
# Lock files
56+
Cargo.lock text eol=lf -diff
57+
flake.lock text eol=lf -diff

.github/.mailmap

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> <6759885+hyperpolymath@users.noreply.github.com>

.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: PMPL-1.0-or-later
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+
# Owner: hyperpolymath (Jonathan D.A. Jewell)
6+
7+
# Default owners for everything
8+
* @hyperpolymath
9+
10+
# Security-sensitive files require explicit review
11+
SECURITY.md @hyperpolymath
12+
.github/workflows/ @hyperpolymath
13+
Trustfile.a2ml @hyperpolymath
14+
.machine_readable/ @hyperpolymath

0 commit comments

Comments
 (0)