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

Age	Commit message (Expand)	Author
3 hours	Migrate to `Felix` namespaceHEAD hotg	adelon
45 hours	Complete named construction premise views	adelon
2 days	Cleanup	adelon
2 days	Name prospective lowering explicitly	adelon
2 days	Plan and admit module declarations prospectively	adelon
2 days	Route declarations through checked envelopes	adelon
3 days	Reject the packaged prelude as ordinary source	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
3 days	Compile exact structure declarations	adelon
4 days	Activate packaged prelude for protected roots	adelon
4 days	Publish packaged final prelude atomically	adelon
4 days	Compile exact datatype declarations	adelon
5 days	Compile exact inductive declarations	adelon
5 days	Compile exact source axioms	adelon
5 days	Locate exact proof obligation failures	adelon
5 days	Compile exact ordinary proofs	adelon
5 days	Remove unused exact binder identities	adelon
5 days	Check exact declarations in typed modules	adelon
5 days	Generalize identified parsed module naming	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	Materialize imported object authority	adelon
6 days	Carry sealed evidence through typed modules	adelon
6 days	Thread warm validation through typed modules	adelon
6 days	Restore precise verification diagnostics	adelon
6 days	Coalesce equal direct syntax inputs	adelon
6 days	Make bootstrap readiness explicit	adelon
6 days	Construct the empty prelude session	adelon