Obligation closure

blocking A 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.obligation-closure
2. 2 Validator mj_validate_obligations
3. 3 Runs under check, finish
4. 4 On violation exit 10
5. 5 Proved by test/cases/103_obligations.sh
6. 6 Run by CI .github/workflows/validate.yml

Where it runs

• majordomus checkIs the current task still consistent with its policy, its scope and this checkout?
• 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 obligations_met in verification.finish_requires. A requirement the policy names that no doctrine defines is reported and refuses.

What it lets us promise

• guaranteed A task that declares obligations reaches the outcome completed only when each one has evidence recorded against it, and evidence taken over files that have since changed, or at a commit the branch has since left, no longer discharges anything

Read it here

majordomus doctrine show majordomus.obligation-closure
majordomus check --rule majordomus.obligation-closure