Skip to content

Note integrity

Every outcome needs a note carrying the sections that outcome requires, and no transcript.

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.note-integrity
  2. 2 Validator mj_validate_note
  3. 3 Runs under finish
  4. 4 On violation exit 10
  5. 5 Proved by test/cases/06_finish.sh
  6. 6 Run by CI .github/workflows/validate.yml

Where it runs

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

What it lets us promise

Read it here

read one rule
majordomus doctrine show majordomus.note-integrity
majordomus check --rule majordomus.note-integrity