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
15 hours	Unify checked candidate planning	adelon
15 hours	Make Vampire resolution modes explicit	adelon
16 hours	Cleanup	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
22 hours	Add owned Vampire request handles	adelon
31 hours	Prioritize batch integrity failures	adelon
31 hours	Batch ready declaration obligations	adelon
41 hours	Support contextual exact abbreviations	adelon
45 hours	Compile exact structure declarations	adelon
45 hours	Persist exact structure descriptors	adelon
46 hours	Support proof-local function graphs	adelon
2 days	Confine indirect Vampire discharge	adelon
2 days	Support terminal exact contradiction	adelon
3 days	Strengthen exact datatype trust boundary	adelon
3 days	Authorize exact datatype families	adelon
3 days	Authorize exact guarded rule sets	adelon
3 days	Prepare exact inductive declarations	adelon
3 days	Compile exact separation declarations	adelon
3 days	Rename shared proof validation error	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	Locate exact proof obligation failures	adelon
3 days	Compile exact ordinary proofs	adelon
3 days	Validate exact scoped Vampire obligations	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	Fail on incomplete sealed evidence	adelon
4 days	Keep cached validation corruption fatal	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	Validate imported evidence content	adelon
4 days	Materialize imported object authority	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
4 days	Restore precise verification diagnostics	adelon
4 days	Preserve typed module failure prefixes	adelon
5 days	Reuse checked declaration object closures	adelon