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

Age	Commit message (Collapse)	Author
3 hours	Migrate to `Felix` namespaceHEAD hotg	adelon

26 hours	Qualify definition migration diagnostics	adelon

26 hours	Close exact definition declaration boundary	adelon

26 hours	Tighten quantified-term scope coverage	adelon

27 hours	Restore quantified terms in proposition contexts	adelon

28 hours	Restore checked relational replacement	adelon

44 hours	Centralize checked set constructions	adelon

45 hours	Complete named construction premise views	adelon

46 hours	Restore exact proof binder and witness forms	adelon

48 hours	Restore fixed equality aliases	adelon

2 days	Fix structure carrier membership lowering	adelon

2 days	Tighten executor and candidate invariants	adelon

2 days	Unify checked candidate planning	adelon

2 days	Plan and admit module declarations prospectively	adelon

2 days	Route declarations through checked envelopes	adelon

3 days	Batch ready declaration obligations	adelon

3 days	Shift contextual binders under exact binders	adelon

3 days	Support contextual exact abbreviations	adelon

3 days	Compile exact structure declarations	adelon

4 days	Support proof-local function graphs	adelon

4 days	Support proof-local set definitions	adelon

4 days	Resolve source application through apply	adelon

4 days	Compile quantified exact noun subjects	adelon

4 days	Lower relation expressions through ordered pairs	adelon

4 days	Rewrite protected set and naturals closure	adelon

4 days	Publish protected foundation facts	adelon
	Exact characteristic claims require canonical connective and bounded-existential lowering. Advance the disposable cache epoch because this broadens accepted exact source.
4 days	Confine final prelude construction	adelon

4 days	Recognize fixed set noun exactly	adelon
	Marker-only recognition admitted unsupported noun headers into persistent typed results. Advance the disposable cache epoch to 10.
4 days	Generalize exact source axioms	adelon

4 days	Prepare exact claim envelopes	adelon

4 days	Lower fixed exact set terms uniformly	adelon

4 days	Share exact primitive vocabulary	adelon

5 days	Lower exact finite-set notation	adelon

5 days	Lower exact replacement telescopes	adelon

5 days	Lower exact separation comprehensions	adelon

5 days	Compile exact source axioms	adelon

5 days	Compile exact ordinary proofs	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