\set ECHO none
add_provenance

(1 row)
unset_at_first|not_in_the_circuit_yet
t|t
(1 row)
set_now|reads_back
t|t
(1 row)
NOTICE:  refused: probability of gate <token> is already set to 0.5
NOTICE:  hint: Use provsql.replace_input() to give a tuple a different probability: it mints a fresh input gate and returns it, for the row's provsql column to carry.
NOTICE:  refused: ProvSQL: set_prob: probability 1.5 is outside [0, 1]
NOTICE:  refused: ProvSQL: set_prob: NaN is not a probability
add_provenance

(1 row)
set_inside_txn
t
(1 row)
set_after_rollback
f
(1 row)
written_after_rollback
t
(1 row)
add_provenance

(1 row)
savepoint_rollback_cleared
t
(1 row)
create_provenance_mapping

(1 row)
kind_after_replace
tid
(1 row)
replaced
t
(1 row)
name|formula
alice|alice
bob|bob
(2 rows)
replaced_by_relation
t
(1 row)
replaced_in_place
t
(1 row)
repair_key

(1 row)
k|n|p
a|2|0.5000
b|1|1.0000
(2 rows)
replace_block

(1 row)
k|mass
a|0.9000
b|1.0000
(2 rows)
kind_after_replace_block
bid
(1 row)
NOTICE:  infos now (1, 2)
NOTICE:  text now first
NOTICE:  refused: replace_input: <token> is a gate of type one, not an input
NOTICE:  hint: Only a leaf carries a probability of its own; a derived gate's is computed from its leaves.