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

Age	Commit message (Collapse)	Author
8 hours	Restore exact proof binder and witness formsHEAD hotg	adelon

9 hours	Restore implicit set construction routing	adelon

10 hours	Restore fixed equality aliases	adelon

12 hours	Fix structure carrier membership lowering	adelon

15 hours	Tighten executor and candidate invariants	adelon

15 hours	Bind Vampire completions to requests	adelon

15 hours	Unify checked candidate planning	adelon

15 hours	Make Vampire resolution modes explicit	adelon

16 hours	Cleanup	adelon

17 hours	Use two-worker Vampire portfolios by default	adelon

20 hours	Name prospective lowering explicitly	adelon

20 hours	Validate speculative admission ordering	adelon

21 hours	Plan and admit module declarations prospectively	adelon

21 hours	Route declarations through checked envelopes	adelon

22 hours	Separate declaration semantics from evidence	adelon

22 hours	Add owned Vampire request handles	adelon

30 hours	Name cleanup	adelon

31 hours	Remove Phase 0 migration residue	adelon

31 hours	Prioritize batch integrity failures	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	Preserve authorization reports on HTML failure	adelon

33 hours	Tighten sequential HTML presentation ownership	adelon

33 hours	Share HTML target and route analysis	adelon

33 hours	Cover the shared HTML presentation index	adelon

33 hours	Publish verified HTML sequentially	adelon

33 hours	Reuse verified presentation for HTML	adelon

34 hours	Remove the residual legacy task model	adelon

34 hours	Read the packaged prelude by canonical path	adelon

34 hours	Keep production corpus checks out of unit tests	adelon

34 hours	Remove the legacy prover request path	adelon

34 hours	Reject the packaged prelude as ordinary source	adelon

34 hours	Remove obsolete verification machinery	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	Bound cached semantic inventory validation	adelon

36 hours	Render final-prelude diagnostics	adelon

36 hours	Acquire the final prelude through the cache	adelon

37 hours	Activate the typed aggregate library	adelon

38 hours	Activate exact topology consumers	adelon

39 hours	Activate exact topological spaces	adelon

40 hours	Migrate preclosure spaces	adelon

40 hours	Migrate meet semilattices	adelon

41 hours	Shift contextual binders under exact binders	adelon

41 hours	Migrate loops to exact checking	adelon

41 hours	Migrate quasigroups to exact checking	adelon

41 hours	Migrate monoids to exact checking	adelon

41 hours	Migrate semigroups to exact checking	adelon