Purpose, background, and precise scope

conventions. We cite the supplied I-B-G-v2 and I-B-VP-v2 by source labels rather than unstable theorem numbers. The analytical ingredients needed for the current are also stated and proved below. Other companion comparisons retain their own domains and non-transfer boundaries.