Fukaya's immersed Lagrangian Floer theory and microlocalization of Fukaya category

Let Fuk (T^*M) be the Fukaya category in the Fukaya's immersed Lagrangian Floer theory fukaya: immersed which is generated by immersed Lagrangian submanifolds with clean self-intersections. This category is monoidal in that the product of two such immersed Lagrangian submanifolds remains to be a Lagrangian immersion with clean self-intersection. Utilizing this monoidality of Fukaya's immersed Lagrangian Floer theory, we prove the following generation result in this Fukaya category of the cotangent bundle, which is the counterpart of Nadler's generation result Nadler for the Fukaya category generated by the exact embedded Lagrangian branes. More specifically we prove that for a given triangulation T = \ ₀\ fine enough the Yoneda module Y ₋: = hom₅ₔ₊ (ₓ^*₌) (, L) can be expressed as a twisted complex with terms hom₅ₔ₊ (ₓ^*₌) (M (), L_ ₀*) for any curvature-free (aka tatologically unostructed) object L. Using this, we also extend Nadler's equivalence theorem between the dg category Shc (M) of constructible sheaves on M and the triangulated envelope of Fuk⁰ (T^*M) to the one over the Novikov field K.