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

Age	Commit message (Collapse)	Author
6 days	Use fresh proof dump directories	adelon

6 days	Close verification output failures	adelon

6 days	Complete verification output reservations	adelon

6 days	Make source preflight HTML-only	adelon

6 days	Restore precise verification diagnostics	adelon

6 days	Require stores for verification commands	adelon

6 days	Preflight verification output namespaces	adelon

6 days	Own selected store lifetimes	adelon

6 days	Add disposable SQLite store substrate	adelon

6 days	Show verification routes in reports	adelon

6 days	Reject declarations in bootstrap input	adelon

6 days	Reset tooling gloss state per module	adelon

6 days	Preserve typed module failure prefixes	adelon

6 days	Coalesce equal direct syntax inputs	adelon

6 days	Validate fresh module inputs before parsing	adelon

6 days	Keep verification report rendering stable	adelon

6 days	Make bootstrap readiness explicit	adelon

6 days	Route complete graphs through one checker	adelon

6 days	Construct the empty prelude session	adelon

6 days	Separate fresh parsed values from source bindings	adelon

6 days	Reset gloss state at module boundaries	adelon

6 days	Identify complete fresh parsed modules	adelon

6 days	Reuse checked declaration object closures	adelon

6 days	Aggregate typed Vampire obligations	adelon

6 days	Make typed declaration failures terminal	adelon

6 days	Bind prepared request identity to execution mode	adelon

6 days	Keep datatype compilation authority inert	adelon

6 days	Validate kernel construction descriptors	adelon

6 days	Authorize exact datatype compilation batches	adelon

6 days	Bind Vampire completion to prepared request	adelon

6 days	Add builder-confined declaration seam	adelon

6 days	Hash fresh semantic interfaces once	adelon

6 days	Clarify fact safety accumulation	adelon

6 days	Remove inert candidate staging	adelon

6 days	Compact walking semantic deltas	adelon

6 days	Reject duplicate interface identity inputs	adelon

6 days	Keep validation records inert	adelon

6 days	Reference canonical semantic content	adelon

6 days	Validate module artifact roots	adelon

6 days	Validate fact materialization authority	adelon

6 days	Define semantic interface identities	adelon

6 days	Define compact fact authority	adelon

6 days	Clarify ambiguous syntax declaration guidance	adelon

6 days	Reuse one parser per source module	adelon

6 days	Define syntax occurrence association	adelon

7 days	Remove obsolete lexicon pattern index	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