Actual source-boundary prefix data for positive exact-one profiles #
The source placeholders in each fixed positive profile are moved to their boundary ports and
their sole incidence routes are extended accordingly. The large finite continuous certificates
are separate, in GeometryProfilesPrefix.
Main definitions #
profilePrefixGeometry: the actual profile with source endpoints at boundary ports.
References #
The composed geometric data are original.
The actual positive profile with its source ends extended to the cell boundary.