+ Karoubi.retract
+ 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 : A) : Epi ((karoubi.π Λ).app ((toKaroubi _).obj X)) := by
+ instance (X : A) : Epi ((karoubi.π' Λ).app X) := by
+ instance (X : Karoubi A) : Epi ((karoubi.π Λ).app X)
+ instance : (karoubi.F Λ).PreservesZeroMorphisms
+ instance : (toKaroubi C).PreservesEpimorphisms
+ instance : (toKaroubi C).PreservesMonomorphisms
+ instance : Λ.karoubi.F.PreservesZeroMorphisms
+ instance : Λ.reduced.F.PreservesZeroMorphisms := by
+ karoubi
+ karoubi.F
+ karoubi.F'
+ karoubi.π
+ karoubi.π'
+ karoubi.π_app_toKaroubi_obj
+ 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
+ ofCompIso
+ reduced
+ retractArrowApp
+ transport
+ whiskeringLeftObjToKaroubiFullyFaithful
+ π_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 bf055acb48
Reference commit 8a246bcb1c

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