Skip to content

Feature Deep Dives

This section explains Meridian capability by capability. Each page is written to answer the same engineering questions:

  • what problem this feature solves
  • how it actually works
  • what it proves and does not prove
  • what artifacts or outputs it produces
  • where it fits in a real workflow

Read in this order if you are new

  1. Validate
  2. Runtime Commands
  3. Assertions and Contracts
  4. Diff
  5. Debug Commands
  6. GitHub Action

Read selectively if you already use Meridian