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-24	Use shorter `_local_N` marker in TPTP output	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	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	Add basic parameter handling for relators	adelon

2025-08-12	Allow relation symbols with parameters	adelon
	Parameters must follow the relation symbol and be surrounded by braces, like so: `\rel{x}{y}{z}`. This attempt is still brittle/broken in a few ways: - It makes using braces in creative ways in mixfix notation ambiguous. - It does not verify that the parameters are used in a consistent manner for each symbol. It essentially allows users to define `a\MyRel b` and `a\MyRel{x} b` (and ones with even more parameters). - It allows parameters for all relation symbols, even for those where it makes no sense in ordinary TeX markup, e.g. `a <{x} b`.
2024-05-07	Sketch noun coord, symbols for reals	adelon

2024-02-10	Initial commit	adelon