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

felix.git/source/Test/Unit/Checking.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:00:28+00:00 Remove obsolete verification machinery 2026-08-03T19:00:28+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T19:00:28+00:00 urn:sha1:5cdde1fd0f976863ae4b5831ab389048138b06a4 Render checking markers directly 2026-07-31T22:52:48+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-31T22:52:48+00:00 urn:sha1:44a4f3b78f3d21fd6c61a5c01a0026d75b913519 Prepare complete legacy obligation batches 2026-07-28T07:11:43+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T07:11:43+00:00 urn:sha1:6471bf3a71f3dce6a4c1a8f12f8f47548d1d3d6d Reject unresolved structure operations before encoding 2026-07-28T00:41:57+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T00:41:57+00:00 urn:sha1:e3c3aa2807abeb91ed12668b3fabfc7cbd7dbc0c Return typed errors for malformed proof shapes 2026-07-27T20:49:16+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T20:30:44+00:00 urn:sha1:48fc5025e4259896eb97b72ffec22aa6c8584ce2 Make inductive declarations transactional 2026-07-27T20:12:57+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T19:44:40+00:00 urn:sha1:f2b58d19cd40c831e7fa7bfcec10c9f219f082e0 Validate canonical datatype recursion 2026-07-27T17:50:15+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T17:37:44+00:00 urn:sha1:36c1bfc003168dbcec9832b411b3e9f993fc0657 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. Validate relation parameter arity 2026-07-27T16:19:29+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T15:32:47+00:00 urn:sha1:3b573d94d4c5e82802745daa7c7d679727155e7d Make structure registration transactional 2026-07-27T16:19:29+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T14:23:12+00:00 urn:sha1:4a65f1430fdf3e8d75c36b5d74e07deb07b17f9e