With regard to your section 5, I note that you consider the VCAT group
analogous with a link bundle. I don't think this is correct because the
members of a link bundle must be selected and used individually. A payload
data stream cannot be distributed across multiple component links of the
bundle...
An LSP with a bandwidth requirement b and
setup priority p fits in a bundled link if at least one component
link has maximum LSP bandwidth >= b at priority p.
However, the whole point of a VCAT group is to produce a single entity
(pipe) with maximum LSP bandwidth greater than the capacity of any
individual component. A VCAT group, therefore, is not a bundle.
Following on from this, I think that the remainder of your section 5.1
will have some value, but needs to be corrected to properly reflect the
meaning of a VCAT group.
In general, I think your section 5 should generalize from the specific
case of the FA to include any TE link that is based on a VCAT group.
Section 5.2 seems to confuse "FA" with "FA LSP".