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

Age	Commit message (Collapse)	Author
22 hours	Cleanup	adelon

5 days	Add disposable SQLite store substrate	adelon

6 days	Separate epoch cache encoding	adelon

6 days	Establish canonical identity codecs	adelon

6 days	Freeze content-addressed migration inventory	adelon

8 days	Make parsed syntax deeply evaluable	adelon

9 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.
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

10 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
	Drops dependency on `regex-applicative-text`.
2025-11-28	Update for newer text-builder	adelon

2024-02-10	Initial commit	adelon