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

Age	Commit message (Collapse)	Author
30 hours	Remove obsolete verification machinery	adelon

31 hours	Report admitted typed source state	adelon

4 days	Show verification routes in reports	adelon

8 days	Authorize atomic facts through exact typed imports	adelon

8 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.
8 days	Check admitted modules sequentially	adelon

8 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.
8 days	Validate relation parameter arity	adelon

8 days	Remove source annotations from TPTP tasks	adelon

2026-03-07	Update tests	adelon

2026-02-14	Update golden tests	adelon

2026-02-06	Use tries for patterns, skip trivial hypotheses	adelon

2026-02-05	Cache encoding of hypotheses	adelon

2026-02-05	Add `lexiconAllPatterns`, basic warning for dupe pattern	adelon

2026-02-05	Remove `lookupLexicalItem`, attach info in AST instead	adelon

2025-12-17	Fix `filterTask`, make var names more consistent	adelon

2025-12-14	Fix column location	adelon

2025-12-14	Add more location info in tasks	adelon

2025-12-14	Add location info to conjecture	adelon
	Still some `<nowhere>` value as placeholder left over.
2025-12-09	Propagate location info further	adelon

2025-12-09	Gather some location info from parser	adelon
	WIP
2025-11-29	Integrate chunker and import gatherer into lexer	adelon
	Drops dependency on `regex-applicative-text`.
2025-11-27	Update tests	adelon

2025-11-27	Add basic parameter handling for relators	adelon

2025-08-14	Improve scanning	adelon
	Fixes scanning of relation symbols and adds a few error cases for function symbols.