reins-method 0.1.0

package/bin/reins

@@ -0,0 +1,750 @@
+#!/usr/bin/env bash
+# REINS Method CLI — install, update, and manage the global REINS workflow.
+# POSIX-ish bash, no Node/Python runtime required.
+
+set -euo pipefail
+
+REINS_HOME="${REINS_HOME:-$HOME/.reins}"
+CORE_DIR="$REINS_HOME/core"
+USER_DIR="$REINS_HOME/user"
+AGENTS_DIR="$REINS_HOME/agents"
+CONFIG="$USER_DIR/config.yaml"
+
+# ---------------------------------------------------------------------------
+# helpers
+# ---------------------------------------------------------------------------
+
+log()  { printf '%s\n' "$*"; }
+err()  { printf 'Error: %s\n' "$*" >&2; }
+die()  { err "$*"; exit 1; }
+
+config_get() {
+  # config_get <key> -> prints scalar value for "key: value" line, empty if absent
+  [ -f "$CONFIG" ] || return 0
+  grep -E "^${1}:" "$CONFIG" 2>/dev/null | head -n1 | sed -E "s/^${1}:[[:space:]]*//"
+}
+
+config_set() {
+  # config_set <key> <value> -> upsert "key: value" line
+  local key="$1" value="$2"
+  mkdir -p "$USER_DIR"
+  touch "$CONFIG"
+  if grep -qE "^${key}:" "$CONFIG"; then
+    sed -i.bak -E "s|^${key}:.*|${key}: ${value}|" "$CONFIG" && rm -f "${CONFIG}.bak"
+  else
+    printf '%s: %s\n' "$key" "$value" >> "$CONFIG"
+  fi
+}
+
+config_adapters() {
+  # prints one adapter name per line, from the "adapters:" YAML list
+  [ -f "$CONFIG" ] || return 0
+  awk '/^adapters:/{found=1; next} /^[a-zA-Z]/{found=0} found && /^[[:space:]]*-/{gsub(/^[[:space:]]*-[[:space:]]*/,""); print}' "$CONFIG"
+}
+
+ensure_managed_block() {
+  # ensure_managed_block <target-file> <content-line>
+  # Inserts/replaces a REINS-managed block in <target-file> without touching
+  # the rest of the file's content.
+  local target="$1" content="$2"
+  local begin="<!-- REINS:BEGIN -->" end="<!-- REINS:END -->"
+  mkdir -p "$(dirname "$target")"
+  touch "$target"
+  if grep -qF "$begin" "$target"; then
+    awk -v b="$begin" -v e="$end" -v c="$content" '
+      $0 == b {print; print c; skip=1; next}
+      $0 == e {print; skip=0; next}
+      skip {next}
+      {print}
+    ' "$target" > "$target.tmp" && mv "$target.tmp" "$target"
+  else
+    {
+      printf '\n%s\n' "$begin"
+      printf '%s\n' "$content"
+      printf '%s\n' "$end"
+    } >> "$target"
+  fi
+}
+
+remove_managed_block() {
+  # remove_managed_block <target-file>
+  # Strips the REINS-managed block (and the blank line preceding it) from
+  # <target-file>, if present. No-op if the file or block doesn't exist.
+  local target="$1"
+  local begin="<!-- REINS:BEGIN -->" end="<!-- REINS:END -->"
+  [ -f "$target" ] || return 0
+  grep -qF "$begin" "$target" || return 0
+  awk -v b="$begin" -v e="$end" '
+    $0 == b {skip=1; if (out ~ /\n\n$/) { sub(/\n$/, "", out) }; next}
+    $0 == e {skip=0; next}
+    skip {next}
+    {out = out $0 "\n"}
+    END {printf "%s", out}
+  ' "$target" > "$target.tmp" && mv "$target.tmp" "$target"
+}
+
+agent_bridge_target() {
+  # agent_bridge_target <agent> -> prints "<bridge-file>:<native-target>:<import-syntax>"
+  case "$1" in
+    claude-code) echo "$AGENTS_DIR/CLAUDE.md:$HOME/.claude/CLAUDE.md:import" ;;
+    gemini)      echo "$AGENTS_DIR/GEMINI.md:$HOME/.gemini/GEMINI.md:import" ;;
+    copilot)     echo "$AGENTS_DIR/copilot-instructions.md:$HOME/.copilot/instructions.md:inline" ;;
+    codex)       echo "$AGENTS_DIR/AGENTS.md:$HOME/.codex/AGENTS.md:inline" ;;
+    aider|opencode|other)
+                 echo "$AGENTS_DIR/AGENTS.md:$HOME/AGENTS.md:inline" ;;
+    *) return 1 ;;
+  esac
+}
+
+wire_block() {
+  # wire_block <bridge-file> <native-target> <import|inline> -> ensure_managed_block with the right content
+  local bridge="$1" native="$2" syntax="$3"
+  case "$syntax" in
+    import) ensure_managed_block "$native" "@${bridge}" ;;
+    inline) ensure_managed_block "$native" "$(printf 'See %s for the full REINS Method instructions (generated by `reins update`).' "$bridge")" ;;
+  esac
+}
+
+wire_all_agents() {
+  # Wires the REINS managed block into every AI agent detected on this machine
+  # (its config directory already exists), plus the generic ~/AGENTS.md
+  # fallback for Aider/OpenCode/Cursor/other — so skills and instructions are
+  # available no matter which agent you're using, without per-agent installs.
+  local wired=()
+
+  if [ -d "$HOME/.claude" ]; then
+    wire_block "$AGENTS_DIR/CLAUDE.md" "$HOME/.claude/CLAUDE.md" import
+    wired+=("Claude Code -> $HOME/.claude/CLAUDE.md")
+  fi
+  if [ -d "$HOME/.gemini" ]; then
+    wire_block "$AGENTS_DIR/GEMINI.md" "$HOME/.gemini/GEMINI.md" import
+    wired+=("Gemini CLI -> $HOME/.gemini/GEMINI.md")
+  fi
+  if [ -d "$HOME/.copilot" ]; then
+    wire_block "$AGENTS_DIR/copilot-instructions.md" "$HOME/.copilot/instructions.md" inline
+    wired+=("GitHub Copilot CLI -> $HOME/.copilot/instructions.md")
+  fi
+  if [ -d "$HOME/.codex" ]; then
+    wire_block "$AGENTS_DIR/AGENTS.md" "$HOME/.codex/AGENTS.md" inline
+    wired+=("Codex CLI -> $HOME/.codex/AGENTS.md")
+  fi
+  # Generic fallback — Aider/OpenCode/Cursor/other share a plain ~/AGENTS.md
+  # with no dedicated config directory to detect, so always wire it.
+  wire_block "$AGENTS_DIR/AGENTS.md" "$HOME/AGENTS.md" inline
+  wired+=("Aider / OpenCode / Cursor / other -> $HOME/AGENTS.md")
+
+  local w
+  for w in "${wired[@]}"; do
+    log "Wired: $w"
+  done
+}
+
+unwire_all_agents() {
+  # Removes the REINS managed block from every native config it may have been
+  # wired into (no-op for files without a managed block).
+  local t
+  for t in "$HOME/.claude/CLAUDE.md" "$HOME/.gemini/GEMINI.md" \
+           "$HOME/.copilot/instructions.md" "$HOME/.codex/AGENTS.md" \
+           "$HOME/AGENTS.md"; do
+    if [ -f "$t" ] && grep -qF "REINS:BEGIN" "$t" 2>/dev/null; then
+      remove_managed_block "$t"
+      log "Removed REINS block from $t"
+    fi
+  done
+}
+
+collect_skills() {
+  # prints "<skill-dir>\t<reins-managed-name>" for every SKILL.md found under
+  # core/skills, user/skills, and active adapters' skills/
+  #
+  # Every registered name carries the "reins-" prefix exactly once. Skill
+  # directories that already start with "reins-" (the convention for core/user
+  # skills) are used as-is; older, unprefixed directory names still get
+  # "reins-" prepended for backwards compatibility.
+  local d name
+  for d in "$CORE_DIR"/skills/*/; do
+    [ -f "${d}SKILL.md" ] || continue
+    name="$(basename "$d")"
+    case "$name" in
+      reins-*) printf '%s\t%s\n' "${d%/}" "$name" ;;
+      *) printf '%s\treins-%s\n' "${d%/}" "$name" ;;
+    esac
+  done
+  for d in "$USER_DIR"/skills/*/; do
+    [ -f "${d}SKILL.md" ] || continue
+    name="$(basename "$d")"
+    case "$name" in
+      reins-*) printf '%s\t%s\n' "${d%/}" "$name" ;;
+      *) printf '%s\treins-%s\n' "${d%/}" "$name" ;;
+    esac
+  done
+  while IFS= read -r adapter; do
+    [ -n "$adapter" ] || continue
+    for d in "$USER_DIR/adapters/$adapter/skills"/*/; do
+      [ -f "${d}SKILL.md" ] || continue
+      name="$(basename "$d")"
+      case "$name" in
+        reins-*) name="${name#reins-}" ;;
+      esac
+      printf '%s\treins-%s-%s\n' "${d%/}" "$adapter" "$name"
+    done
+  done < <(config_adapters)
+}
+
+skill_frontmatter() {
+  # skill_frontmatter <SKILL.md> <key> -> prints a one-line value for "key: value"
+  # or "key: >" (folded scalar) frontmatter fields, empty if absent
+  local file="$1" key="$2"
+  awk -v k="$key" '
+    /^---$/ { fm++; next }
+    fm != 1 { next }
+    $0 ~ "^"k":" {
+      line=$0
+      sub("^"k":[[:space:]]*", "", line)
+      sub(/^>[[:space:]]*/, "", line)
+      if (line != "") { print line; found=1; exit }
+      found=1; next
+    }
+    found && /^[[:space:]]+[^[:space:]]/ {
+      line=$0
+      sub(/^[[:space:]]+/, "", line)
+      print line
+      exit
+    }
+    found { exit }
+  ' "$file"
+}
+
+cleanup_claude_skill_links() {
+  local claude_skills="$HOME/.claude/skills"
+  [ -d "$claude_skills" ] || return 0
+  find "$claude_skills" -maxdepth 1 -type l -name 'reins-*' -exec rm -f {} +
+}
+
+sync_skills() {
+  # Refreshes ~/.claude/skills/reins-* symlinks (if Claude Code is installed) so
+  # Claude Code's native Agent Skills discovery picks up REINS skills directly —
+  # regardless of which agent is configured as primary.
+  cleanup_claude_skill_links
+
+  [ -d "$HOME/.claude" ] || return 0
+
+  local claude_skills="$HOME/.claude/skills"
+  mkdir -p "$claude_skills"
+  while IFS=$'\t' read -r dir reins_name; do
+    [ -n "$dir" ] || continue
+    ln -sf "$dir" "$claude_skills/$reins_name"
+  done < <(collect_skills)
+}
+
+generate_bridges() {
+  # Regenerate ~/.reins/agents/*.md from core + user content, then wire native configs.
+  mkdir -p "$AGENTS_DIR"
+  local agent
+  agent="$(config_get agent)"
+  [ -n "$agent" ] || { err "no agent configured — run 'reins install'"; return 1; }
+
+  local active_adapters
+  active_adapters="$(config_adapters | tr '\n' ' ')"
+  local historic
+  historic="$(config_get historic_mode)"
+
+  local skills_md=""
+  while IFS=$'\t' read -r dir reins_name; do
+    [ -n "$dir" ] || continue
+    local sname sdesc
+    sname="$(skill_frontmatter "$dir/SKILL.md" name)"
+    sdesc="$(skill_frontmatter "$dir/SKILL.md" description)"
+    skills_md="${skills_md}- **${sname:-$reins_name}** (\`$dir\`): ${sdesc:-(no description)}
+"
+  done < <(collect_skills)
+
+  local body
+  body=$(cat <<EOF
+# REINS Method — Agent Bridge
+
+This file is generated by \`reins update\` / \`reins install\`. Do not edit by hand —
+edit \`~/.reins/user/config.yaml\` and re-run \`reins update\` instead.
+
+## Always read first
+- @${CORE_DIR}/workflow/1_orchestrator.md
+
+## User standards
+- @${USER_DIR}/standards/company.md
+- @${USER_DIR}/standards/personal.md
+
+## Active adapters
+${active_adapters:-(none configured — generic conventions only)}
+
+## Historic mode
+${historic:-off}
+
+## Available skills
+On-demand only — never load proactively (see \`1_orchestrator.md\` §5).
+${skills_md:-(none)}
+EOF
+)
+  printf '%s\n' "$body" > "$AGENTS_DIR/CLAUDE.md"
+  printf '%s\n' "$body" > "$AGENTS_DIR/GEMINI.md"
+  printf '%s\n' "$body" > "$AGENTS_DIR/AGENTS.md"
+  printf '%s\n' "$body" > "$AGENTS_DIR/copilot-instructions.md"
+
+  wire_all_agents
+  sync_skills
+
+  log "Bridge files regenerated in $AGENTS_DIR"
+}
+
+# ---------------------------------------------------------------------------
+# commands
+# ---------------------------------------------------------------------------
+
+cmd_install() {
+  local non_interactive=0
+  local arg_agent="" arg_standards="" arg_historic="" arg_adapter=""
+  for arg in "$@"; do
+    case "$arg" in
+      --non-interactive) non_interactive=1 ;;
+      --agent=*)         arg_agent="${arg#--agent=}" ;;
+      --standards=*)     arg_standards="${arg#--standards=}" ;;
+      --historic=*)      arg_historic="${arg#--historic=}" ;;
+      --adapter=*)       arg_adapter="${arg#--adapter=}" ;;
+    esac
+  done
+
+  # When run via `curl | bash`, stdin is the piped script, not a terminal, so
+  # `read -p` below would fail instantly. Re-attach stdin to the controlling
+  # terminal if one is available so the wizard can still prompt interactively.
+  if [ "$non_interactive" -eq 0 ] && [ ! -t 0 ] && [ -e /dev/tty ]; then
+    exec < /dev/tty
+  fi
+
+  log "Welcome to REINS Method"
+  log ""
+
+  if [ -f "$CONFIG" ] && [ "$non_interactive" -eq 0 ]; then
+    read -r -p "REINS is already configured at $REINS_HOME. Re-run the wizard? [y/N] " yn
+    case "$yn" in [yY]*) ;; *) log "Aborted."; return 0 ;; esac
+  fi
+
+  mkdir -p "$USER_DIR"/{standards,adapters,skills,projects,historic}
+
+  local agent
+  if [ "$non_interactive" -eq 1 ]; then
+    agent="${arg_agent:-other}"
+  else
+    log "? What's your primary AI Coding Agent?"
+    log "  (REINS wires every agent it detects on this machine automatically — this"
+    log "   choice just sets your default for 'reins status'/'reins doctor'.)"
+    log "  1) Claude Code"
+    log "  2) GitHub Copilot CLI"
+    log "  3) Codex CLI"
+    log "  4) Gemini CLI"
+    log "  5) Aider"
+    log "  6) OpenCode / Cursor / Other"
+    read -r -p "Choice [1-6]: " agent_choice
+    case "$agent_choice" in
+      1) agent="claude-code" ;;
+      2) agent="copilot" ;;
+      3) agent="codex" ;;
+      4) agent="gemini" ;;
+      5) agent="aider" ;;
+      *) agent="other" ;;
+    esac
+  fi
+  config_set agent "$agent"
+
+  touch "$USER_DIR/standards/company.md" "$USER_DIR/standards/personal.md"
+  if [ ! -s "$USER_DIR/standards/company.md" ]; then
+    cat > "$USER_DIR/standards/company.md" <<'EOF'
+---
+scope: always
+precedence: 1 # floor — non-negotiable
+---
+
+# Company / Project Standards
+
+Fill this in with the non-negotiable conventions for your company or project.
+This file is read by the orchestrator on every session.
+EOF
+  fi
+  if [ ! -s "$USER_DIR/standards/personal.md" ]; then
+    cat > "$USER_DIR/standards/personal.md" <<'EOF'
+---
+scope: always
+precedence: 2 # personal style — must never conflict with company.md
+---
+
+# Personal Standards
+
+Fill this in with your personal style preferences on top of company.md.
+If anything here conflicts with company.md, the orchestrator will stop and ask.
+EOF
+  fi
+  if [ "$non_interactive" -eq 1 ]; then
+    # The Node wizard (npx reins-method install) handles opening an editor
+    # for company.md itself, after this script returns — it has the TTY.
+    :
+  else
+    read -r -p "? Do you have company code standards to configure? [y/N] " yn
+    case "$yn" in
+      [yY]*)
+        "${EDITOR:-vi}" "$USER_DIR/standards/company.md"
+        ;;
+    esac
+  fi
+
+  if [ "$non_interactive" -eq 1 ]; then
+    case "$arg_historic" in
+      on) cmd_historic on --quiet ;;
+      *) config_set historic_mode off ;;
+    esac
+  else
+    read -r -p "? Do you want to enable Historic Mode (performance tracking)? [y/N] " yn
+    case "$yn" in
+      [yY]*) cmd_historic on --quiet ;;
+      *) config_set historic_mode off ;;
+    esac
+  fi
+
+  local adapter_path
+  if [ "$non_interactive" -eq 1 ]; then
+    adapter_path="$arg_adapter"
+  else
+    read -r -p "? Install an adapter pack now? Path to local pack (or leave empty to skip): " adapter_path
+  fi
+  if [ -n "$adapter_path" ] && [ -d "$adapter_path" ]; then
+    local adapter_name
+    adapter_name="$(basename "$adapter_path")"
+    mkdir -p "$USER_DIR/adapters"
+    cp -R "$adapter_path" "$USER_DIR/adapters/$adapter_name"
+    if grep -qE "^adapters:" "$CONFIG" 2>/dev/null; then
+      printf '  - %s\n' "$adapter_name" >> "$CONFIG"
+    else
+      printf 'adapters:\n  - %s\n' "$adapter_name" >> "$CONFIG"
+    fi
+    log "Adapter '$adapter_name' installed."
+  fi
+
+  generate_bridges
+
+  # Make `reins` available on PATH
+  local target_bin="/usr/local/bin/reins"
+  if [ -w "$(dirname "$target_bin")" ] 2>/dev/null; then
+    ln -sf "$REINS_HOME/bin/reins" "$target_bin" 2>/dev/null || true
+  fi
+  if [ ! -x "$target_bin" ]; then
+    for rc in "$HOME/.zshrc" "$HOME/.bashrc"; do
+      [ -f "$rc" ] || continue
+      grep -qF "$REINS_HOME/bin" "$rc" 2>/dev/null || \
+        printf '\nexport PATH="%s/bin:$PATH"\n' "$REINS_HOME" >> "$rc"
+    done
+  fi
+
+  log ""
+  log "REINS Method installed to $REINS_HOME"
+  log "Run: source ~/.zshrc (or restart your terminal) to activate the 'reins' command"
+  log ""
+  log "Optional companion tools (see README.md 'Companion tools'):"
+  log "  - headroom: token-efficient context compression (pip install \"headroom-ai[all]\")"
+  log "  - graphify: codebase knowledge graph for richer architecture context (pip install graphifyy)"
+  log ""
+  log "Getting started: reins status"
+}
+
+cmd_update() {
+  if [ -d "$REINS_HOME/.git" ]; then
+    if ! git -C "$REINS_HOME" pull --ff-only; then
+      err "git pull failed — if this checkout has no upstream tracking branch, run:"
+      err "  git -C $REINS_HOME branch --set-upstream-to=<remote>/<branch>"
+      generate_bridges
+      return 1
+    fi
+  else
+    die "$REINS_HOME is not a git checkout. Re-run install.sh to update, or 'git init' it manually."
+  fi
+  generate_bridges
+  log "REINS core updated. ~/.reins/user/ was not touched."
+}
+
+cmd_new_adapter() {
+  local name="${1:-}"
+  [ -n "$name" ] || die "usage: reins new-adapter <name>"
+  local dir="$USER_DIR/adapters/$name"
+  [ -e "$dir" ] && die "$dir already exists"
+  mkdir -p "$dir"/{standards,workflow,skills}
+  cat > "$dir/ADAPTER.md" <<EOF
+---
+name: $name
+stacks: []   # e.g. [ruby], [node], [python] — see core/workflow/1_orchestrator.md §2
+author: $(whoami)
+version: 0.1.0
+description: >
+  Describe what this adapter is for and what conventions/skills it adds.
+---
+EOF
+  cat > "$dir/standards/floor.md" <<'EOF'
+---
+scope: always
+precedence: 1 # floor — non-negotiable
+---
+
+# Standards — Floor
+
+Non-negotiable conventions for this stack.
+EOF
+  log "Adapter scaffolded at $dir"
+  log "Edit ADAPTER.md (set 'stacks'), then standards/floor.md."
+  if grep -qE "^adapters:" "$CONFIG" 2>/dev/null; then
+    printf '  - %s\n' "$name" >> "$CONFIG"
+  else
+    printf 'adapters:\n  - %s\n' "$name" >> "$CONFIG"
+  fi
+  generate_bridges
+}
+
+cmd_new_skill() {
+  local name="${1:-}"
+  [ -n "$name" ] || die "usage: reins new-skill <name>"
+  local dir="$USER_DIR/skills/$name"
+  [ -e "$dir" ] && die "$dir already exists"
+  mkdir -p "$dir"
+  cat > "$dir/SKILL.md" <<EOF
+---
+name: $name
+description: TODO — what this skill does and when to use it.
+---
+
+# $name
+
+## Trigger
+TODO
+
+## Context
+TODO
+
+## Steps
+TODO
+
+## Output
+TODO
+EOF
+  log "Skill scaffolded at $dir/SKILL.md — fill it in (see core/templates/skill.md)."
+  generate_bridges >/dev/null
+}
+
+cmd_sync() {
+  generate_bridges
+}
+
+cmd_link_agents() {
+  # Wire newly-installed AI agents into the existing bridge files without a
+  # full bridge regeneration — handy after installing a new agent on this
+  # machine (e.g. you set up Gemini CLI after running `reins install`).
+  [ -d "$AGENTS_DIR" ] && [ -n "$(ls -A "$AGENTS_DIR" 2>/dev/null)" ] || { err "no bridge files yet — run 'reins update' or 'reins sync' first"; return 1; }
+  wire_all_agents
+  sync_skills
+  log "Done."
+}
+
+cmd_historic() {
+  local mode="${1:-}"
+  case "$mode" in
+    on)
+      mkdir -p "$USER_DIR/historic"
+      config_set historic_mode on
+      local month_file="$USER_DIR/historic/$(date +%Y-%m).md"
+      if [ ! -f "$month_file" ]; then
+        cp "$CORE_DIR/evaluation/templates/monthly.md" "$month_file"
+        [ "${2:-}" = "--quiet" ] || log "Created $month_file — fill in this period's priorities."
+      fi
+      [ "${2:-}" = "--quiet" ] || log "Historic mode: on"
+      ;;
+    off)
+      config_set historic_mode off
+      log "Historic mode: off (data preserved at $USER_DIR/historic/)"
+      ;;
+    *) die "usage: reins historic on|off" ;;
+  esac
+  generate_bridges >/dev/null
+}
+
+cmd_status() {
+  log "REINS_HOME: $REINS_HOME"
+  if [ -d "$REINS_HOME/.git" ]; then
+    log "Version: $(git -C "$REINS_HOME" rev-parse --short HEAD 2>/dev/null) ($(git -C "$REINS_HOME" log -1 --format=%cd --date=short 2>/dev/null))"
+  fi
+  log "Agent: $(config_get agent || echo 'not configured')"
+  log "Historic mode: $(config_get historic_mode || echo 'off')"
+  local adapters
+  adapters="$(config_adapters | tr '\n' ' ')"
+  log "Adapters: ${adapters:-none}"
+
+  if git rev-parse --show-toplevel >/dev/null 2>&1; then
+    local slug
+    slug="$(basename "$(git rev-parse --show-toplevel)")"
+    local ctx_dir="$USER_DIR/projects/$slug/contexts"
+    if [ -d "$ctx_dir" ]; then
+      local active
+      active="$(grep -lE '^status:[[:space:]]*active' "$ctx_dir"/*.md 2>/dev/null || true)"
+      if [ -n "$active" ]; then
+        log "Active context (this project): $(basename "$active")"
+      else
+        log "Active context (this project): none"
+      fi
+    fi
+  fi
+}
+
+cmd_doctor() {
+  local problems=0
+
+  [ -d "$CORE_DIR" ] || { err "missing $CORE_DIR"; problems=$((problems+1)); }
+  [ -f "$CONFIG" ] || { err "missing $CONFIG — run 'reins install'"; problems=$((problems+1)); }
+
+  local agent
+  agent="$(config_get agent)"
+  if [ -n "$agent" ]; then
+    local entry
+    if entry="$(agent_bridge_target "$agent" 2>/dev/null)"; then
+      local bridge="${entry%%:*}"; local rest="${entry#*:}"
+      local native="${rest%%:*}"
+      [ -f "$bridge" ] || { err "missing bridge file $bridge — run 'reins update'"; problems=$((problems+1)); }
+      if [ -f "$native" ]; then
+        grep -qF "REINS:BEGIN" "$native" || { err "$native is missing the REINS managed block — run 'reins update'"; problems=$((problems+1)); }
+      else
+        err "$native does not exist — run 'reins update'"; problems=$((problems+1))
+      fi
+    else
+      err "unknown agent '$agent' in config"; problems=$((problems+1))
+    fi
+  else
+    err "no agent configured — run 'reins install'"; problems=$((problems+1))
+  fi
+
+  while IFS= read -r adapter; do
+    [ -n "$adapter" ] || continue
+    local dir="$USER_DIR/adapters/$adapter"
+    [ -d "$dir" ] || { err "adapter '$adapter' listed in config but missing at $dir"; problems=$((problems+1)); }
+    [ -f "$dir/ADAPTER.md" ] || { err "adapter '$adapter' missing ADAPTER.md"; problems=$((problems+1)); }
+  done < <(config_adapters)
+
+  if [ "$problems" -eq 0 ]; then
+    log "Everything looks good."
+  else
+    log ""
+    log "$problems issue(s) found."
+    return 1
+  fi
+}
+
+cmd_uninstall() {
+  log "Uninstalling REINS Method..."
+
+  # Remove the managed block from every native config REINS may have wired
+  unwire_all_agents
+
+  # Remove REINS-managed Claude Code skill symlinks, if any
+  if [ -d "$HOME/.claude/skills" ] && find "$HOME/.claude/skills" -maxdepth 1 -type l -name 'reins-*' -print -quit | grep -q .; then
+    cleanup_claude_skill_links
+    log "Removed REINS skill symlinks from $HOME/.claude/skills"
+  fi
+
+  # Remove the /usr/local/bin/reins symlink, if it points into REINS_HOME
+  local target_bin="/usr/local/bin/reins"
+  if [ -L "$target_bin" ] && [ "$(readlink "$target_bin")" = "$REINS_HOME/bin/reins" ]; then
+    rm -f "$target_bin"
+    log "Removed $target_bin"
+  fi
+
+  # Remove the PATH export line from shell rc files
+  for rc in "$HOME/.zshrc" "$HOME/.bashrc"; do
+    [ -f "$rc" ] || continue
+    if grep -qF "$REINS_HOME/bin" "$rc" 2>/dev/null; then
+      grep -vF "export PATH=\"$REINS_HOME/bin:\$PATH\"" "$rc" > "$rc.tmp" && mv "$rc.tmp" "$rc"
+      log "Removed PATH export from $rc"
+    fi
+  done
+
+  log ""
+  log "REINS is unhooked from your AI agent and shell."
+  log "$REINS_HOME still contains your data, including \$REINS_HOME/user/ (standards,"
+  log "adapters, skills, project contexts, historic records)."
+  read -r -p "Delete $REINS_HOME entirely, including user/? This cannot be undone. [y/N] " yn
+  case "$yn" in
+    [yY]*)
+      # Offer to back up user-created skills/adapters before deleting everything
+      local has_custom=""
+      [ -d "$USER_DIR/skills" ] && find "$USER_DIR/skills" -mindepth 1 -maxdepth 1 -print -quit 2>/dev/null | grep -q . && has_custom=1
+      [ -d "$USER_DIR/adapters" ] && find "$USER_DIR/adapters" -mindepth 1 -maxdepth 1 -print -quit 2>/dev/null | grep -q . && has_custom=1
+      if [ -n "$has_custom" ]; then
+        read -r -p "Back up your custom skills/adapters before deleting? [y/N] " backup_yn
+        case "$backup_yn" in
+          [yY]*)
+            read -r -p "Directory to copy them to: " backup_dir
+            if [ -n "$backup_dir" ]; then
+              mkdir -p "$backup_dir"
+              [ -d "$USER_DIR/skills" ] && cp -R "$USER_DIR/skills" "$backup_dir/"
+              [ -d "$USER_DIR/adapters" ] && cp -R "$USER_DIR/adapters" "$backup_dir/"
+              log "Copied $USER_DIR/skills and $USER_DIR/adapters to $backup_dir"
+            else
+              log "No directory given — skipping backup."
+            fi
+            ;;
+        esac
+      fi
+      rm -rf "$REINS_HOME"
+      log "Removed $REINS_HOME"
+      ;;
+    *)
+      log "Left $REINS_HOME in place."
+      ;;
+  esac
+}
+
+# ---------------------------------------------------------------------------
+# dispatch
+# ---------------------------------------------------------------------------
+
+usage() {
+  cat <<'EOF'
+REINS Method CLI
+
+Usage:
+  reins install              First-time setup (interactive wizard)
+  reins install --non-interactive --agent=<id> [--standards=yes|no]
+                              [--historic=on|off] [--adapter=<path>]
+                             Non-interactive setup, driven by flags
+                             (used by `npx reins-method install`)
+  reins update                Pull latest core, regenerate agent bridge files
+  reins new-adapter <name>    Scaffold a new adapter pack
+  reins new-skill <name>      Scaffold a new skill
+  reins sync                  Regenerate agent bridges + skill registration (no git pull)
+  reins link-agents           Wire any newly-installed AI agents into existing bridges
+  reins historic on|off       Enable/disable historic mode
+  reins status                Show installed version, agent, adapters, historic mode
+  reins doctor                Validate the installation
+  reins uninstall             Unhook REINS from your agent/shell, optionally delete ~/.reins
+EOF
+}
+
+main() {
+  local cmd="${1:-}"
+  [ -n "$cmd" ] && shift || true
+  case "$cmd" in
+    install)     cmd_install "$@" ;;
+    update)      cmd_update "$@" ;;
+    new-adapter) cmd_new_adapter "$@" ;;
+    new-skill)   cmd_new_skill "$@" ;;
+    sync)        cmd_sync "$@" ;;
+    link-agents) cmd_link_agents "$@" ;;
+    historic)    cmd_historic "$@" ;;
+    status)      cmd_status "$@" ;;
+    doctor)      cmd_doctor "$@" ;;
+    uninstall)   cmd_uninstall "$@" ;;
+    -h|--help|help|"") usage ;;
+    *) err "unknown command: $cmd"; usage; exit 1 ;;
+  esac
+}
+
+main "$@"