Skip to content
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 6 additions & 0 deletions AGENTS.md
Original file line number Diff line number Diff line change
Expand Up @@ -99,6 +99,12 @@ Rego is a declarative policy language (Datalog-inspired), not imperative code:
the pattern.
- **Test coverage:** Every new rule needs tests in a corresponding `_test.rego` file. CI enforces
100% coverage.
- **Enforcement delegation parity.** When a deny rule conditionally skips its

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

[low] formatting consistency

The new checklist item uses a period after the bold label (Enforcement delegation parity.) while all three existing checklist items in this section use a colon (Label:). This breaks the established Label: Description pattern.

Suggested fix: Change Enforcement delegation parity. to Enforcement delegation parity:.

denial (bypass path), verify that the package receiving enforcement provides
equivalent coverage. Specifically: compare the `collections:` list of the
bypassed rule against every rule in the destination package. If the bypassed
rule belongs to a collection that the destination rules do not, the delegation
creates an enforcement gap for consumers of that collection.

## PR Conventions

Expand Down
Loading