audit
A consistency audit across the project's documents — the mechanical checks first, then what no script sees, every import read at its exporting statement, a regime condition stated with the same constants, a status labelled alike, definitional drift and every negative-coverage sentence held to the artifact; reported as a table of discrepancies with the audit editing nothing, after which each sentence found false of the artifact is corrected. Use as /research:audit, optionally with a scope (/research:audit the two companion documents), after a statement or a definition other documents cite has changed, and before a document goes out. The project's instructions file names its corpus and what it holds the documents to; this skill names none of it. When the person says 'audit', 'do documents agree' or 'check for consistency', they mean this skill — call it every time, even if it ran earlier in the session, and take every step.
- Version
- 0.7.0
- License
- Apache-2.0
- Compatibility
- No script of its own; runs the project's checks, and `library check` and `formal cite` where those are bound.
Pinned to revision 523fd9bf7e78, so it is the text this page describes rather than whatever the author pushed since.
Files
Every link opens the file at its source, pinned to the revision this page describes.