The AUDIENCE: line of a contract header (#217): <section>=<audience>
pairs separated by ;, e.g. AUDIENCE: Coverage=audit; Boundary check=audit.
Sections not listed are decide-time. Contract meaning, versioned with the
grammar — which is why it lives in the contract and not in a UI setting.
Keyed by normalized heading, so a fork that respells a heading still folds.
The
AUDIENCE:line of a contract header (#217):<section>=<audience>pairs separated by;, e.g.AUDIENCE: Coverage=audit; Boundary check=audit. Sections not listed are decide-time. Contract meaning, versioned with the grammar — which is why it lives in the contract and not in a UI setting. Keyed by normalized heading, so a fork that respells a heading still folds.