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

Age	Commit message (Collapse)	Author
3 hours	Migrate to `Felix` namespaceHEAD hotg	adelon

3 days	Keep production corpus checks out of unit tests	adelon

3 days	Remove the legacy prover request path	adelon

3 days	Remove obsolete verification machinery	adelon

3 days	Cut verification over to the typed driver	adelon

6 days	Preflight verification output namespaces	adelon

6 days	Add disposable SQLite store substrate	adelon

6 days	Construct the empty prelude session	adelon

6 days	Add builder-confined declaration seam	adelon

7 days	Validate fact materialization authority	adelon

7 days	Define semantic interface identities	adelon

7 days	Establish canonical identity codecs	adelon

7 days	Freeze content-addressed migration inventory	adelon

7 days	Freeze migration source routing	adelon

9 days	Classify complete typed prover problems	adelon

9 days	Replay equality reflexivity independently	adelon

9 days	Validate the compiled HOTG foundation	adelon

9 days	Freeze checked HOL terms canonically	adelon

10 days	Derive mounted HTML routes	adelon

10 days	Make noun phrase ordering lexicographic	adelon

10 days	Parse transfinite induction continuation after method	adelon

10 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.
10 days	Validate relation parameter arity	adelon

10 days	Confine HTML export writes	adelon

10 days	Return nonzero exits for verification failures	adelon

11 days	Define mounted source identity policy	adelon

11 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