+ Equivalence.stdRefl
+ LiftRelO.refl
+ Std.Refl.comap
+ Std.Refl.ne_imp_iff
+ Std.Refl.rel_of_ne_imp
+ _root_.IsTrans.map
+ _root_.Std.Refl.map
+ _root_.Std.Refl.set_pairwise_iff
+ antisymm_def
+ asymm_def
+ irrefl_def
+ refl
+ refl_def
+ refl_iff_subrelation_eq
+ stdRefl_manyOneReducible
+ stdRefl_oneOneReducible
+ symm_def
+ total_def
+ transGen_of_pred_of_refl
+ transGen_of_succ_of_refl
+ trichotomous_def
++-- LiftRel.refl
++-- LiftRel.trans
- _root_.Reflexive.set_pairwise_iff
--++ LiftRel.equiv

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

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

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

You can run this locally as

./scripts/reporting/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).