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

Age	Commit message (Collapse)	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