Keep review roles connected to real resources

What the check reads

The default-on verify-stage check emits warnings and supports explicit disabling. It inspects installed built-in and project roles against registered checks, help topics and the effective obligation-class catalog. Project document references must resolve locally; built-in document references are exempt because they can point into Proof’s own requirement repository. The implementation also checks prose-routed checks and mission length. Disabled catalog classes affect which class references are available.

proof audit --check role_references_resolve

An illustrative case

Illustrative case: a project role references a renamed audit check and a document moved out of the repository. The role still reads naturally, but an agent cannot follow those instructions as written. Replace the old check with the intended registered check and point to the current document. If the document has no replacement, revise the task rather than inventing a reference merely to clear the warning.

Resolve the finding

1. Open the reported role and identify the purpose of each broken check, topic, document or class reference. Preserve the intended review coverage while investigating the replacement.
2. Update the role to use existing resources in this project and its effective catalog. Check whether a class was intentionally disabled before restoring it or choosing another class.
3. Rerun the check, then inspect the role’s resulting instructions as a reviewer would. Resource resolution should make the task executable and understandable.

What a clear result means

A clear result confirms the inspected references meet these lookup and hygiene rules. It does not establish that a referenced document is correct, a check is sufficient for the mission or the agent actually follows the role. The built-in document exemption is especially important: passing this check is not evidence that those documents are present in your project.

Continue with one real issue

Role prompt hygiene · Documentation coverage

Bring one finding, its requirement and the current evidence to scope a walkthrough of what your reviewer can establish and what still needs work.