felix.git/source/Checking, branch hotg

felix.git/source/Checking, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-04T14:40:03+00:00 Tighten executor and candidate invariants 2026-08-04T14:40:03+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T14:40:03+00:00 urn:sha1:d3b5b00425721d845f812bf0c9189001c73c2eee Unify checked candidate planning 2026-08-04T14:18:25+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T14:18:25+00:00 urn:sha1:3b786de9bbf586f1cfb4b04b6eed1577883a3a8b Make Vampire resolution modes explicit 2026-08-04T14:12:47+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T14:12:47+00:00 urn:sha1:cbe97528869a1853af13447a5f75d357877509d6 Cleanup 2026-08-04T13:28:19+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T13:28:19+00:00 urn:sha1:959d4172cc1a8d264d0a870a8a93482b283bb264 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 Separate declaration semantics from evidence 2026-08-04T07:37:41+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T07:37:41+00:00 urn:sha1:02231361a87bc7837adf420983aad20e63b2e541 Add owned Vampire request handles 2026-08-04T07:18:22+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T07:18:22+00:00 urn:sha1:dfec6f973615dc73240e50446e7d2c63d4241255