chore: add repository configuration files

- Add .gitignore for Rust/Idris2/Coq artifacts
- Add .gitattributes for consistent line endings and diffs
- Add .tool-versions for asdf (rust 1.75.0, idris2 0.7.0)

Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>

Author: Jonathan D.A. Jewell

.gitattributes

@@ -1,54 +1,48 @@
-# SPDX-License-Identifier: AGPL-3.0-or-later
-# 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
-*.yml   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
+# SPDX-License-Identifier: PMPL-1.0-or-later
+
+# Auto detect text files and perform LF normalization
+* text=auto
+
+# Source code
+*.rs text eol=lf diff=rust
+*.ex text eol=lf diff=elixir
+*.exs text eol=lf diff=elixir
+*.ml text eol=lf diff=ocaml
+*.mli text eol=lf diff=ocaml
+*.res text eol=lf diff=javascript
+*.resi text eol=lf diff=javascript
+*.ts text eol=lf diff=typescript
+*.js text eol=lf diff=javascript
+*.idr text eol=lf
+*.v text eol=lf
+*.zig text eol=lf
+
+# Configuration
+*.toml text eol=lf
+*.json text eol=lf
+*.yml text eol=lf
+*.yaml text eol=lf
+*.scm text eol=lf linguist-language=Scheme
+
+# Documentation
+*.md text eol=lf diff=markdown
+*.adoc text eol=lf
+*.txt 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
+*.sh text eol=lf
+*.bash text eol=lf
+
+# Build artifacts (binary)
+*.wasm binary
+*.rlib binary
+*.beam binary
+*.so binary
+*.dylib binary
+*.dll binary
+*.exe binary
+
+# Lock files (generated)
+Cargo.lock linguist-generated=true
+package-lock.json linguist-generated=true
+mix.lock linguist-generated=true

.gitignore

@@ -1,83 +1,36 @@
-# SPDX-License-Identifier: AGPL-3.0-or-later
-# RSR-compliant .gitignore
+# SPDX-License-Identifier: PMPL-1.0-or-later
 
-# OS & Editor
-.DS_Store
-Thumbs.db
+# Rust/Cargo
+/target/
+Cargo.lock
+**/*.rs.bk
+
+# Idris2
+build/
+*.ttc
+*.ttm
+*.ibc
+
+# Coq
+*.vo
+*.vok
+*.vos
+*.glob
+.*.aux
+*.timing
+
+# IDE
+.vscode/
+.idea/
 *.swp
 *.swo
 *~
-.idea/
-.vscode/
-
-# Build
-/target/
-/_build/
-/build/
-/dist/
-/out/
-/idris2/build/
-/idris2/ffi/zig/libephapax_tokbuf.a
-/.zig-cache/
-/.zig-cache-global/
-
-# Dependencies
-/node_modules/
-/vendor/
-/deps/
-/.elixir_ls/
-
-# Rust
-# Cargo.lock  # Keep for binaries
-
-# Elixir
-/cover/
-/doc/
-*.ez
-erl_crash.dump
-
-# Julia
-*.jl.cov
-*.jl.mem
-/Manifest.toml
-
-# ReScript
-/lib/bs/
-/.bsb.lock
-
-# Python (SaltStack only)
-__pycache__/
-*.py[cod]
-.venv/
-
-# Ada/SPARK
-*.ali
-/obj/
-/bin/
-
-# Haskell
-/.stack-work/
-/dist-newstyle/
-
-# Chapel
-*.chpl.tmp.*
-
-# Secrets
-.env
-.env.*
-*.pem
-*.key
-secrets/
-
-# Test/Coverage
-/coverage/
-htmlcov/
+.DS_Store
 
-# Logs
-*.log
-/logs/
+# OS
+Thumbs.db
+.Trash-*/
 
-# Temp
-/tmp/
+# Temporary
 *.tmp
-*.bak
+*.log

.tool-versions

@@ -0,0 +1,4 @@
+# SPDX-License-Identifier: PMPL-1.0-or-later
+# asdf version manager configuration
+rust 1.75.0
+idris2 0.7.0