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

Age	Commit message (Collapse)	Author
48 hours	Migrate magma to exact checking	adelon

48 hours	Support contextual exact abbreviations	adelon

2 days	Keep API routing test synthetic	adelon

2 days	Activate exact relation closure checking	adelon

2 days	Activate exact equivalence checking	adelon

2 days	Move corpus verification to make lib	adelon

2 days	Activate exact order checking	adelon

2 days	Activate exact quasiorder checking	adelon

2 days	Compile exact structure declarations	adelon

2 days	Install base structure metadata in final prelude	adelon

2 days	Persist exact structure descriptors	adelon

2 days	Ignore commented source environments	adelon

2 days	Check CSB ordered-pair authority	adelon

2 days	Activate typed equinumerosity module	adelon

2 days	Support proof-local function graphs	adelon

2 days	Confine indirect Vampire discharge	adelon

2 days	Activate typed Cantor and fixpoint modules	adelon

2 days	Support terminal exact contradiction	adelon

2 days	Check proof-local separation specialization	adelon

2 days	Support proof-local set definitions	adelon

2 days	Activate typed function module	adelon

3 days	Resolve source application through apply	adelon

3 days	Check quantified subject semantics	adelon

3 days	Activate relation property typed roots	adelon

3 days	Compile quantified exact noun subjects	adelon

3 days	Advance cache epoch for relation lowering	adelon

3 days	Activate base relation typed root	adelon

3 days	Lower relation expressions through ordered pairs	adelon

3 days	Activate product and filter typed roots	adelon

3 days	Align successor with canonical set insertion	adelon
	Exact definitions remain named globals, so suc spells the canonical construction directly to coalesce with the packaged successor.
3 days	Activate elementary set modules	adelon

3 days	Publish checked powerset foundation fact	adelon

3 days	Separate ordered tuples from PairSet	adelon

3 days	Confine set induction to outer proofs	adelon

3 days	Activate packaged prelude for protected roots	adelon

3 days	Rewrite protected set and naturals closure	adelon

3 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.
3 days	Publish packaged final prelude atomically	adelon

3 days	Narrow final prelude validation	adelon

3 days	Retain exact omitted-proof locations	adelon

3 days	Bind final prelude to packaged source	adelon

3 days	Validate final prelude roles	adelon

3 days	Confine final prelude construction	adelon

3 days	Confine final prelude foundation leaves	adelon

3 days	Parse packaged final prelude source	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	Prepare exact claim envelopes	adelon

3 days	Strengthen exact datatype trust boundary	adelon