felix.git/test/golden/calc, 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 Report admitted typed source state 2026-08-03T17:53:34+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T17:53:34+00:00 urn:sha1:e646a010305a0db70048bb7f11682d58da5b675e Show verification routes in reports 2026-07-31T18:16:03+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-31T18:16:03+00:00 urn:sha1:7661817c1b9bffcc09010d67077396e51030bbc0 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. 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 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 Remove source annotations from TPTP tasks 2026-07-27T16:19:29+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T02:42:09+00:00 urn:sha1:904ca07b7a89e3a91420876ef08e7113aae906e4 Handle bounded calculations 2026-04-12T20:03:56+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-04-12T20:03:56+00:00 urn:sha1:78379138430db3ae0575be8148b2646e8685f834