+ cokernelSequenceOpcycles
+ cokernelSequenceOpcycles_exact
+ cycles
+ cyclesMap
+ cyclesMap_comp
+ cyclesMap_i
+ cyclesMap_id
+ descOpcycles
+ iCycles
+ iCycles_δ
+ instance : Epi (X.pOpcycles f g n) := by
+ instance : Mono (X.iCycles f g n) := by
+ isZero_cycles
+ isZero_opcycles
+ kernelSequenceCycles
+ kernelSequenceCycles_exact
+ liftCycles
+ liftCycles_i
+ opcycles
+ opcyclesMap
+ opcyclesMap_comp
+ opcyclesMap_id
+ pOpcycles
+ p_descOpcycles
+ p_opcyclesMap
+ δ_pOpcycles
++ instance (hn₁ : n₀ + 1 = n₁) :

## 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 f9c6ce2ba0
Reference commit 6fcaafd481

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