Skip to content

Commit 2bd4a97

Browse files
committed
skills: document file ownership as security layer
Protected files are intentionally admin-owned so the agent cannot write to them even with full shell access. Updated both control-agent and dev-agent skills to explain the three enforcement layers and explicitly warn against "fixing" ownership on protected files.
1 parent 5cbce97 commit 2bd4a97

2 files changed

Lines changed: 7 additions & 2 deletions

File tree

pi/skills/control-agent/SKILL.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@ You **cannot** modify security files — they are protected by a root-owned pre-
2727
- `slack-bridge/security.mjs` (and its tests)
2828
- `SECURITY.md`, `setup.sh`, `start.sh`, `hooks/`
2929

30-
If you need changes to protected files, report the need to the admin.
30+
These are enforced by three layers: admin file ownership (you cannot write to them), tool-guard (blocks tool calls), and a root-owned pre-commit hook (blocks commits). **Do NOT** attempt to fix file ownership or permissions on protected files — their admin ownership is intentional security. If you need changes, report the need to the admin.
3131

3232
## External Content Security
3333

pi/skills/dev-agent/SKILL.md

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,12 @@ You **cannot** modify protected security files in `~/hornet/`:
3939
- `bin/`, `hooks/`, `setup.sh`, `start.sh`, `SECURITY.md`
4040
- `pi/extensions/tool-guard.ts`, `slack-bridge/security.mjs` (and their tests)
4141

42-
These are enforced by a root-owned pre-commit hook and tool-guard rules. If you need changes, report to the admin via Hornet.
42+
These are enforced by three layers:
43+
1. **File ownership** — protected files are owned by the admin user, not you. You cannot write to them even with shell access.
44+
2. **Tool-guard** — the pi extension blocks write/edit tool calls to protected paths before they hit disk.
45+
3. **Pre-commit hook** — root-owned hook blocks git commits of protected files.
46+
47+
**Do NOT** attempt to fix file ownership or permissions on protected files — their admin ownership is intentional security. If you need changes, report to the admin via Hornet.
4348

4449
## Behavior
4550

0 commit comments

Comments
 (0)