felix.git/source/Checking/Legacy.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 Check admitted modules sequentially 2026-07-28T08:43:05+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T08:43:05+00:00 urn:sha1:60b4b379d4532c5a688f2dbf1e05736c636059c5 Seal legacy semantic modules 2026-07-28T08:01:22+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T08:01:22+00:00 urn:sha1:c49cd3e06360de67ec7e2a01d063124e63210b45 Authorize legacy declaration batches 2026-07-28T07:51:21+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T07:51:21+00:00 urn:sha1:c195e3c6d142192ae258bcd2a6cde4b578100bff Stage legacy module facts 2026-07-28T07:23:58+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T07:23:58+00:00 urn:sha1:eab3edf8f3d0a0da7f1a1f741dfaf1a46a28c995 Reservations do not change the visible stage; only a complete authorized declaration batch can append its rows. Define legacy admission vocabulary 2026-07-28T06:59:50+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T06:59:50+00:00 urn:sha1:c6d8f262c9d488ea778c724b9b96a2d392f21915