This is kind of a tricky configuration. Yes your ACR will stay connected until the voltage drops to 12.75V, which generally won't happen with the lithium battery. However, the lead acid won't really drain your lithium battery unless there is a load on the lead acid. The resting fully charged voltage on the lithium battery is about 13.2-13.3V, and it will pull the lead acid up to this voltage. This would be the equivalent of a very mild float charge to the lead acid battery, but unless there is a load, there is almost no current flowing.
What will happen is that your lithium house battery will end up providing the power for the parasitic loads that would normally be on the trucks starting battery. If you don't have solar or a shore power charger, over time this will discharge the lithium battery until the ACR cuts out, then it will discharge the starting battery, but we are typically talking many weeks to months for this to happen. If you do have solar, then no big deal the solar will more than offset the parasitic loads, and both your batteries will be happy. I am using the 7610 Si-ACR, a standard starting battery, lithium house battery and 160W of solar. I have not seen an issue with this configuration.
If you want to avoid this situation, Victron makes a battery isolator with set points appropriate for lithium:
https://shop.pkys.co...ner_p_7358.html