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

Age	Commit message (Expand)	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