Skip to content

W0 — Reference oracle + property harness

Closed
No due date
Closed Jul 14, 2026

Build the thing that can prove you wrong, before you build the thing that can be wrong. Formal permission algebra, brute-force oracle, Hypothesis generators for adversarial graphs.

100% complete

List view

    There are no open issues in this milestone

    Add issues to milestones to help organize your work for a particular release or project. Find and add issues with no milestones in this repo.