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

Age	Commit message (Expand)	Author
10 days	Recheck frozen HOL terms canonically	adelon
10 days	Assign nominal identities to predicate signatures	adelon
10 days	Validate the compiled HOTG foundation	adelon
10 days	Freeze checked HOL terms canonically	adelon
10 days	Check admitted modules sequentially	adelon
10 days	Seal legacy semantic modules	adelon
10 days	Authorize legacy declaration batches	adelon
10 days	Stage legacy module facts	adelon
10 days	Prepare complete legacy obligation batches	adelon
10 days	Parse source graph into immutable modules	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	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 inductive declarations transactional	adelon
10 days	Make abbreviations and definitions transactional	adelon
10 days	Validate abbreviation parameters	adelon
10 days	Suppress unchecked datatype fact previews	adelon
10 days	Validate canonical datatype recursion	adelon
10 days	Allocate task-local TPTP names	adelon
10 days	Validate relation parameter arity	adelon
10 days	Reject non-directory source mounts	adelon
10 days	Confine HTML export writes	adelon
10 days	Make structure registration transactional	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
10 days	Require complete Vampire success classification	adelon
10 days	Reject unsound disjunctive `Assume` reduction	adelon
10 days	Return malformed lexical scans as typed errors	adelon
10 days	Report lexical collisions with source locations	adelon
10 days	Parse the resolved physical source graph	adelon
10 days	Load selected sources as strict UTF-8	adelon
11 days	Define mounted source identity policy	adelon
11 days	Make `Omitted` carry its location	adelon
11 days	Simplify	adelon
14 days	Prevent self-referential definitions	adelon
2026-07-24	Reject Object-Symbol Marker Collisions	adelon