Normalized aggregate laws

These documents state the complete control states, retained data, transitions, outputs, rejections, and terminal paths for the five atomic actor aggregates. They are implementation-independent domain contracts. The adjacent catalogue documents map those laws onto Bombay's concrete typed behavior algebra.

Each law distinguishes actor-model requirements, derived library construction, and deliberate Bombay policy. Pseudocode identifiers describe semantic values; they are not additional exported Rust names.