felix.git/source/Checking/Typed/Reflexivity.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 Authorize atomic facts through exact typed imports 2026-07-28T10:47:56+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T10:47:56+00:00 urn:sha1:fc5e25434ab57a1d878313c53de36ada62e63207 Authorize ground reflexivity through kernel replay 2026-07-28T09:58:07+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T09:58:07+00:00 urn:sha1:8e40759f2d21bf816cc8441e9d299d6e2350d0c5 The first typed fact family is deliberately dependency-free. Its rows remain outside the legacy fact registry, so unmigrated declarations cannot consume or reauthorize them.