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

Age	Commit message (Collapse)	Author
7 days	Define semantic interface identities	adelon

7 days	Define compact fact authority	adelon

7 days	Clarify ambiguous syntax declaration guidance	adelon

7 days	Reuse one parser per source module	adelon

7 days	Define syntax occurrence association	adelon

7 days	Remove obsolete lexicon pattern index	adelon

7 days	Clarify source fixity pragma errors	adelon

7 days	Defer fixed-base conflicts to semantic ownership	adelon

7 days	Build module-local syntax interfaces	adelon

7 days	Validate every lexical parser surface	adelon

7 days	Order foundation manifest by stable tags	adelon

7 days	Retain exact source content	adelon

7 days	Establish canonical syntax interfaces	adelon

7 days	Extract source fixity pragmas	adelon

7 days	Separate epoch cache encoding	adelon

7 days	Validate content-addressed mathematics	adelon

7 days	Establish canonical identity codecs	adelon

7 days	Accept empty source modules	adelon

7 days	Freeze content-addressed migration inventory	adelon

7 days	Freeze migration source routing	adelon

7 days	Carry canonical roots through sources	adelon

8 days	Merge branch 'main' of https://github.com/adelon/felix	adelon

8 days	Informath sketches	adelon

9 days	Clean lib	adelon

9 days	Document connection search work units	adelon

9 days	Simplify typed inductive fact preparation	adelon

9 days	Verify TH0 with PATH Vampire	adelon

9 days	Fall back after reconstruction exhaustion	adelon

9 days	Bound deterministic Horn reconstruction	adelon

9 days	Remove empty connection substitution	adelon

9 days	Remove obsolete kernel authorization projection	adelon

9 days	Move fact selection into transition inventory	adelon

9 days	Bind typed fact admission to module builders	adelon

9 days	Measure sequential verification work	adelon

9 days	Measure source and parser work	adelon

9 days	Authorize reconstructed Horn obligations	adelon

9 days	Replay bounded Horn connections in shadow	adelon

9 days	Plan typed tasks from admitted facts	adelon

9 days	Authorize exact typed Vampire requests	adelon

9 days	Render checked prover problems as FOF or TH0	adelon

9 days	Classify complete typed prover problems	adelon

9 days	Check direct inductives through fixed-point replay	adelon

9 days	Prepare direct inductive kernel proofs	adelon

9 days	Define bounded fixed-point kernel rules	adelon

9 days	Authorize atomic facts through exact typed imports	adelon

9 days	Replay scoped HOL derivations independently	adelon
	Replay rechecks stored terms against the current global signature and bounds nodes, lexical depth, and conversion. Import-bearing trees remain replay-only until exact transition-inventory authorization alignment lands.
9 days	Check scoped canonical HOL terms	adelon

9 days	Authorize ground reflexivity through kernel replay	adelon
	The first typed fact family is deliberately dependency-free. Its rows remain outside the legacy fact registry, so unmigrated declarations cannot consume or reauthorize them.
9 days	Replay equality reflexivity independently	adelon

9 days	Recheck frozen HOL terms canonically	adelon