Set up anchor schema for language playgrounds

.machine_read/LLM_SUPERINTENDENT.scm

@@ -0,0 +1,106 @@
+;; SPDX-License-Identifier: AGPL-3.0-or-later
+;; LLM_SUPERINTENDENT.scm - AI Governance for Hub Orchestrator
+;; Authority: repo-superintendent | Schema: hyperpolymath.anchor/1
+
+(llm-superintendent
+  (version . "1.0.0")
+  (schema . "hyperpolymath.superintendent/1")
+  (updated . "2026-01-01T00:00:00Z")
+
+  ;; Identity Constraints
+  (identity
+    (project . "Language Playgrounds")
+    (kind . "hub-orchestrator")
+    (purpose . "Experimentation sandboxes for language and learning (pinned satellite submodules)")
+    (authority . "repo-superintendent"))
+
+  ;; Scope Arrest - Prevent Identity Drift
+  (scope-arrest
+    (this-repo-is
+      ("A hub/orchestrator of pinned satellite playground submodules"
+       "A coordination point for unified versioning"
+       "An entry point for exploring hyperpolymath languages"))
+    (this-repo-is-not
+      ("A language implementation repository"
+       "A monorepo containing actual language code"
+       "A place for experiments directory"
+       "A location for compilers, runtimes, or interpreters"))
+    (enforcement
+      ("Reject PRs adding language implementation code"
+       "Reject PRs adding non-orchestrator experiments"
+       "Flag drift when satellite descriptions mismatch")))
+
+  ;; LLM Operational Boundaries
+  (llm-boundaries
+    (allowed-operations
+      ("Read any file in hub or satellites"
+       "Edit orchestration files (justfile, *.scm, *.adoc)"
+       "Update submodule pins (git submodule commands)"
+       "Create/update validation scripts in hooks/"
+       "Modify .machine_read/ files"
+       "Run smoke tests and drift checks"))
+    (forbidden-operations
+      ("Edit satellite source code directly in hub checkout"
+       "Add new satellites without explicit user request"
+       "Remove satellites without explicit user request"
+       "Push to satellite remotes from hub context"
+       "Modify satellite .git directories"
+       "Add compilers/runtimes to hub"
+       "Create experiments/ directories"))
+    (requires-confirmation
+      ("Updating submodule pins to new commits"
+       "Modifying .gitmodules"
+       "Creating new validation hooks"
+       "Changes to CI/CD workflows")))
+
+  ;; File Authority Matrix
+  (file-authority
+    (hub-owned
+      ("justfile" "Makefile" "Mustfile")
+      ("*.scm" "*.adoc" "*.md")
+      (".machine_read/*")
+      ("hooks/*")
+      (".github/workflows/*"))
+    (satellite-owned
+      ("*/src/*" "*/lib/*" "*/bin/*")
+      ("*/Cargo.toml" "*/deno.json" "*/rescript.json")
+      ("*/.git/*"))
+    (shared-schema
+      ("STATE.scm" "META.scm" "ECOSYSTEM.scm")
+      ("PLAYBOOK.scm" "AGENTIC.scm" "NEUROSYM.scm")))
+
+  ;; Semantic Binding Rules
+  (semantic-binding
+    (source-of-truth
+      ((".machine_read/SPEC.hub.scm" . "satellite registry")
+       (".gitmodules" . "submodule URLs and paths")
+       ("STATE.scm" . "satellite status")))
+    (derived-from-satellites
+      ("Satellite descriptions should match satellite README headings"
+       "Satellite status should reflect actual satellite state"))
+    (drift-detection
+      ("Compare SPEC.hub.scm descriptions with satellite READMEs"
+       "Flag when satellite README heading differs from registry"
+       "Warn but don't auto-fix - requires human decision")))
+
+  ;; Golden Path Enforcement
+  (golden-path
+    (required-commands
+      ("just smoke" . "Run matrix of satellite checks")
+      ("just drift-lint" . "Check for description drift")
+      ("just submodule-check" . "Verify submodule integrity"))
+    (success-criteria
+      ("All submodules initialized to pinned commits"
+       "All satellite golden-path commands exit 0"
+       "No dirty submodules (uncommitted changes)"
+       "Registry matches .gitmodules")))
+
+  ;; Upgrade Path
+  (rsr-compliance
+    (current-tier . "silver-now")
+    (upgrade-path . "gold-after-f1")
+    (gold-requirements
+      ("CI matrix for all satellites"
+       "Automated drift-lint in CI"
+       "Pinned toolchains (Guix/Nix)"
+       "Signed commits"))))

.machine_read/ROADMAP.f0.scm

@@ -0,0 +1,88 @@
+;; SPDX-License-Identifier: AGPL-3.0-or-later
+;; ROADMAP.f0.scm - First-Pass (F0) Roadmap for Hub Orchestrator
+;; Authority: repo-superintendent | Schema: hyperpolymath.anchor/1
+
+(roadmap-f0
+  (version . "1.0.0")
+  (schema . "hyperpolymath.roadmap/1")
+  (updated . "2026-01-01T00:00:00Z")
+  (phase . "f0-first-pass")
+
+  ;; F0 Objectives (from anchor first-pass-directives)
+  (f0-objectives
+    ((id . "f0-01")
+     (title . "Add SPEC.hub.scm")
+     (status . "complete")
+     (description . "Define satellite registry schema and per-satellite golden-path command")
+     (deliverables
+       (".machine_read/SPEC.hub.scm with registry schema"
+        "All 10 satellites registered with golden-path commands"
+        "Validation rules documented")))
+
+    ((id . "f0-02")
+     (title . "Add hub drift-lint")
+     (status . "in-progress")
+     (description . "Compare registry descriptions against satellite README headings")
+     (deliverables
+       ("hooks/drift-lint.sh script"
+        "just drift-lint recipe"
+        "Best-effort README heading extraction"
+        "Clear drift report output")))
+
+    ((id . "f0-03")
+     (title . "Fix known drift")
+     (status . "pending")
+     (description . "Align hub text with satellite repo identity (e.g., ephapax entry)")
+     (deliverables
+       ("Review each satellite README"
+        "Update SPEC.hub.scm descriptions to match"
+        "Update README.adoc satellite table")))
+
+    ((id . "f0-04")
+     (title . "Implement golden-path smoke test")
+     (status . "in-progress")
+     (description . "just smoke command that validates all satellites")
+     (deliverables
+       ("Submodule init check"
+        "Pinned commit verification"
+        "Per-satellite golden-path execution"
+        "Matrix output format"))))
+
+  ;; Success Criteria for F0
+  (f0-success-criteria
+    ("just smoke runs without errors"
+     "just drift-lint produces actionable report"
+     "All mandatory .machine_read/ files present"
+     "README.adoc satellite table matches SPEC.hub.scm"))
+
+  ;; Future Phases
+  (future-phases
+    ((phase . "f1-ci-integration")
+     (tier . "gold")
+     (objectives
+       ("CI matrix running smoke on all satellites"
+        "Automated drift-lint in PR checks"
+        "Submodule update bot")))
+
+    ((phase . "f2-toolchain-pinning")
+     (tier . "gold")
+     (objectives
+       ("Guix manifest for reproducible builds"
+        "Nix flake fallback"
+        "SHA-pinned tool versions")))
+
+    ((phase . "f3-satellite-health")
+     (tier . "gold")
+     (objectives
+       ("Per-satellite health badges"
+        "Dependency audit across satellites"
+        "Cross-satellite integration tests"))))
+
+  ;; RSR Tier Progression
+  (rsr-progression
+    (current . "silver-now")
+    (target . "gold-after-f1")
+    (blockers
+      ("CI matrix not yet implemented"
+       "Drift-lint not in CI"
+       "Toolchains not pinned"))))

.machine_read/SPEC.hub.scm

@@ -0,0 +1,135 @@
+;; SPDX-License-Identifier: AGPL-3.0-or-later
+;; SPEC.hub.scm - Hub Specification and Satellite Registry Schema
+;; Authority: repo-superintendent | Schema: hyperpolymath.anchor/1
+
+(spec-hub
+  (version . "1.0.0")
+  (schema . "hyperpolymath.hub-spec/1")
+  (updated . "2026-01-01T00:00:00Z")
+
+  ;; Registry Schema Definition
+  (registry-schema
+    (satellite-entry
+      (required-fields
+        (name . "string: submodule directory name")
+        (url . "string: git remote URL (HTTPS)")
+        (description . "string: one-sentence purpose")
+        (status . "enum: active | framework | partial | dormant")
+        (golden-path . "string: command to verify satellite works"))
+      (optional-fields
+        (language . "string: primary implementation language")
+        (maintainer . "string: primary contact")
+        (rsr-tier . "enum: bronze | silver | gold"))))
+
+  ;; Satellite Registry (source of truth for hub)
+  (satellites
+    ((name . "mylang-playground")
+     (url . "https://github.com/hyperpolymath/mylang-playground.git")
+     (description . "My-Lang progressive family (Me -> Solo -> Duet -> Ensemble)")
+     (status . "active")
+     (golden-path . "cargo check")
+     (language . "Rust")
+     (rsr-tier . "silver"))
+
+    ((name . "affinescript-playground")
+     (url . "https://github.com/hyperpolymath/affinescript-playground.git")
+     (description . "Affine types for WebAssembly, memory safety")
+     (status . "framework")
+     (golden-path . "just --list")
+     (language . "OCaml")
+     (rsr-tier . "bronze"))
+
+    ((name . "anvomidav-playground")
+     (url . "https://github.com/hyperpolymath/anvomidav-playground.git")
+     (description . "Experimental language exploration")
+     (status . "framework")
+     (golden-path . "just --list")
+     (language . "Scheme")
+     (rsr-tier . "bronze"))
+
+    ((name . "betlang-playground")
+     (url . "https://github.com/hyperpolymath/betlang-playground.git")
+     (description . "Ternary probabilistic programming, uncertainty modeling")
+     (status . "framework")
+     (golden-path . "just --list")
+     (language . "ReScript")
+     (rsr-tier . "bronze"))
+
+    ((name . "eclexia-playground")
+     (url . "https://github.com/hyperpolymath/eclexia-playground.git")
+     (description . "Economics as Code experimentation")
+     (status . "active")
+     (golden-path . "just --list")
+     (language . "ReScript")
+     (rsr-tier . "silver"))
+
+    ((name . "ephapax-playground")
+     (url . "https://github.com/hyperpolymath/ephapax-playground.git")
+     (description . "Ephemeral single-use application framework")
+     (status . "partial")
+     (golden-path . "just --list")
+     (language . "Rust")
+     (rsr-tier . "bronze"))
+
+    ((name . "jtv-playground")
+     (url . "https://github.com/hyperpolymath/jtv-playground.git")
+     (description . "Julia-the-Viper Harvard Architecture systems programming")
+     (status . "active")
+     (golden-path . "just --list")
+     (language . "Julia")
+     (rsr-tier . "silver"))
+
+    ((name . "oblibeny-playground")
+     (url . "https://github.com/hyperpolymath/oblibeny-playground.git")
+     (description . "Privacy-preserving oblivious computation")
+     (status . "framework")
+     (golden-path . "just --list")
+     (language . "Rust")
+     (rsr-tier . "bronze"))
+
+    ((name . "phronesis-playground")
+     (url . "https://github.com/hyperpolymath/phronesis-playground.git")
+     (description . "Practical wisdom for ethical decision-making")
+     (status . "framework")
+     (golden-path . "just --list")
+     (language . "Gleam")
+     (rsr-tier . "bronze"))
+
+    ((name . "wokelang-playground")
+     (url . "https://github.com/hyperpolymath/wokelang-playground.git")
+     (description . "Human-centric accessible programming")
+     (status . "framework")
+     (golden-path . "just --list")
+     (language . "ReScript")
+     (rsr-tier . "bronze")))
+
+  ;; Validation Rules
+  (validation-rules
+    (submodule-integrity
+      ("All satellites must be git submodules pinned to commits"
+       "No floating refs or tracking branches allowed"
+       "Submodule paths must match satellite names"))
+    (description-sync
+      ("Hub README satellite descriptions must match SPEC.hub.scm"
+       "SPEC.hub.scm descriptions should align with satellite README headings"
+       "Drift detected when any description conflicts"))
+    (golden-path-check
+      ("Each satellite must have a working golden-path command"
+       "Command must exit 0 for satellite to be considered healthy"
+       "Submodule must be initialized before check")))
+
+  ;; Semantic Anchor Policy
+  (semantic-anchor
+    (policy . "registry-of-truth")
+    (binding
+      ("This SPEC.hub.scm is the authoritative satellite registry"
+       "If .gitmodules conflicts, .gitmodules is canonical for URLs"
+       "If README.adoc conflicts, SPEC.hub.scm is canonical for descriptions"
+       "Satellite READMEs are upstream source - sync on update")))
+
+  ;; Forbidden Operations
+  (forbidden
+    ("Editing satellite code directly in hub checkout"
+     "Adding non-orchestrator code to hub"
+     "Using floating submodule refs"
+     "Adding compilers/runtimes to hub")))