felix.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Collapse)	Author
3 hours	Migrate to `Felix` namespaceHEAD hotg	adelon

6 hours	Move to Felix namespace	adelon

6 hours	More ZF dropping	adelon

6 hours	Remove some ZF stuff	adelon

7 hours	Simplify entry/CLI, track slowest ATP tasks	adelon

2 days	Plan and admit module declarations prospectively	adelon

3 days	Run ready typed modules concurrently	adelon

3 days	Preserve authorization reports on HTML failure	adelon

3 days	Publish verified HTML sequentially	adelon

3 days	Remove obsolete verification machinery	adelon

3 days	Cut verification over to the typed driver	adelon

3 days	Report admitted typed source state	adelon

3 days	Acquire the final prelude through the cache	adelon

6 days	Revert "Prioritize HTML source failures"	adelon
	This reverts commit 25a1956841b818f2caa6ea5cfd9b1f9daa0d6443.
6 days	Prioritize HTML source failures	adelon

6 days	Close verification output failures	adelon

6 days	Complete verification output reservations	adelon

6 days	Make source preflight HTML-only	adelon

6 days	Restore precise verification diagnostics	adelon

6 days	Require stores for verification commands	adelon

6 days	Route complete graphs through one checker	adelon

9 days	Authorize atomic facts through exact typed imports	adelon

9 days	Authorize ground reflexivity through kernel replay	adelon
	The first typed fact family is deliberately dependency-free. Its rows remain outside the legacy fact registry, so unmigrated declarations cannot consume or reauthorize them.
9 days	Check admitted modules sequentially	adelon

10 days	Confine HTML export writes	adelon

10 days	Return nonzero exits for verification failures	adelon