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

Age	Commit message (Expand)	Author
16 hours	Cleanup	adelon
20 hours	Validate speculative admission ordering	adelon
21 hours	Plan and admit module declarations prospectively	adelon
22 hours	Add owned Vampire request handles	adelon
31 hours	Batch ready declaration obligations	adelon
31 hours	Remove unsupported concurrency metrics	adelon
32 hours	Run ready typed modules concurrently	adelon
33 hours	Tighten sequential HTML presentation ownership	adelon
33 hours	Publish verified HTML sequentially	adelon
33 hours	Reuse verified presentation for HTML	adelon
34 hours	Reject the packaged prelude as ordinary source	adelon
35 hours	Cut verification over to the typed driver	adelon
35 hours	Classify typed verification failures	adelon
35 hours	Report admitted typed source state	adelon
36 hours	Render final-prelude diagnostics	adelon
36 hours	Acquire the final prelude through the cache	adelon
3 days	Activate packaged prelude for protected roots	adelon
4 days	Generalize identified parsed module naming	adelon
4 days	Reuse exact parsed module artifacts	adelon
4 days	Keep cached validation corruption fatal	adelon
4 days	Confine typed verification to store authority	adelon
4 days	Validate store closures once per invocation	adelon
4 days	Install cached modules atomically	adelon
4 days	Fold transitive sealed imports	adelon
4 days	Unify live and cached proof validation	adelon
4 days	Materialize imported object authority	adelon
4 days	Reuse validated typed module artifacts	adelon
4 days	Thread warm validation through typed modules	adelon
4 days	Memoize validated store closures	adelon
4 days	Publish typed modules through the store	adelon
4 days	Close verification output failures	adelon
4 days	Require stores for verification commands	adelon
4 days	Show verification routes in reports	adelon
4 days	Reset tooling gloss state per module	adelon
4 days	Preserve typed module failure prefixes	adelon
5 days	Keep verification report rendering stable	adelon
5 days	Make bootstrap readiness explicit	adelon
5 days	Route complete graphs through one checker	adelon
5 days	Reset gloss state at module boundaries	adelon
5 days	Identify complete fresh parsed modules	adelon
5 days	Build module-local syntax interfaces	adelon
7 days	Bound deterministic Horn reconstruction	adelon
8 days	Measure sequential verification work	adelon
8 days	Authorize exact typed Vampire requests	adelon
8 days	Authorize atomic facts through exact typed imports	adelon
8 days	Authorize ground reflexivity through kernel replay	adelon
8 days	Assign nominal identities to predicate signatures	adelon
8 days	Check admitted modules sequentially	adelon
8 days	Prepare complete legacy obligation batches	adelon
8 days	Publish complete HTML bundles	adelon