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

Age	Commit message (Collapse)	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
	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	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
	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	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
	Built-in patterns remain authoritative syntax seeds: their first source declaration records provenance without replacing the seeded marker.
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

12 days	Make `Omitted` carry its location	adelon

12 days	Simplify	adelon

14 days	Prevent self-referential definitions	adelon

2026-07-24	Reject Object-Symbol Marker Collisions	adelon