Blocking checks are deterministic and cheap

majordomus://rule/project.blocking-checks-cheap@1active doctrine

it references

Nothing. This object declares no reference.

referenced by

put_in_force adr-0053
put_in_force adr-0054
depends_on project.conventional-commits@2

Rationale

A slow or flaky gate is worked around, and a gate that blocks work in progress trains people to skip it. Only what is settled and decidable may refuse.

Required behaviour

A check that can stop a command is deterministic and cheap; work in progress is reported, never blocked.

Failure behaviour

No command decides this rule; a reviewer does, and a change that violates it is not merged. Where a behavioural case covers part of it, that case is named below.

Verification

Review. Every doctrine's class is declared in the rule package; test/cases/17_doctrine_enforcement.sh proves the class decides whether a command stops.

Where this comes from

canonical file: .ai/repo/rules/project/blocking-checks-cheap.v1.md
identity: project.blocking-checks-cheap@1
also served as: MCP resource majordomus://rule/project.blocking-checks-cheap@1 · majordomus entity show rule/project-blocking-checks-cheap-1 · GET /api/v1/entity?uri=majordomus://rule/project.blocking-checks-cheap@1
in the Cockpit: /cockpit/objects/rule/project-blocking-checks-cheap-1

This page is generated from the file above by scripts/generate-site-data; editing the page changes nothing, editing the file changes every surface. The relations above are edges of docs/generated/graph.json, which the executable writes from the same index.