(when) option compiler

.agents/skills/move-files/SKILL.md

@@ -0,0 +1,49 @@
+---
+name: move-files
+description: >
+  Move or rename any files/directories in a repo: preserve history, update all
+  references and build metadata, verify no stale paths remain.
+---
+
+# Move Files
+
+## Workflow
+
+1. Preflight.
+   - Run `git status --short`.
+   - Map each `source -> destination`.
+   - Classify scope: simple same-module moves stay targeted; package, module, or
+     cross-module moves need broader inspection.
+   - Ask before ambiguous mappings, destination conflicts, or unclear semantic
+     package/module changes.
+
+2. Search before moving.
+   - Search all old identifiers: paths, names, resource refs, doc links.
+   - For Gradle/module/source-set moves, check `settings.gradle.kts`,
+     `build.gradle.kts`, and `buildSrc`.
+   - For Kotlin/Java, update package declarations only when package intent
+     changes.
+
+3. Move safely.
+   - Prefer `git mv` for tracked files in the repo.
+   - Use filesystem moves only for untracked/generated/out-of-git files.
+   - Create parent directories first.
+   - For case-only renames, move through a temporary name.
+
+4. Repair references.
+   - Update all references: imports, build metadata, docs, resources, and scripts.
+   - Start search scope narrow: affected directory, then module, then repo-wide.
+   - Prefer precise edits; avoid broad replacements on generic names.
+
+5. Verify.
+   - Re-run targeted searches for old tokens.
+   - Run `git status --short` and confirm the delta matches the move.
+   - Run focused validation for moved files, or state what could not run.
+
+## Repo Notes
+
+Follow `.agents/project-structure-expectations.md` for module/source-set/test moves.
+
+## Report
+
+Return: `Moved[]`, `UpdatedRefs[]`, `Verification[]`, `Risks[]`.

.agents/skills/move-files/agents/openai.yaml

@@ -0,0 +1,4 @@
+interface:
+  display_name: "Move Files"
+  short_description: "Move files safely across a repo"
+  default_prompt: "Use $move-files to relocate files or directories in this repository while preserving history, updating references, and verifying the result."

.agents/skills/update-copyright/SKILL.md

@@ -0,0 +1,16 @@
+---
+name: update-copyright
+description: >
+  Update source file copyright headers from the IntelliJ IDEA copyright profile,
+  replacing `today.year` with the current year.
+  Automatically apply when source files are modified in a change set.
+---
+
+# Copyright Update
+
+**Command:** `python3 .agents/skills/update-copyright/scripts/update_copyright.py`
+
+1. Scope: explicit files/dirs from the user, or all tracked source files if none given.
+2. No explicit paths → run with `--dry-run` first, then without.
+3. Relay stdout (notice source, file count, changed paths) to the user.
+4. Never add a copyright header to a file that does not already have one.

.agents/skills/update-copyright/agents/openai.yaml

@@ -0,0 +1,4 @@
+interface:
+  display_name: "Copyright Update"
+  short_description: "Refresh source copyright headers"
+  default_prompt: "Use $update-copyright to refresh source file copyright headers from the IntelliJ IDEA copyright profile in this repository."