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

Age	Commit message (Collapse)	Author
5 days	Generalize identified parsed module naming	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	Restore precise verification diagnostics	adelon

6 days	Require stores for verification commands	adelon

6 days	Reject declarations in bootstrap input	adelon

6 days	Reset tooling gloss state per module	adelon

6 days	Preserve typed module failure prefixes	adelon

6 days	Coalesce equal direct syntax inputs	adelon

6 days	Make bootstrap readiness explicit	adelon

6 days	Route complete graphs through one checker	adelon

6 days	Construct the empty prelude session	adelon