Jerusalem Talmud Yevamot 5.3

משנה: נָתַן גֵּט וְעָשָׂה מַאֲמָר צְרִיכָה גֵט וַחֲלִיצָה. נָתַן גֵּט וּבָעַל צְרִיכָה גֵט וַחֲלִיצָה. נָתַן גֵּט וְחָלַץ אֵין אַחַר חֲלִיצָה כְּלוּם.

MISHNAH: If he delivered a bill of divorce and then “bespoke”, she needs a bill of divorce and ḥalîṣah. If he delivered a bill of divorce and then cohabited, she needs a bill of divorce and ḥalîṣah. If he delivered a bill of divorce and then performed ḥalîṣah, after ḥalîṣah nothing more is needed.

הלכה: נָתַן גֵּט וְעָשָׂה מַאֲמָר כול׳. גֵּט לְמַאֲמָרוֹ וַחֲלִיצָה לְזִיקָתוֹ.

HALAKHAH: “If he delivered a bill of divorce and then “bespoke”, etc. A bill of divorce for his “bespeaking” and ḥalîṣah for her candidacy.

הָדָא אָמְרָה. בִּיאָה פְסוּלָה אֵינָהּ פּוֹטֶרֶת. אִיתָא חֲמִי. חֲלִיצָה פְסוּלָה פוֹטֶרֶת וּבִיאָה פְסוּלָה אֵינָהּ פּוֹטֶרֶת. חֲלִיצָה עַל יְדֵי שֶׁעִיקָּרָהּ פְּסוּלָה פּוֹטֶרֶת. בִּיאָה עַל יְדֵי שֶׁאֵין עִיקָּרָהּ פְּסוּלָה אֵינָהּ פּוֹטֶרֶת. וְלֹא תִפְטוֹר בָּהּ לַקּוּל וְתִפְטוֹר בָּהּ לַחוֹמֶר. וְלֵיי דֶא מִילָּה. שֶׁאִם בָּא אֶחָד וְקִידֵּשׁ אֶת הַצָּרָה תָּפְשׂוּ בָהּ קִידּוּשִׁין. אָמַר רִבִּי יוּדָן. קִיַימְתִּיהָ. כָּל יְבָמָה שֶׁאֵין כּוּלָּהּ לַחוּץ לְעוֹלָם הִיא בִפְנִים עַד שֶׁתֵּצֵא לַחוּץ.

That means that invalid intercourse does not free. Come and see, invalid ḥalîṣah frees but invalid intercourse does not free! Since the purpose of ḥalîṣah is invalidation, it frees. Intercourse, whose purpose is not invalidation, does not free. It should not free for leniency but might free for restriction. In which respect? If somebody came and gave qiddushin to the co-wife, these should lay hold on her. Rebbi Yudan said, I explained it. Any sister-in-law who is not totally outside remains inside until she leaves for the outside.