+ LeftResolutions
+ chainComplex
+ chainComplexFunctor
+ chainComplexMap
+ chainComplexMap_comp
+ chainComplexMap_f_0
+ chainComplexMap_f_1
+ chainComplexMap_f_succ_succ
+ chainComplexMap_id
+ chainComplexMap_zero
+ chainComplexXIso
+ chainComplexXOneIso
+ chainComplexXZeroIso
+ cokernel.map_id
+ cokernel.map_zero
+ exactAt_map_chainComplex_succ
+ instance (X : Type u) : Projective ((free R).obj X)
+ kernel.map_id
+ kernel.map_zero
+ map_chainComplex_d
+ map_chainComplex_d_1_0
+ mk'XIso
+ mk'_congr_succ'_d
+ mk'_d
+ mkAux_eq_shortComplex_mk_d_comp_d
+ mkXIso
+ mk_congr_succ_X₃
+ mk_congr_succ_d₂
+ mk_d
+ projectiveResolutions
+ π_naturality
- mk'_X_succ
- mk'_d_succ

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

Current commit e580fe3626
Reference commit 04fc112dc6

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