felix.git/test/phase5/exact-proofs.tex, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-02T11:11:46+00:00 Recognize fixed set noun exactly 2026-08-02T11:11:46+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T11:11:46+00:00 urn:sha1:8897e371b458275616b9f34e33a66ce220b0f8df Marker-only recognition admitted unsupported noun headers into persistent typed results. Advance the disposable cache epoch to 10. Open exact claim envelopes in proofs 2026-08-02T10:30:56+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T10:30:56+00:00 urn:sha1:a3ceb71f9194fecdb5a1b002695427028ec1f32b Compile exact ordinary proofs 2026-08-01T20:22:20+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-01T20:22:20+00:00 urn:sha1:ed4fef55d7a9872ef54d6b2ebae1efd89922f62c