felix.git/source/Test/Unit/Store.hs, branch hotgUnnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg2026-08-03T21:10:26+00:00Run ready typed modules concurrently2026-08-03T21:10:26+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T21:10:26+00:00urn:sha1:2e8b21405f16d877ae368d24a4d820285bdcd965Lower exact omitted proofs2026-08-01T21:18:50+00:00adelon22380201+adelon@users.noreply.github.com2026-08-01T21:18:50+00:00urn:sha1:804b5ee08fdbf81a33e9e23ef15598a8dadc37adActivate exact parsed artifact rows2026-08-01T13:20:41+00:00adelon22380201+adelon@users.noreply.github.com2026-08-01T13:20:41+00:00urn:sha1:4916d038951ba75bec43d72e9b1e746211616854Confine typed verification to store authority2026-08-01T11:41:15+00:00adelon22380201+adelon@users.noreply.github.com2026-08-01T11:41:15+00:00urn:sha1:203487cdae178cab062326d592aac1359e839298Validate store closures once per invocation2026-08-01T11:27:25+00:00adelon22380201+adelon@users.noreply.github.com2026-08-01T11:27:25+00:00urn:sha1:72a5babb66b3b319e82db6e1007cdd85cf2f5bf4Install cached modules atomically2026-08-01T11:17:57+00:00adelon22380201+adelon@users.noreply.github.com2026-08-01T11:17:57+00:00urn:sha1:5d40c16c367cec97c92f8e0eb9dffd5834acf1d3Fold transitive sealed imports2026-08-01T11:01:18+00:00adelon22380201+adelon@users.noreply.github.com2026-08-01T11:01:18+00:00urn:sha1:eb1366d6276ebd2bc7f51e5a7cfdcab69746bde4Unify live and cached proof validation2026-08-01T10:38:56+00:00adelon22380201+adelon@users.noreply.github.com2026-08-01T10:38:56+00:00urn:sha1:90bc966cd5025b7373d97f4370352952e9efc151Test prefix survival after failed readiness2026-08-01T04:57:25+00:00adelon22380201+adelon@users.noreply.github.com2026-08-01T04:57:25+00:00urn:sha1:8646b0085565717ce6c3acc470a9cb9c386ee9c4Materialize imported object authority2026-08-01T04:49:55+00:00adelon22380201+adelon@users.noreply.github.com2026-08-01T04:49:55+00:00urn:sha1:31efe79d4f99d7e63bbd3ebe264e341dce8e35ad