Dependency changes

+ IsStableUnderShift
+ IsStableUnderShiftBy
+ IsTriangulated
+ IsTriangulatedClosed₁
+ IsTriangulatedClosed₁.mk'
+ IsTriangulatedClosed₂
+ IsTriangulatedClosed₂.mk'
+ IsTriangulatedClosed₃
+ IsTriangulatedClosed₃.mk'
+ ext_of_isTriangulatedClosed₁
+ ext_of_isTriangulatedClosed₁'
+ ext_of_isTriangulatedClosed₂
+ ext_of_isTriangulatedClosed₂'
+ ext_of_isTriangulatedClosed₃
+ ext_of_isTriangulatedClosed₃'
+ ext₂'
+ instance (a : A) [P.IsStableUnderShiftBy a] :
+ instance : (subcategoryAcyclic C).IsClosedUnderIsomorphisms := by
+ instance : (subcategoryAcyclic C).IsTriangulated := by
+ instance : F.homologicalKernel.IsClosedUnderIsomorphisms
+ instance : F.homologicalKernel.IsTriangulated
+ instance : P.trW.RespectsIso
+ instance : Qh.IsLocalization (HomotopyCategory.subcategoryAcyclic C).trW := by
+ instance [IsTriangulated C] [P.IsTriangulated] : P.trW.HasLeftCalculusOfFractions
+ instance [IsTriangulated C] [P.IsTriangulated] : P.trW.HasRightCalculusOfFractions
+ instance [IsTriangulated C] [P.IsTriangulated] : P.trW.IsCompatibleWithTriangulation := ⟨by
+ instance [IsTriangulated C] [P.IsTriangulated] : P.trW.IsMultiplicative
+ instance [P.ContainsZero] : P.isoClosure.ContainsZero
+ instance [P.ContainsZero] : P.trW.ContainsIdentities := by
+ instance [P.IsStableUnderShift A] :
+ instance [P.IsStableUnderShift ℤ] : P.trW.IsCompatibleWithShift ℤ
+ instance [P.IsTriangulatedClosed₂] : P.isoClosure.IsTriangulatedClosed₂
+ instance [P.IsTriangulated] : P.IsTriangulatedClosed₁
+ instance [P.IsTriangulated] : P.IsTriangulatedClosed₃
+ instance [P.IsTriangulated] : P.isoClosure.IsTriangulated
+ le_shift
+ mem_homologicalKernel_trW_iff
+ prop_shift_iff_of_isStableUnderShift
+ smul_mem_trW_iff
+ trW
+ trW.mk
+ trW.mk'
+ trW.shift
+ trW.unshift
+ trW_iff
+ trW_iff'
+ trW_iff_of_distinguished
+ trW_isoClosure
+ trW_of_isIso
- instance : (mk' P zero shift ext₂).P.IsClosedUnderIsomorphisms
- instance : (subcategoryAcyclic C).P.IsClosedUnderIsomorphisms := by
- instance : Qh.IsLocalization (HomotopyCategory.subcategoryAcyclic C).W := by
- instance : S.W.ContainsIdentities := by
- instance : S.W.IsCompatibleWithShift ℤ
- instance : S.isoClosure.P.IsClosedUnderIsomorphisms := by
- instance [F.IsHomological] : F.homologicalKernel.P.IsClosedUnderIsomorphisms := by
- instance [IsTriangulated C] : S.W.HasLeftCalculusOfFractions
- instance [IsTriangulated C] : S.W.HasRightCalculusOfFractions
- instance [IsTriangulated C] : S.W.IsCompatibleWithTriangulation := ⟨by
- instance [IsTriangulated C] : S.W.IsMultiplicative
- isoClosure
- of
- respectsIso_W
- zero

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

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