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

Age	Commit message (Expand)	Author
34 hours	Remove obsolete verification machinery	adelon
3 days	Locate invalid datatype premises	adelon
3 days	Lower fixed exact set terms uniformly	adelon
3 days	Prepare exact inductive declarations	adelon
4 days	Render checking markers directly	adelon
4 days	Restore precise verification diagnostics	adelon
4 days	Require stores for verification commands	adelon
7 days	Bind typed fact admission to module builders	adelon
8 days	Check direct inductives through fixed-point replay	adelon
8 days	Authorize atomic facts through exact typed imports	adelon
8 days	Authorize ground reflexivity through kernel replay	adelon
8 days	Assign nominal identities to predicate signatures	adelon
8 days	Check admitted modules sequentially	adelon
8 days	Authorize legacy declaration batches	adelon
8 days	Prepare complete legacy obligation batches	adelon
8 days	Reject unresolved structure operations before encoding	adelon
8 days	Return typed errors for malformed proof shapes	adelon
8 days	Make dependency paths nonempty	adelon
8 days	Make inductive declarations transactional	adelon
8 days	Make ordinary facts transactional	adelon
8 days	Make signatures transactional	adelon
8 days	Make abbreviations and definitions transactional	adelon
8 days	Validate canonical datatype recursion	adelon
8 days	Allocate task-local TPTP names	adelon
9 days	Make structure registration transactional	adelon
9 days	Remove source annotations from TPTP tasks	adelon
9 days	Reject unsound disjunctive `Assume` reduction	adelon
10 days	Make `Omitted` carry its location	adelon
12 days	Prevent self-referential definitions	adelon
12 days	Reject Object-Symbol Marker Collisions	adelon
12 days	Make `Contradiction` a proof-terminal keyword	adelon
12 days	Use semantic subset formula inside inductive defns	adelon
2026-07-03	Track ownership of top-level symbols	adelon
2026-04-13	Reserve internal labels generated by datatypes	adelon
2026-04-13	Implement datatypes	adelon
2026-04-12	Refine handling of struct labels	adelon
2026-04-12	Make handling of local variables stricter	adelon
2026-02-24	Use shorter `_local_N` marker in TPTP output	adelon
2026-02-22	Add `INVARIANT` note to `checkingGoals`	adelon
2026-02-22	Fail earlier for nested comprehensions	adelon
2026-02-22	Fix proof-local definitions with replacement	adelon
2026-02-14	Fix induction rule validation	adelon
2026-02-13	Stream parsing and glossing	adelon
2026-02-13	Stop passing on lexicon	adelon
2026-02-13	Use callbacks instead of Writer	adelon
2026-02-10	Fix checking of signatures	adelon
2026-02-06	Use tries for patterns, skip trivial hypotheses	adelon
2026-02-05	Cache hypothesis line	adelon
2026-02-05	Cache encoding of hypotheses	adelon
2026-02-05	Remove `lookupLexicalItem`, attach info in AST instead	adelon