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

Age	Commit message (Collapse)	Author
3 days	Remove obsolete verification machinery	adelon

6 days	Render checking markers directly	adelon

9 days	Prepare complete legacy obligation batches	adelon

10 days	Reject unresolved structure operations before encoding	adelon

10 days	Return typed errors for malformed proof shapes	adelon

10 days	Make inductive declarations transactional	adelon

10 days	Validate canonical datatype recursion	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	Make structure registration transactional	adelon

10 days	Remove source annotations from TPTP tasks	adelon

10 days	Reject unsound disjunctive `Assume` reduction	adelon

11 days	Make `Omitted` carry its location	adelon

14 days	Prevent self-referential definitions	adelon

14 days	Reject Object-Symbol Marker Collisions	adelon

2026-07-23	Use semantic subset formula inside inductive defns	adelon

2026-07-03	Track ownership of top-level symbols	adelon
	Require every ownable top-level symbol to be introduced by a dedicated owner before it can appear in facts. Reject duplicate ownership and prevent symbols used by inductive definitions from being defined later. Use the ownership/dependency information to reject hidden recursive inductive definitions and to generate referenceable inductive principles. BREAKING CHANGE: Top-level facts no longer introduce symbols implicitly.
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