felix.git/source/Checking/Semantic.hs, branch hotg

felix.git/source/Checking/Semantic.hs, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-03T12:05:35+00:00 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 Persist exact structure descriptors 2026-08-03T07:56:38+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T07:56:38+00:00 urn:sha1:10af8c340f1cf03d64e2b9bc4bf27912719db795 Distinguish semantic global targets 2026-08-01T18:26:07+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-01T18:26:07+00:00 urn:sha1:549b8f0384dca353c669867daa2b03ad0ab302cc Bind exact globals in semantic deltas 2026-08-01T16:10:41+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-01T16:10:41+00:00 urn:sha1:997935cde33eaab558cce79f895024a97f56eb4f Install cached modules atomically 2026-08-01T11:17:57+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-01T11:17:57+00:00 urn:sha1:5d40c16c367cec97c92f8e0eb9dffd5834acf1d3 Validate supplied interfaces before publication 2026-08-01T05:05:44+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-01T05:05:44+00:00 urn:sha1:12daa30398b43c9b1ef4b34223e0782f3bc38c3b Restore precise verification diagnostics 2026-07-31T20:43:16+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-31T20:43:16+00:00 urn:sha1:91cea9ad8e320138ddffdbdcdc94edc789f1c14e Hash fresh semantic interfaces once 2026-07-31T12:26:27+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-31T12:26:27+00:00 urn:sha1:a7c6b74dd7cb29e0b4d557b7927cb0c208742103 Compact walking semantic deltas 2026-07-31T01:15:40+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-31T01:10:33+00:00 urn:sha1:0bb1c6f60bed8d3acd9dadbabb0488c43b048ac7 Reject duplicate interface identity inputs 2026-07-31T01:07:38+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-31T01:07:38+00:00 urn:sha1:714b22c4969914b6bcf88026d0e9b1655aa9684a