felix.git/test/phase3, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-03T18:46:33+00:00 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 Rewrite protected set and naturals closure 2026-08-02T16:42:54+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T16:42:54+00:00 urn:sha1:5f64079c4ec671de04971f38907805e9de514537 Generalize exact source axioms 2026-08-02T10:38:39+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T10:33:47+00:00 urn:sha1:8c32f6fcabb57e758ce44ae88fbb0b94cfdd5ecc Reset tooling gloss state per module 2026-07-31T18:11:40+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-31T18:11:40+00:00 urn:sha1:f4da0492d5578d0913c2f9904fdd275ef6e8fa39 Coalesce equal direct syntax inputs 2026-07-31T18:07:39+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-31T18:07:39+00:00 urn:sha1:aa9e96ad905258dc8d73e54ca6705385d7275dbc Route complete graphs through one checker 2026-07-31T16:44:49+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-31T16:44:49+00:00 urn:sha1:b7d4708624266ffbe9a433a04ec37c513e4556b1