+ H_map_twoδ₂Toδ₁_toCycles
+ cokernelIsoCycles
+ cokernelIsoCycles_hom_fac
+ cokernelSequenceCycles
+ cokernelSequenceCycles_exact
+ descCycles
+ fromOpcycles
+ fromOpcycles_H_map_twoδ₁Toδ₀
+ fromOpcyles_δ
+ instance (n : ℤ) : Epi (X.cokernelSequenceCycles f g fg h n).g := by
+ instance (n : ℤ) : Epi (X.toCycles f g fg h n)
+ instance (n : ℤ) : Mono (X.fromOpcycles f g fg h n)
+ instance (n : ℤ) : Mono (X.kernelSequenceOpcycles f g fg h n).f := by
+ isIso_fromOpcycles
+ isIso_toCycles
+ kernelSequenceOpcycles
+ kernelSequenceOpcycles_exact
+ liftOpcycles
+ liftOpcycles_fromOpcycles
+ opcyclesIsoKernel
+ opcyclesIsoKernel_hom_fac
+ opcyclesMap_fromOpcycles
+ pOpcycles_δFromOpcycles
+ p_fromOpcycles
+ toCycles
+ toCycles_cyclesMap
+ toCycles_descCycles
+ toCycles_i
+ δFromOpcycles
+ δToCycles
+ δToCycles_iCycles
+ δ_toCycles

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

Current commit fa567c06e6
Reference commit 32af1e5dd5

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