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

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

24 hours	Make finite-set literals intrinsic	adelon

27 hours	Close exact definition declaration boundary	adelon

2 days	Restore fixed equality aliases	adelon

2 days	Cleanup	adelon

3 days	Remove the residual legacy task model	adelon

4 days	Ignore commented source environments	adelon

4 days	Compile quantified exact noun subjects	adelon

4 days	Separate ordered tuples from PairSet	adelon

4 days	Recognize fixed set noun exactly	adelon
	Marker-only recognition admitted unsupported noun headers into persistent typed results. Advance the disposable cache epoch to 10.
4 days	Locate invalid datatype premises	adelon

5 days	Bind exact globals in semantic deltas	adelon

6 days	Validate supplied interfaces before publication	adelon

6 days	Construct the empty prelude session	adelon

7 days	Define semantic interface identities	adelon

7 days	Remove obsolete lexicon pattern index	adelon

7 days	Build module-local syntax interfaces	adelon

7 days	Validate every lexical parser surface	adelon

7 days	Establish canonical syntax interfaces	adelon

7 days	Extract source fixity pragmas	adelon

7 days	Accept empty source modules	adelon

10 days	Parse source graph into immutable modules	adelon

10 days	Make parsed syntax deeply evaluable	adelon

10 days	Remove obsolete source-loading bypasses	adelon

10 days	Validate packed source positions during lexing	adelon

10 days	Scan final signature declaration	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	Parse transfinite induction continuation after method	adelon

10 days	Validate relation parameter arity	adelon

10 days	Remove dead signature-atom scanner	adelon

10 days	Make structure registration transactional	adelon

10 days	Remove source annotations from TPTP tasks	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	Load selected sources as strict UTF-8	adelon

11 days	Make `Omitted` carry its location	adelon

11 days	Simplify	adelon

14 days	Reject Object-Symbol Marker Collisions	adelon

2026-07-23	Make `Contradiction` a proof-terminal keyword	adelon

2026-07-03	Track ownership of top-level symbols	adelon
	Require every ownable top-level symbol to be introduced by a dedicated owner before it can appear in facts. Reject duplicate ownership and prevent symbols used by inductive definitions from being defined later. Use the ownership/dependency information to reject hidden recursive inductive definitions and to generate referenceable inductive principles. BREAKING CHANGE: Top-level facts no longer introduce symbols implicitly.
2026-04-13	Implement datatypes	adelon

2026-04-12	Refine handling of struct labels	adelon

2026-04-12	Make lexer more robust	adelon

2026-03-25	Update temporary warnings for easier debugging	adelon

2026-03-07	Preserve marker for prefix predicates	adelon

2026-03-07	Improve variable rendering	adelon

2026-03-07	Add HTML rendering skeleton	adelon

2026-02-21	Update Adapt.hs	adelon