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

Age	Commit message (Collapse)	Author
3 days	Compile exact datatype declarations	adelon

3 days	Authorize exact guarded rule sets	adelon

3 days	Compile exact inductive declarations	adelon

3 days	Compile exact finite-set notation	adelon

3 days	Compile exact replacement comprehensions	adelon

3 days	Compile exact separation declarations	adelon

3 days	Exercise exact escape authority	adelon

3 days	Lower exact omitted proofs	adelon

3 days	Compile exact source axioms	adelon

3 days	Locate exact proof obligation failures	adelon

3 days	Compile exact ordinary proofs	adelon

3 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

4 days	Centralize rollback journal path	adelon

4 days	Complete verification output reservations	adelon

4 days	Restore precise verification diagnostics	adelon

4 days	Preflight verification output namespaces	adelon

4 days	Own selected store lifetimes	adelon

4 days	Add disposable SQLite store substrate	adelon

4 days	Reject declarations in bootstrap input	adelon

4 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

5 days	Define semantic interface identities	adelon

5 days	Clarify ambiguous syntax declaration guidance	adelon