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

Age	Commit message (Collapse)	Author
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	Generalize identified parsed module naming	adelon

5 days	Fail on incomplete sealed evidence	adelon

5 days	Keep cached validation corruption fatal	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	Materialize imported object authority	adelon

6 days	Carry sealed evidence through typed modules	adelon

6 days	Materialize sealed semantic imports	adelon

6 days	Share fresh and cached candidate completion	adelon

6 days	Thread warm validation through typed modules	adelon

6 days	Add warm proof validation lookup	adelon

6 days	Add cached declaration authorization	adelon

6 days	Restore precise verification diagnostics	adelon

6 days	Preserve typed module failure prefixes	adelon

6 days	Coalesce equal direct syntax inputs	adelon

6 days	Make bootstrap readiness explicit	adelon

6 days	Construct the empty prelude session	adelon

6 days	Reuse checked declaration object closures	adelon

6 days	Aggregate typed Vampire obligations	adelon

6 days	Make typed declaration failures terminal	adelon

6 days	Bind prepared request identity to execution mode	adelon

6 days	Keep datatype compilation authority inert	adelon

6 days	Validate kernel construction descriptors	adelon

6 days	Authorize exact datatype compilation batches	adelon

6 days	Bind Vampire completion to prepared request	adelon

6 days	Add builder-confined declaration seam	adelon

6 days	Hash fresh semantic interfaces once	adelon

6 days	Clarify fact safety accumulation	adelon

6 days	Remove inert candidate staging	adelon

7 days	Compact walking semantic deltas	adelon

7 days	Reject duplicate interface identity inputs	adelon

7 days	Keep validation records inert	adelon

7 days	Reference canonical semantic content	adelon

7 days	Validate module artifact roots	adelon

7 days	Validate fact materialization authority	adelon

7 days	Define semantic interface identities	adelon

7 days	Define compact fact authority	adelon

7 days	Order foundation manifest by stable tags	adelon

7 days	Separate epoch cache encoding	adelon