felix.git/source/Test/Unit/Encoding.hs, branch hotg

felix.git/source/Test/Unit/Encoding.hs, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-03T19:31:20+00:00 Remove the legacy prover request path 2026-08-03T19:31:20+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T19:31:20+00:00 urn:sha1:2e352efa3504067c920c369f0ba453c15240cb07 Verify TH0 with PATH Vampire 2026-07-28T19:05:10+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T18:37:22+00:00 urn:sha1:7c84d7ecd35948b222c4b89ff20234acdc57387d Allocate task-local TPTP names 2026-07-27T17:50:15+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T15:59:05+00:00 urn:sha1:1a6f4ba1adc8e5f44d0b4973b6bcdb9b4e08de0f Distinct target variable names exposed a replacement-condition scope lift that source-derived names had masked. Keep those variables under the replacement existential.