chore: sync

Author: Jonathan D.A. Jewell

.bot_directives/README.scm

@@ -0,0 +1,9 @@
+;; SPDX-License-Identifier: PMPL-1.0-or-later
+;; .bot_directives — per-bot rules and constraints
+;; Media-Type: application/vnd.bot-directives+scm
+
+(bot-directives
+  (version "1.0")
+  (notes
+    "Repo-specific bot constraints."
+    "Bots must follow these directives in addition to global policies."))

.bot_directives/echidnabot.scm

@@ -0,0 +1,7 @@
+;; SPDX-License-Identifier: PMPL-1.0-or-later
+(bot-directive
+  (bot "echidnabot")
+  (scope "formal verification and fuzzing")
+  (allow ("analysis" "fuzzing" "proof checks"))
+  (deny ("write to core modules" "write to bindings"))
+  (notes "May open findings; code changes require explicit approval"))

.bot_directives/finishbot.scm

@@ -0,0 +1,7 @@
+;; SPDX-License-Identifier: PMPL-1.0-or-later
+(bot-directive
+  (bot "finishbot")
+  (scope "release readiness")
+  (allow ("release checklists" "docs updates" "metadata fixes"))
+  (deny ("code changes without approval"))
+  (notes "Focus on polish, licensing, and packaging"))

.bot_directives/glambot.scm

@@ -0,0 +1,7 @@
+;; SPDX-License-Identifier: PMPL-1.0-or-later
+(bot-directive
+  (bot "glambot")
+  (scope "presentation + accessibility")
+  (allow ("docs" "readme badges" "ui/accessibility suggestions"))
+  (deny ("logic changes"))
+  (notes "Edits limited to presentation layers"))

.bot_directives/rhodibot.scm

@@ -0,0 +1,7 @@
+;; SPDX-License-Identifier: PMPL-1.0-or-later
+(bot-directive
+  (bot "rhodibot")
+  (scope "rsr-compliance")
+  (allow ("metadata" "docs" "repo-structure checks"))
+  (deny ("destructive edits without approval"))
+  (notes "Auto-fix allowed only for formatting in docs and metadata"))

.bot_directives/robot-repo-automaton.scm

@@ -0,0 +1,7 @@
+;; SPDX-License-Identifier: PMPL-1.0-or-later
+(bot-directive
+  (bot "robot-repo-automaton")
+  (scope "automated fixes")
+  (allow ("low-risk automated edits"))
+  (deny ("core logic changes without approval"))
+  (notes "Only apply fixes backed by explicit rule approval"))

.bot_directives/seambot.scm

@@ -0,0 +1,7 @@
+;; SPDX-License-Identifier: PMPL-1.0-or-later
+(bot-directive
+  (bot "seambot")
+  (scope "integration health")
+  (allow ("analysis" "contract checks" "docs updates"))
+  (deny ("code changes without approval"))
+  (notes "May add integration test suggestions"))

.bot_directives/sustainabot.scm

@@ -0,0 +1,7 @@
+;; SPDX-License-Identifier: PMPL-1.0-or-later
+(bot-directive
+  (bot "sustainabot")
+  (scope "eco/economic standards")
+  (allow ("analysis" "reporting" "docs updates"))
+  (deny ("code changes without approval"))
+  (notes "Focus on measurement and recommendations"))

.machine_readable/ECOSYSTEM.scm

@@ -1,20 +1,50 @@
 ;; SPDX-License-Identifier: PMPL-1.0-or-later
-;; ECOSYSTEM.scm - Ecosystem position for valence-shell
-;; Media-Type: application/vnd.ecosystem+scm
+;; ECOSYSTEM.scm - Ecosystem Positioning
+;; valence-shell
+;;
+;; IMPORTANT: Satellite relationships must be kept up to date.
+;; When adding/removing satellites, update this file and the satellite's ECOSYSTEM.scm.
 
 (ecosystem
-  (version "1.0")
-  (name "valence-shell")
-  (type "")
-  (purpose "")
+  (version . "1.0.0")
+  (name . "valence-shell")
+  (type . "application")
+  (purpose . "Formally verified shell with proven reversibility guarantees and MAA framework")
 
   (position-in-ecosystem
-    (category "")
-    (subcategory "")
-    (unique-value ()))
+   (category . "system-software")
+   (layer . "user-interface"))
 
-  (related-projects ())
+  (related-projects
+   ((name . "absolute-zero")
+    (relationship . "inspiration")
+    (reason . "CNO (Certified Null Operation) composition theory"))
+   ((name . "echidna")
+    (relationship . "potential-consumer")
+    (reason . "Could use verified filesystem operations"))
+   ((name . "januskey")
+    (relationship . "sibling-standard")
+    (reason . "Both implement MAA framework primitives")))
 
-  (what-this-is ())
+  (what-this-is
+   "Formally verified shell with ~256 theorems across 6 proof systems"
+   "Advanced research prototype with working shell features (v0.14.0, 82% complete)"
+   "Functional shell with pipelines, redirections, variables, job control, process substitution"
+   "Implementation of MAA (Mutually Assured Accountability) framework"
+   "177 tests passing (131 unit + 27 integration + 19 property tests)"
+   "Incremental path toward full POSIX shell compliance with verification at each step")
 
-  (what-this-is-not ()))
+  (what-this-is-not
+   "NOT production-ready (extraction gap between proofs and implementation)"
+   "NOT formally verified end-to-end (Lean → Rust correspondence 85% confidence, not proven)"
+   "NOT a full POSIX shell yet (missing glob expansion, quote processing)"
+   "NOT a replacement for bash/zsh in current state (lacks some scripting features)"
+   "NOT optimized for performance (verification prioritized over speed)")
+
+  ;; Maintenance note: Review satellite relationships when:
+  ;; - Adding new repos with similar suffix patterns (-ssg, -mcp, -scm, -ffi)
+  ;; - Removing or archiving repos
+  ;; - Changing the portfolio structure
+  (maintenance-checks
+   (satellite-sync . "Ensure parent and satellite ECOSYSTEM.scm files are consistent")
+   (portfolio-review . "Verify all satellites are listed in parent repo")))