Covers that the shipped bodies satisfy the default loop policy — every referenced id resolves to a non-empty body, prompts group under the right change kinds, the production-grade gate instructs the blockers verdict — and the library's lookup-by-id behavior.

## Before writing SPEC.md files

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