felix.git/test, branch hotg

felix.git/test, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-04T08:57:42+00:00 Validate speculative admission ordering 2026-08-04T08:57:42+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T08:57:42+00:00 urn:sha1:2139788b81b1d521c11515129a50f3818c48138c Batch ready declaration obligations 2026-08-03T22:13:53+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T22:13:53+00:00 urn:sha1:a406a6423201d09477072829fe11c54a5f5c7652 Run ready typed modules concurrently 2026-08-03T21:10:26+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T21:10:26+00:00 urn:sha1:2e8b21405f16d877ae368d24a4d820285bdcd965 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 Cut verification over to the typed driver 2026-08-03T18:46:33+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T18:46:33+00:00 urn:sha1:d4667c50132fc5c55383ee3b8907705738608bff 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 Shift contextual binders under exact binders 2026-08-03T12:45:30+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T12:45:30+00:00 urn:sha1:f782224783684216d98151772cb3833f4eb4122f Support contextual exact abbreviations 2026-08-03T12:05:35+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T12:05:35+00:00 urn:sha1:9591cdf9ebaa5a0bd261a3586f161c4139ab7593 Compile exact structure declarations 2026-08-03T08:25:05+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T08:25:05+00:00 urn:sha1:8bd79694585c510346c40df0e8b8196d6f03d529 Support proof-local function graphs 2026-08-03T06:55:22+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T06:55:22+00:00 urn:sha1:ddeadab07f76514057f9be7a201cfb97fdfee688