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

Age	Commit message (Expand)	Author
5 days	Cover parsed artifact invalidation	adelon
5 days	Reuse exact parsed module artifacts	adelon
5 days	Activate exact parsed artifact rows	adelon
5 days	Retain source markers in parsed occurrences	adelon
5 days	Keep cached validation corruption fatal	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	Reuse compiled declaration validation	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	Exercise clean warm validation through the store	adelon
6 days	Exercise warm validation through the store	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 exact cached candidate fields	adelon
6 days	Test immutable validation replacements	adelon
6 days	Test source-axiom warm validation	adelon
6 days	Reuse validated typed module artifacts	adelon
6 days	Materialize sealed semantic imports	adelon
6 days	Test successful prefix publication	adelon
6 days	Share fresh and cached candidate completion	adelon
6 days	Add warm proof validation lookup	adelon
6 days	Memoize validated store closures	adelon
6 days	Add cached declaration authorization	adelon
6 days	Add typed store row transactions	adelon
6 days	Revert "Prioritize HTML source failures"	adelon
6 days	Render checking markers directly	adelon
6 days	Prioritize HTML source failures	adelon
6 days	Close verification output failures	adelon
6 days	Complete verification output reservations	adelon
6 days	Make source preflight HTML-only	adelon
6 days	Restore precise verification diagnostics	adelon
6 days	Require stores for verification commands	adelon
6 days	Preflight verification output namespaces	adelon
6 days	Own selected store lifetimes	adelon
6 days	Add disposable SQLite store substrate	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
6 days	Identify complete fresh parsed modules	adelon
6 days	Reuse checked declaration object closures	adelon
6 days	Aggregate typed Vampire obligations	adelon