Application-layer runtime boundary annotations and contracts.