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

Age	Commit message (Collapse)	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
	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

10 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.
10 days	Replay equality reflexivity independently	adelon

10 days	Recheck frozen HOL terms canonically	adelon

10 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
	Reservations do not change the visible stage; only a complete authorized declaration batch can append its rows.
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