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

Age	Commit message (Collapse)	Author
3 hours	Migrate to `Felix` namespaceHEAD hotg	adelon

7 hours	Simplify entry/CLI, track slowest ATP tasks	adelon

26 hours	Qualify definition migration diagnostics	adelon

26 hours	Close exact definition declaration boundary	adelon

3 days	Reject the packaged prelude as ordinary source	adelon

3 days	Remove obsolete verification machinery	adelon

5 days	Fix module-major parse failure order	adelon

5 days	Count cached source chunks	adelon

5 days	Cover parsed artifact invalidation	adelon

5 days	Reuse exact parsed module artifacts	adelon

5 days	Retain source markers in parsed occurrences	adelon

6 days	Identify complete fresh parsed modules	adelon

7 days	Clarify ambiguous syntax declaration guidance	adelon

7 days	Define syntax occurrence association	adelon

7 days	Clarify source fixity pragma errors	adelon

7 days	Defer fixed-base conflicts to semantic ownership	adelon

7 days	Build module-local syntax interfaces	adelon

7 days	Retain exact source content	adelon

7 days	Accept empty source modules	adelon

9 days	Fall back after reconstruction exhaustion	adelon

9 days	Move fact selection into transition inventory	adelon

9 days	Bind typed fact admission to module builders	adelon

9 days	Authorize reconstructed Horn obligations	adelon

9 days	Plan typed tasks from admitted facts	adelon

9 days	Authorize exact typed Vampire requests	adelon

9 days	Check direct inductives through fixed-point replay	adelon

9 days	Authorize atomic facts through exact typed imports	adelon

9 days	Authorize ground reflexivity through kernel replay	adelon
	The first typed fact family is deliberately dependency-free. Its rows remain outside the legacy fact registry, so unmigrated declarations cannot consume or reauthorize them.
9 days	Assign nominal identities to predicate signatures	adelon

9 days	Check admitted modules sequentially	adelon

9 days	Seal legacy semantic modules	adelon

9 days	Authorize legacy declaration batches	adelon

9 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	Parse source graph into immutable modules	adelon

10 days	Reject unresolved quantified term holes	adelon

10 days	Preserve callbacks before late parse failure	adelon

10 days	Scan final signature declaration	adelon

10 days	Restore textual adjective signatures	adelon

10 days	Reject non-directory source mounts	adelon

10 days	Confine HTML export writes	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