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

Age	Commit message (Expand)	Author
9 hours	Restore implicit set construction routing	adelon
10 hours	Restore fixed equality aliases	adelon
15 hours	Unify checked candidate planning	adelon
20 hours	Name prospective lowering explicitly	adelon
20 hours	Validate speculative admission ordering	adelon
21 hours	Plan and admit module declarations prospectively	adelon
21 hours	Route declarations through checked envelopes	adelon
22 hours	Separate declaration semantics from evidence	adelon
31 hours	Prioritize batch integrity failures	adelon
3 days	Recognize fixed set noun exactly	adelon
3 days	Prepare exact claim envelopes	adelon
3 days	Authorize exact datatype families	adelon
3 days	Authorize exact guarded rule sets	adelon
3 days	Lower exact finite-set notation	adelon
3 days	Lower exact replacement telescopes	adelon
3 days	Lower exact separation comprehensions	adelon
3 days	Lower exact omitted proofs	adelon
3 days	Separate ATP premises from kernel imports	adelon
3 days	Confine scoped proof composition	adelon
3 days	Validate exact scoped Vampire obligations	adelon
3 days	Share exact scoped elaboration	adelon
3 days	Remove unused exact binder identities	adelon
3 days	Correct exact semantic resolution	adelon
3 days	Distinguish semantic global targets	adelon
4 days	Authorize exact defining equations	adelon
4 days	Compile exact declarations to checked core	adelon
4 days	Bind exact globals in semantic deltas	adelon
4 days	Keep cached validation corruption fatal	adelon
4 days	Confine typed verification to store authority	adelon
4 days	Install cached modules atomically	adelon
4 days	Fold transitive sealed imports	adelon
4 days	Reuse compiled declaration validation	adelon
4 days	Unify live and cached proof validation	adelon
4 days	Materialize imported object authority	adelon
4 days	Exercise clean warm validation through the store	adelon
4 days	Exercise warm validation through the store	adelon
4 days	Test source-axiom warm validation	adelon
4 days	Materialize sealed semantic imports	adelon
4 days	Share fresh and cached candidate completion	adelon
4 days	Add warm proof validation lookup	adelon
4 days	Add cached declaration authorization	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	Add builder-confined declaration seam	adelon