VerificationAvailable

Verification

Verification maps changed paths to named checks, runs those checks, and records receipts. It owns the verification and coverage objects in agent-up.json and the receipt ledger.

It never reads the agent commit queue. Record receipts before enqueue. MCP is loopback-only, like the other Agent-Up servers.

Owner

AgentUp.Verification

Tests

AgentUp.Verification.Tests

MCP

/mcp/verification

1. Plan which checks apply

2. Run them and record receipts

3. Guard before enqueue

Tool

run_verification

Tools

1. plan_verification

   See which checks the current changes require, and which rule selected each.

2. run_verification

   Run every required check and record a receipt per check.

3. run_verification_check

   Re-run one check by id after a targeted fix.

4. guard_verification

   Report whether every required check has a passing receipt matching the current file contents.

Also

CLI

agent-up verify plan · run · guard

Coverage

Runs as patch-coverage inside run_verification

Receipts

.git/agent-up/verification/receipts.json

The field contract is the agent-up.json reference. Agent operating rules stay in AGENTS.md.

Next in this slice

Commits

Enqueue only after receipts pass.