(module test)
(defcolumns A (P :binary@prove))
(defperspective perp P ((B :binary@prove)))
(defconstraint test (:perspective perp) (vanishes! A))
Generates these constraints:
B * (1 - B)
P * (1 - P)
P * A
This is incorrect because it is constraining the column B even when the perspective selector P is 0. Thus, it could be constraining some arbitrary row in another perspective.
This minimal example:
Generates these constraints:
This is incorrect because it is constraining the column
B
even when the perspective selectorP
is0
. Thus, it could be constraining some arbitrary row in another perspective.