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

Age	Commit message (Collapse)	Author
9 days	Assign nominal identities to predicate signatures	adelon

9 days	Validate the compiled HOTG foundation	adelon

9 days	Freeze checked HOL terms canonically	adelon

9 days	Check admitted modules sequentially	adelon

9 days	Seal legacy semantic modules	adelon

9 days	Authorize legacy declaration batches	adelon

10 days	Stage legacy module facts	adelon
	Reservations do not change the visible stage; only a complete authorized declaration batch can append its rows.
10 days	Prepare complete legacy obligation batches	adelon

10 days	Define legacy admission vocabulary	adelon

10 days	Parse source graph into immutable modules	adelon

10 days	Make parsed syntax deeply evaluable	adelon

10 days	Publish complete HTML bundles	adelon

10 days	Route HTML links through render context	adelon

10 days	Derive mounted HTML routes	adelon

10 days	Supervise Vampire process groups	adelon

10 days	Remove obsolete source-loading bypasses	adelon

10 days	Validate packed source positions during lexing	adelon

10 days	Reject unresolved structure operations before encoding	adelon

10 days	Reject unsupported definite source forms	adelon

10 days	Reject unresolved quantified term holes	adelon

10 days	Preserve callbacks before late parse failure	adelon

10 days	Resolve quantified noun binders	adelon

10 days	Scan final signature declaration	adelon

10 days	Reject dependent replacement domains	adelon

10 days	Restore textual adjective signatures	adelon

10 days	Make noun phrase ordering lexicographic	adelon

10 days	Fix textual connective precedence	adelon

10 days	Return typed errors for malformed proof shapes	adelon

10 days	Parse transfinite induction continuation after method	adelon

10 days	Make dependency paths nonempty	adelon

10 days	Make inductive declarations transactional	adelon

10 days	Make ordinary facts transactional	adelon

10 days	Make signatures transactional	adelon

10 days	Make abbreviations and definitions transactional	adelon

10 days	Validate abbreviation parameters	adelon

10 days	Suppress unchecked datatype fact previews	adelon
	HTML currently has only raw datatype syntax, while checked facts may use canonical domains. Omit derived facts until checked semantic context reaches the renderer.
10 days	Validate canonical datatype recursion	adelon

10 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.
10 days	Validate relation parameter arity	adelon

10 days	Remove invalid SMT-LIB exporter	adelon

10 days	Correct profile phony targets	adelon

10 days	Remove unreachable HTML output failures	adelon
	Replacing the extension of an already validated input route cannot create an unsafe route, and the .html destination cannot equal the fixed .js support route.
10 days	Reject non-directory source mounts	adelon

10 days	Remove dead signature-atom scanner	adelon

10 days	Confine HTML export writes	adelon

10 days	Make structure registration transactional	adelon

10 days	Remove Megalodon	adelon

10 days	Remove source annotations from TPTP tasks	adelon

10 days	Drain Vampire output while feeding input	adelon

10 days	Return nonzero exits for verification failures	adelon