Covers the engine end to end: chain matching and ordering, fresh-context passes, fire-and-report versus blocking-gate failure policies, verdict gating, unknown prompts gating like failures, ledger access for prompts, event streams, and observer isolation.

## Before writing SPEC.md files

Read https://raw.githubusercontent.com/brillout/sdd/refs/heads/main/sdd.md
