+ aux2
+ aux2_sub_aux2
+ evenCountDistincts
+ multipliable_one_sub_X_pow
+ oddCountDistincts
+ pentagonal_injective
+ pentagonal_nonneg
+ prod_one_add_ordered
+ summable_aux_X
+ summable_pow_pentagonal
+ summable_pow_pentagonal'
+ summable_pow_pentagonal_sub
+ tendsTo_order_aux_X
+ tendsTo_order_neg_X_pow
+ tendsTo_order_pow_pentagonal_sub
+ toNat_pentagonal_inj
+ toNat_pentagonal_injective
+ tprod_one_add_ordered
+ tprod_one_sub_X_pow
+ tprod_one_sub_X_pow'
+ tprod_one_sub_X_pow_eq_tsum_nat
+ tprod_one_sub_ordered
+ tprod_one_sub_pow_eq_aux
+ tprod_one_sub_pow_eq_aux_zero
+ tsum_aux
+ two_pentagonal
+ two_pentagonal_inj

## summary with just the declaration names:
./scripts/declarations_diff.sh <optional_commit>

## more verbose report:
./scripts/declarations_diff.sh long <optional_commit>

The doc-module for script/declarations_diff.sh contains some details about this script.

You can run this locally as

./scripts/technical-debt-metrics.sh pr_summary

• The relative value is the weighted sum of the differences with weight given by the inverse of the current value of the statistic.
• The absolute value is the relative value divided by the total sum of the inverses of the current values (i.e. the weighted average of the differences).