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

Age	Commit message (Expand)	Author
34 hours	Reject the packaged prelude as ordinary source	adelon
34 hours	Remove obsolete verification machinery	adelon
4 days	Fix module-major parse failure order	adelon
4 days	Count cached source chunks	adelon
4 days	Cover parsed artifact invalidation	adelon
4 days	Reuse exact parsed module artifacts	adelon
4 days	Retain source markers in parsed occurrences	adelon
5 days	Identify complete fresh parsed modules	adelon
5 days	Clarify ambiguous syntax declaration guidance	adelon
5 days	Define syntax occurrence association	adelon
5 days	Clarify source fixity pragma errors	adelon
5 days	Defer fixed-base conflicts to semantic ownership	adelon
5 days	Build module-local syntax interfaces	adelon
5 days	Retain exact source content	adelon
5 days	Accept empty source modules	adelon
7 days	Fall back after reconstruction exhaustion	adelon
7 days	Move fact selection into transition inventory	adelon
7 days	Bind typed fact admission to module builders	adelon
8 days	Authorize reconstructed Horn obligations	adelon
8 days	Plan typed tasks from admitted facts	adelon
8 days	Authorize exact typed Vampire requests	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
8 days	Assign nominal identities to predicate signatures	adelon
8 days	Check admitted modules sequentially	adelon
8 days	Seal legacy semantic modules	adelon
8 days	Authorize legacy declaration batches	adelon
8 days	Stage legacy module facts	adelon
8 days	Parse source graph into immutable modules	adelon
8 days	Reject unresolved quantified term holes	adelon
8 days	Preserve callbacks before late parse failure	adelon
8 days	Scan final signature declaration	adelon
8 days	Restore textual adjective signatures	adelon
9 days	Reject non-directory source mounts	adelon
9 days	Confine HTML export writes	adelon
9 days	Return malformed lexical scans as typed errors	adelon
9 days	Report lexical collisions with source locations	adelon
9 days	Parse the resolved physical source graph	adelon
9 days	Load selected sources as strict UTF-8	adelon
9 days	Define mounted source identity policy	adelon