docs: architecture — clarify invariant CLI (--non-overridable flag, --effective --action support) #7543

Closed
HAL9000 wants to merge 1 commits from spec/invariant-cli-clarifications into master

1 Commits

Author SHA1 Message Date
HAL9000 99f575f6cf docs(spec): clarify invariant CLI — add --non-overridable flag and --effective --action support
CI / lint (pull_request) Successful in 29s
CI / helm (pull_request) Successful in 25s
CI / push-validation (pull_request) Successful in 26s
CI / build (pull_request) Successful in 32s
CI / typecheck (pull_request) Successful in 53s
CI / security (pull_request) Successful in 1m1s
CI / quality (pull_request) Successful in 1m6s
CI / e2e_tests (pull_request) Successful in 4m3s
CI / integration_tests (pull_request) Successful in 7m50s
CI / unit_tests (pull_request) Successful in 8m40s
CI / docker (pull_request) Successful in 21s
CI / coverage (pull_request) Successful in 11m57s
CI / status-check (pull_request) Successful in 1s
CI / benchmark-publish (pull_request) Has been skipped
CI / benchmark-regression (pull_request) Successful in 58m11s
Two spec gaps were causing UAT failures (#7461, #7462):

1. agents invariant add: Add --non-overridable flag to CLI synopsis and
   argument list. The flag was documented in the conceptual section
   (Layer 3: Invariant Enforcement) but absent from the CLI command
   definition, causing implementers to omit it entirely.

2. agents invariant list: Clarify that --effective is valid with both
   --plan and --action (not only --plan). The synopsis already showed
   --effective without restriction, but the argument description said
   'Only with --plan', causing the implementation to reject
   --effective --action. Add example output for the --action --effective
   combination.

3. InvariantEnforcer code snippet: Fix precedence list to include
   'action' tier (plan > action > project > global), matching the
   four-tier precedence defined in the Invariant glossary entry.

Fixes: #7461, #7462 (spec gaps — implementation work tracked separately)
2026-04-10 21:39:07 +00:00