felix.git/source/Checking/FinalPrelude.hs, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-04T14:18:25+00:00 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 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 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 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 Acquire the final prelude through the cache 2026-08-03T17:05:13+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T17:05:13+00:00 urn:sha1:456eea158c74ea18e773675cd4b076302bc96477 Install base structure metadata in final prelude 2026-08-03T08:00:53+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T08:00:53+00:00 urn:sha1:946d7a8e0be24c741255d3a5b961a3e86de89078 Align successor with canonical set insertion 2026-08-02T20:02:39+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T20:02:39+00:00 urn:sha1:e378c4000965613bf2399634ee76a7c25d73c980 Exact definitions remain named globals, so suc spells the canonical construction directly to coalesce with the packaged successor. Narrow final prelude validation 2026-08-02T13:37:01+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T13:37:01+00:00 urn:sha1:b72f1fbe2d5e4c9c79644d750ffe128d41c61998 Retain exact omitted-proof locations 2026-08-02T13:21:38+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T13:21:38+00:00 urn:sha1:689941b76cfbcf1b6ca5226b519f1a2fad1b26d9