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

Age	Commit message (Expand)	Author
34 hours	Keep production corpus checks out of unit tests	adelon
34 hours	Remove the legacy prover request path	adelon
34 hours	Remove obsolete verification machinery	adelon
35 hours	Cut verification over to the typed driver	adelon
4 days	Preflight verification output namespaces	adelon
4 days	Add disposable SQLite store substrate	adelon
5 days	Construct the empty prelude session	adelon
5 days	Add builder-confined declaration seam	adelon
5 days	Validate fact materialization authority	adelon
5 days	Define semantic interface identities	adelon
5 days	Establish canonical identity codecs	adelon
5 days	Freeze content-addressed migration inventory	adelon
5 days	Freeze migration source routing	adelon
8 days	Classify complete typed prover problems	adelon
8 days	Replay equality reflexivity independently	adelon
8 days	Validate the compiled HOTG foundation	adelon
8 days	Freeze checked HOL terms canonically	adelon
8 days	Derive mounted HTML routes	adelon
8 days	Make noun phrase ordering lexicographic	adelon
8 days	Parse transfinite induction continuation after method	adelon
8 days	Allocate task-local TPTP names	adelon
9 days	Validate relation parameter arity	adelon
9 days	Confine HTML export writes	adelon
9 days	Return nonzero exits for verification failures	adelon
9 days	Define mounted source identity policy	adelon
10 days	Update Unit.hs	adelon
2026-04-12	Update relevance filter	adelon
2026-04-12	Make handling of local variables stricter	adelon
2026-04-12	Make lexer more robust	adelon
2026-04-11	Add brute force tooltips	adelon
2026-02-24	Sketch parser for Vampire's status lines	adelon
2026-02-12	Update Unit.hs	adelon
2026-02-11	Nominal sketch	adelon
2025-12-04	Sketch out exprs with scoped de Bruijn indices	adelon
2024-02-10	Initial commit	adelon