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

Age	Commit message (Expand)	Author
16 hours	Cleanup	adelon
4 days	Add disposable SQLite store substrate	adelon
5 days	Separate epoch cache encoding	adelon
5 days	Establish canonical identity codecs	adelon
5 days	Freeze content-addressed migration inventory	adelon
8 days	Make parsed syntax deeply evaluable	adelon
8 days	Allocate task-local TPTP names	adelon
9 days	Return nonzero exits for verification failures	adelon
9 days	Expose resolved workspace parsing	adelon
9 days	Rename Haskell package to felix	adelon
9 days	Parse the resolved physical source graph	adelon
9 days	Load selected sources as strict UTF-8	adelon
9 days	Retire unsound proof cache	adelon
10 days	Update package.yaml	adelon
2026-03-06	Add Lucid and vendored MathML module	adelon
2026-02-13	Add streaming verification with bounded queue	adelon
2026-02-05	Stream to stdin	adelon
2025-11-30	Fix skipping to imports, drop charset dep	adelon
2025-11-29	Integrate chunker and import gatherer into lexer	adelon
2025-11-28	Update for newer text-builder	adelon
2024-02-10	Initial commit	adelon