No significant changes to the import graph

+ HasColimit.isoOfNatIso_ι_hom_whiskerRight
+ HasColimit.whiskerLeft_isoOfNatIso_ι_hom
+ Limits.inl_comp_pushoutSymmetry_hom_whiskerRight
+ Limits.inr_comp_pushoutSymmetry_hom_whiskerRight
+ Limits.pushout.associator_inv_naturality_right_condition
+ Limits.pushout.associator_naturality_left_condition
+ Limits.pushout.condition_whiskerRight
+ Limits.pushout.whiskerLeft_condition
+ Limits.whiskerLeft_inl_comp_pushoutSymmetry_hom
+ Limits.whiskerLeft_inr_comp_pushoutSymmetry_hom
+ associator
+ associator_naturality
+ braiding
+ colimit.whiskerLeft_ι_desc
+ colimit.ι_desc_whiskerRight
+ hexagon_forward
+ hexagon_reverse
+ inl_desc_whiskerRight
+ inl_isoPushout_hom_whiskerRight
+ inl_isoPushout_inv_whiskerRight
+ inr_desc_whiskerRight
+ inr_isoPushout_hom_whiskerRight
+ inr_isoPushout_inv_whiskerRight
+ instance [BraidedCategory C] (A : C) [Closed A] :
+ leftUnitor
+ leftUnitor_naturality
+ pentagon
+ pullbackHom
+ pushoutProduct
+ rightUnitor
+ rightUnitor_naturality
+ tensorHom_comp_tensorHom
+ triangle
+ w_whiskerRight
+ whiskerLeftIso
+ whiskerLeft_inl_desc
+ whiskerLeft_inl_isoPushout_hom
+ whiskerLeft_inl_isoPushout_inv
+ whiskerLeft_inr_desc
+ whiskerLeft_inr_isoPushout_hom
+ whiskerLeft_inr_isoPushout_inv
+ whiskerLeft_w
+ whiskerRightIso
++ in

## 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 81322185cc
Reference commit 8ec19128ad

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