\end{Verbatim}
An end-of-packet condition while reading any aspect of a floor 1
-configuration during setup renders a stream undecodable. In
-addition, a \varname{[floor1_class_masterbooks]} or
+configuration during setup renders a stream undecodable. In addition,
+a \varname{[floor1_class_masterbooks]} or
\varname{[floor1_subclass_books]} scalar element greater than the
highest numbered codebook configured in this stream is an error
-condition that renders the stream undecodable.
+condition that renders the stream undecodable. All vector
+[floor1_x_list] element values must be unique within the vector; a
+non-unique value renders the stream undecodable.
\paragraph{packet decode} \label{vorbis:spec:floor1-decode}
An end-of-packet condition at any point in header decode renders the
stream undecodable. In addition, any codebook number greater than the
maximum numbered codebook set up in this stream also renders the
-stream undecodable.
+stream undecodable. All codebooks in array [residue_books] are
+required to have a value mapping. The presence of codebook in array
+[residue_books] without a value mapping (maptype equals zero) renders
+the stream undecodable.