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

5 days	Build module-local syntax interfaces	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-04-13	Implement datatypes	adelon