scratch: exercise the generated Rust proof gate on a runner (do not merge) (#231)

Throwaway PR. The tree on this branch is a project produced by `main`'s
own generator
(`create-template.sh proofgateway -l rust`), so
`.github/workflows/proof.yml` executes exactly as
shipped.

Purpose: neither proof gate has ever run on a GitHub runner. This is
that experiment. The branch
is closed and deleted once the run finishes.

**Do not merge.**

Author: hyperpolymath

.claude/CLAUDE.md

@@ -1,4 +1,4 @@
-# maa-framework - Editor Configuration
+# proofgateway - Editor Configuration
 # https://editorconfig.org
 
 root = true
@@ -11,58 +11,12 @@ indent_style = space
 insert_final_newline = true
 trim_trailing_whitespace = true
 
-[*.md]
-trim_trailing_whitespace = false
-
 [*.adoc]
 trim_trailing_whitespace = false
 
 [*.rs]
 indent_size = 4
 
-[*.ex]
-indent_size = 2
-
-[*.exs]
-indent_size = 2
-
-[*.zig]
-indent_size = 4
-
-[*.ada]
-indent_size = 3
-
-[*.adb]
-indent_size = 3
-
-[*.ads]
-indent_size = 3
-
-[*.hs]
-indent_size = 2
-
-[*.res]
-indent_size = 2
-
-[*.resi]
-indent_size = 2
-
-[*.ncl]
-indent_size = 2
-
-[*.rkt]
-indent_size = 2
-
-[*.scm]
-indent_size = 2
-
-[*.nix]
-indent_size = 2
-
 [Justfile]
 indent_style = space
 indent_size = 4
-
-[justfile]
-indent_style = space
-indent_size = 4

.editorconfig

@@ -1,54 +1,11 @@
 # SPDX-License-Identifier: MPL-2.0
-# RSR-compliant .gitattributes
-
 * text=auto eol=lf
 
-# Source
 *.rs    text eol=lf diff=rust
-*.ex    text eol=lf diff=elixir
-*.exs   text eol=lf diff=elixir
-*.jl    text eol=lf
-*.res   text eol=lf
-*.resi  text eol=lf
-*.ada   text eol=lf diff=ada
-*.adb   text eol=lf diff=ada
-*.ads   text eol=lf diff=ada
-*.hs    text eol=lf
-*.chpl  text eol=lf
-*.scm   text eol=lf
-*.ncl   text eol=lf
-*.nix   text eol=lf
-
-# Docs
-*.md    text eol=lf diff=markdown
 *.adoc  text eol=lf
-*.txt   text eol=lf
-
-# Data
-*.json  text eol=lf
-*.yaml  text eol=lf
+*.a2ml  text eol=lf
 *.yml   text eol=lf
+*.yaml  text eol=lf
 *.toml  text eol=lf
 
-# Config
-.gitignore     text eol=lf
-.gitattributes text eol=lf
-justfile       text eol=lf
-Makefile       text eol=lf
-Containerfile  text eol=lf
-
-# Scripts
-*.sh   text eol=lf
-
-# Binary
-*.png   binary
-*.jpg   binary
-*.gif   binary
-*.pdf   binary
-*.woff2 binary
-*.zip   binary
-*.gz    binary
-
-# Lock files
-Cargo.lock  text eol=lf -diff
-flake.lock  text eol=lf -diff
+LICENSES/* text eol=lf