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.

When	Checker	Scope	Verdict	Findings	Run by	Input hash
2026-05-17 09:00	CHK-REQ-CFG	MSB-01	Fail	1	Fajar Nugroho	1e5cd4c674c3
2026-05-14 13:00	CHK-REQ-SLD	MSB-01	Fail	1	Fajar Nugroho	eae3114ba4ca

Open findings

Every finding from the most recent run of each checker.

Checker	Severity	Finding	Expected	Found
CHK-REQ-CFG	High	The stored snapshot no longer matches the upstream configuration, so any comparison against it is stale.	IN_SYNC	DRIFT_DETECTED
CHK-REQ-SLD	Critical	MSB-01-Q1 shows a short time withstand that disagrees with the canonical value.	65 kA	50 kA