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

Age	Commit message (Collapse)	Author
4 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