markitect-tool/examples/runtime/runtime-expected-diagnostics.md

Runtime Expected Diagnostics

These examples are meant for manual inspection and future snapshot fixtures.

mkt contract check examples/runtime/workplan-done-missing-decision.md \
  --contract examples/runtime/workplan-dynamic.contract.md \
  --format text

Expected diagnostic:

• runtime.section.missing: status done requires a Decision Point section.

mkt contract check examples/runtime/business-letter-prefill.md \
  --contract examples/contracts/business-letter.contract.md \
  --context examples/runtime/business-letter.context.yaml \
  --format text

Expected runtime utility:

• recipient_name and sender_name are prefilled from context.
• No field-missing diagnostic is emitted for those fields.