felix.git/data/felix-prelude.tex, branch hotgUnnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg2026-08-02T20:02:39+00:00Align successor with canonical set insertion2026-08-02T20:02:39+00:00adelon22380201+adelon@users.noreply.github.com2026-08-02T20:02:39+00:00urn:sha1:e378c4000965613bf2399634ee76a7c25d73c980
Exact definitions remain named globals, so suc spells the canonical construction directly to coalesce with the packaged successor.
Publish checked powerset foundation fact2026-08-02T18:52:21+00:00adelon22380201+adelon@users.noreply.github.com2026-08-02T18:52:21+00:00urn:sha1:5f5cbd033dffda4e2877a6c574345d728d4bb76cSeparate ordered tuples from PairSet2026-08-02T18:51:00+00:00adelon22380201+adelon@users.noreply.github.com2026-08-02T18:51:00+00:00urn:sha1:63451bdca1f078eef1069cba9bba1b278fc31cdePublish protected foundation facts2026-08-02T14:08:32+00:00adelon22380201+adelon@users.noreply.github.com2026-08-02T14:08:32+00:00urn:sha1:5fb46bebb1974ac75713efdc822904fb7c97636e
Exact characteristic claims require canonical connective and bounded-existential lowering. Advance the disposable cache epoch because this broadens accepted exact source.
Validate final prelude roles2026-08-02T12:24:52+00:00adelon22380201+adelon@users.noreply.github.com2026-08-02T12:24:52+00:00urn:sha1:046d1e4dd8aaa3768e4abc847a754b342a88f7a4Confine final prelude construction2026-08-02T12:07:17+00:00adelon22380201+adelon@users.noreply.github.com2026-08-02T12:07:17+00:00urn:sha1:ab640537de554787eb1eb9fc44b894c7f7a6b08dParse packaged final prelude source2026-08-02T11:40:39+00:00adelon22380201+adelon@users.noreply.github.com2026-08-02T11:40:39+00:00urn:sha1:7bc65eee7c063a67d199a5a0eb735a3ecc78a94fFreeze content-addressed migration inventory2026-07-30T18:07:17+00:00adelon22380201+adelon@users.noreply.github.com2026-07-30T18:06:19+00:00urn:sha1:68fb0afbec704cd4b779cdbcffed71afd8572535