Checkers

A checker compares two representations of the same fact and reports the difference. Only a deterministic checker produces a verdict a gate will accept.

SRS section 11.2, checker authority

Three statements the specification treats as distinct and this screen keeps distinct. AI-CHECKED is not PASS: an advisory review has no gate authority whatever it concludes. NOT CHECKED is not PASS: a checker that has never run reports nothing, and nothing is not approval. A stale PASS is not a current PASS: every run records the hash of its inputs, so a pass can be shown to relate to the state that produced it.

Deterministic checkers

Currently passing

Never run

Runs recorded

Failures are retained alongside passes.

Checker catalogue

Run against a configured item where the checker needs one, otherwise at project scope.

CHK-REQ-CFGRequirement to configurationFail

Compares every canonical requirement attribute against the corresponding value in the stored configuration snapshot payload.

Preconditions: A configuration snapshot exists for the configured item and at least one canonical fact exists.

Gate-effective. A PASS from this checker can satisfy a completion condition.

CHK-REQ-SLDRequirement to single line diagram parametersFail

Compares canonical electrical ratings against the parameters recorded on the engineering objects that the single line diagram depicts.

Preconditions: The single line diagram artifact is issued and its objects carry attributes.

Gate-effective. A PASS from this checker can satisfy a completion condition.

CHK-BSL-DOCBaseline to document revisionNot checked

Verifies that every artifact revision inside a frozen baseline is still the current revision of its document and that its content hash is unchanged.

Preconditions: At least one baseline exists.

Gate-effective. A PASS from this checker can satisfy a completion condition.

CHK-AI-COMPLETENESSSpecification completeness reviewAI-checked

Reads the tender specification and suggests attributes that appear to be discussed but were never extracted. Advisory only.

Preconditions: An ingested specification revision exists.

Advisory. Its output is recorded as AI-CHECKED and no gate consults it.

Run history

Every run, with the hash of the inputs it saw.

No checker has been run in this project.

Open findings

Every finding from the most recent run of each checker.

No failing findings.