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

3 days	Run ready typed modules concurrently	adelon

5 days	Lower exact omitted proofs	adelon

5 days	Activate exact parsed artifact rows	adelon

5 days	Confine typed verification to store authority	adelon

5 days	Validate store closures once per invocation	adelon

5 days	Install cached modules atomically	adelon

5 days	Fold transitive sealed imports	adelon

5 days	Unify live and cached proof validation	adelon

6 days	Test prefix survival after failed readiness	adelon

6 days	Materialize imported object authority	adelon

6 days	Test cached import integrity failures	adelon

6 days	Test shared store closure memoization	adelon

6 days	Test malformed typed store rows	adelon

6 days	Test immutable validation replacements	adelon

6 days	Reuse validated typed module artifacts	adelon

6 days	Test successful prefix publication	adelon

6 days	Memoize validated store closures	adelon

6 days	Add typed store row transactions	adelon

6 days	Own selected store lifetimes	adelon

6 days	Add disposable SQLite store substrate	adelon