Type Alias ContractLaw

ONE stage law, as a stage's row declares it — a closed union rather than { law: LawKind } alone because two members carry an argument the sentence and the C constant both need: output-le-input-plus names WHICH parameter is the allowed excess (a compressor's makeup gain — the only knob that may push output above input), and delayed-copy names how the delay is expressed ('reported': the stage's own reported sample count, never a literal copied into two places). Every other member carries no argument — the sentence is the whole law.