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

Age	Commit message (Expand)	Author
5 days	Validate kernel construction descriptors	adelon
5 days	Authorize exact datatype compilation batches	adelon
5 days	Bind Vampire completion to prepared request	adelon
5 days	Add builder-confined declaration seam	adelon
5 days	Hash fresh semantic interfaces once	adelon
5 days	Clarify fact safety accumulation	adelon
5 days	Remove inert candidate staging	adelon
5 days	Compact walking semantic deltas	adelon
5 days	Reject duplicate interface identity inputs	adelon
5 days	Keep validation records inert	adelon
5 days	Reference canonical semantic content	adelon
5 days	Validate module artifact roots	adelon
5 days	Validate fact materialization authority	adelon
6 days	Define semantic interface identities	adelon
6 days	Define compact fact authority	adelon
6 days	Clarify ambiguous syntax declaration guidance	adelon
6 days	Reuse one parser per source module	adelon
6 days	Define syntax occurrence association	adelon
6 days	Remove obsolete lexicon pattern index	adelon
6 days	Clarify source fixity pragma errors	adelon
6 days	Defer fixed-base conflicts to semantic ownership	adelon
6 days	Build module-local syntax interfaces	adelon
6 days	Validate every lexical parser surface	adelon
6 days	Order foundation manifest by stable tags	adelon
6 days	Retain exact source content	adelon
6 days	Establish canonical syntax interfaces	adelon
6 days	Extract source fixity pragmas	adelon
6 days	Separate epoch cache encoding	adelon
6 days	Validate content-addressed mathematics	adelon
6 days	Establish canonical identity codecs	adelon
6 days	Accept empty source modules	adelon
6 days	Freeze content-addressed migration inventory	adelon
6 days	Freeze migration source routing	adelon
6 days	Carry canonical roots through sources	adelon
7 days	Merge branch 'main' of https://github.com/adelon/felix	adelon
7 days	Informath sketches	adelon
8 days	Clean lib	adelon
8 days	Document connection search work units	adelon
8 days	Simplify typed inductive fact preparation	adelon
8 days	Verify TH0 with PATH Vampire	adelon
8 days	Fall back after reconstruction exhaustion	adelon
8 days	Bound deterministic Horn reconstruction	adelon
8 days	Remove empty connection substitution	adelon
8 days	Remove obsolete kernel authorization projection	adelon
8 days	Move fact selection into transition inventory	adelon
8 days	Bind typed fact admission to module builders	adelon
8 days	Measure sequential verification work	adelon
8 days	Measure source and parser work	adelon
8 days	Authorize reconstructed Horn obligations	adelon
8 days	Replay bounded Horn connections in shadow	adelon