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

23 hours	Make finite-set literals intrinsic	adelon

24 hours	Normalize transparent inductive contexts	adelon

25 hours	Support exact nested inductive contexts	adelon

26 hours	Close exact definition declaration boundary	adelon

27 hours	Restore quantified terms in proposition contexts	adelon

28 hours	Test relational replacement transactions	adelon

29 hours	Test general exact set induction	adelon

30 hours	Confine contradictory status to falsum targets	adelon

30 hours	Restore exact cases and contradiction	adelon

43 hours	Restore exact local reasoning proofs	adelon

45 hours	Complete named construction premise views	adelon

46 hours	Restore exact proof binder and witness forms	adelon

47 hours	Restore implicit set construction routing	adelon

48 hours	Restore fixed equality aliases	adelon

2 days	Fix structure carrier membership lowering	adelon

3 days	Shift contextual binders under exact binders	adelon

3 days	Support contextual exact abbreviations	adelon

3 days	Persist exact structure descriptors	adelon

4 days	Support proof-local function graphs	adelon

4 days	Support terminal exact contradiction	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	Advance cache epoch for relation lowering	adelon

4 days	Separate ordered tuples from PairSet	adelon

4 days	Confine set induction to outer proofs	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	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	Authorize exact guarded rule sets	adelon

5 days	Compile exact separation declarations	adelon

5 days	Distinguish semantic global targets	adelon

5 days	Bind exact globals in semantic deltas	adelon

5 days	Retain source markers in parsed occurrences	adelon

6 days	Add disposable SQLite store substrate	adelon

6 days	Bind prepared request identity to execution mode	adelon

7 days	Compact walking semantic deltas	adelon

7 days	Build module-local syntax interfaces	adelon

7 days	Validate every lexical parser surface	adelon

7 days	Establish canonical syntax interfaces	adelon

7 days	Separate epoch cache encoding	adelon