felix.git/source/Checking/Identity.hs, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-06T15:54:00+00:00 Migrate to `Felix` namespace 2026-08-06T15:54:00+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-06T15:54:00+00:00 urn:sha1:82328890108bae64b372b8d58620ebc62699de76 Prepare exact inductive declarations 2026-08-02T00:33:14+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T00:33:14+00:00 urn:sha1:d55d2416bc4f6a9aa055a17deae4fba0fe906316 Correct exact semantic resolution 2026-08-01T18:41:05+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-01T18:41:05+00:00 urn:sha1:f7d3e87925d70cd1d3f0a14297fa451dbf079d30 Validate store closures once per invocation 2026-08-01T11:27:25+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-01T11:27:25+00:00 urn:sha1:72a5babb66b3b319e82db6e1007cdd85cf2f5bf4 Reuse checked declaration object closures 2026-07-31T15:55:21+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-31T15:25:02+00:00 urn:sha1:9ac89dc52430c3ff26841b6d9162a1fa2ed66c52 Add builder-confined declaration seam 2026-07-31T13:47:09+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-31T13:39:28+00:00 urn:sha1:dc7a1a3e3e47f3508a3f7e8cb0656027e251e3ab Order foundation manifest by stable tags 2026-07-30T20:08:45+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-30T20:08:45+00:00 urn:sha1:d32fc0054881043aa502ab45cec3f76f9605e161 Separate epoch cache encoding 2026-07-30T18:46:20+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-30T18:46:20+00:00 urn:sha1:d402fd3ba48f715e865970be3512e810044031d6 Validate content-addressed mathematics 2026-07-30T18:42:17+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-30T18:42:17+00:00 urn:sha1:cea0a2ed9e5c4b28def2a2592cd4214ee5bdbb51