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

Age	Commit message (Collapse)	Author
3 hours	Migrate to `Felix` namespaceHEAD hotg	adelon

6 hours	Move to Felix namespace	adelon

7 hours	Simplify entry/CLI, track slowest ATP tasks	adelon

23 hours	Make finite-set literals intrinsic	adelon

26 hours	Tighten quantified-term scope coverage	adelon

27 hours	Restore quantified terms in proposition contexts	adelon

27 hours	Pin relational extensional schema	adelon

28 hours	Test relational replacement transactions	adelon

45 hours	Complete named construction premise views	adelon

47 hours	Restore implicit set construction routing	adelon

48 hours	Restore fixed equality aliases	adelon

2 days	Unify checked candidate planning	adelon

2 days	Name prospective lowering explicitly	adelon

2 days	Validate speculative admission ordering	adelon

2 days	Plan and admit module declarations prospectively	adelon

2 days	Route declarations through checked envelopes	adelon

2 days	Separate declaration semantics from evidence	adelon

3 days	Prioritize batch integrity failures	adelon

4 days	Recognize fixed set noun exactly	adelon
	Marker-only recognition admitted unsupported noun headers into persistent typed results. Advance the disposable cache epoch to 10.
4 days	Prepare exact claim envelopes	adelon

4 days	Authorize exact datatype families	adelon

4 days	Authorize exact guarded rule sets	adelon

5 days	Lower exact finite-set notation	adelon

5 days	Lower exact replacement telescopes	adelon

5 days	Lower exact separation comprehensions	adelon

5 days	Lower exact omitted proofs	adelon

5 days	Separate ATP premises from kernel imports	adelon

5 days	Confine scoped proof composition	adelon

5 days	Validate exact scoped Vampire obligations	adelon

5 days	Share exact scoped elaboration	adelon

5 days	Remove unused exact binder identities	adelon

5 days	Correct exact semantic resolution	adelon

5 days	Distinguish semantic global targets	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	Keep cached validation corruption fatal	adelon

5 days	Confine typed verification to store authority	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	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 source-axiom warm validation	adelon

6 days	Materialize sealed semantic imports	adelon

6 days	Share fresh and cached candidate completion	adelon

6 days	Add warm proof validation lookup	adelon

6 days	Add cached declaration authorization	adelon