-
Notifications
You must be signed in to change notification settings - Fork 2
OpenJul 16, 2026
No due date
•Last updated Postgres tuple store, transitive check() with reason paths, information barriers with deny-dominance. Differential tests green across ≥5000 generated graphs before proceeding.
33% complete
List view
0 of 2 selected 0 issues of 2 selected
W1.2 — check() with reason paths, cycle-safe, depth-limited
correctnessDifferential/property testing against the oracle.Differential/property testing against the oracle.p0Critical-path work. Must ship.Critical-path work. Must ship.securitySecurity boundary. Fail-closed correctness.Security boundary. Fail-closed correctness.Status: Open.#5 In geminimir/warden;W1.3 — Information barriers (deny-dominance)
p0Critical-path work. Must ship.Critical-path work. Must ship.securitySecurity boundary. Fail-closed correctness.Security boundary. Fail-closed correctness.Status: Open.#6 In geminimir/warden;