Fukaya A-infinity structure near infinity and the categorical formal completion

For a stopped Liouville manifold arising from a Liouville sector, we construct a symplectic analogue of the formal neighborhood of the stop on the level of Fukaya categories. This geometric construction is performed via Floer-theoretic methods by allowing wrappings in the negative direction. On the other hand, inspired by homological mirror symmetry for pairs, where the mirror is the formal neighborhood of a divisor in an ambient projective variety, there is a different approach by taking a `categorical formal completion' introduced by Efimov. Our main results establishes equivalence of these two approaches, confirms computability of this new type of Floer theory by categorical and algebraic means, and indicates contributions from and to computations in homological mirror symmetry.