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

Age	Commit message (Expand)	Author
3 days	Compile exact datatype declarations	adelon
3 days	Authorize exact guarded rule sets	adelon
3 days	Compile exact inductive declarations	adelon
4 days	Compile exact finite-set notation	adelon
4 days	Compile exact replacement comprehensions	adelon
4 days	Compile exact separation declarations	adelon
4 days	Exercise exact escape authority	adelon
4 days	Lower exact omitted proofs	adelon
4 days	Compile exact source axioms	adelon
4 days	Locate exact proof obligation failures	adelon
4 days	Compile exact ordinary proofs	adelon
4 days	Distinguish semantic global targets	adelon
4 days	Check exact declarations in typed modules	adelon
4 days	Bind exact globals in semantic deltas	adelon
4 days	Validate parsed payload bytes directly	adelon
4 days	Simplify cached occurrence validation	adelon
4 days	Count cached source chunks	adelon
4 days	Generalize identified parsed module naming	adelon
4 days	Reuse exact parsed module artifacts	adelon
4 days	Parse source graphs module by module	adelon
4 days	Activate exact parsed artifact rows	adelon
4 days	Retain source markers in parsed occurrences	adelon
4 days	Fail on incomplete sealed evidence	adelon
4 days	Confine typed verification to store authority	adelon
4 days	Validate store closures once per invocation	adelon
4 days	Install cached modules atomically	adelon
4 days	Validate supplied interfaces before publication	adelon
4 days	Materialize imported object authority	adelon
4 days	Reuse validated typed module artifacts	adelon
4 days	Memoize validated store closures	adelon
4 days	Add typed store row transactions	adelon
5 days	Centralize rollback journal path	adelon
5 days	Complete verification output reservations	adelon
5 days	Restore precise verification diagnostics	adelon
5 days	Preflight verification output namespaces	adelon
5 days	Own selected store lifetimes	adelon
5 days	Add disposable SQLite store substrate	adelon
5 days	Reject declarations in bootstrap input	adelon
5 days	Coalesce equal direct syntax inputs	adelon
5 days	Validate fresh module inputs before parsing	adelon
5 days	Make bootstrap readiness explicit	adelon
5 days	Route complete graphs through one checker	adelon
5 days	Construct the empty prelude session	adelon
5 days	Separate fresh parsed values from source bindings	adelon
5 days	Identify complete fresh parsed modules	adelon
5 days	Bind prepared request identity to execution mode	adelon
5 days	Compact walking semantic deltas	adelon
5 days	Reject duplicate interface identity inputs	adelon
6 days	Define semantic interface identities	adelon
6 days	Clarify ambiguous syntax declaration guidance	adelon