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 · Cardinality
Cardinality: unbounded → ≤ |distinct(order_id)|
T6
✓
proven
T7
✓
proven
Auto-play
Reset
Orders: nullable key → bounded
PII flow: any sink → consented-marketing only
Cardinality: unbounded → ≤ |distinct(order_id)|
SELECT
order_id, customer_id, total
FROM
orders
JOIN
customers
ON
orders.customer_id = customers.id
WHERE
customers.tier = 'gold'
GROUP BY
order_id
Abstract value
rows: ⊤ (unbounded)
e.g.
≤ ∞
·
no upper bound proven