Note integrity
Every outcome needs a note carrying the sections that outcome requires, and no transcript.
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 Declared majordomus.note-integrity
- 2 Validator mj_validate_note
- 3 Runs under finish
- 4 On violation exit 10
- 5 Proved by test/cases/06_finish.sh
- 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
- guaranteed handover writes an append-only record with computed front matter and required sections
- guaranteed A handover is a state record, not a transcript - its required sections must be present and non-empty, a placeholder body is refused, and its identity is computed and refused when written into the body; a transcript pasted into a section is not detected
Read it here
majordomus doctrine show majordomus.note-integrity
majordomus check --rule majordomus.note-integrity