felix.git/source/Test/Unit.hs, branch hotgUnnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg2026-08-03T19:33:37+00:00Keep production corpus checks out of unit tests2026-08-03T19:33:37+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T19:33:37+00:00urn:sha1:37dafd5bb3e8c4406575dea3eaa8ed3997998d5eRemove the legacy prover request path2026-08-03T19:31:20+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T19:31:20+00:00urn:sha1:2e352efa3504067c920c369f0ba453c15240cb07Remove obsolete verification machinery2026-08-03T19:00:28+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T19:00:28+00:00urn:sha1:5cdde1fd0f976863ae4b5831ab389048138b06a4Cut verification over to the typed driver2026-08-03T18:46:33+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T18:46:33+00:00urn:sha1:d4667c50132fc5c55383ee3b8907705738608bffPreflight verification output namespaces2026-07-31T19:11:32+00:00adelon22380201+adelon@users.noreply.github.com2026-07-31T19:11:32+00:00urn:sha1:2de1777a4afcbc5da0b2c8e5e8083f19724da883Add disposable SQLite store substrate2026-07-31T19:00:33+00:00adelon22380201+adelon@users.noreply.github.com2026-07-31T19:00:33+00:00urn:sha1:7bc977e811f69bf54f1d5c8126fbf13154fd8e71Construct the empty prelude session2026-07-31T16:35:15+00:00adelon22380201+adelon@users.noreply.github.com2026-07-31T16:35:15+00:00urn:sha1:a271314ee1e555ae7a15fb2e6fce586cdd824ab3Add builder-confined declaration seam2026-07-31T13:47:09+00:00adelon22380201+adelon@users.noreply.github.com2026-07-31T13:39:28+00:00urn:sha1:dc7a1a3e3e47f3508a3f7e8cb0656027e251e3abValidate fact materialization authority2026-07-31T00:01:44+00:00adelon22380201+adelon@users.noreply.github.com2026-07-31T00:01:44+00:00urn:sha1:73cd3b206ac09d4a741532b53926f9d1d94105b8Define semantic interface identities2026-07-30T23:52:48+00:00adelon22380201+adelon@users.noreply.github.com2026-07-30T23:52:48+00:00urn:sha1:f5ee3312684e6129fbb6005756600e184cc880d0