run.veric.dev
substrate
Paradigm
Factory
Sudoku
Lattice
Tiers
·
vertical
With/Without
Replay
AI
Vault
Incidents
·
property
Studio
Catalogue
Ticker
⌕
search
run.veric.dev
→
Substrate
→
Vertical
→
Property
·
Lattice · Orders Non Null Key
Orders: nullable key → bounded
T5
✓
proven
T7
✓
proven
Auto-play
Reset
Orders: nullable key → bounded
PII flow: any sink → consented-marketing only
Cardinality: unbounded → ≤ |distinct(order_id)|
SELECT
*
FROM
orders
WHERE
x
IS NOT NULL
GROUP BY
id
HAVING
SUM
(x) > 0
Abstract value
x: integer | null
e.g.
NULL
·
-3
·
5