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

Age	Commit message (Collapse)	Author
4 days	Exercise warm validation through the store	adelon

4 days	Test cached import integrity failures	adelon

4 days	Test shared store closure memoization	adelon

4 days	Test malformed typed store rows	adelon

4 days	Test exact cached candidate fields	adelon

4 days	Test immutable validation replacements	adelon

4 days	Test source-axiom warm validation	adelon

4 days	Reuse validated typed module artifacts	adelon

4 days	Carry sealed evidence through typed modules	adelon

4 days	Materialize sealed semantic imports	adelon

4 days	Test successful prefix publication	adelon

4 days	Share fresh and cached candidate completion	adelon

4 days	Thread warm validation through typed modules	adelon

4 days	Add warm proof validation lookup	adelon

4 days	Memoize validated store closures	adelon

4 days	Publish typed modules through the store	adelon

4 days	Add cached declaration authorization	adelon

4 days	Add typed store row transactions	adelon

4 days	Revert "Prioritize HTML source failures"	adelon
	This reverts commit 25a1956841b818f2caa6ea5cfd9b1f9daa0d6443.
5 days	Centralize rollback journal path	adelon

5 days	Simplify nested HTML collision discovery	adelon

5 days	Render checking markers directly	adelon

5 days	Prioritize HTML source failures	adelon

5 days	Use fresh proof dump directories	adelon

5 days	Close verification output failures	adelon

5 days	Complete verification output reservations	adelon

5 days	Make source preflight HTML-only	adelon

5 days	Restore precise verification diagnostics	adelon

5 days	Require stores for verification commands	adelon

5 days	Preflight verification output namespaces	adelon

5 days	Own selected store lifetimes	adelon

5 days	Add disposable SQLite store substrate	adelon

5 days	Show verification routes in reports	adelon

5 days	Reject declarations in bootstrap input	adelon

5 days	Reset tooling gloss state per module	adelon

5 days	Preserve typed module failure prefixes	adelon

5 days	Coalesce equal direct syntax inputs	adelon

5 days	Validate fresh module inputs before parsing	adelon

5 days	Keep verification report rendering stable	adelon

5 days	Make bootstrap readiness explicit	adelon

5 days	Route complete graphs through one checker	adelon

5 days	Construct the empty prelude session	adelon

5 days	Separate fresh parsed values from source bindings	adelon

5 days	Reset gloss state at module boundaries	adelon

5 days	Identify complete fresh parsed modules	adelon

5 days	Reuse checked declaration object closures	adelon

5 days	Aggregate typed Vampire obligations	adelon

5 days	Make typed declaration failures terminal	adelon

5 days	Bind prepared request identity to execution mode	adelon

5 days	Keep datatype compilation authority inert	adelon