@nail00749/agent-gvozd 0.1.0 → 0.1.2

package/README.md

@@ -2,7 +2,7 @@
 
 Gvozd installs one permission-aware agent team globally, so every OpenCode
 project can use it without copying plugin or agent files into the repository.
-The first release targets OpenCode V2 `0.0.0-beta-19425` exactly.
+Release `0.1.2` targets OpenCode V2 `0.0.0-beta-19425` exactly.
 
 ## Global setup
 
@@ -26,8 +26,9 @@ OpenCode first if the desired provider is absent from `opencode models`.
 
 For a deterministic unattended rerun, use `gvozd setup --yes`. It retains a
 valid existing profile, or selects the built-in OpenAI preset only when Luna,
-Sol, and Codex Spark are all available. Rerunning setup is the supported v0.1
-upgrade path.
+Sol, and Codex Spark are all available. Setup registers the exact current
+release (`@nail00749/agent-gvozd@0.1.2`), not a version range. Rerunning setup
+after updating the CLI is the supported v0.1 upgrade path.
 
 Inspect an installation at any time:
 
@@ -37,9 +38,11 @@ gvozd doctor --json
 ```
 
 Setup owns `<OpenCode config>/gvozd/config.jsonc`, its generated schema, and
-the Gvozd Markdown files under `<OpenCode config>/agents`. It refuses to
-overwrite unmanaged agent or schema files and preserves unrelated JSONC fields
-and comments. Project overrides under `docs/.gvozd` still take precedence.
+the Gvozd Markdown files under `<OpenCode config>/agents`. During upgrades it
+removes disabled or obsolete agents only when they are regular files with the
+exact Gvozd ownership marker. Unmanaged files are never removed or overwritten.
+Unrelated JSONC fields and comments are preserved. Project overrides under
+`docs/.gvozd` still take precedence.
 
 The installed team contains:
 
@@ -72,10 +75,90 @@ automatically.
 
 Run `bun run sync --check` to report drift without changing files. The command
 prints a diff before replacing or removing an existing generated agent and
-never overwrites an agent file it does not own.
+never overwrites an agent file it does not own. In `0.1.2`, check mode also
+reports a missing project template or schema and stale managed schema content;
+it performs no migration or directory creation. A markerless legacy schema is
+migrated only when it is semantically identical to the known generated schema.
+User-owned project configuration is not replaced. This legacy check resolves
+the normal user-global OpenCode configuration. `bun run verify:sync` is the
+deterministic release gate: it uses an empty temporary config root, checks the
+repository, and removes the temporary root afterward.
 
 Run `bun test`, `bun run typecheck`, and `bun run build` for local verification.
 
+## Release verification
+
+The regular CI workflow runs on Ubuntu and macOS with a frozen Bun install. It
+runs tests, TypeScript checking (including `scripts/**/*.ts`), the build,
+the deterministic `verify:sync` gate, and package verification. Package
+verification installs the actual npm tarball outside the workspace, imports
+its plugin entrypoint, and runs its Node CLI without depending on a system
+`tar` command.
+
+Live OpenCode compatibility is opt-in through the `Live OpenCode
+compatibility` `workflow_dispatch`. It accepts no caller-controlled paths or
+package specifications and is protected by the `gvozd-live` GitHub environment.
+Provision these protected environment variables:
+
+- `GVOZD_LIVE_OPENCODE`: absolute path to the pinned OpenCode executable;
+- `GVOZD_LIVE_OPENCODE_SHA256`: its allowlisted SHA-256;
+- `GVOZD_LIVE_HOST_DRIVER`: absolute path to the trusted host scenario driver;
+- `GVOZD_LIVE_HOST_DRIVER_SHA256`: its allowlisted SHA-256;
+- `GVOZD_LIVE_SAFE_PATH`: the complete child-process `PATH`, containing only
+  provisioner-controlled tool directories required by OpenCode and the driver.
+
+These values come only from protected environment variables; the dispatch has
+no path, digest, or package inputs. Every `GVOZD_LIVE_SAFE_PATH` entry must be
+nonempty, absolute, existing, canonical, and a non-symlink directory. It must
+not be group- or world-writable, and the same checks apply to its directory
+chain. On POSIX, every directory owner must differ from the non-root runner
+account and the runner must not have write access. Child processes receive
+only this validated value, never the runner's ambient `PATH`.
+
+The self-hosted runner must carry the `gvozd-live` and `ephemeral` labels and
+must be provisioned as a one-shot runner that is destroyed after the job. A
+runner label is only routing metadata; GitHub does not technically guarantee
+ephemerality from that label. Environment reviewers must verify the selected
+ref and runner provisioning before approval.
+
+Provision the OpenCode executable and host driver outside runner-writable
+storage. They must be regular canonical non-symlink files, executable, owned
+by root or another trusted provisioning account rather than the workflow
+runner, and have no owner, group, or world write bits (for example mode
+`0555`). Every parent directory must likewise be provisioner-owned and not
+runner-writable. A POSIX runner operating as root is rejected. The gate records
+their file identity and exact allowlisted digest, then re-stats and re-hashes
+each file immediately before every corresponding spawn; replacement or
+metadata change hard-fails.
+
+The workflow builds the checkout, creates its own local npm tarball, computes
+its SHA-256, and passes only that path and digest to the gate. Arbitrary package
+specifications are not accepted. Unlike the provisioned executables, this
+artifact is expected to be runner-owned and may be owner-writable, while still
+being a regular non-symlink file with no group/world write bits. Its digest is
+a build-consistency check that detects changes after packing; it is not an
+external provenance assertion. Review and protected checkout controls remain
+the source-provenance boundary.
+
+The executable must report exactly `0.0.0-beta-19425`. The gate gives child
+processes a minimal allowlisted environment and isolated HOME, XDG config,
+temporary, and project directories. Commands have timeouts, bounded output,
+and redacted failure messages. The pinned CLI exposes no credential-free
+non-interactive API that can itself prove permission-event resource mapping,
+MCP refresh, and the complete lease lifecycle. The protected host driver must
+run those scenarios and emit one JSON object with `pluginActivation`,
+`projectOverride`, `editResourceMapping`, `mcpRefresh`, and `leaseLifecycle`
+all set to `true`. Missing paths, digests, host integration, credentials, or
+proof hard-fail the gate; they are never reported as a successful skip.
+
+Node does not expose a portable descriptor-based `exec`, so a privileged
+provisioner could still race the final verified pathname between revalidation
+and spawn. That privileged-provisioner race is outside this gate's threat
+model. Residual trust therefore remains in GitHub environment approvers,
+one-shot runner and safe-PATH provisioning, the pinned OpenCode binary, and
+the allowlisted host driver. The driver should use an isolated local MCP
+fixture where possible rather than long-lived provider credentials.
+
 ## Configuration layers
 
 Configuration is merged in this order:
@@ -87,6 +170,68 @@ Configuration is merged in this order:
 Later scalar values replace earlier values. Arrays such as `models`, `skills`,
 `mcp`, and `permissions` replace the complete earlier array.
 
+Configuration objects are validated strictly. Unknown root, agent, and
+permission keys are errors rather than silently ignored. Prompt paths and
+custom agent directories must stay within the layer that declares them;
+missing files, traversal, and symlink targets are rejected.
+
+### Project capability trust
+
+As a security and compatibility change in `0.1.2`, untrusted
+repository-controlled configuration may contain only `$schema` and
+`description` overrides for existing agents. Custom agents and all other root
+or agent fields require explicit trust.
+
+After reviewing the repository configuration, a user may opt in externally:
+
+```bash
+TOKEN="$(gvozd trust-project)"
+GVOZD_TRUST_PROJECT_CONFIG="$TOKEN" opencode2
+```
+
+The second command must start the OpenCode process with the exact token; setting
+the variable in another process does not grant trust. `gvozd trust-project`
+uses the current directory by default and accepts an explicit project directory.
+It only prints the current token and does not modify files or the environment.
+A repository cannot self-authorize by placing the token in its files.
+
+The token is bound to the canonical project root and the reviewed project root
+config, agent fragments, and referenced prompts. Changing any of them
+invalidates it, and a token for one project cannot authorize another project.
+API callers can pass the exact token as `projectTrustToken` to `loadConfig`.
+
+### OpenCode config-root contract
+
+`setup` and `doctor` use `opencode debug paths` as the authority for CLI writes
+and diagnostics. Runtime/config loading resolves its root in this order:
+
+1. an explicit `configRoot` supplied by an API caller;
+2. `GVOZD_OPENCODE_CONFIG_ROOT`;
+3. `XDG_CONFIG_HOME/opencode`;
+4. `APPDATA/opencode` on Windows;
+5. `~/.config/opencode`.
+
+OpenCode `0.0.0-beta-19425` does not expose its config root in the plugin
+context. The runtime therefore cannot infer a nonstandard host root from
+`debug paths`. If Doctor reports a mismatch, set
+`GVOZD_OPENCODE_CONFIG_ROOT` to the absolute path printed by
+`opencode debug paths` before starting or restarting OpenCode.
+
+The config root reported by `debug paths` must already use its canonical
+absolute spelling. Before setup creates a lock or managed directory, every
+existing component from the filesystem root through the nearest existing
+ancestor is checked with `lstat`: symbolic links, non-directory ancestors, and
+POSIX group/world-writable directories are rejected. Managed config, Gvozd,
+agents, and lock directories additionally must be owned by and writable by the
+current account. Known platform aliases such as macOS `/var` are not followed;
+OpenCode must report the corresponding canonical path.
+
+These checks prevent an unprivileged different-user path swap, but Node has no
+portable descriptor-relative recursive mkdir/rename transaction. A
+same-UID process that deliberately races the final validated component, or a
+non-cooperating process that performs a final rename between validation and
+mutation, remains outside this cooperative setup threat model.
+
 ## Cooperative file leases
 
 Writer agents coordinate exact project files before editing them. The default
@@ -128,6 +273,15 @@ process. Unclaimed reservations expire after five minutes; active leases expire
 after thirty minutes without tool activity and are released on terminal session
 events. Separate OpenCode processes and remote hosts are not coordinated.
 
+File ownership keys are case-insensitive by default on macOS and Windows and
+case-sensitive on other platforms. Because the runtime cannot portably detect
+the mounted filesystem policy, start OpenCode with
+`GVOZD_CASE_INSENSITIVE_FILESYSTEM=0` for a case-sensitive APFS workspace, or
+with `GVOZD_CASE_INSENSITIVE_FILESYSTEM=1` for a case-folding Linux workspace
+such as a suitably configured casefold filesystem or CIFS mount. Only the exact
+values `0` and `1` are accepted; any other value aborts plugin setup rather than
+selecting an uncertain ownership policy.
+
 An agent override can be inline:
 
 ```jsonc
@@ -161,28 +315,44 @@ access to that ambiguous action is denied.
 
 ## Default capabilities
 
-The built-in team uses exact skill IDs and tool-level MCP permissions from the
-current OpenCode setup. Server-wide `mcp` grants remain empty by default because
-GitLab, GitNexus, and Playwright each expose actions that are too broad for at
-least one receiving role.
+The built-in team uses exact skill IDs, a server-wide grant to the configured
+Context7 documentation server where current library references help the role,
+and tool-level MCP permissions for GitLab, GitNexus, and Playwright. Those
+broader servers remain tool-scoped because each exposes actions that are too
+broad for at least one receiving role.
+
+The Context7 grant activates only when OpenCode already has an MCP server named
+exactly `context7`. Gvozd grants access to that server; it does not install or
+configure it, inspect its implementation, or constrain its individual tools.
+Operators must trust that exact server identity and its advertised tool set.
+
+OpenCode's built-in desktop browser tools report only the `browser` permission
+action and never request runtime approval themselves. Every built-in Gvozd agent
+therefore ends with an explicit `browser` deny so the host hides those tools;
+agents that need live UI evidence use the Playwright MCP server instead, where
+Gvozd's tool-level permissions apply.
 
 | Agents | Skills | MCP access |
 | --- | --- | --- |
-| `planner` | verification planning, ASCII UI review, GitNexus impact | GitNexus read-only |
-| `back-deep` | GitNexus impact and refactoring | GitNexus except group sync |
-| `front-fast` | modern web and interface polish | Playwright observation; interactions ask |
-| `front-deep` | frontend/layout skills plus GitNexus impact/refactoring | GitNexus except group sync; Playwright interactions ask |
-| `review-fast` | code review | read-only GitLab without CI variables |
-| `review-deep` | code review and GitNexus review/impact | read-only GitLab and GitNexus |
+| `master` | none | none |
+| `planner` | verification planning, ASCII UI review, GitNexus impact | Context7; GitNexus read-only |
+| `back-fast` | none | Context7 |
+| `back-deep` | GitNexus impact and refactoring | Context7; GitNexus except rename and group sync |
+| `front-fast` | modern web and interface polish | Context7; Playwright observation; interactions ask |
+| `front-deep` | frontend/layout skills plus GitNexus impact/refactoring | Context7; GitNexus except rename and group sync; Playwright interactions ask |
+| `review-fast` | code review | Context7; read-only GitLab without CI variables |
+| `review-deep` | code review and GitNexus review/impact | Context7; read-only GitLab and GitNexus |
+| `researcher` | none | Context7 |
 | `explorer` | GitNexus exploration | GitNexus read-only |
 | `git` | none | GitLab reads; mutations ask; CI variables denied |
-| `verifier` | verification before completion | read-only GitNexus; Playwright interactions ask |
-| `debugger` | systematic debugging and GitNexus debugging/PDG | read-only GitNexus; Playwright interactions ask |
-| `security` | code review and GitNexus taint/PDG | read-only GitLab/GitNexus; Playwright interactions ask |
-| `devops` | verification before completion | GitLab reads and CI validation; mutations ask; CI variables denied |
+| `docs` | none | Context7 |
+| `verifier` | verification before completion | Context7; read-only GitNexus; Playwright interactions ask |
+| `debugger` | systematic debugging and GitNexus debugging/PDG | Context7; read-only GitNexus; Playwright interactions ask |
+| `security` | code review and GitNexus taint/PDG | Context7; read-only GitLab/GitNexus; Playwright interactions ask |
+| `devops` | verification before completion | Context7; GitLab reads and CI validation; mutations ask; CI variables denied |
 
-`master`, `back-fast`, `researcher`, and `docs` intentionally keep their
-existing narrow capability sets. TDD skills are not enabled implicitly.
+`master`, `explorer`, and `git` intentionally receive no Context7 grant. TDD
+skills are not enabled implicitly.
 
 ## Model order
 
@@ -217,8 +387,9 @@ and shell access is denied.
 Verifier uses `openai/gpt-5.6-luna` with `openai/gpt-5.6-sol` as fallback.
 Debugger, Security, and DevOps use the reverse order. Verifier, Debugger, and
 Security are read-only and require approval for shell commands. DevOps can edit
-common CI, Docker, and infrastructure paths; other edits and every shell or
-external mutation require approval.
+common CI, Docker, and infrastructure paths; other edits require approval, shell
+is denied for the writer role, and every external mutation requires explicit
+task authorization.
 
 This pre-release change replaces the earlier single-tier agent IDs. Existing
 global or project overrides must be split explicitly:

package/defaults/agents/back-deep.jsonc

@@ -11,10 +11,12 @@
     "gitnexus-impact-analysis",
     "gitnexus-refactoring"
   ],
-  "mcp": [],
+  "mcp": ["context7"],
   "permissions": [
     { "action": "subagent", "resource": "*", "effect": "deny" },
     { "action": "gitnexus_*", "resource": "*", "effect": "allow" },
-    { "action": "gitnexus_group_sync", "resource": "*", "effect": "deny" }
+    { "action": "gitnexus_rename", "resource": "*", "effect": "deny" },
+    { "action": "gitnexus_group_sync", "resource": "*", "effect": "deny" },
+    { "action": "browser", "resource": "*", "effect": "deny" }
   ]
 }

package/defaults/agents/back-fast.jsonc

@@ -8,8 +8,9 @@
   ],
   "prompt": "../prompts/back-fast.md",
   "skills": [],
-  "mcp": [],
+  "mcp": ["context7"],
   "permissions": [
-    { "action": "subagent", "resource": "*", "effect": "deny" }
+    { "action": "subagent", "resource": "*", "effect": "deny" },
+    { "action": "browser", "resource": "*", "effect": "deny" }
   ]
 }

package/defaults/agents/debugger.jsonc

@@ -12,7 +12,7 @@
     "gitnexus-debugging",
     "gitnexus-pdg-query"
   ],
-  "mcp": [],
+  "mcp": ["context7"],
   "permissions": [
     { "action": "*", "resource": "*", "effect": "deny" },
     { "action": "read", "resource": "*", "effect": "allow" },

package/defaults/agents/devops.jsonc

@@ -10,7 +10,7 @@
   "skills": [
     "verification-before-completion"
   ],
-  "mcp": [],
+  "mcp": ["context7"],
   "permissions": [
     { "action": "*", "resource": "*", "effect": "deny" },
     { "action": "read", "resource": "*", "effect": "allow" },
@@ -21,6 +21,8 @@
     { "action": "edit", "resource": "Dockerfile.*", "effect": "allow" },
     { "action": "edit", "resource": "docker-compose*.yml", "effect": "allow" },
     { "action": "edit", "resource": "docker-compose*.yaml", "effect": "allow" },
+    { "action": "edit", "resource": "compose.yml", "effect": "allow" },
+    { "action": "edit", "resource": "compose.yaml", "effect": "allow" },
     { "action": "edit", "resource": ".github/workflows/*", "effect": "allow" },
     { "action": "edit", "resource": ".gitlab-ci.yml", "effect": "allow" },
     { "action": "edit", "resource": "deploy/*", "effect": "allow" },

package/defaults/agents/docs.jsonc

@@ -8,7 +8,7 @@
   ],
   "prompt": "../prompts/docs.md",
   "skills": [],
-  "mcp": [],
+  "mcp": ["context7"],
   "permissions": [
     { "action": "*", "resource": "*", "effect": "deny" },
     { "action": "read", "resource": "*", "effect": "allow" },

package/defaults/agents/front-deep.jsonc

@@ -14,10 +14,11 @@
     "gitnexus-impact-analysis",
     "gitnexus-refactoring"
   ],
-  "mcp": [],
+  "mcp": ["context7"],
   "permissions": [
     { "action": "subagent", "resource": "*", "effect": "deny" },
     { "action": "gitnexus_*", "resource": "*", "effect": "allow" },
+    { "action": "gitnexus_rename", "resource": "*", "effect": "deny" },
     { "action": "gitnexus_group_sync", "resource": "*", "effect": "deny" },
     { "action": "playwright_*", "resource": "*", "effect": "ask" },
     { "action": "playwright_browser_get_config", "resource": "*", "effect": "allow" },
@@ -29,6 +30,7 @@
     { "action": "playwright_browser_find", "resource": "*", "effect": "allow" },
     { "action": "playwright_browser_generate_locator", "resource": "*", "effect": "allow" },
     { "action": "playwright_browser_verify_*", "resource": "*", "effect": "allow" },
-    { "action": "playwright_browser_run_code_unsafe", "resource": "*", "effect": "deny" }
+    { "action": "playwright_browser_run_code_unsafe", "resource": "*", "effect": "deny" },
+    { "action": "browser", "resource": "*", "effect": "deny" }
   ]
 }

package/defaults/agents/front-fast.jsonc

@@ -11,7 +11,7 @@
     "modern-web-guidance",
     "make-interfaces-feel-better"
   ],
-  "mcp": [],
+  "mcp": ["context7"],
   "permissions": [
     { "action": "subagent", "resource": "*", "effect": "deny" },
     { "action": "playwright_*", "resource": "*", "effect": "ask" },
@@ -24,6 +24,7 @@
     { "action": "playwright_browser_find", "resource": "*", "effect": "allow" },
     { "action": "playwright_browser_generate_locator", "resource": "*", "effect": "allow" },
     { "action": "playwright_browser_verify_*", "resource": "*", "effect": "allow" },
-    { "action": "playwright_browser_run_code_unsafe", "resource": "*", "effect": "deny" }
+    { "action": "playwright_browser_run_code_unsafe", "resource": "*", "effect": "deny" },
+    { "action": "browser", "resource": "*", "effect": "deny" }
   ]
 }

package/defaults/agents/master.jsonc

@@ -25,6 +25,7 @@
     { "action": "subagent", "resource": "verifier", "effect": "allow" },
     { "action": "subagent", "resource": "debugger", "effect": "allow" },
     { "action": "subagent", "resource": "security", "effect": "allow" },
-    { "action": "subagent", "resource": "devops", "effect": "allow" }
+    { "action": "subagent", "resource": "devops", "effect": "allow" },
+    { "action": "browser", "resource": "*", "effect": "deny" }
   ]
 }

package/defaults/agents/planner.jsonc

@@ -12,13 +12,14 @@
     "ascii-ui-review",
     "gitnexus-impact-analysis"
   ],
-  "mcp": [],
+  "mcp": ["context7"],
   "permissions": [
     { "action": "edit", "resource": "*", "effect": "deny" },
     { "action": "subagent", "resource": "*", "effect": "deny" },
     { "action": "shell", "resource": "*", "effect": "ask" },
     { "action": "gitnexus_*", "resource": "*", "effect": "allow" },
     { "action": "gitnexus_rename", "resource": "*", "effect": "deny" },
-    { "action": "gitnexus_group_sync", "resource": "*", "effect": "deny" }
+    { "action": "gitnexus_group_sync", "resource": "*", "effect": "deny" },
+    { "action": "browser", "resource": "*", "effect": "deny" }
   ]
 }

package/defaults/agents/researcher.jsonc

@@ -8,7 +8,7 @@
   ],
   "prompt": "../prompts/researcher.md",
   "skills": [],
-  "mcp": [],
+  "mcp": ["context7"],
   "permissions": [
     { "action": "*", "resource": "*", "effect": "deny" },
     { "action": "websearch", "resource": "*", "effect": "allow" },

package/defaults/agents/review-deep.jsonc

@@ -11,7 +11,7 @@
     "code-review-excellence",
     "gitnexus-impact-analysis"
   ],
-  "mcp": [],
+  "mcp": ["context7"],
   "permissions": [
     { "action": "edit", "resource": "*", "effect": "deny" },
     { "action": "subagent", "resource": "*", "effect": "deny" },
@@ -28,6 +28,7 @@
     { "action": "gitlab_get_project_variable", "resource": "*", "effect": "deny" },
     { "action": "gitlab_get_group_variable", "resource": "*", "effect": "deny" },
     { "action": "gitlab_list_project_variables", "resource": "*", "effect": "deny" },
-    { "action": "gitlab_list_group_variables", "resource": "*", "effect": "deny" }
+    { "action": "gitlab_list_group_variables", "resource": "*", "effect": "deny" },
+    { "action": "browser", "resource": "*", "effect": "deny" }
   ]
 }

package/defaults/agents/review-fast.jsonc

@@ -10,7 +10,7 @@
   "skills": [
     "code-review-excellence"
   ],
-  "mcp": [],
+  "mcp": ["context7"],
   "permissions": [
     { "action": "edit", "resource": "*", "effect": "deny" },
     { "action": "subagent", "resource": "*", "effect": "deny" },
@@ -24,6 +24,7 @@
     { "action": "gitlab_get_project_variable", "resource": "*", "effect": "deny" },
     { "action": "gitlab_get_group_variable", "resource": "*", "effect": "deny" },
     { "action": "gitlab_list_project_variables", "resource": "*", "effect": "deny" },
-    { "action": "gitlab_list_group_variables", "resource": "*", "effect": "deny" }
+    { "action": "gitlab_list_group_variables", "resource": "*", "effect": "deny" },
+    { "action": "browser", "resource": "*", "effect": "deny" }
   ]
 }

package/defaults/agents/security.jsonc

@@ -12,7 +12,7 @@
     "gitnexus-taint-analysis",
     "gitnexus-pdg-query"
   ],
-  "mcp": [],
+  "mcp": ["context7"],
   "permissions": [
     { "action": "*", "resource": "*", "effect": "deny" },
     { "action": "read", "resource": "*", "effect": "allow" },

package/defaults/agents/verifier.jsonc

@@ -10,7 +10,7 @@
   "skills": [
     "verification-before-completion"
   ],
-  "mcp": [],
+  "mcp": ["context7"],
   "permissions": [
     { "action": "*", "resource": "*", "effect": "deny" },
     { "action": "read", "resource": "*", "effect": "allow" },

package/defaults/default.jsonc

@@ -1,5 +1,6 @@
 {
-  // Built-in baseline. User and project layers may override any field.
+  // Built-in baseline. Project overrides beyond $schema and descriptions of
+  // existing agents require an external, content-bound project trust token.
   "defaultAgent": "master",
   "agents": {}
 }

package/defaults/prompts/back-deep.md

@@ -4,4 +4,4 @@ Before the first file mutation, call `gvozd_claim` with the `leaseId` supplied b
 
 Pay particular attention to migrations, concurrency, authentication, authorization, external integrations, failure handling, and data integrity when they are in scope. Report the changed files, key decisions, concrete verification evidence, and remaining uncertainty.
 
-Use GitNexus for cross-module impact or coordinated refactoring when the graph is current and materially useful; source and runtime evidence remain authoritative.
+Use GitNexus for cross-module impact and refactoring analysis when the graph is current and materially useful; the GitNexus rename tool is unavailable, so apply renames through structured edits inside the leased files. Source and runtime evidence remain authoritative.

package/defaults/prompts/devops.md

@@ -2,6 +2,6 @@ You are DevOps. Implement focused CI, Docker, infrastructure, deployment, and re
 
 Before the first file mutation, call `gvozd_claim` with the `leaseId` supplied by Master. Modify only the exact leased files and use structured mutation tools; shell is unavailable while acting as a writer. If the task has no lease ID or requires another file, stop before changing it and report the exact missing path to Master for scope extension.
 
-Modify only the assigned infrastructure scope and do not delegate work. Request approval before every shell command. Never deploy, publish, push, rotate secrets, delete resources, or mutate an external environment unless the delegated request explicitly authorizes that exact action. Report changed files, commands that were approved and executed, observed state, and remaining deployment uncertainty.
+Modify only the assigned infrastructure scope and do not delegate work. Shell is denied while you act as a writer, so do not attempt shell commands; report the exact commands that still need to run so Master can route them to Verifier or the user after the leases are released. Never deploy, publish, push, rotate secrets, delete resources, or mutate an external environment unless the delegated request explicitly authorizes that exact action. Report changed files, observed state, commands that were not run, and remaining deployment uncertainty.
 
 GitLab reads and CI validation are available. Other GitLab actions require approval and exact task authorization; CI variables remain unavailable.

package/defaults/prompts/explorer.md

@@ -2,4 +2,4 @@ You are Explorer. Find the files, symbols, dependencies, and execution paths rel
 
 Do not modify files, run shell commands, browse the internet, or delegate work. Stop when the requested code location or flow is established; unresolved architecture decisions belong to Master.
 
-Use GitNexus only when the correct checkout has a current index and graph evidence materially improves the answer; no graph result is proof only of the indexed snapshot.
+Use GitNexus only when the correct checkout has a current index and graph evidence materially improves the answer; a graph result proves nothing beyond the indexed snapshot.

package/defaults/prompts/front-deep.md

@@ -4,4 +4,4 @@ Before the first file mutation, call `gvozd_claim` with the `leaseId` supplied b
 
 Resolve difficult interaction and integration details within the assigned architecture. Report the changed files, key decisions, concrete verification evidence, and remaining uncertainty.
 
-Use GitNexus only for material cross-module impact and use the supplied web and interface skills when their trigger applies. Use ASCII layout comparison only when an unresolved layout choice materially changes navigation, information hierarchy, or the user journey. Playwright observation is available for UI evidence; interactive browser actions require approval.
+Use GitNexus only for material cross-module impact; its rename tool is unavailable, so apply renames through structured edits inside the leased files. Use the supplied web and interface skills when their trigger applies. Use ASCII layout comparison only when an unresolved layout choice materially changes navigation, information hierarchy, or the user journey. Playwright observation is available for UI evidence; interactive browser actions require approval.

package/defaults/prompts/master.md

@@ -12,10 +12,10 @@ If backend and frontend scopes are independent, they may be delegated separately
 
 Before delegating work to more than one writer, use Explorer to identify the exact existing and planned files for each independent work package. Reserve each non-overlapping exact file set with `gvozd_lease` using operation `reserve`, then include the returned `leaseId` in that writer's task. If reservation reports an overlap, change the split or serialize the work; never dispatch overlapping writers.
 
-Every writer, including Master when editing directly, needs a reserved and claimed lease. If a writer reports that another file is required, use `gvozd_lease` operation `extend` only after checking the added file does not conflict. Release abandoned reservations explicitly. Wait for all writer leases to finish before sending work to Verifier or asking another agent to run approval-gated shell commands.
+Every writer, including Master when editing directly, needs a reserved and claimed lease. If a writer reports that another file is required, use `gvozd_lease` operation `extend` only after checking the added file does not conflict. Release abandoned reservations explicitly. Before sending work to Verifier or asking another agent to run approval-gated shell commands, check with `gvozd_lease` operation `status` that every writer lease has been released; active writer leases pause approval-gated shell work, so wait or release first.
 
 Use Researcher for current external information that requires internet sources. Use Explorer for focused, read-only discovery of files, symbols, dependencies, and execution paths in the local workspace. Use Git for repository status, history, diffs, branches, staging, commits, and other explicitly authorized Git operations. Use Docs for focused documentation, examples, and migration notes. Do not delegate a task merely to restate work that is already clear from the current context.
 
 Use Verifier after implementation when independent runtime, build, typecheck, or manual scenario evidence is needed. Use Debugger when a failure is unclear and the root cause must be established before choosing a fix. Use Security for an independent security-focused review when authentication, authorization, secrets, untrusted input, external requests, data exposure, or another trust boundary is material. Use DevOps for CI, Docker, infrastructure, deployment, and release configuration; keep deployment and other external mutations subject to explicit user authorization.
 
-Do not write automated tests unless the user explicitly asks for them. Prefer direct typechecking, builds, runtime smoke checks, and manual scenario verification.
+Write only the narrowest regression tests when tests are explicitly required by the task, its acceptance criteria, or CI/release verification. Otherwise prefer direct typechecking, builds, runtime smoke checks, and manual scenarios; do not expand test scope without user agreement.