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

Age	Commit message (Expand)	Author
7 days	Validate content-addressed mathematics	adelon
7 days	Establish canonical identity codecs	adelon
9 days	Document connection search work units	adelon
9 days	Simplify typed inductive fact preparation	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	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
9 days	Recheck frozen HOL terms canonically	adelon
9 days	Assign nominal identities to predicate signatures	adelon
10 days	Validate the compiled HOTG foundation	adelon
10 days	Freeze checked HOL terms canonically	adelon
10 days	Check admitted modules sequentially	adelon
10 days	Seal legacy semantic modules	adelon
10 days	Authorize legacy declaration batches	adelon
10 days	Stage legacy module facts	adelon
10 days	Prepare complete legacy obligation batches	adelon
10 days	Define legacy admission vocabulary	adelon
10 days	Make dependency paths nonempty	adelon
10 days	Validate canonical datatype recursion	adelon
10 days	Make structure registration transactional	adelon
11 days	Retire unsound proof cache	adelon
2026-02-13	Add streaming verification with bounded queue	adelon
2024-02-10	Initial commit	adelon