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

Age	Commit message (Expand)	Author
5 days	Compile exact source axioms	adelon
5 days	Derive exact proof premise selection	adelon
5 days	Separate ATP premises from kernel imports	adelon
5 days	Confine scoped proof composition	adelon
5 days	Locate exact proof obligation failures	adelon
5 days	Verify exact proof validation reuse	adelon
5 days	Compile exact ordinary proofs	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	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	Validate parsed payload bytes directly	adelon
5 days	Simplify cached occurrence validation	adelon
5 days	Fix module-major parse failure order	adelon
5 days	Count cached source chunks	adelon
5 days	Generalize identified parsed module naming	adelon
5 days	Cover parsed artifact invalidation	adelon
5 days	Reuse exact parsed module artifacts	adelon
5 days	Parse source graphs module by module	adelon
5 days	Activate exact parsed artifact rows	adelon
5 days	Retain source markers in parsed occurrences	adelon
5 days	Fail on incomplete sealed evidence	adelon
5 days	Keep cached validation corruption fatal	adelon
5 days	Confine typed verification to store authority	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	Test prefix survival after failed readiness	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 cached import integrity failures	adelon
6 days	Test shared store closure memoization	adelon
6 days	Test malformed typed store rows	adelon
6 days	Test exact cached candidate fields	adelon
6 days	Test immutable validation replacements	adelon
6 days	Test source-axiom warm validation	adelon
6 days	Reuse validated typed module artifacts	adelon
6 days	Carry sealed evidence through typed modules	adelon
6 days	Materialize sealed semantic imports	adelon
6 days	Test successful prefix publication	adelon