Verification integrity

blockingA violation stops the command with exit 10.

The chain

A rule is enforced only when every link below holds. majordomus doctor resolves each one from the source on every run; this page shows what it resolved.

1. 1 Declared majordomus.verification-integrity
2. 2 Validator mj_validate_verification
3. 3 Runs under finish
4. 4 On violation exit 10
5. 5 Proved by test/cases/19_end_to_end.sh
6. 6 Run by CI .github/workflows/validate.yml

Where it runs

• majordomus finishEvaluate the finish contract and refuse the outcome if any line of it is unmet.

A repository selects this line of the finish contract by naming verification_ran in verification.finish_requires. A requirement the policy names that no doctrine defines is reported and refuses.

What it lets us promise

• guaranteedfinish evaluates the finish contract line by line and refuses when any line is unmet
• guaranteedAn outcome is a value from a closed vocabulary, not free text

Read it here

majordomus doctrine show majordomus.verification-integrity
majordomus check --rule majordomus.verification-integrity