commit d3c1b18d69a017057600e837dc21dd0debc6d5df
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Sat Apr 11 16:15:01 2026 -0600

    Codify policy verification and suite boundaries

commit 72d65aa93e547ac26b96c656472609383f095245
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Sat Apr 11 16:09:52 2026 -0600

    Add executable KLM Or property cases

commit 04ea27b90f615e48042223e63d77524ee83ff69d
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Sat Apr 11 16:00:07 2026 -0600

    Add Morris closure conformance cases

commit dd5f6f6a94373fe8527caf2d68124e68ef2a3f81
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Sat Apr 11 15:36:29 2026 -0600

    Add ambiguity policy conformance cases

commit e0ad14d9a125ba5b3d90dd60f14e0b8f3a20c204
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Sat Apr 11 15:22:31 2026 -0600

    Plan policy and closure conformance workstreams

commit f2d6f001849e60407f845370854eeb945f8aa8ad
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Sat Apr 11 12:22:08 2026 -0600

    Fix Maher example 3 expectations

commit e11268b51adf69ca3867fd7c761a00a7a60cdbef
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Sat Apr 11 00:50:57 2026 -0600

    Add verified note-derived paper defeasible cases

commit d12007b26536877fea03c1abcd30ec1c482ba456
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Sat Apr 11 00:28:37 2026 -0600

    Recover hmmer and lubm with release nemo verification

commit 96cf07e6e3435bf6b03b2ed5790f74abef6a2659
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Fri Apr 10 21:12:13 2026 -0600

    Verify retained core corpus against nmo

commit 542f92549cc565a23d7fd570654e5cbd1e3fbc42
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Fri Apr 10 18:27:33 2026 -0600

    Integrate live DePYsible generated checks

commit f74717d366e0d1e3f2a40488202966cd55b852ac
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Fri Apr 10 18:22:25 2026 -0600

    Skip DePYsible tests without runtime deps

commit d2d502631d1026026b9c74f0f5f6b9db47c462d8
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Fri Apr 10 18:19:41 2026 -0600

    Tighten souffle harvest filtering

commit 6f04cbbaf67aafb7d194bf4ead628552eb557fcd
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Fri Apr 10 18:19:16 2026 -0600

    Fix harvested Souffle core fixtures

commit 70517a32958078b2a8489ecea049d33080882b47
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Fri Apr 10 18:10:48 2026 -0600

    Add generated DePYsible conformance tests

commit 7d4a4e27be46fba49fae321d12474d10a80ebc22
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Fri Apr 10 18:10:27 2026 -0600

    Add DePYsible strategy generator

commit 7f5c79f10509db3eade2c5b48153900ee7a8cfa7
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Fri Apr 10 18:08:14 2026 -0600

    Add DePYsible test support helpers

commit 50bbe0201a122c752cc22b3e0484d13826a5b0d7
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Fri Apr 10 17:59:53 2026 -0600

    Update spindle query corpus counts

commit 99bc99eef1e6f22e42d8bf7abc7b5540c6af41ee
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Fri Apr 10 17:57:11 2026 -0600

    Add spindle-racket query theory suite

commit 43040eacfedf0efa57d82ed9da59b67c8719d577
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Fri Apr 10 17:56:51 2026 -0600

    Add spindle racket query integration suite

commit 6f9e23bc34991122e785fa49517130532cd80567
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Fri Apr 10 17:22:11 2026 -0600

    Expand spindle racket inline corpus

commit a4c0bde820fc5966b22eaf87f4267c09ffb59d3c
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Fri Apr 10 17:17:58 2026 -0600

    Revert "Add spindle racket import test cases"
    
    This reverts commit 4fa162b66efe2ec4ac2e36fe766a1a3007e6d7ef.

commit 4fa162b66efe2ec4ac2e36fe766a1a3007e6d7ef
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Fri Apr 10 17:17:01 2026 -0600

    Add spindle racket import test cases

commit 3e16b5ddaadf9f576cfbd8f6c8eeed4733088aa4
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Fri Apr 10 17:15:12 2026 -0600

    Add conservative SPINdle inline cases

commit 32128c566930a70cfe5fcfca3b4c8bf3701914e1
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Fri Apr 10 16:56:10 2026 -0600

    Update corpus counts and provenance notes

commit e3a35120b7f6beca7b5edc20f42df568529c3ae0
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Fri Apr 10 16:51:39 2026 -0600

    Expand DePYsible birds conformance cases

commit a54fb9dc01b174c3d41985713d719590000f6ec2
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Fri Apr 10 16:43:31 2026 -0600

    Expand SPINdle theory harvest

commit b78f14ac0152de0364b79108ddd6aa39847d2224
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Fri Apr 10 16:41:13 2026 -0600

    Add Maher Example 3 Freddie non-flight case

commit 57e85e636894cf8e4966b7cd0a3a9e2d6fc53c80
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Fri Apr 10 16:31:20 2026 -0600

    Initial datalog conformance suite

commit 769e66d1adbf5e13ba0fb007424bf7e6b40e3f50
Author: Christopher Toth <q.alpha@gmail.com>
Date:   Fri Apr 10 16:24:28 2026 -0600

    Expand SPINdle harvested corpus
