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

felix.git/source/Test/Unit/Declaration.hs, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-03T22:35:27+00:00 Prioritize batch integrity failures 2026-08-03T22:35:27+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T22:35:27+00:00 urn:sha1:32cffbdbfecd60259068ce686444f0aa737afdeb Recognize fixed set noun exactly 2026-08-02T11:11:46+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T11:11:46+00:00 urn:sha1:8897e371b458275616b9f34e33a66ce220b0f8df Marker-only recognition admitted unsupported noun headers into persistent typed results. Advance the disposable cache epoch to 10. Prepare exact claim envelopes 2026-08-02T10:27:49+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T10:27:49+00:00 urn:sha1:e827efe3db5d62fab5fc6dc9c3d15b8488af6b09 Authorize exact datatype families 2026-08-02T08:21:20+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T08:21:20+00:00 urn:sha1:357b0d5482a4d6817a4840d2ecdc0cce2b9c0474 Authorize exact guarded rule sets 2026-08-02T07:39:50+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T07:39:50+00:00 urn:sha1:bb84c7baa15d11d2d63721b1f975aac94dc0f211 Lower exact finite-set notation 2026-08-01T23:51:24+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-01T23:51:24+00:00 urn:sha1:fdbcc796be2b9f99da7133702f96687172d35eaa Lower exact replacement telescopes 2026-08-01T23:11:47+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-01T23:11:47+00:00 urn:sha1:98c795643938a7573d949b710c20454aed6936bb Lower exact separation comprehensions 2026-08-01T22:05:34+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-01T22:05:34+00:00 urn:sha1:d21a46538a964a1a928056d1cbdc86c773c47c0a Lower exact omitted proofs 2026-08-01T21:18:50+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-01T21:18:50+00:00 urn:sha1:804b5ee08fdbf81a33e9e23ef15598a8dadc37ad Separate ATP premises from kernel imports 2026-08-01T21:01:31+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-01T21:01:31+00:00 urn:sha1:ebde0a452d762c797b37f21ef25fd3ccba664fbf