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

felix.git/source/Test/Unit/Module.hs, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-04T21:09:52+00:00 Restore exact proof binder and witness forms 2026-08-04T21:09:52+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T21:09:52+00:00 urn:sha1:4cadc32949cea9d8eddc88ab6f875690014c674f Restore implicit set construction routing 2026-08-04T20:14:44+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T20:14:44+00:00 urn:sha1:97032ee3decc7bed2f2c9e8c32dff99676b658f2 Fix structure carrier membership lowering 2026-08-04T16:57:02+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T16:57:02+00:00 urn:sha1:138fe08eeb9a7df74d9fde69f8f37fab4c0409fe Name prospective lowering explicitly 2026-08-04T09:13:49+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T09:13:49+00:00 urn:sha1:a2a32439c30fb02c33d20ea4a71634d842a3c103 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 Plan and admit module declarations prospectively 2026-08-04T08:47:33+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T08:47:33+00:00 urn:sha1:a89562150ca30d9ad53440f6bce8d6ef166d1842 Route declarations through checked envelopes 2026-08-04T08:07:42+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T08:07:42+00:00 urn:sha1:377e046a6bd04a1c9caa300bd468b9cfe1f97867 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 Remove unsupported concurrency metrics 2026-08-03T21:54:12+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T21:51:39+00:00 urn:sha1:833e36253767294a6bc68476aa0cc8a53bfb61b9 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