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

Age	Commit message (Collapse)	Author
22 hours	Cleanup	adelon

27 hours	Validate speculative admission ordering	adelon

27 hours	Plan and admit module declarations prospectively	adelon

29 hours	Add owned Vampire request handles	adelon

38 hours	Batch ready declaration obligations	adelon

38 hours	Remove unsupported concurrency metrics	adelon

39 hours	Run ready typed modules concurrently	adelon

39 hours	Tighten sequential HTML presentation ownership	adelon

40 hours	Publish verified HTML sequentially	adelon

40 hours	Reuse verified presentation for HTML	adelon

41 hours	Reject the packaged prelude as ordinary source	adelon

41 hours	Cut verification over to the typed driver	adelon

41 hours	Classify typed verification failures	adelon

42 hours	Report admitted typed source state	adelon

43 hours	Render final-prelude diagnostics	adelon

43 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

5 days	Close verification output failures	adelon

5 days	Require stores for verification commands	adelon

5 days	Show verification routes in reports	adelon

5 days	Reset tooling gloss state per module	adelon

5 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

6 days	Build module-local syntax interfaces	adelon

8 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
	The first typed fact family is deliberately dependency-free. Its rows remain outside the legacy fact registry, so unmigrated declarations cannot consume or reauthorize them.
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