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 · Pii Flow
PII flow: any sink → consented-marketing only
T8
✓
proven
Auto-play
Reset
Orders: nullable key → bounded
PII flow: any sink → consented-marketing only
Cardinality: unbounded → ≤ |distinct(order_id)|
SELECT
*
FROM
raw_users
WHERE
consent_marketing = true
AND
opted_in_after = '2024-01-01'
Abstract value
policy: ⊤ (any sink)
e.g.
alice@example.com → analytics OK
·
bob@example.com → third_party OK
·
carol@example.com → email_marketing OK