feat(mcp): return policy warnings for agent actions #37

Merged
pdurlej merged 1 commit from codex/mcp-policy-aware-actions into codex/columns-policies-and-wip 2026-05-10 13:44:42 +02:00
Collaborator

Canary status: missing — fire 3+3 review before merge

Closes #13

Summary

Adds advisory policyWarnings to the narrow agent action result contract so Iskra can explain risky direct actions instead of silently treating every move as clean.

Scope

  • Adds structured warning codes for WIP limit breaches, blocked cards, target entry policy, source exit policy, and agentMovePolicy warnings/proposal-first states.
  • Returns policyWarnings from create_card and move_card results where relevant.
  • Persists the same warnings in agent_audit_event.result because the result object is audited before returning.
  • Updates MCP tool descriptions to tell callers that create/move actions may return advisory warnings.
  • Documents warning semantics in docs/agent-mcp-contract.md.
  • Adds cardRepo.getActiveCountByListId for WIP checks.

Non-goals

  • No hard policy enforcement in v1.
  • No autonomous repair, reprioritization, or board restructuring.
  • No widening of the direct write surface.
  • No production token/scope changes.

Spec sources read

  • Forgejo issue #13 mcp/policy-aware-actions.
  • docs/agent-mcp-contract.md column policy and direct action surface sections.
  • Existing agent move/create/comment/relation paths in packages/api/src/routers/agent.ts.

Tests / smoke

  • pnpm --filter @kan/db build
  • pnpm --filter @kan/api build
  • pnpm --filter @kan/api typecheck
  • pnpm --filter @kan/db typecheck
  • pnpm --filter @kan/mcp typecheck
  • pnpm --filter @kan/api test -- integration-tests/agent.integration.test.ts agent.test.ts integration-tests/card-relations.integration.test.ts integration-tests/list-policies.integration.test.ts
  • pnpm --filter @kan/api test -- integration-tests/agent.integration.test.ts agent.test.ts
  • pnpm exec prettier --check packages/db/src/repository/card.repo.ts packages/api/src/routers/agent.ts packages/api/integration-tests/agent.integration.test.ts packages/mcp/src/index.ts docs/agent-mcp-contract.md
  • git diff --check

Rollback

  • Ignore policyWarnings client-side to preserve existing action behavior.
  • Revert commit 106413b if the response-shape change breaks a strict client before it is updated.

Owner gates

  • Piotr approval before production deploy.
  • Piotr approval before treating proposal_required as a hard block in production.
  • Piotr approval before issuing or rotating production machine identities/tokens.
Canary status: missing — fire 3+3 review before merge Closes #13 ## Summary Adds advisory `policyWarnings` to the narrow agent action result contract so Iskra can explain risky direct actions instead of silently treating every move as clean. ## Scope - Adds structured warning codes for WIP limit breaches, blocked cards, target entry policy, source exit policy, and `agentMovePolicy` warnings/proposal-first states. - Returns `policyWarnings` from `create_card` and `move_card` results where relevant. - Persists the same warnings in `agent_audit_event.result` because the result object is audited before returning. - Updates MCP tool descriptions to tell callers that create/move actions may return advisory warnings. - Documents warning semantics in `docs/agent-mcp-contract.md`. - Adds `cardRepo.getActiveCountByListId` for WIP checks. ## Non-goals - No hard policy enforcement in v1. - No autonomous repair, reprioritization, or board restructuring. - No widening of the direct write surface. - No production token/scope changes. ## Spec sources read - Forgejo issue #13 `mcp/policy-aware-actions`. - `docs/agent-mcp-contract.md` column policy and direct action surface sections. - Existing agent move/create/comment/relation paths in `packages/api/src/routers/agent.ts`. ## Tests / smoke - `pnpm --filter @kan/db build` - `pnpm --filter @kan/api build` - `pnpm --filter @kan/api typecheck` - `pnpm --filter @kan/db typecheck` - `pnpm --filter @kan/mcp typecheck` - `pnpm --filter @kan/api test -- integration-tests/agent.integration.test.ts agent.test.ts integration-tests/card-relations.integration.test.ts integration-tests/list-policies.integration.test.ts` - `pnpm --filter @kan/api test -- integration-tests/agent.integration.test.ts agent.test.ts` - `pnpm exec prettier --check packages/db/src/repository/card.repo.ts packages/api/src/routers/agent.ts packages/api/integration-tests/agent.integration.test.ts packages/mcp/src/index.ts docs/agent-mcp-contract.md` - `git diff --check` ## Rollback - Ignore `policyWarnings` client-side to preserve existing action behavior. - Revert commit `106413b` if the response-shape change breaks a strict client before it is updated. ## Owner gates - Piotr approval before production deploy. - Piotr approval before treating `proposal_required` as a hard block in production. - Piotr approval before issuing or rotating production machine identities/tokens.
Author
Collaborator

3+3 Review Result

Status: NOT READY / OWNER CHECKPOINT

Review lanes completed: tech-ollama-1, tech-ollama-2, tech-codex, product-ollama-1, product-ollama-2, product-claude-opus.

Deterministic checks on current stack tip:

  • PASS: @kan/db typecheck/build
  • PASS: @kan/shared typecheck/build
  • PASS: @kan/mcp typecheck/build
  • PASS: @kan/api typecheck/build and focused agent tests: 28/28
  • FAIL: targeted web ESLint currently reports apps/web/src/views/card/components/ActivityList.tsx:374 unused isAdmin
  • FAIL, known broader baseline: @kan/web typecheck still has existing bootstrap/workspace typing errors

Canary gate: current automated canary is not green for the draft stack; treat this as a review/checkpoint result, not merge approval.

Review notes:

  • Product blocker: proposal_required is semantically misleading because direct agent actions still apply and only return warnings. Choose one: enforce, require explicit override, or rename to proposal-preferred/proposal-warning.
## 3+3 Review Result Status: **NOT READY / OWNER CHECKPOINT** Review lanes completed: tech-ollama-1, tech-ollama-2, tech-codex, product-ollama-1, product-ollama-2, product-claude-opus. Deterministic checks on current stack tip: - PASS: `@kan/db` typecheck/build - PASS: `@kan/shared` typecheck/build - PASS: `@kan/mcp` typecheck/build - PASS: `@kan/api` typecheck/build and focused agent tests: 28/28 - FAIL: targeted web ESLint currently reports `apps/web/src/views/card/components/ActivityList.tsx:374` unused `isAdmin` - FAIL, known broader baseline: `@kan/web typecheck` still has existing bootstrap/workspace typing errors Canary gate: current automated canary is **not green** for the draft stack; treat this as a review/checkpoint result, not merge approval. Review notes: - Product blocker: proposal_required is semantically misleading because direct agent actions still apply and only return warnings. Choose one: enforce, require explicit override, or rename to proposal-preferred/proposal-warning.
pdurlej merged commit 4252188818 into codex/columns-policies-and-wip 2026-05-10 13:44:42 +02:00
Sign in to join this conversation.
No reviewers
No labels
3plus3-followup
agent/claude-code
agent/codex
agent/hermes
agent/iskra
agent/ollama
agent/patchwarden
analytics
api
cockpit
dependency/blocked
dependency/blocks-others
dependency/cross-repo
dependency/needs-confirmation
docs
domain:agents
domain:ci
domain:docs
domain:forgejo
domain:infra
domain:memory
domain:runtime
domain:signal
domain:ux
flow/architecture
flow/blocked
flow/deployed
flow/done
flow/implementation
flow/intake
flow/maintained
flow/observed
flow/ready
flow/refining
flow/retired
flow/review
gemini-flash
judge/codex-candidate
judge/hermes-candidate
judge/low-confidence
judge/needs-refinement
judge/operator-needed
judge/p0
judge/p1
judge/p2
judge/p3
judge/park
judge/patchwarden-candidate
judge/stale-priority
kind/adr
kind/bug
kind/chore
kind/feature
kind/infra
kind/ops
kind/refactor
kind/research
leviathan
mcp
merge/auto
merge/manual
merge/manual-dependency-conflict
merge/manual-failing-tests
merge/manual-merge-conflict
merge/manual-missing-review
merge/manual-operator-preference
merge/manual-red-zone
merge/manual-security-sensitive
merge/manual-unclear-scope
merge/manual-unknown
mode:operator-only
mode:patchwarden-iskra-approved
mode:safe-auto
observed/erroring
observed/needs-followup
observed/pending
observed/retire-candidate
observed/unused
observed/used
ops
priority:p0
priority:p1
priority:p2
priority:p3
review:claude-reviewed
review:codex-reviewed
review:dziadek-reviewed
review:needs-human
safety
safety:external-write
safety:no-prod-mutation
safety:prod-impact
safety:secret-touch
scout
security
size/large
size/medium
size/small
size/tiny
size/unknown
small-task
source/adr
source/agent-generated
source/manual
source/operator-chat
source/voice-note
status:blocked
status:codex-ready
status:merged:pending-evidence
status:needs-evidence
status:operator-needed
status:parked
tests
tier:0-platform-substrate
tier:1-iskra-value-layer
tier:2-tools-products-modules
type:bug
type:chore
type:docs
type:feat
type:policy
type:research
ui
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
pdurlej/kan-ductor!37
No description provided.