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

Age	Commit message (Expand)	Author
5 days	Correct exact semantic resolution	adelon
5 days	Distinguish semantic global targets	adelon
5 days	Check exact declarations in typed modules	adelon
5 days	Authorize exact defining equations	adelon
5 days	Compile exact declarations to checked core	adelon
5 days	Bind exact globals in semantic deltas	adelon
5 days	Generalize identified parsed module naming	adelon
5 days	Fail on incomplete sealed evidence	adelon
5 days	Keep cached validation corruption fatal	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	Validate imported evidence content	adelon
6 days	Validate supplied interfaces before publication	adelon
6 days	Materialize imported object authority	adelon
6 days	Carry sealed evidence through typed modules	adelon
6 days	Materialize sealed semantic imports	adelon
6 days	Share fresh and cached candidate completion	adelon
6 days	Thread warm validation through typed modules	adelon
6 days	Add warm proof validation lookup	adelon
6 days	Add cached declaration authorization	adelon
6 days	Restore precise verification diagnostics	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	Construct the empty prelude session	adelon
6 days	Reuse checked declaration object closures	adelon
6 days	Aggregate typed Vampire obligations	adelon
6 days	Make typed declaration failures terminal	adelon
6 days	Bind prepared request identity to execution mode	adelon
6 days	Keep datatype compilation authority inert	adelon
6 days	Validate kernel construction descriptors	adelon
6 days	Authorize exact datatype compilation batches	adelon
6 days	Bind Vampire completion to prepared request	adelon
6 days	Add builder-confined declaration seam	adelon
6 days	Hash fresh semantic interfaces once	adelon
6 days	Clarify fact safety accumulation	adelon
6 days	Remove inert candidate staging	adelon
7 days	Compact walking semantic deltas	adelon
7 days	Reject duplicate interface identity inputs	adelon
7 days	Keep validation records inert	adelon
7 days	Reference canonical semantic content	adelon
7 days	Validate module artifact roots	adelon
7 days	Validate fact materialization authority	adelon
7 days	Define semantic interface identities	adelon
7 days	Define compact fact authority	adelon
7 days	Order foundation manifest by stable tags	adelon
7 days	Separate epoch cache encoding	adelon