\set ECHO none
f|label|result
times|NULL and one survivor|same input / 0 children
times|NULL first|same times / 2 children
times|NULL last|same times / 2 children
times|NULL only|same one / 0 children
times|duplicate child|same times / 2 children
times|fifty|same times / 50 children
times|one gate alone|same one / 0 children
times|one gate inside|same times / 2 children
times|one gates and a survivor|same input / 0 children
times|single|same input / 0 children
times|three|same times / 3 children
times|two|same times / 2 children
times|two, other order|same times / 2 children
times|zero and one|same zero / 0 children
times|zero gate alone|same zero / 0 children
times|zero gate inside|same times / 3 children
times|zero gates and a survivor|same times / 3 children
(17 rows)
f|label|result
plus|NULL and one survivor|same input / 0 children
plus|NULL first|same plus / 2 children
plus|NULL last|same plus / 2 children
plus|duplicate child|same plus / 2 children
plus|fifty|same plus / 50 children
plus|one gate alone|same one / 0 children
plus|one gate inside|same plus / 3 children
plus|one gates and a survivor|same plus / 3 children
plus|single|same input / 0 children
plus|three|same plus / 3 children
plus|two|same plus / 2 children
plus|two, other order|same plus / 2 children
plus|zero and one|same one / 0 children
plus|zero gate inside|same plus / 2 children
plus|zero gates and a survivor|same input / 0 children
(15 rows)
f|label|is_zero|former_type|former_children
plus, no survivor|NULL only|t|plus|0
plus, no survivor|zero gate alone|t|plus|0
(2 rows)
f|times_kept|plus_kept
children order|t|t
(1 row)
f|times_is_one|ref_times_is_one|plus_is_null
null array|t|t|t
(1 row)
f|times|plus_is_zero
empty array|same one / 0 children|t
(1 row)
f|label|result|children_in_order
monus|0 - NULL|same zero / 0 children|
monus|0 - X|same zero / 0 children|
monus|1 - X|same monus / 2 children|t
monus|X - 0|same input / 0 children|
monus|X - 1|same monus / 2 children|t
monus|X - NULL|same input / 0 children|
monus|X - X|same zero / 0 children|
monus|the other way|same monus / 2 children|t
monus|two tokens|same monus / 2 children|t
(9 rows)
ERROR:  provenance_monus is called with first argument NULL
f|label|result
delta|0|same zero / 0 children
delta|1|same one / 0 children
delta|NULL|same one / 0 children
delta|a token|same delta / 1 children
(4 rows)
f|label|result|info1|info2
cmp|>|same cmp / 2 children|521|0
cmp|NULL left|same zero / 0 children|0|0
cmp|NULL operator|same zero / 0 children|0|0
cmp|NULL right|same zero / 0 children|0|0
cmp|another operator|same cmp / 2 children|97|0
cmp|the other way|same cmp / 2 children|521|0
(6 rows)
f|label|result|extra|over_the_token
annotate|NULL text|same annotation / 1 children||t
annotate|NULL token|||
annotate|a text|same annotation / 1 children|gb note|t
annotate|another text, same token|same annotation / 1 children|gb other note|t
annotate|empty text|same annotation / 1 children||t
annotate|not ASCII|same annotation / 1 children|gb clé – ⊗|t
annotate|same text, another token|same annotation / 1 children|gb note|t
(7 rows)
f|key|same
key|K0 2:121:7|t
key|K3 5:a b:c0:|t
key|K-1 4:clé3:⊗|t
key||t
key||t
key||t
(6 rows)
f|label|result|extra|route
assume|NULL token|||
assume|absorptive|same assumed / 1 children|absorptive|0
assume|boolean|same assumed / 1 children|boolean|0
(3 rows)
ERROR:  provenance_assume: unknown assumption other
f|label|result|extra|route|same_gate_as_untagged
assume_boolean|a token|same assumed / 1 children|boolean|1|t
assume_boolean|already wrapped untagged|same assumed / 1 children|boolean|1|t
(2 rows)
f|label|result|extra
project|a dropped position|same project / 1 children|{{2,1},{NULL,2},{1,3}}
project|identity|same project / 1 children|{{1,1},{2,2},{3,3}}
project|none|same project / 1 children|
project|one position|same project / 1 children|{{5,1}}
project|permutation|same project / 1 children|{{3,1},{1,2},{2,3}}
(5 rows)
f|label|result|pos1|pos2
eq|1 = 2|same eq / 1 children|1|2
eq|2 = 1|same eq / 1 children|2|1
eq|3 = 3|same eq / 1 children|3|3
(3 rows)
f|label|result|op|children_in_order
arith|minus, same children|same arith / 2 children|2|t
arith|negation|same arith / 1 children|4|t
arith|plus|same arith / 2 children|0|t
arith|the other way|same arith / 2 children|0|t
(4 rows)
planted_scope

(1 row)
f|same_address|type|info1|found_in_any_order|other_multiset_is_not|nor_the_sum
planted|t|times|1|t|t|t
(1 row)
create_gate

(1 row)
f|ordinary_gate
store only|t
(1 row)
planted_scope

(1 row)
f|still_stored|no_longer_returned
forgotten|times|t
(1 row)
planted_again
t
(1 row)
planted_scope

(1 row)
type|ordinary_gate
plus|t
(1 row)