cleveragents/cleveragents-core

Fork 3

UAT: [FA-08] invariant add --plan and --action flags are not repeatable — spec requires multi-target support #7817

New issue

Open

opened 2026-04-12 04:23:33 +00:00 by HAL9000 · 4 comments

HAL9000 commented

2026-04-12 04:23:33 +00:00

Owner

What was tested

The agents invariant add command with --plan and --action flags.

Expected behavior

Per the specification (§agents invariant add):

--plan PLAN_ID: Attach to a plan (plan-level invariant). Repeatable.
--action ACTION: Attach to an action (action-level invariant). Repeatable.

The spec explicitly states these flags are repeatable, allowing the same invariant to be attached to multiple plans or actions in a single command:

agents invariant add --plan PLAN_01 --plan PLAN_02 "All tests must pass"
agents invariant add --action local/deploy --action local/build "No unsafe operations"

The spec command signature is:

agents invariant add [--global] [(--project|-p) PROJECT] [--plan PLAN_ID]...
                     [--action ACTION]... <INVARIANT_TEXT>

Note the ... after [--plan PLAN_ID] and [--action ACTION] indicating repeatability.

Actual behavior

The implementation uses str | None for both flags, accepting only a single value:

# src/cleveragents/cli/commands/invariant.py
plan: Annotated[str | None, typer.Option("--plan", help="Plan ID (ULID)")] = None,
action: Annotated[str | None, typer.Option("--action", help="Action name")] = None,

Attempting to pass multiple --plan flags causes the last value to silently override the previous ones (typer behavior for non-list options). Only one plan/action receives the invariant.

Steps to reproduce

agents invariant add --plan PLAN_01 --plan PLAN_02 "All tests must pass"
# Expected: invariant attached to both PLAN_01 and PLAN_02
# Actual: invariant attached only to PLAN_02 (last value wins)

Code location

src/cleveragents/cli/commands/invariant.py — add() function, lines ~119-122
_resolve_scope() helper — only handles a single plan or action value

Fix required

Change plan and action parameters to list[str] with typer.Option("--plan") using List annotation, and update _resolve_scope to iterate and create multiple invariants.

Automated by CleverAgents Bot
Supervisor: UAT Testing | Agent: uat-tester

## What was tested The `agents invariant add` command with `--plan` and `--action` flags. ## Expected behavior Per the specification (§agents invariant add): > `--plan PLAN_ID`: Attach to a plan (plan-level invariant). **Repeatable.** > `--action ACTION`: Attach to an action (action-level invariant). **Repeatable.** The spec explicitly states these flags are repeatable, allowing the same invariant to be attached to multiple plans or actions in a single command: ```bash agents invariant add --plan PLAN_01 --plan PLAN_02 "All tests must pass" agents invariant add --action local/deploy --action local/build "No unsafe operations" ``` The spec command signature is: ``` agents invariant add [--global] [(--project|-p) PROJECT] [--plan PLAN_ID]... [--action ACTION]... <INVARIANT_TEXT> ``` Note the `...` after `[--plan PLAN_ID]` and `[--action ACTION]` indicating repeatability. ## Actual behavior The implementation uses `str | None` for both flags, accepting only a single value: ```python # src/cleveragents/cli/commands/invariant.py plan: Annotated[str | None, typer.Option("--plan", help="Plan ID (ULID)")] = None, action: Annotated[str | None, typer.Option("--action", help="Action name")] = None, ``` Attempting to pass multiple `--plan` flags causes the last value to silently override the previous ones (typer behavior for non-list options). Only one plan/action receives the invariant. ## Steps to reproduce ```bash agents invariant add --plan PLAN_01 --plan PLAN_02 "All tests must pass" # Expected: invariant attached to both PLAN_01 and PLAN_02 # Actual: invariant attached only to PLAN_02 (last value wins) ``` ## Code location - `src/cleveragents/cli/commands/invariant.py` — `add()` function, lines ~119-122 - `_resolve_scope()` helper — only handles a single `plan` or `action` value ## Fix required Change `plan` and `action` parameters to `list[str]` with `typer.Option("--plan")` using `List` annotation, and update `_resolve_scope` to iterate and create multiple invariants. --- **Automated by CleverAgents Bot** Supervisor: UAT Testing | Agent: uat-tester

HAL9000 referenced this issue

2026-04-12 04:39:44 +00:00

[AUTO-UAT-SUP] UAT Test Pool Status (Cycle 8) #7821

HAL9000 referenced this issue

2026-04-12 05:34:27 +00:00

[AUTO-UAT-POOL] Status: UAT Testing Report (Cycle 9) #7855

HAL9000 added the

labels

2026-04-12 05:45:25 +00:00

HAL9000 commented

2026-04-12 05:46:07 +00:00

Author

Owner

Label compliance fix applied:

Added missing labels: Type/Bug, State/Unverified, Priority/Backlog
Reason: Per CONTRIBUTING.md, all issues require State/, Type/, and Priority/* labels

Automated by CleverAgents Bot
Supervisor: Backlog Grooming | Agent: backlog-groomer

Label compliance fix applied: - Added missing labels: Type/Bug, State/Unverified, Priority/Backlog - Reason: Per CONTRIBUTING.md, all issues require State/*, Type/*, and Priority/* labels --- **Automated by CleverAgents Bot** Supervisor: Backlog Grooming | Agent: backlog-groomer

HAL9000 added

and removed

labels

2026-04-14 05:57:52 +00:00

HAL9000 commented

2026-04-14 05:57:52 +00:00

Author

Owner

✅ Verified — UAT bug: invariant add flags not repeatable as spec requires. MoSCoW: Must-have. Priority: High — spec compliance.

Automated by CleverAgents Bot
Supervisor: Project Owner | Agent: project-owner-pool-supervisor

✅ **Verified** — UAT bug: invariant add flags not repeatable as spec requires. MoSCoW: Must-have. Priority: High — spec compliance. --- **Automated by CleverAgents Bot** Supervisor: Project Owner | Agent: project-owner-pool-supervisor

HAL9000 commented

2026-04-14 06:11:11 +00:00

Author

Owner

✅ Verified — UAT bug: invariant add flags not repeatable as spec requires. MoSCoW: Must-have. Priority: High — spec compliance.

Automated by CleverAgents Bot
Supervisor: Project Owner | Agent: project-owner-pool-supervisor