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

Age	Commit message (Expand)	Author
6 days	Make typed declaration failures terminal	adelon
6 days	Bind prepared request identity to execution mode	adelon
6 days	Add builder-confined declaration seam	adelon
6 days	Clarify fact safety accumulation	adelon
6 days	Remove inert candidate staging	adelon
7 days	Compact walking semantic deltas	adelon
7 days	Reject duplicate interface identity inputs	adelon
7 days	Keep validation records inert	adelon
7 days	Reference canonical semantic content	adelon
7 days	Validate module artifact roots	adelon
7 days	Validate fact materialization authority	adelon
7 days	Define semantic interface identities	adelon
7 days	Define compact fact authority	adelon
7 days	Clarify ambiguous syntax declaration guidance	adelon
7 days	Define syntax occurrence association	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
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	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
9 days	Check scoped canonical HOL terms	adelon
9 days	Authorize ground reflexivity through kernel replay	adelon
9 days	Replay equality reflexivity independently	adelon