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

12 hours	Fix structure carrier membership lowering	adelon

20 hours	Validate speculative admission ordering	adelon

31 hours	Batch ready declaration obligations	adelon

32 hours	Run ready typed modules concurrently	adelon

34 hours	Remove obsolete verification machinery	adelon

35 hours	Cut verification over to the typed driver	adelon

35 hours	Report admitted typed source state	adelon

41 hours	Shift contextual binders under exact binders	adelon

41 hours	Support contextual exact abbreviations	adelon

45 hours	Compile exact structure declarations	adelon

46 hours	Support proof-local function graphs	adelon

2 days	Support terminal exact contradiction	adelon

2 days	Support proof-local set definitions	adelon

2 days	Resolve source application through apply	adelon

2 days	Check quantified subject semantics	adelon

2 days	Compile quantified exact noun subjects	adelon

2 days	Advance cache epoch for relation lowering	adelon

2 days	Lower relation expressions through ordered pairs	adelon

2 days	Confine set induction to outer proofs	adelon

3 days	Rewrite protected set and naturals closure	adelon

3 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.
3 days	Generalize exact source axioms	adelon

3 days	Open exact claim envelopes in proofs	adelon

3 days	Lower fixed exact set terms uniformly	adelon

3 days	Prepare exact datatype declarations	adelon

3 days	Authorize exact guarded rule sets	adelon

3 days	Prepare exact inductive declarations	adelon

3 days	Compile exact finite-set notation	adelon

3 days	Compile exact replacement comprehensions	adelon

3 days	Compile exact separation declarations	adelon

3 days	Exercise exact escape authority	adelon

3 days	Lower exact omitted proofs	adelon

3 days	Compile exact source axioms	adelon

3 days	Locate exact proof obligation failures	adelon

3 days	Compile exact ordinary proofs	adelon

4 days	Check exact declarations in typed modules	adelon

4 days	Show verification routes in reports	adelon

4 days	Reset tooling gloss state per module	adelon

4 days	Coalesce equal direct syntax inputs	adelon

5 days	Route complete graphs through one checker	adelon

5 days	Build module-local syntax interfaces	adelon

8 days	Check direct inductives through fixed-point replay	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	Check admitted modules sequentially	adelon

8 days	Fix textual connective precedence	adelon

8 days	Allocate task-local TPTP names	adelon
	Distinct target variable names exposed a replacement-condition scope lift that source-derived names had masked. Keep those variables under the replacement existential.
9 days	Validate relation parameter arity	adelon