+ ArgReorder
+ Category.{v,u}
+ Comma
+ CommaMorphism.mk'
+ CommaMorphism.w'
+ Permutation
+ beq
+ guessUnivReorder
+ instance : BEq ArgReorder := ⟨beq⟩
+ instance : ToMessageData ArgReorder := ⟨fun x ↦ x.toString⟩
+ instance : ToString ArgReorder := ⟨fun x ↦ x.toString⟩
+ isEmpty
+ permuteList!
+ toString
+ universeTest1.{u,v,w}
+ universeTest2.{u,v}
+ universeTest3.{u,u',v,v'}
++ permute!
++ range
++ reverse
- Reorder.isEmpty
- Reorder.permute!
- Reorder.permuteUniv
- Reorder.range
- Reorder.toString
- comp_right
- id_right
- instance : BEq Reorder := ⟨Reorder.beq⟩
- instance : ToMessageData Reorder := ⟨fun x ↦ x.toString⟩
- instance : ToString Reorder := ⟨fun x ↦ x.toString⟩

## 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).