fix: RSR compliance — fix SPDX, resolve placeholders, rewrite stale SCM files

- Fix AGPL-3.0-or-later → PMPL-1.0-or-later in .gitignore, .gitattributes, SCM files
- Fix PLMP typos → PMPL in 4 contractile files
- Fix wrong email (jonathan.jewell → j.d.a.jewell) in 9 files
- Resolve template placeholders in SECURITY.md, CODE_OF_CONDUCT.md, CONTRIBUTING.md
- Rewrite stale .machine_readable/ SCM files (had language-bridges data)
- Add .well-known/ (security.txt, humans.txt, ai.txt)
- Add .github/CODEOWNERS
- Fix .editorconfig header, mix.exs author attribution

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: hyperpolymath

.editorconfig

@@ -1,4 +1,4 @@
-# RSR-template-repo - Editor Configuration
+# polyglot-formalisms-elixir - Editor Configuration
 # https://editorconfig.org
 
 root = true

.gitattributes

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: AGPL-3.0-or-later
+# SPDX-License-Identifier: PMPL-1.0-or-later
 # RSR-compliant .gitattributes
 
 * text=auto eol=lf

.github/CODEOWNERS

@@ -0,0 +1,6 @@
+# SPDX-License-Identifier: PMPL-1.0-or-later
+# CODEOWNERS for polyglot-formalisms-elixir
+# See https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/about-code-owners
+
+# Default owner for everything in the repo
+* @hyperpolymath

.gitignore

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: AGPL-3.0-or-later
+# SPDX-License-Identifier: PMPL-1.0-or-later
 # RSR-compliant .gitignore
 
 # OS & Editor

.machine_readable/ECOSYSTEM.scm

@@ -1,3 +1,30 @@
 ;; SPDX-License-Identifier: PMPL-1.0-or-later
-(ecosystem (metadata (version "0.1.0") (last-updated "2026-02-08"))
-  (project (name "language-bridges") (purpose "FFI bridges between languages via Zig") (role ffi-infrastructure)))
+;; ECOSYSTEM.scm - Ecosystem relationships for polyglot-formalisms-elixir
+;; Media-Type: application/vnd.ecosystem+scm
+
+(ecosystem
+  (version "1.0.0")
+  (name "polyglot-formalisms-elixir")
+  (type "library")
+  (purpose "Elixir implementation of the PolyglotFormalisms Common Library specification, providing fundamental arithmetic, comparison, logical, and string operations with proven semantic equivalence across multiple programming languages.")
+
+  (position-in-ecosystem
+    "Elixir component of the cross-language PolyglotFormalisms specification. "
+    "Part of the hyperpolymath ecosystem of 500+ repositories "
+    "following Rhodium Standard Repository (RSR) conventions.")
+
+  (related-projects
+    (specification "PolyglotFormalisms.jl" "Julia reference implementation and specification")
+    (sibling "alib-for-rescript" "ReScript implementation")
+    (sibling "polyglot_formalisms_gleam" "Gleam implementation")
+    (dependency "hypatia" "Security scanning")
+    (consumer "gitbot-fleet" "Quality enforcement"))
+
+  (what-this-is
+    "The Elixir implementation of the PolyglotFormalisms Common Library. "
+    "Provides arithmetic, comparison, logical, and string operations "
+    "that are semantically equivalent across Julia, ReScript, Gleam, and Elixir.")
+
+  (what-this-is-not
+    "This is not a standalone library — it is part of a cross-language "
+    "specification ensuring behavioral equivalence across ecosystems."))

.machine_readable/META.scm

@@ -1,3 +1,48 @@
 ;; SPDX-License-Identifier: PMPL-1.0-or-later
-(meta (metadata (version "0.1.0") (last-updated "2026-02-08"))
-  (project-info (type monorepo) (languages (zig ada gleam idris2 julia ocaml rescript rust swift)) (license "PMPL-1.0-or-later")))
+;; META.scm - Architectural decisions and meta-information for polyglot-formalisms-elixir
+;; Media-Type: application/meta+scheme
+
+(define-meta polyglot-formalisms-elixir
+  (version "1.0.0")
+
+  (architecture-decisions
+    ((adr-001 accepted "2026-01-23"
+      "Need Elixir implementation of PolyglotFormalisms specification"
+      "Implement using standard Elixir/BEAM idioms with explicit type specs"
+      "Enables cross-language verification with Julia, ReScript, and Gleam implementations")
+    (adr-002 accepted "2026-01-23"
+      "Function naming conflicts with Elixir Kernel reserved words"
+      "Use logical_ prefix for boolean operations (logical_and, logical_or, logical_not)"
+      "Avoids shadowing Kernel.and/2, Kernel.or/2, Kernel.not/1")
+    (adr-003 accepted "2026-01-23"
+      "String indexing convention"
+      "Use 1-based indexing to match Julia and Idris formalisms"
+      "Consistent cross-language behavior despite Elixir's 0-based String.slice")))
+
+  (development-practices
+    (code-style
+      "Standard Elixir conventions with @moduledoc and @doc annotations. "
+      "Explicit @spec type signatures on all public functions.")
+    (security
+      "Hypatia neurosymbolic scanning enabled. "
+      "OpenSSF Scorecard tracking.")
+    (testing
+      "ExUnit test suite with property verification. "
+      "Doctests for inline examples.")
+    (versioning
+      "Semantic versioning (semver).")
+    (documentation
+      "README.md for overview. "
+      "STATE.scm for current state. "
+      "ECOSYSTEM.scm for relationships.")
+    (branching
+      "Main branch protected. "
+      "Feature branches for new work."))
+
+  (design-rationale
+    (why-elixir
+      "BEAM runtime provides excellent concurrency and fault tolerance. "
+      "Pattern matching and guard clauses enable clean implementation of formal operations.")
+    (why-cross-language
+      "Semantic equivalence across languages proves correctness "
+      "and enables polyglot codebases to share verified behavior.")))

.machine_readable/STATE.scm

@@ -1,4 +1,78 @@
 ;; SPDX-License-Identifier: PMPL-1.0-or-later
-(state (metadata (version "0.1.0") (last-updated "2026-02-08") (status active))
-  (project-context (name "language-bridges") (purpose "FFI bridges between languages via Zig") (completion-percentage 20))
-  (components (component "ada-zig-ffi") (component "gleam-zig-ffi") (component "idris2-zig-ffi") (component "julia-zig-ffi") (component "ocaml-zig-ffi") (component "rescript-zig-ffi") (component "rust-zig-ffi") (component "swift-zig-ffi") (component "zig-c-ffi") (component "zig-container-ffi") (component "zig-fuse-ext") (component "zig-libgit2-ffi") (component "zig-nickel-ffi") (component "zig-systemd-ffi") (component "zig-wireguard")))
+;; STATE.scm - Project state tracking for polyglot-formalisms-elixir
+;; Media-Type: application/vnd.state+scm
+
+(define-state polyglot-formalisms-elixir
+  (metadata
+    (version "0.3.0")
+    (schema-version "1.0.0")
+    (created "2026-01-23")
+    (updated "2026-03-02")
+    (project "polyglot-formalisms-elixir")
+    (repo "hyperpolymath/polyglot-formalisms-elixir"))
+
+  (project-context
+    (name "polyglot-formalisms-elixir")
+    (tagline "Elixir implementation of the PolyglotFormalisms Common Library specification")
+    (tech-stack (elixir mix ex-unit)))
+
+  (current-position
+    (phase "stable")
+    (overall-completion 90)
+    (components
+      (component "arithmetic" 100 "add, subtract, multiply, divide, modulo")
+      (component "comparison" 100 "less_than, greater_than, equal, not_equal, less_equal, greater_equal")
+      (component "logical" 100 "logical_and, logical_or, logical_not")
+      (component "string-ops" 100 "concat, length, substring, index_of, contains, starts_with, ends_with, etc."))
+    (working-features
+      "Arithmetic operations with IEEE 754 parity"
+      "Comparison operations with formal properties"
+      "Logical operations with De Morgan's laws"
+      "String operations with 1-based indexing"
+      "Comprehensive ExUnit test suite"))
+
+  (route-to-mvp
+    (milestones
+      ((name "Core Implementation")
+       (status "complete")
+       (completion 100)
+       (items
+         ("Arithmetic module" . done)
+         ("Comparison module" . done)
+         ("Logical module" . done)
+         ("String operations module" . done)
+         ("ExUnit test suite" . done)))
+      ((name "Cross-Language Verification")
+       (status "in-progress")
+       (completion 80)
+       (items
+         ("Julia parity verified" . done)
+         ("ReScript parity verified" . done)
+         ("Gleam parity" . todo)))))
+
+  (blockers-and-issues
+    (critical ())
+    (high ())
+    (medium ())
+    (low ()))
+
+  (critical-next-actions
+    (immediate
+      "Verify Gleam cross-language parity")
+    (this-week
+      "Add property-based tests with StreamData")
+    (this-month
+      "Publish to Hex.pm"))
+
+  (session-history ()))
+
+;; Helper functions
+(define (get-completion-percentage state)
+  (current-position 'overall-completion state))
+
+(define (get-blockers state severity)
+  (blockers-and-issues severity state))
+
+(define (get-milestone state name)
+  (find (lambda (m) (equal? (car m) name))
+        (route-to-mvp 'milestones state)))

.machines_readable/6scm/AGENTIC.scm

@@ -1,5 +1,5 @@
 ;; SPDX-License-Identifier: PMPL-1.0-or-later
-;; AGENTIC.scm - AI agent interaction patterns for rsr-template-repo
+;; AGENTIC.scm - AI agent interaction patterns for polyglot-formalisms-elixir
 
 (define agentic-config
   `((version . "1.0.0")

.machines_readable/6scm/ECOSYSTEM.scm

@@ -1,4 +1,4 @@
-;; SPDX-License-Identifier: AGPL-3.0-or-later
+;; SPDX-License-Identifier: PMPL-1.0-or-later
 ;; ECOSYSTEM.scm - Ecosystem relationships for polyglot_formalisms_elixir
 ;; Media-Type: application/vnd.ecosystem+scm
 

.machines_readable/6scm/META.scm

@@ -1,4 +1,4 @@
-;; SPDX-License-Identifier: AGPL-3.0-or-later
+;; SPDX-License-Identifier: PMPL-1.0-or-later
 ;; META.scm - Architectural decisions and project meta-information
 ;; Media-Type: application/meta+scheme