\set ECHO none
add_provenance

(1 row)
add_provenance

(1 row)
WARNING:  ProvSQL: scalar subquery nested in an expression: provenance not tracked
DETAIL:  provsql-reason: sublink-nested-in-expression-frozen; scope: gap
HINT:  Mark it plain() to say so.
WARNING:  ProvSQL: scalar subquery nested in an expression: provenance not tracked, although the statement tracks if_a
DETAIL:  provsql-reason: sublink-nested-in-expression-frozen; scope: gap
HINT:  Mark it plain() to say so.
WARNING:  ProvSQL: window function: provenance not tracked, although the statement tracks if_a
DETAIL:  provsql-reason: window-not-tracked; scope: gap
HINT:  Mark it plain() to say so.
WARNING:  ProvSQL: scalar subquery nested in an expression: provenance not tracked
DETAIL:  provsql-reason: sublink-nested-in-expression-frozen; scope: gap
HINT:  Mark it plain() to say so.
ERROR:  ProvSQL: scalar subquery nested in an expression: provenance not tracked, although the statement tracks if_a (provsql.implicit_freeze is 'error')
DETAIL:  provsql-reason: sublink-nested-in-expression-frozen; scope: gap
HINT:  Mark it plain() to say so.
ERROR:  ProvSQL: window function: provenance not tracked, although the statement tracks if_a (provsql.implicit_freeze is 'error')
DETAIL:  provsql-reason: window-not-tracked; scope: gap
HINT:  Mark it plain() to say so.
ERROR:  ProvSQL: ORDER BY ... LIMIT / OFFSET over an aggregation, a DISTINCT, a set operation or uncertain sort keys: provenance not tracked, although the statement tracks if_a (provsql.implicit_freeze is 'error')
DETAIL:  provsql-reason: limit-not-read-in-every-world; scope: gap
HINT:  Write LIMIT plain(k) to say so.
WARNING:  ProvSQL: ORDER BY on an aggregate result sorts on the value shown, not per world
DETAIL:  provsql-reason: order-by-aggregate-value; scope: deliberate
remove_provenance

(1 row)
WARNING:  ProvSQL: converting agg_token to text: provenance information is lost
DETAIL:  provsql-reason: stored-agg-token-conversion; scope: deliberate
v|n
10|1
20|1
30|1
(3 rows)
remove_provenance

(1 row)
id|g|l|above
1|1||2
2|1|10|1
3|1|20|0
(3 rows)
remove_provenance

(1 row)
WARNING:  ProvSQL: converting agg_token to text: provenance information is lost
DETAIL:  provsql-reason: stored-agg-token-conversion; scope: deliberate
v|n
10|1
(1 row)
id|w|note
1|2|n
2|3|n
(2 rows)
create_provenance_mapping

(1 row)
remove_provenance

(1 row)
id|w|note|f
1|2|n|1
2|3|n|2
(2 rows)
n
2
(1 row)
b
(1,2,n)
(2,3,n)
(2 rows)
ERROR:  ProvSQL: aggregate result read as a plain value: provenance not tracked, although the statement tracks if_a (provsql.implicit_freeze is 'error')
DETAIL:  provsql-reason: aggregate-read-as-plain-value; scope: gap; reader: function
HINT:  Mark it plain() to say so.
tracked|provsql
20 (*)|d265daa9-f206-561d-845c-2a85fa0fa72c
(1 row)
remove_provenance

(1 row)
n
3 (*)
(1 row)
asked|provsql
60|d265daa9-f206-561d-845c-2a85fa0fa72c
(1 row)
WARNING:  ProvSQL: aggregate result read as a plain value: provenance not tracked, although the statement tracks if_a
DETAIL:  provsql-reason: aggregate-read-as-plain-value; scope: gap; reader: function
HINT:  Mark it plain() to say so.
unmarked|provsql
20|d265daa9-f206-561d-845c-2a85fa0fa72c
(1 row)
asked_under_error|provsql
60|d265daa9-f206-561d-845c-2a85fa0fa72c
(1 row)
ERROR:  ProvSQL: aggregate result read as a plain value: provenance not tracked, although the statement tracks if_a (provsql.implicit_freeze is 'error')
DETAIL:  provsql-reason: aggregate-read-as-plain-value; scope: gap; reader: function
HINT:  Mark it plain() to say so.
asked_whole|provsql
60|d265daa9-f206-561d-845c-2a85fa0fa72c
(1 row)
asked_comparison|provsql
t|d265daa9-f206-561d-845c-2a85fa0fa72c
(1 row)
asked_nullness|provsql
f|d265daa9-f206-561d-845c-2a85fa0fa72c
(1 row)
WARNING:  ProvSQL: aggregate result read as a plain value: provenance not tracked, although the statement tracks if_a
DETAIL:  provsql-reason: aggregate-read-as-plain-value; scope: gap; reader: cast
HINT:  Mark it plain() to say so.
unmarked_text|provsql
60|d265daa9-f206-561d-845c-2a85fa0fa72c
(1 row)
remove_provenance

(1 row)
unmarked_comparison|p
f|0.000000
t|0.875000
|0.125000
(3 rows)
remove_provenance

(1 row)
unmarked_nullness|p
f|0.875000
t|0.125000
(2 rows)
remove_provenance

(1 row)
remove_provenance

(1 row)